sum(printf(?t,"~a
",totient(i+10^4)),i,0,300);