f f X f a b f X f a g X b X b X a X f 1 a 1 b 1 g 1 FULL ./TRS/Rubio/p266.trs