f a b X f X X X c a c b f 3 a 0 b 0 c 0 INNERMOST ./TRS/nontermin/CSR/Ex1_GM99.trs