by@Sakura_Neko_UT
WA
472ms
module c;real d;initial while($fscanf(1<<31,"%b",d))$write($sqrt(d*8+1)%2==1);endmodule
88 21 05 03 23 33 75 33 94 56 39 63