#include<stdio.h>
void main()
{
   long m,n,a[50000],i,b[50000][2],j,count,sum,k=1;
   while(1)
   {
      for(i=0;i<n;i++)
      a[i]=0;
      count=1;sum=0;
      scanf("%ld %ld",&n,&m);
      if(m==0&&n==0)
      break;
      for(i=0;i<m;i++)
      {
        scanf("%ld %ld",&b[i][0],&b[i][1]);
        for(j=0;j<i;j++)
        {
          if(b[i][0]!=b[j][0]&&b[i][0]!=b[j][1]&&b[i][1]!=b[j][0]&&b[i][1]!=b[j][1])
          {count++;b[j][0]=b[i][0];b[j][1]=b[i][1];}
        }
        a[b[i][0]-1]=1;a[b[i][1]-1]=1;
      }
      for(i=0;i<n;i++)
        if(a[i]==0)
        sum++;
      printf("Case %ld: %ld\n",k,sum+count);
      k++;
   }
}