{
	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