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