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