f a X X f X b b b a f 3 2 a 0 b 0 FULL ./TRS/CSR/Ex9_Luc06.trs