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