#include <stdio.h>
#define MaxN 30
#define MaxK 10e8
unsigned long _2N(unsigned int N){
unsigned int i;
unsigned long result=1;
i=N;
while(i--)result*=2;
return(result);
}
unsigned int lighting(unsigned int N,unsigned long K){
unsigned int result;
unsigned int N1;
unsigned long K1;
N1=_2N(N);
K1=K+1;
result=!(unsigned int)(K1%N1);
return(result);
}
void main(){
unsigned int T;
unsigned int N[255];
unsigned long K[255];
unsigned int i;
scanf("%d\n",&T);
for (i=0;i<=T-1;++i)
scanf("%d %d\n",&N[i],&K[i]);
for (i=0;i<=T-1;++i){
printf("Case #%d:",i+1);
if (N[i]==0 || N[i]>MaxN || K[i]>MaxK)
printf("ERROR\n");
else if(lighting(N[i],K[i]))
printf("ON\n");
else printf("OFF\n");
}
printf("Press any key to exit...\n");
getchar();
}