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