fromMarked_firstfirstMarked_activeconsMarked_consnilsMarked_sactiveMarked_mark0Marked_frommarkX2X1ZYXactive(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)s(mark(X))s(X)s(active(X))s(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)s(mark(X))s(X)s(active(X))s(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_active(first(0,X))Marked_mark(nil)Marked_active(first(s(X),cons(Y,Z)))Marked_mark(cons(Y,first(X,Z)))Marked_active(first(s(X),cons(Y,Z)))Marked_cons(Y,first(X,Z))Marked_active(first(s(X),cons(Y,Z)))Marked_first(X,Z)Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_active(from(X))Marked_cons(X,from(s(X)))Marked_active(from(X))Marked_from(s(X))Marked_active(from(X))Marked_s(X)Marked_mark(first(X1,X2))Marked_active(first(mark(X1),mark(X2)))Marked_mark(first(X1,X2))Marked_first(mark(X1),mark(X2))Marked_mark(first(X1,X2))Marked_mark(X1)Marked_mark(first(X1,X2))Marked_mark(X2)Marked_mark(0)Marked_active(0)Marked_mark(nil)Marked_active(nil)Marked_mark(s(X))Marked_active(s(mark(X)))Marked_mark(s(X))Marked_s(mark(X))Marked_mark(s(X))Marked_mark(X)Marked_mark(cons(X1,X2))Marked_active(cons(mark(X1),X2))Marked_mark(cons(X1,X2))Marked_cons(mark(X1),X2)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(from(X))Marked_active(from(mark(X)))Marked_mark(from(X))Marked_from(mark(X))Marked_mark(from(X))Marked_mark(X)Marked_first(mark(X1),X2)Marked_first(X1,X2)Marked_first(X1,mark(X2))Marked_first(X1,X2)Marked_first(active(X1),X2)Marked_first(X1,X2)Marked_first(X1,active(X2))Marked_first(X1,X2)Marked_s(mark(X))Marked_s(X)Marked_s(active(X))Marked_s(X)Marked_cons(mark(X1),X2)Marked_cons(X1,X2)Marked_cons(X1,mark(X2))Marked_cons(X1,X2)Marked_cons(active(X1),X2)Marked_cons(X1,X2)Marked_cons(X1,active(X2))Marked_cons(X1,X2)Marked_from(mark(X))Marked_from(X)Marked_from(active(X))Marked_from(X)active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)s(mark(X))s(X)s(active(X))s(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_active(first(s(X),cons(Y,Z)))Marked_mark(cons(Y,first(X,Z)))Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_mark(first(X1,X2))Marked_active(first(mark(X1),mark(X2)))Marked_mark(first(X1,X2))Marked_mark(X1)Marked_mark(first(X1,X2))Marked_mark(X2)Marked_mark(s(X))Marked_active(s(mark(X)))Marked_mark(s(X))Marked_mark(X)Marked_mark(cons(X1,X2))Marked_active(cons(mark(X1),X2))Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(from(X))Marked_active(from(mark(X)))Marked_mark(from(X))Marked_mark(X)mark000Marked_mark10active0s10nil0cons0Marked_active10first10from10Marked_mark(cons(X1,X2))Marked_active(cons(mark(X1),X2))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)s(mark(X))s(X)s(active(X))s(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_active(first(s(X),cons(Y,Z)))Marked_mark(cons(Y,first(X,Z)))Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_mark(first(X1,X2))Marked_active(first(mark(X1),mark(X2)))Marked_mark(first(X1,X2))Marked_mark(X1)Marked_mark(first(X1,X2))Marked_mark(X2)Marked_mark(s(X))Marked_active(s(mark(X)))Marked_mark(s(X))Marked_mark(X)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(from(X))Marked_active(from(mark(X)))Marked_mark(from(X))Marked_mark(X)active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)s(mark(X))s(X)s(active(X))s(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_active(first(s(X),cons(Y,Z)))Marked_mark(cons(Y,first(X,Z)))Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_mark(first(X1,X2))Marked_active(first(mark(X1),mark(X2)))Marked_mark(first(X1,X2))Marked_mark(X1)Marked_mark(first(X1,X2))Marked_mark(X2)Marked_mark(s(X))Marked_active(s(mark(X)))Marked_mark(s(X))Marked_mark(X)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(from(X))Marked_active(from(mark(X)))Marked_mark(from(X))Marked_mark(X)mark1000Marked_mark230active10s330nil0cons210Marked_active230first3320from210Marked_active(first(s(X),cons(Y,Z)))Marked_mark(cons(Y,first(X,Z)))Marked_mark(first(X1,X2))Marked_mark(X1)Marked_mark(first(X1,X2))Marked_mark(X2)Marked_mark(s(X))Marked_mark(X)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(from(X))Marked_mark(X)active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)s(mark(X))s(X)s(active(X))s(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_mark(first(X1,X2))Marked_active(first(mark(X1),mark(X2)))Marked_mark(s(X))Marked_active(s(mark(X)))Marked_mark(from(X))Marked_active(from(mark(X)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)s(mark(X))s(X)s(active(X))s(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_mark(first(X1,X2))Marked_active(first(mark(X1),mark(X2)))Marked_mark(s(X))Marked_active(s(mark(X)))Marked_mark(from(X))Marked_active(from(mark(X)))mark000Marked_mark10active0s0nil0cons0Marked_active0first20from0Marked_mark(first(X1,X2))Marked_active(first(mark(X1),mark(X2)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)s(mark(X))s(X)s(active(X))s(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_mark(s(X))Marked_active(s(mark(X)))Marked_mark(from(X))Marked_active(from(mark(X)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)s(mark(X))s(X)s(active(X))s(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_mark(s(X))Marked_active(s(mark(X)))Marked_mark(from(X))Marked_active(from(mark(X)))mark000Marked_mark330active0s20nil0cons10Marked_active330first0from20Marked_active(from(X))Marked_mark(cons(X,from(s(X))))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)s(mark(X))s(X)s(active(X))s(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_mark(s(X))Marked_active(s(mark(X)))Marked_mark(from(X))Marked_active(from(mark(X)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)s(mark(X))s(X)s(active(X))s(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_first(mark(X1),X2)Marked_first(X1,X2)Marked_first(X1,mark(X2))Marked_first(X1,X2)Marked_first(active(X1),X2)Marked_first(X1,X2)Marked_first(X1,active(X2))Marked_first(X1,X2)Marked_first2Marked_first(X1,active(X2))Marked_first(X1,X2)Marked_first(X1,mark(X2))Marked_first(X1,X2)active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)s(mark(X))s(X)s(active(X))s(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_first(active(X1),X2)Marked_first(X1,X2)Marked_first(mark(X1),X2)Marked_first(X1,X2)active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)s(mark(X))s(X)s(active(X))s(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_first(active(X1),X2)Marked_first(X1,X2)Marked_first(mark(X1),X2)Marked_first(X1,X2)Marked_first1Marked_first(mark(X1),X2)Marked_first(X1,X2)Marked_first(active(X1),X2)Marked_first(X1,X2)active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)s(mark(X))s(X)s(active(X))s(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)s(mark(X))s(X)s(active(X))s(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_s(mark(X))Marked_s(X)Marked_s(active(X))Marked_s(X)Marked_s1Marked_s(active(X))Marked_s(X)Marked_s(mark(X))Marked_s(X)active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)s(mark(X))s(X)s(active(X))s(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)s(mark(X))s(X)s(active(X))s(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_cons(mark(X1),X2)Marked_cons(X1,X2)Marked_cons(X1,mark(X2))Marked_cons(X1,X2)Marked_cons(active(X1),X2)Marked_cons(X1,X2)Marked_cons(X1,active(X2))Marked_cons(X1,X2)Marked_cons2Marked_cons(X1,active(X2))Marked_cons(X1,X2)Marked_cons(X1,mark(X2))Marked_cons(X1,X2)active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)s(mark(X))s(X)s(active(X))s(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_cons(active(X1),X2)Marked_cons(X1,X2)Marked_cons(mark(X1),X2)Marked_cons(X1,X2)active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)s(mark(X))s(X)s(active(X))s(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_cons(active(X1),X2)Marked_cons(X1,X2)Marked_cons(mark(X1),X2)Marked_cons(X1,X2)Marked_cons1Marked_cons(mark(X1),X2)Marked_cons(X1,X2)Marked_cons(active(X1),X2)Marked_cons(X1,X2)active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)s(mark(X))s(X)s(active(X))s(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)s(mark(X))s(X)s(active(X))s(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)Marked_from(mark(X))Marked_from(X)Marked_from(active(X))Marked_from(X)Marked_from1Marked_from(active(X))Marked_from(X)Marked_from(mark(X))Marked_from(X)active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(from(X))mark(cons(X,from(s(X))))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)s(mark(X))s(X)s(active(X))s(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)from(mark(X))from(X)from(active(X))from(X)