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