f_1 x g_1 f_1 x g_1 f_1 x x g_1 x a_0 f_1 1 g_1 1 a_0 0 FULL ./TRS/endrullis08/cariboo_ex5.trs