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