read ToadsAndFrogs: Prove(3,1,a,[T,B,F]); print(`This took`, time(), `seconds of CPU time `): quit: