kernelopts(printbytes=false):
read `1234Avoid.txt`:
L:=seq(Count1234PlusAvoiders(2,5,n),n=1..8):

lprint(L):
lprint(`This took`, time(),	`seconds. `):

quit: