read ToadsAndFrogs: #A12: is the human-assisted (i.e. not completely computer-generated #conjectured expressions, entered by hand in the package . Prove(1,2,a,[T,B,F],A12); print(`This took`, time(), `seconds of CPU time `): quit: