read `PDAV123`: N:=20: print(`# The set Av(123) weight enumerated by `): print(`# t^(# of copies of 312) for n up to`, N): printf("\n\n"): printf("L20:="): lprint([seq(FI3p312(n,t),n=1..N)]): printf(":\n\n"): printf("### This took %f seconds.\n\n", time()): quit: