#include<bits/stdc++.h>
using namespace std;
int main(){
int t,kase,k,j,m;
long long int n,sum,i,result;
int ara[100009];
int gonona[100009];
for(kase=1;kase<=t;kase++){
for(i
=0;i
<k
;i
++)scanf("%d",&ara
[i
]); m=0;
for(i=0;i<k;i++){
for(j=ara[i];j<=n;j=j+ara[i]){
gonona[m]=j;
m++;
}
}
sum=0;
sort(gonona,gonona+m);
reverse(gonona,gonona+m);
for(i=0;i<m;i++){
if(gonona[i]!=gonona[i+1])sum++;
}
result=0;
result=n-sum;
printf("Case %d: %lld\n",kase
,result
); }
return 0;
}
I2luY2x1ZGU8Yml0cy9zdGRjKysuaD4KdXNpbmcgbmFtZXNwYWNlIHN0ZDsKCgppbnQgbWFpbigpewogICAgaW50IHQsa2FzZSxrLGosbTsKICAgIGxvbmcgbG9uZyBpbnQgbixzdW0saSxyZXN1bHQ7CiAgICBpbnQgYXJhWzEwMDAwOV07CiAgICBpbnQgZ29ub25hWzEwMDAwOV07CiAgICBzY2FuZigiJWQiLCZ0KTsKICAgIGZvcihrYXNlPTE7a2FzZTw9dDtrYXNlKyspewogICAgICAgIHNjYW5mKCIlbGxkIiwmbik7CiAgICAgICAgc2NhbmYoIiVkIiwmayk7CiAgICAgICAgZm9yKGk9MDtpPGs7aSsrKXNjYW5mKCIlZCIsJmFyYVtpXSk7CiAgICAgICAgbT0wOwogICAgICAgIGZvcihpPTA7aTxrO2krKyl7CiAgICAgICAgICAgIGZvcihqPWFyYVtpXTtqPD1uO2o9aithcmFbaV0pewogICAgICAgICAgICAgICAgZ29ub25hW21dPWo7CiAgICAgICAgICAgICAgICBtKys7CiAgICAgICAgICAgIH0KICAgICAgICB9CiAgICAgICAgICAgIHN1bT0wOwogICAgICAgICAgICBzb3J0KGdvbm9uYSxnb25vbmErbSk7CiAgICAgICAgICAgIHJldmVyc2UoZ29ub25hLGdvbm9uYSttKTsKICAgICAgICAgICAgZm9yKGk9MDtpPG07aSsrKXsKICAgICAgICAgICAgICAgIGlmKGdvbm9uYVtpXSE9Z29ub25hW2krMV0pc3VtKys7CiAgICAgICAgICAgIH0KICAgICAgICAgICAgcmVzdWx0PTA7CiAgICAgICAgICAgIHJlc3VsdD1uLXN1bTsKICAgICAgICAgICAgcHJpbnRmKCJDYXNlICVkOiAlbGxkXG4iLGthc2UscmVzdWx0KTsKICAgIH0KCiAgICByZXR1cm4gMDsKfQoK