/* ------------------------------------*/
/* Name: Aseem Chakrabarthy */
/* Institute:University Of Chittagong */
/* Dept: CSE */
/* Email: aseem.cse.cu@gmail.com */
/* ------------------------------------*/
#include<bits/stdc++.h>
using namespace std;
#define FR0(i,N) for(i=0;i<(N);i++)
#define FR1(i,N) for(i=1;i<=(N);i++)
#define FRN(i,k,N) for(i=k;i<(N);i++)
#define pf printf
#define db double
#define max3(a,b,c) max(max(a,b),c)
#define min3(a,b,c) min(min(a,b),c)
#define sci(n) scanf("%d",&n)
#define scl(n) scanf("%lld",&n)
#define scf(n) scanf("%f",&n)
#define scd(n) scanf("%lf",&n)
#define scs(s) scanf("%s",&s)
#define scll(n) scanf("%%I64d",&n)
#define PI acos(-1.0)
#define LL long long
#define MX 1000005
#define MOD 1000000007
typedef long long int ll;
bool status[1100002];
int main()
{
int n,a[102],i,j,t=1;
while(scanf("%d",&n)!=EOF)
{
for(i=0; i<n; i++)
cin>>a[i];
bool flag = true;
for(i=0; i<n-1; i++)
{
if(a[i]<1||a[i]>=a[i+1])
{
flag=false;
i=n;
}
}
if(flag)
{
map<int,int>m;
m.clear();
for(i=0; i<n; i++)
{
for(j=i; j<n; j++)
{
if(m[a[i]+a[j]]==1)
{
flag=false;
i=j=n;
}
else
m[a[i]+a[j]]=1;
}
}
if(flag)
{
cout<<"Case #"<<t++<<": It is a B2-Sequence."<<endl<<endl;
}
else
{
cout<<"Case #"<<t++<<": "<<"It is not a B2-Sequence."<<endl<<endl;
}
}
else
{
cout<<"Case #"<<t++<<": "<<"It is not a B2-Sequence."<<endl<<endl;
}
}
}
LyogLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tKi8KLyogTmFtZTogQXNlZW0gQ2hha3JhYmFydGh5ICAgICAgICAgICAgKi8KLyogSW5zdGl0dXRlOlVuaXZlcnNpdHkgT2YgQ2hpdHRhZ29uZyAgKi8KLyogRGVwdDogQ1NFICAgICAgICAgICAgICAgICAgICAgICAgICAgKi8KLyogRW1haWw6IGFzZWVtLmNzZS5jdUBnbWFpbC5jb20gICAgICAgKi8KLyogLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tKi8KI2luY2x1ZGU8Yml0cy9zdGRjKysuaD4KdXNpbmcgbmFtZXNwYWNlIHN0ZDsKI2RlZmluZSBGUjAoaSxOKSBmb3IoaT0wO2k8KE4pO2krKykKI2RlZmluZSBGUjEoaSxOKSBmb3IoaT0xO2k8PShOKTtpKyspCiNkZWZpbmUgRlJOKGksayxOKSBmb3IoaT1rO2k8KE4pO2krKykKI2RlZmluZSBwZiBwcmludGYKI2RlZmluZSBkYiBkb3VibGUKI2RlZmluZSBtYXgzKGEsYixjKSBtYXgobWF4KGEsYiksYykKI2RlZmluZSBtaW4zKGEsYixjKSBtaW4obWluKGEsYiksYykKI2RlZmluZSBzY2kobikgc2NhbmYoIiVkIiwmbikKI2RlZmluZSBzY2wobikgc2NhbmYoIiVsbGQiLCZuKQojZGVmaW5lIHNjZihuKSBzY2FuZigiJWYiLCZuKQojZGVmaW5lIHNjZChuKSBzY2FuZigiJWxmIiwmbikKI2RlZmluZSBzY3Mocykgc2NhbmYoIiVzIiwmcykKI2RlZmluZSBzY2xsKG4pIHNjYW5mKCIlJUk2NGQiLCZuKQojZGVmaW5lIFBJIGFjb3MoLTEuMCkKI2RlZmluZSBMTCBsb25nIGxvbmcKI2RlZmluZSBNWCAxMDAwMDA1CiNkZWZpbmUgTU9EIDEwMDAwMDAwMDcKdHlwZWRlZiBsb25nIGxvbmcgaW50IGxsOwpib29sIHN0YXR1c1sxMTAwMDAyXTsKCmludCBtYWluKCkKewogICAgaW50IG4sYVsxMDJdLGksaix0PTE7CiAgICB3aGlsZShzY2FuZigiJWQiLCZuKSE9RU9GKQogICAgewogICAgICAgIGZvcihpPTA7IGk8bjsgaSsrKQoKICAgICAgICAgICAgY2luPj5hW2ldOwoKICAgICAgICBib29sIGZsYWcgPSB0cnVlOwogICAgICAgIGZvcihpPTA7IGk8bi0xOyBpKyspCiAgICAgICAgewogICAgICAgICAgICBpZihhW2ldPDF8fGFbaV0+PWFbaSsxXSkKICAgICAgICAgICAgewogICAgICAgICAgICAgICAgZmxhZz1mYWxzZTsKICAgICAgICAgICAgICAgIGk9bjsKICAgICAgICAgICAgfQogICAgICAgIH0KICAgICAgICBpZihmbGFnKQogICAgICAgIHsKICAgICAgICAgICAgbWFwPGludCxpbnQ+bTsKICAgICAgICAgICAgbS5jbGVhcigpOwogICAgICAgICAgICBmb3IoaT0wOyBpPG47IGkrKykKICAgICAgICAgICAgewogICAgICAgICAgICAgICAgZm9yKGo9aTsgajxuOyBqKyspCiAgICAgICAgICAgICAgICB7CiAgICAgICAgICAgICAgICAgICAgaWYobVthW2ldK2Fbal1dPT0xKQogICAgICAgICAgICAgICAgICAgIHsKICAgICAgICAgICAgICAgICAgICAgICAgZmxhZz1mYWxzZTsKICAgICAgICAgICAgICAgICAgICAgICAgaT1qPW47CiAgICAgICAgICAgICAgICAgICAgfQogICAgICAgICAgICAgICAgICAgIGVsc2UKICAgICAgICAgICAgICAgICAgICAgICAgbVthW2ldK2Fbal1dPTE7CiAgICAgICAgICAgICAgICB9CiAgICAgICAgICAgIH0KICAgICAgICAgICAgaWYoZmxhZykKICAgICAgICAgICAgewpjb3V0PDwiQ2FzZSAjIjw8dCsrPDwiOiBJdCBpcyBhIEIyLVNlcXVlbmNlLiI8PGVuZGw8PGVuZGw7CiAgICAgICAgICAgIH0KICAgICAgICAgICAgZWxzZQogICAgICAgICAgICB7CmNvdXQ8PCJDYXNlICMiPDx0Kys8PCI6ICI8PCJJdCBpcyBub3QgYSBCMi1TZXF1ZW5jZS4iPDxlbmRsPDxlbmRsOwogICAgICAgICAgICB9CiAgICAgICAgfQogICAgICAgIGVsc2UKICAgICAgICB7CmNvdXQ8PCJDYXNlICMiPDx0Kys8PCI6ICI8PCJJdCBpcyBub3QgYSBCMi1TZXF1ZW5jZS4iPDxlbmRsPDxlbmRsOwogICAgICAgIH0KCiAgICB9Cgp9Cg==