b a x a b x a x a a x b x b b x a 1 b 1 FULL ./TRS/relative/rt3-6.trs