#include <iostream>
#include <cstdio>
#include <algorithm>
#include <cstring>
#include <functional>
using namespace std;
//英语 看博友分析 贪心 模拟
int da[1008];
int vis[1008];
int main()
{
int tag=0;
while(1)
{
memset(vis,0,sizeof(vis));
tag++;
int n,m;
cin>>n>>m;
if(n==0 && m==0)
{
break;
}
for(int i=0;i<m;i++)
{
cin>>da[i];
}
sort(da,da+m,greater<int>());
int js=0;
for(int i=0,j=m*n;i<m;i++)
{
while(vis[j]==1)
{
j--;
}
if(da[i]==j)
{
js++;
vis[j]=1;
}else if(da[i]<j)
{
vis[da[i]]=1;
vis[j]=1;
}
}
cout<<"Case "<<tag<<": "<<js<<endl;
}
return 0;
}