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