#include<stdio.h>
int main()
{
	int a[100],count[100]={0};
  int q,i,j,k,m,n,flag=0,test,pt;
  for(q=1;;q++)
  {
	  scanf("%d %d",&n,&m);
	  if(n==0&&m==0)
	  {break;}
	  pt=m;
    for(i=0;i<m;i++)
	{
	  scanf("%d",&a[i]);
	}
	for(i=0;i<m-1;i++)
	{
	  for(j=i+1;j<m;j++)
	  {
	    if(a[i]>a[j])
		{
		   k=a[i];
		   a[i]=a[j];
		   a[j]=k;
		}
	  }
	}
	for(i=0;i<m;i++)
	{
	  count[i]=a[i];
	}
	for(i=0;i<m;i++)
	{
		  test=a[i];
	      test++;
		  if(i!=0)
		  {pt++;}
       for(j=0;j<=pt;j++)
	   {
		 if(j==pt)
		 {
		   flag++;
		   count[pt]=test;
		   break;
		 }
	     if(test==count[j])
		 {test++;
		 if(test>(n*m))
		 {
		   goto pst;
		 }
		 j=-1;}
	   }
	}
pst:printf("Case %d: %d\n",q,m-flag);
	flag=0;
  }
  return 0;
}