f_1 x x f_1 i_0 x g_1 g_1 x f_1 x i_0 g_1 x a_0 f_1 x y x f_1 x i_0 x f_1 x x g_1 x i_0 x f_1 2 i_0 1 1 g_1 1 a_0 0 FULL ./TRS/endrullis08/ex5.6.trs