#include
int main()
{
    int N,i,mp,p,cnt=0,arr[18]={0};
    while(scanf("%d",&N)==1)
    {
        for(i=0;imp)
                mp=p;
        }
        cnt++;
        if(mp>0)
            printf("Case #%d: The maximum product is %d.\n",cnt,mp);
        else
            printf("Case #%d: The maximum product is 0.\n",cnt);
        printf("\n");
    }
    return 0;
}