煤矿工地可以看成是由隧道连接挖煤点组成的无向图。为安全起见，希望在工地发生事故时所有挖煤点的工人都能有一条出路逃到救援出口处。于是矿主决定在某些挖煤点设立救援出口，使得无论哪一个挖煤点坍塌之后，其他挖煤点的工人都有一条道路通向救援出口。请写一个程序，用来计算至少需要设置几个救援出口，以及不同最少救援出口的设置方案总数。

Case 1 的四组解分别是(2,4),(3,4),(4,5),(4,6)；

Case 2 的一组解为(4,5,6,7)。

/*

首先看到割点就是Tarjan搞 但是怎么搞

首先假设我们把所有的点双都缩点 那么我们一定可以得到一棵树 然后我们就会发现

1.叶子节点(只含有一个割点的点双)必须建 因为叶子节点如果不建 一旦割点被爆就死翘了

2.非叶节点(含有两个或两个以上的割点的点双)不用建 因为即使一个割点被爆了也可以沿着另一个割点走到一个叶节点

3.还有一种情况就是整个联通块都是点双(即不含割点的点双) 这样我们讨论点双的大小

如果只有一个点 那么这个点必须建 数据没有卡这个的点所以我没写(其实是我忘写了 然后还过了)

如果有两个或两个以上的点 那么要建两个 一个被爆了还可以走另一个

方案数就是乘法原理的问题了 注意叶节点那里出口不能建在割点上

所以先Tarjan求割点再dfs一下每个联通块就好了。

*/

#include<iostream>

#include<cstdio>

#include<cstring>

#define ll long long

using namespace std;

int head[],dfn[],low[],vis[],stack[];

bool cut[],in_stack[];

int n,m,cnt,num,tot,deg,ans1,T,cases,root,top;

ll ans2;

struct node

{

    int from;

    int to;

    int next;

}e[];

inline void first()

{

    memset(head,,sizeof(head));

    memset(dfn,,sizeof(dfn));

    memset(low,,sizeof(low));

    memset(cut,,sizeof(cut));

    memset(vis,,sizeof(vis));

    top=cnt=tot=n=ans1=T=; ans2=;

}

inline void insert(int from,int to)

{

    e[++num].from=from;

    e[num].to=to;

    e[num].next=head[from];

    head[from]=num;

}

inline int read()

{

    int x=,f=; char c=getchar();

    while (c<''||c>''){if(c=='-')f=-;c=getchar();}

    while (c>=''&&c<=''){x=x*+c-'';c=getchar();}

    return x*f;

}

void Tarjan(int now,int father)//求割点

{

    dfn[now]=low[now]=++tot;

    for(int i=head[now];i;i=e[i].next)

        {

            int v=e[i].to;

            if(!dfn[v])

            {

                Tarjan(v,now);

                low[now]=min(low[now],low[v]);

                if(low[v]>=dfn[now])

                {

                    if(now==root) deg++;

                    else cut[now]=true;

                }

            }

            else if(v!=father) low[now]=min(low[now],dfn[v]);//不要跟求环混了 具体原理去网上找

        }

}

void dfs(int x)//遍历每个连通块

{

    vis[x]=T;//标记

    if(cut[x]) return;

    cnt++;//数量

    for(int i=head[x];i;i=e[i].next)

    {

        int v=e[i].to;

        if(cut[v]&&vis[v]!=T) num++,vis[v]=T;//统计割点数目。

        //如果是割点且标记不与遍历的的连通块相同就修改标记。

        if(!vis[v])dfs(v);

    }

}

int main()

{

    m=read();

    while (m)

    {

        first();

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

        {

            int u=read(),v=read();

            n=max(n,max(u,v));//这个地方要处理一下

            insert(u,v); insert(v,u);

        }

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

        {

            if (!dfn[i]) Tarjan(root=i,);

            if (deg>=) cut[root]=;//根节点的割点

            deg=;//不要忘记是多组数据

        }

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

            if (!vis[i]&&!cut[i])//不是割点

            {

                T++; cnt=num=;//T为连通块的标记

                dfs(i);

                if (!num) ans1+=,ans2*=cnt*(cnt-)/;//建两个 别忘记除以二 因为两个建立的出口没有差异

                if (num==) ans1++,ans2*=cnt;//建一个

            }

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

        m=read();

    }

    return ;

}