f a a f a b f a b f s a c f s X c f X c f c c f a a f 2 a 0 b 0 s 1 c 0 FULL ./TRS/Rubio/test4.trs