read `PDAV1234`: N:=15: print(`# The set Av(1234) weight enumerated by `): print(`# r^(# of copies of 123)*s^(# of copies of 321)`): print(`# for n up to`, N): printf("\n\n"): printf("L15:="): lprint([seq(FI4p123n321(n,r,s),n=1..N)]): printf(":\n\n"): printf("### This took %f seconds.\n\n", time()): quit: