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