read TEN: G:=DiscoverGrammar(3,2,3): print(`This grammar is `, ProveGrammar32(G,3)): print(`The weight-enumerator for Loehr-Warrington words is`, GFgrammar(G,x)): print(`The whole thing took`, time(), `second. `): quit: