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(V22seqF(K)):
print(``):
print(`---------------------------------`):
print(``):
print(`This took`, time(), `seconds. `):

quit: