seen = 0
unseen = 1

K = 34

other(p) = my (v=unseen); while (bittest(seen, v) || numdiv(p*v)<K, v++); return (v)

for (n=1, 30 000, a = if(n==1, 1, other(p)); seen += 2^a; while (bittest(seen, unseen), unseen++); print (n " " a); p=a)

quit