p a x0 p a b x1 x2 p a b a x2 p a a x1 x2 p 2 a 1 b 1 FULL ./TRS/Endrullis/pair2simple1.trs