#include<iostream>
#include<limits.h>
#define maxn 1000003
using namespace std;
int n,_case=1;
long long a[20],ans=LONG_LONG_MIN;
int main(){
	freopen("in.txt","r",stdin);
	ios::sync_with_stdio(false);cin.tie(0),cout.tie(0);
	
	while(cin>>n){
		for(int i=0;i<n;i++){
			cin>>a[i];
		}
		
		for(int i=0;i<n;i++){
			long long cnt=1;
			for(int j=i;j<n;j++){
				cnt*=a[j];
				if(cnt>ans){
					ans=cnt;
				}
			}
		}
		if(ans<=0){
			ans=0;
		}
		cout<<"Case #"<<_case++<<": The maximum product is "<<ans<<"."<<endl<<endl;
	}
	return 0;
}