#include <iostream>
#include <algorithm>
#include <cstdio>
#include <string.h>
#include <vector>
using namespace std;
const int INF = 99999999;
int n,k;
int a[1005];
bool ha[1005];
int main()
{
ios::sync_with_stdio(0);
int n,m;
int cnt = 0;
while(cin >> n >> m){
if(n == 0 && m == 0) break;
cnt++;
int ans = 0;
for(int i = 1;i <= m;i++){
cin >> a[i];
}
sort(a+1,a+m+1);
// for(int i = 0;i < m;i++){
// cout << a[i] << " ";
// }
int num = 0;
for(int i = n*m;i >= 1;i--){
if(i != a[m]){
num++;
}
else{
if(num > 0){
num--;
}
else{
ans++;
}
m--;
}
if(m == 0) break;
}
cout << "Case " << cnt <<": "<<ans << endl;
}
return 0;
}