read `ResPermsRM.txt`:

K:=2000:


print(`The first`, K, `terms of the sequence enumerating permutations of length n such that pi[i+2]-pi[i] is never 2 are. Using the CONJECTURED recurrence.`):
print(`These values are ABSOLUTELY CERTAIN, yet not yet (officially) proved. `):
print(``):
lprint(U22seqF(K)):
print(``):
print(`---------------------------------`):
print(``):
print(`This took`, time(), `seconds. `):

quit: