f a b X f X X X c a c b f 3 1 3 a 0 b 0 c 0 FULL ./TRS/CSR/Ex9_Luc04.trs