from_2 x cons_0 x from_3 s_0 x from_3 x cons_1 x from_3 s_0 x from_1 x cons_0 x from_3 s_0 x cons_1 s_0 x xs overflow_0 from_2 1 cons_0 2 1 2 from_3 1 s_0 1 1 cons_1 2 from_1 1 overflow_0 0 FULL ./TRS/endrullis08/ex5.3.trs