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