f_1 h_1 x f_1 i_1 x h_1 x f_1 h_1 x *top*_0 f_1 i_1 x *top*_0 x f_0 f_1 i_1 x f_1 x f_1 i_1 x x i_1 x h_1 x f_1 1 h_1 1 i_1 1 *top*_0 1 1 f_0 1 1 FULL ./TRS/endrullis08/ex5.7.trs