//pku.2524.problem 
#include<iostream>
using namespace std;
int main()
{
	int n, m, kind, a, b, i=1, j;
	while(1)
	{
		cin>>n>>m;
		if(n==0 && m==0)
			break;
		int flag1[60000]={0}, flag2[60000]={0};
		kind=0;
		while(m--)
		{
			scanf("%d %d", &a, &b);
			if(flag2[a]==0 && flag2[b]==0)
			{	
				flag1[a]=0;
				flag1[b]=1;
				flag2[a]=1;
				flag2[b]=1;
			}
			else
				if(flag2[a]==1 && flag2[b]==0)
				{
					flag1[b]=1;
					flag2[b]=1;
				}
				else
					if(flag2[b]==1 && flag2[a]==0)
					{
						flag1[a]=1;
						flag2[a]=1;
					}
					
		}
		for(j=1; j<=n; j++)
		{
			if(flag1[j]==0)
				kind++;
		}
		printf("Case %d: %d\n", i, kind);
		i++;
	}
	return 0;
}