{ time = vector(1); v = 1; for (n=1, 10 000, print (n " " v); for (o=1, oo, while (#time < o*v, time = concat(time, vector(#time)); ); if (time[o*v]+1<=o*v, time[o*v]++; v=o; break; ); ); ); } quit