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