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

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

quit: