f X X f a b b c f 2 a 0 b 0 c 0 INNERMOST ./TRS/Rubio-inn/test833.trs