//我的dp来。。
#include<stdio.h>
#include<string.h>
int k[20];
int main()
{
int n;
int kase = 0;
while(scanf("%d", &n) != EOF)
{
for(int i = 1; i <= n; ++i) scanf("%d", &k[i]);
long long MAX =0;
for(int i = 1; i <= n; ++i)
{
long long tmp = 1;
for(int j = i; j <= n; ++j)
{
tmp *= k[j];
if(tmp > MAX) MAX = tmp;
}
}
printf("Case #%d: The maximum product is %lld.\n\n", ++kase, MAX);
}
return 0;
}