kernelopts(printbytes=false):
read `1234Avoid.txt`:
for k from 3 to 10 do
	L:=seq(Count1234PlusAvoiders(1,k,n),n=1..9):

	lprint(`The first ten terms of the sequence of numbers of permutations of length n avoiding 1234 and 1k(k-1)...2 for k=`, k,` is `, L):
od:
print(`This took`, time(),	`seconds. `):

quit: