int main(){write("%d",Gmp.fac(32)*0x2a9d9bea29178000);}
Note that non-ascii characters in the above source code will be escaped (such as \x9f).
download
return to the top page