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