a b a b x b a b a a b x a 1 b 1 FULL ./TRS/nontermin/AG01/#4.18.trs