#include <stdio.h>
int main()
{
	int m,n,a[1000];
	int num,i,j,k,z,b[1000];
	int max,flag;
	int count=0;
 
	while(scanf("%d%d",&m,&n)&&(m&&n))
	{
		num=0;
		z=0;
		
		for(i=0;i<n;i++)
		{
			scanf("%d",&a[i]);		
		}
		for(j=n*m;j>0;j--)
		{	
			flag=0;
			for(k=0;k<n;k++)
			{
				if(j==a[k])
				{
					num++;
					b[z]=num;
					z++;
					flag=1;
		
				}				
			}
			if(flag==0)
			{
				num--;
				b[z]=num;
				z++;
			}
		}

		max=b[0];
		for(k=0;k<n;k++)
		{
			if(max<b[k])
				max=b[k];
		}
		
		printf("Case %d: %d\n",++count,max);
	}
	return 0;
}