f_1 f_1 x y z c_0 f_1 f_0 x y z c_0 f_1 x f_1 y z f_1 f_0 x y z f_1 x f_1 y z f_1 f_1 x y z f_1 x f_0 y z f_1 f_1 x y z f_1 x f_0 y z f_1 f_0 x y z *top*_0 a_1 *top*_0 f_0 a_1 a_1 f_0 a_1 x0 f_1 f_0 a_1 a_1 x0 f_0 x0 a_1 f_1 x0 f_0 a_1 a_1 f_1 2 c_0 0 f_0 2 1 2 *top*_0 1 1 a_1 0 FULL ./TRS/endrullis08/ex5.5.trs