let(@)n r=for i=1to n do n/i*i=n&(r:=!r+i)=()done;Printf.printf"%d: %d "n!r;;while 0=0do read_int()@ref 0done
Note that non-ascii characters in the above source code will be escaped (such as \x9f).
download
return to the top page