main(i){for(;i<3e3;i+=i%1001%101>7?11:i%94%33?2:15)printf("%d\n",i);}
Note that non-ascii characters in the above source code will be escaped (such as \x9f).
download
return to the top page