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