#include <stdio.h>
#include <stdlib.h>
#include <string.h>
int main(int argc, char *argv[]) {
int n,i,j,t,max,y,a[676],b[999];
while(scanf("%d",n)!=EOF){
t=0;
y++;
for(i=0;i<n;i++)
{
scanf("%d",&a[i]);
}
for(i=0;i<n-1;i++)
{
for(j=i;j<n;j++)
{
if(a[i]%j==0&&a[i+1]==0)
{
b[t]=j;
t++;
break;
}
}
}
max=b[0];
for(i=0;i<t;i++)
{
if(max>b[i]) max=b[i];
}
printf("Case %d:%d",y,max);
}
return 0;
}