p a x0 p x1 p x2 x3 p x1 p x0 p a x3 x3 p 2 a 1 FULL ./TRS/Endrullis/pair3hard.trs