module c;real d;initial while($fscanf(1<<31,"%b",d))$write($sqrt(d*8+3)%2>1);endmodule