a,c;main(p){for(;c=413%getchar(p=c);a*=!printf(""+!c,a-=p<c?p:-p))c=~c%7?10*"%d\n\x00_2\x05\x01"[c%9]:c/5-8;}
Note that non-ascii characters in the above source code will be escaped (such as \x9f).
download
return to the top page