#include<iostream>

 #include<algorithm>

 #include<cstring>

 #include<cstdio>

 #include<vector>

 #include<stack>

 #include<queue>

 #include<cmath>

 #include<map>

 using namespace std;

 const int maxn=+;

 int m;

 struct Edge

 {

     int u,v;

     Edge(int x,int y):u(x),v(y){}

 };

 stack<Edge> S;

 int pre[maxn],iscut[maxn],bccno[maxn],dfs_clock,bcc_cnt;

 vector<int> G[maxn],bcc[maxn];

 int dfs(int u,int fa)

 {

     int lowu=pre[u]=++dfs_clock;

     int child=;

     for(int i=;i<G[u].size();i++)

     {

         int v=G[u][i];

         Edge e=Edge(u,v);

         if(!pre[v])

         {

             S.push(e);

             child++;

             int lowv=dfs(v,u);

             lowu=min(lowu,lowv);

             if(lowv>=pre[u])

             {

                 iscut[u]=true;

                 bcc_cnt++; bcc[bcc_cnt].clear();

                 for(;;)

                 {

                     Edge x=S.top(); S.pop();

                     if(bccno[x.u]!=bcc_cnt)  {bcc[bcc_cnt].push_back(x.u);bccno[x.u]=bcc_cnt;}

                     if(bccno[x.v]!=bcc_cnt)  {bcc[bcc_cnt].push_back(x.v);bccno[x.v]=bcc_cnt;}

                     if(x.u==u&&x.v==v)   break;

                 }

             }

         }

         else if(pre[v]<pre[u] && v!=fa)

         {

             S.push(e);

             lowu=min(lowu,pre[v]);

         }

     }

     if(fa< && child==)   iscut[u]=;

     return lowu;

 }

 void find_bcc(int n)

 {

     memset(pre,,sizeof(pre));

     memset(iscut,,sizeof(iscut));

     memset(bccno,,sizeof(bccno));

     dfs_clock=bcc_cnt=;

     for(int i=;i<=n;i++)

             if(!pre[i])  dfs(,-);

 }

 int main()

 {

     //freopen("D:\\input.txt","r",stdin);

     int kase=;

     while(~scanf("%d",&m) && m)

     {

         for(int i=;i<maxn;i++)  {G[i].clear();bcc[i].clear();}

         for(int i=;i<m;i++)

         {

             int u,v;

             scanf("%d%d",&u,&v);

             G[u].push_back(v);

             G[v].push_back(u);

         }

         find_bcc(m);

         long long ans1=,ans2=;

         for(int i=;i<=bcc_cnt;i++)

         {

             int cut_cnt=;

             for(int j=;j<bcc[i].size();j++)

             {

                 if(iscut[bcc[i][j]])   cut_cnt++;

             }

             if(cut_cnt==)

             {

                 ans1++;  ans2*=(long long)(bcc[i].size()-cut_cnt);

             }

         }

         if(bcc_cnt==)

         {

             ans1=;  ans2=bcc[].size()*(bcc[].size()-)/;

         }

         printf("Case %d: %lld %lld\n",++kase,ans1,ans2);

     }

     return ;

 }