read `PDSn`: N:=13: print(`# The set S_n weight enumerated by `): print(`# t^(# of copies of 1234) for n up to`, N): printf("\n\n"): printf("L13:="): lprint([seq(FSn1234(n,t),n=1..N)]): printf(":\n\n"): printf("### This took %f seconds.\n\n", time()): quit: