while 1=1do let rec k=read_int()and($)n x=x=0&()=Printf.printf"%d: %d
"k n||n+x*Obj.magic(k/x*x=k)$x-1in k$k/2done