read TEN:
G:=DiscoverGrammarVerbose(3,2,3):
print(`The whole thing took`, time(), `second. `):

quit: