read `Hilbert10.txt`:

K:=300:
L:=5:

for a from 1 to L do
for b from 1 to a-1 do
print(`Is the The 3-rd order recurrence`, [a,b,1], ` good? `):
print(IsGood([a,b,1],K)):
od:
od:



quit: