#include<iostream>

using namespace std;

#define MAXN 100

int set[MAXN]; //set[]记录每个节点的父节点

int FindSet(int x) //寻找x所在根的根节点

{

     if(set[x]==x)

         return x;

     if(set[x]==-x)

         return -x;

     else

         set[x]=FindSet(set[x]);

     return set[x];

}

int main()

{

     int pointa,pointb,FSa,FSb;

     int cas=,num=,I;

     bool judge=,flag=;//judge为是否判断完，flag为是否有边输入

     for(I=;I<MAXN;I++)

         set[I]=-I;

     while(cin>>pointa>>pointb,pointa>=)

     {

         if(pointa==)

         {

                  if(num==||flag==)

                       cout<<"Case "<<cas<<" is a tree.\n";

                   else

                       cout<<"Case "<<cas<<" is not a tree.\n";

                   cas++;

                   flag=;

                   num=;

                   judge=;

                   for(I=;I<MAXN;I++)

                       set[I]=-I;

         }

         else

         {

              flag=; //有边

              FSa=FindSet(pointa);

              if(FSa==-pointa)

                   set[pointa]=pointa;

              FSb=FindSet(pointb);

              if(FSb==-pointb)

                   set[pointb]=pointb;

              if(FSa==FSb)

              {

                   num=;

                   judge=;

              }

              if(judge==)

              {

                   if(FSb==pointb) //pontb是已出现过的根节点

                   {

                       if(FSa!=-pointa) //当pointa不是还没有出现过的点

                       {

                            num--;

                       }

                       set[pointb]=FindSet(pointa);

                   }

                   else

                   {

                       if(FSb==-pointb) //pointb还没有出现过

                       {

                            if(FSa==-pointa) //pointa还没有出现过

                            {

                                 num++;

                            }

                            set[pointb]=FindSet(pointa);

                       }

                       else

                       {

                            num=;

                            judge=;

                       }

                   }

              }

         }

     }

     return ;

}