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