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