f f X f g f g f X f g f X f g X f 1 g 1 FULL ./TRS/Rubio/aoto.trs