/*************************************************************/

#include<stdio.h>     
#include<stdlib.h>     
main()     
{  
 int a,b,c,time=0,n;  
 while(scanf("%d",&n)==1)  
  {  
   time++;  
   int flag=0,math[1000]={0},temp[20001]={0};  
   math[0]=1;  
   scanf("%d",&math[1]);  
   if(math[1]<1) flag=1;  
   for(a=2;a<=n;a++)  
    {  
     scanf("%d",&math[a]);  
     if(math[a]<math[a-1])  
      flag=1;   
    } 
   for(a=1;a<=n;a++)  
    {  
    for(b=a;b<=n;b++)  
     {  
      if(temp[math[a]+math[b]]==1)  
       {flag=1;break;}  
      else 
       {temp[math[a]+math[b]]=1;}   
     }  
     if(flag==1) break;  
    }   
   printf("Case #%d: ",time);  
   if(flag==1)  
    printf("It is not a B2-Sequence.\n\n");  
   else 
    printf("It is a B2-Sequence.\n\n");   
  }  
 return 0;   
}