while 0=0do let rec n=read_int()and(@)i a=if i=0then Printf.printf"%d: %d\n"n a else i-1@a+i*Obj.magic(n/i*i=n)in n@0done