module a;initial while($fscanf(1<<31,"%b",real x))$write(1==(8*x+1)**0.5%2);endmodule