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