module c;integer d;initial while($fscanf(1<<31,"%b",d))$write(~($sqrt(d*8+1)-1)%2);endmodule