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