sum(printf(?t,"~d:~a ",i,simplode(divisors(i)," ")),i,1,?read());