read `ResPerms.txt`: K:=40: print(`The first`, K, `terms of the sequence enumerating permutations of length n such that pi[i+7]-pi[i] is never 7 are`): print(``): lprint([seq(Urs(7,7,i),i=1..K)]): print(``): print(`---------------------------------`): print(``): print(`This took`, time(), `seconds. `): quit: