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