1 #include<bits/stdc++.h> 2 #define ll long long 3 using namespace std; 4 const int N=510; 5 int n,T,ans1,cnt,siz,dfn[N],low[N],timer; 6 ll ans2; 7 bool vis[N],iscut[N],viscut[N]; 8 struct Edge{ 9 int from,to; 10 Edge(int _from=0,int _to=0):from(_from),to(_to){} 11 }edge[N<<1]; 12 vector<int>point[N]; 13 int edge_tot; 14 void add_edge(int f,int t){ 15 edge[edge_tot]=Edge(f,t); 16 point[f].push_back(edge_tot++); 17 return; 18 } 19 int ff[N]; 20 void tarjan(int k,int fa){ 21 ff[k]=fa; 22 int child=0; 23 dfn[k]=low[k]=++timer; 24 for(int i=point[k].size()-1;i>=0;i--){ 25 Edge& e=edge[point[k][i]]; 26 if(!dfn[e.to]){ 27 child++; 28 tarjan(e.to,k); 29 low[k]=min(low[k],low[e.to]); 30 if(low[e.to]>=dfn[k]) iscut[k]=1; 31 }else if(dfn[e.to]<dfn[k]&&e.to!=fa) low[k]=min(dfn[e.to],low[k]); 32 } 33 if(!fa&&child==1) iscut[k]=0; 34 return; 35 } 36 void dfs(int k,int pre){ 37 vis[k]=1,siz++; 38 for(int i=0;i<point[k].size();i++){ 39 Edge& e=edge[point[k][i]]; 40 if(iscut[e.to]&&!viscut[e.to]) viscut[e.to]=1,cnt++; 41 if(iscut[e.to]||pre==e.to||vis[e.to])continue; 42 dfs(e.to,k); 43 } 44 return; 45 } 46 void solve(){ 47 int t1,t2,tot=0; 48 ans1=edge_tot=0,ans2=1,timer=0; 49 T++; 50 for(int i=1;i<=n;i++){scanf("%d%d",&t1,&t2);add_edge(t1,t2);add_edge(t2,t1);tot=max(tot,max(t1,t2));} 51 for(int i=1;i<=tot;i++) if(!dfn[i]) tarjan(i,0); 52 memset(vis,0,sizeof(vis)); 53 for(int i=1;i<=tot;i++) if(!iscut[i]&&!vis[i]){ 54 cnt=siz=0; 55 memset(viscut,0,sizeof(viscut)); 56 dfs(i,0); 57 if(!cnt) ans1+=2,ans2*=siz*(siz-1)/2; 58 else if(cnt==1) ans1++,ans2*=siz; 59 } 60 printf("Case %d: %d %lld\n",T,ans1,ans2); 61 for(int i=1;i<=tot;i++) point[i].clear(); 62 memset(iscut,0,sizeof(iscut));memset(dfn,0,sizeof(dfn)); 63 memset(low,0,sizeof(low)); 64 return; 65 } 66 int main(){ 67 while(scanf("%d",&n)!=EOF){ 68 if(!n) return 0; 69 solve(); 70 } 71 }