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