from_2 x cons_0 x from_1 s_0 x from_3 x cons_0 x from_2 s_0 x from_4 x cons_0 x from_2 s_0 x from_1 x cons_1 x from_1 s_0 x cons_1 s_0 s_0 x xs nil_0 from_2 1 cons_0 2 1 2 from_1 1 s_0 1 1 from_3 1 from_4 1 cons_1 2 nil_0 0 FULL ./TRS/endrullis08/ex5.8.trs