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