Marked_sMarked_2ndcons1Marked_activefromMarked_consactivesMarked_cons12ndMarked_markconsMarked_frommarkX2X1ZYXactive(2nd(cons1(X,cons(Y,Z))))mark(Y)active(2nd(cons(X,X1)))mark(2nd(cons1(X,X1)))active(from(X))mark(cons(X,from(s(X))))mark(2nd(X))active(2nd(mark(X)))mark(cons1(X1,X2))active(cons1(mark(X1),mark(X2)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))2nd(mark(X))2nd(X)2nd(active(X))2nd(X)cons1(mark(X1),X2)cons1(X1,X2)cons1(X1,mark(X2))cons1(X1,X2)cons1(active(X1),X2)cons1(X1,X2)cons1(X1,active(X2))cons1(X1,X2)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)s(mark(X))s(X)s(active(X))s(X)active(2nd(cons1(X,cons(Y,Z))))mark(Y)active(2nd(cons(X,X1)))mark(2nd(cons1(X,X1)))active(from(X))mark(cons(X,from(s(X))))mark(2nd(X))active(2nd(mark(X)))mark(cons1(X1,X2))active(cons1(mark(X1),mark(X2)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))2nd(mark(X))2nd(X)2nd(active(X))2nd(X)cons1(mark(X1),X2)cons1(X1,X2)cons1(X1,mark(X2))cons1(X1,X2)cons1(active(X1),X2)cons1(X1,X2)cons1(X1,active(X2))cons1(X1,X2)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)s(mark(X))s(X)s(active(X))s(X)Marked_active(2nd(cons1(X,cons(Y,Z))))Marked_mark(Y)Marked_active(2nd(cons(X,X1)))Marked_mark(2nd(cons1(X,X1)))Marked_active(2nd(cons(X,X1)))Marked_2nd(cons1(X,X1))Marked_active(2nd(cons(X,X1)))Marked_cons1(X,X1)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(2nd(X))Marked_active(2nd(mark(X)))Marked_mark(2nd(X))Marked_2nd(mark(X))Marked_mark(2nd(X))Marked_mark(X)Marked_mark(cons1(X1,X2))Marked_active(cons1(mark(X1),mark(X2)))Marked_mark(cons1(X1,X2))Marked_cons1(mark(X1),mark(X2))Marked_mark(cons1(X1,X2))Marked_mark(X1)Marked_mark(cons1(X1,X2))Marked_mark(X2)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_mark(s(X))Marked_active(s(mark(X)))Marked_mark(s(X))Marked_s(mark(X))Marked_mark(s(X))Marked_mark(X)Marked_2nd(mark(X))Marked_2nd(X)Marked_2nd(active(X))Marked_2nd(X)Marked_cons1(mark(X1),X2)Marked_cons1(X1,X2)Marked_cons1(X1,mark(X2))Marked_cons1(X1,X2)Marked_cons1(active(X1),X2)Marked_cons1(X1,X2)Marked_cons1(X1,active(X2))Marked_cons1(X1,X2)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)Marked_s(mark(X))Marked_s(X)Marked_s(active(X))Marked_s(X)active(2nd(cons1(X,cons(Y,Z))))mark(Y)active(2nd(cons(X,X1)))mark(2nd(cons1(X,X1)))active(from(X))mark(cons(X,from(s(X))))mark(2nd(X))active(2nd(mark(X)))mark(cons1(X1,X2))active(cons1(mark(X1),mark(X2)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))2nd(mark(X))2nd(X)2nd(active(X))2nd(X)cons1(mark(X1),X2)cons1(X1,X2)cons1(X1,mark(X2))cons1(X1,X2)cons1(active(X1),X2)cons1(X1,X2)cons1(X1,active(X2))cons1(X1,X2)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)s(mark(X))s(X)s(active(X))s(X)Marked_active(2nd(cons1(X,cons(Y,Z))))Marked_mark(Y)Marked_active(2nd(cons(X,X1)))Marked_mark(2nd(cons1(X,X1)))Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_mark(2nd(X))Marked_active(2nd(mark(X)))Marked_mark(2nd(X))Marked_mark(X)Marked_mark(cons1(X1,X2))Marked_active(cons1(mark(X1),mark(X2)))Marked_mark(cons1(X1,X2))Marked_mark(X1)Marked_mark(cons1(X1,X2))Marked_mark(X2)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)Marked_mark(s(X))Marked_active(s(mark(X)))Marked_mark(s(X))Marked_mark(X)mark0cons0Marked_mark202nd10s0active0from10Marked_active20cons10Marked_mark(cons1(X1,X2))Marked_active(cons1(mark(X1),mark(X2)))Marked_mark(cons(X1,X2))Marked_active(cons(mark(X1),X2))Marked_mark(s(X))Marked_active(s(mark(X)))active(2nd(cons1(X,cons(Y,Z))))mark(Y)active(2nd(cons(X,X1)))mark(2nd(cons1(X,X1)))active(from(X))mark(cons(X,from(s(X))))mark(2nd(X))active(2nd(mark(X)))mark(cons1(X1,X2))active(cons1(mark(X1),mark(X2)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))2nd(mark(X))2nd(X)2nd(active(X))2nd(X)cons1(mark(X1),X2)cons1(X1,X2)cons1(X1,mark(X2))cons1(X1,X2)cons1(active(X1),X2)cons1(X1,X2)cons1(X1,active(X2))cons1(X1,X2)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)s(mark(X))s(X)s(active(X))s(X)Marked_active(2nd(cons1(X,cons(Y,Z))))Marked_mark(Y)Marked_active(2nd(cons(X,X1)))Marked_mark(2nd(cons1(X,X1)))Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_mark(2nd(X))Marked_active(2nd(mark(X)))Marked_mark(2nd(X))Marked_mark(X)Marked_mark(cons1(X1,X2))Marked_mark(X1)Marked_mark(cons1(X1,X2))Marked_mark(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)Marked_mark(s(X))Marked_mark(X)active(2nd(cons1(X,cons(Y,Z))))mark(Y)active(2nd(cons(X,X1)))mark(2nd(cons1(X,X1)))active(from(X))mark(cons(X,from(s(X))))mark(2nd(X))active(2nd(mark(X)))mark(cons1(X1,X2))active(cons1(mark(X1),mark(X2)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))2nd(mark(X))2nd(X)2nd(active(X))2nd(X)cons1(mark(X1),X2)cons1(X1,X2)cons1(X1,mark(X2))cons1(X1,X2)cons1(active(X1),X2)cons1(X1,X2)cons1(X1,active(X2))cons1(X1,X2)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)s(mark(X))s(X)s(active(X))s(X)Marked_active(2nd(cons1(X,cons(Y,Z))))Marked_mark(Y)Marked_active(2nd(cons(X,X1)))Marked_mark(2nd(cons1(X,X1)))Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_mark(2nd(X))Marked_active(2nd(mark(X)))Marked_mark(2nd(X))Marked_mark(X)Marked_mark(cons1(X1,X2))Marked_mark(X1)Marked_mark(cons1(X1,X2))Marked_mark(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)Marked_mark(s(X))Marked_mark(X)mark000000000100010010000000000cons000000000010001001000100100000000000Marked_mark0000000000000001000000000002nd101000000101101101000000000s000000000000001001000000000active000000000100010010000000000from000000000001101101000000000Marked_active000000000100000000000000000cons1000000000000001001000001001000000000Marked_active(2nd(cons1(X,cons(Y,Z))))Marked_mark(Y)Marked_mark(2nd(X))Marked_mark(X)active(2nd(cons1(X,cons(Y,Z))))mark(Y)active(2nd(cons(X,X1)))mark(2nd(cons1(X,X1)))active(from(X))mark(cons(X,from(s(X))))mark(2nd(X))active(2nd(mark(X)))mark(cons1(X1,X2))active(cons1(mark(X1),mark(X2)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))2nd(mark(X))2nd(X)2nd(active(X))2nd(X)cons1(mark(X1),X2)cons1(X1,X2)cons1(X1,mark(X2))cons1(X1,X2)cons1(active(X1),X2)cons1(X1,X2)cons1(X1,active(X2))cons1(X1,X2)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)s(mark(X))s(X)s(active(X))s(X)Marked_active(2nd(cons(X,X1)))Marked_mark(2nd(cons1(X,X1)))Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_mark(2nd(X))Marked_active(2nd(mark(X)))Marked_mark(cons1(X1,X2))Marked_mark(X1)Marked_mark(cons1(X1,X2))Marked_mark(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)Marked_mark(s(X))Marked_mark(X)active(2nd(cons1(X,cons(Y,Z))))mark(Y)active(2nd(cons(X,X1)))mark(2nd(cons1(X,X1)))active(from(X))mark(cons(X,from(s(X))))mark(2nd(X))active(2nd(mark(X)))mark(cons1(X1,X2))active(cons1(mark(X1),mark(X2)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))2nd(mark(X))2nd(X)2nd(active(X))2nd(X)cons1(mark(X1),X2)cons1(X1,X2)cons1(X1,mark(X2))cons1(X1,X2)cons1(active(X1),X2)cons1(X1,X2)cons1(X1,active(X2))cons1(X1,X2)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)s(mark(X))s(X)s(active(X))s(X)Marked_active(2nd(cons(X,X1)))Marked_mark(2nd(cons1(X,X1)))Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_mark(2nd(X))Marked_active(2nd(mark(X)))Marked_mark(cons1(X1,X2))Marked_mark(X1)Marked_mark(cons1(X1,X2))Marked_mark(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)Marked_mark(s(X))Marked_mark(X)mark000000000100010000000000000cons100000000010010000000100000000000000Marked_mark0000000000001000000000000002nd000000000111000000000000000s000000000000010000000000000active000000000100010000000000000from100000000011111000000000000Marked_active000000000000000100000000000cons1000000000000010000000110000000000000Marked_active(2nd(cons(X,X1)))Marked_mark(2nd(cons1(X,X1)))active(2nd(cons1(X,cons(Y,Z))))mark(Y)active(2nd(cons(X,X1)))mark(2nd(cons1(X,X1)))active(from(X))mark(cons(X,from(s(X))))mark(2nd(X))active(2nd(mark(X)))mark(cons1(X1,X2))active(cons1(mark(X1),mark(X2)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))2nd(mark(X))2nd(X)2nd(active(X))2nd(X)cons1(mark(X1),X2)cons1(X1,X2)cons1(X1,mark(X2))cons1(X1,X2)cons1(active(X1),X2)cons1(X1,X2)cons1(X1,active(X2))cons1(X1,X2)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)s(mark(X))s(X)s(active(X))s(X)Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_mark(2nd(X))Marked_active(2nd(mark(X)))Marked_mark(cons1(X1,X2))Marked_mark(X1)Marked_mark(cons1(X1,X2))Marked_mark(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)Marked_mark(s(X))Marked_mark(X)active(2nd(cons1(X,cons(Y,Z))))mark(Y)active(2nd(cons(X,X1)))mark(2nd(cons1(X,X1)))active(from(X))mark(cons(X,from(s(X))))mark(2nd(X))active(2nd(mark(X)))mark(cons1(X1,X2))active(cons1(mark(X1),mark(X2)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))2nd(mark(X))2nd(X)2nd(active(X))2nd(X)cons1(mark(X1),X2)cons1(X1,X2)cons1(X1,mark(X2))cons1(X1,X2)cons1(active(X1),X2)cons1(X1,X2)cons1(X1,active(X2))cons1(X1,X2)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)s(mark(X))s(X)s(active(X))s(X)Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_mark(2nd(X))Marked_active(2nd(mark(X)))Marked_mark(cons1(X1,X2))Marked_mark(X1)Marked_mark(cons1(X1,X2))Marked_mark(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)Marked_mark(s(X))Marked_mark(X)mark0cons0Marked_mark202nd0s0active0from20Marked_active10cons10Marked_mark(2nd(X))Marked_active(2nd(mark(X)))active(2nd(cons1(X,cons(Y,Z))))mark(Y)active(2nd(cons(X,X1)))mark(2nd(cons1(X,X1)))active(from(X))mark(cons(X,from(s(X))))mark(2nd(X))active(2nd(mark(X)))mark(cons1(X1,X2))active(cons1(mark(X1),mark(X2)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))2nd(mark(X))2nd(X)2nd(active(X))2nd(X)cons1(mark(X1),X2)cons1(X1,X2)cons1(X1,mark(X2))cons1(X1,X2)cons1(active(X1),X2)cons1(X1,X2)cons1(X1,active(X2))cons1(X1,X2)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)s(mark(X))s(X)s(active(X))s(X)Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_mark(cons1(X1,X2))Marked_mark(X1)Marked_mark(cons1(X1,X2))Marked_mark(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)Marked_mark(s(X))Marked_mark(X)active(2nd(cons1(X,cons(Y,Z))))mark(Y)active(2nd(cons(X,X1)))mark(2nd(cons1(X,X1)))active(from(X))mark(cons(X,from(s(X))))mark(2nd(X))active(2nd(mark(X)))mark(cons1(X1,X2))active(cons1(mark(X1),mark(X2)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))2nd(mark(X))2nd(X)2nd(active(X))2nd(X)cons1(mark(X1),X2)cons1(X1,X2)cons1(X1,mark(X2))cons1(X1,X2)cons1(active(X1),X2)cons1(X1,X2)cons1(X1,active(X2))cons1(X1,X2)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)s(mark(X))s(X)s(active(X))s(X)Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_mark(cons1(X1,X2))Marked_mark(X1)Marked_mark(cons1(X1,X2))Marked_mark(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)Marked_mark(s(X))Marked_mark(X)mark000000000000010001000000000cons000000000000010010000001000000000000Marked_mark0000000000001000000000000002nd000000000000000011000000000s010000000000010000000000000active000000000000010001000000000from001000000000011010000000000Marked_active000000000000100000000000000cons1000000000000010000000011000000000000Marked_mark(s(X))Marked_mark(X)active(2nd(cons1(X,cons(Y,Z))))mark(Y)active(2nd(cons(X,X1)))mark(2nd(cons1(X,X1)))active(from(X))mark(cons(X,from(s(X))))mark(2nd(X))active(2nd(mark(X)))mark(cons1(X1,X2))active(cons1(mark(X1),mark(X2)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))2nd(mark(X))2nd(X)2nd(active(X))2nd(X)cons1(mark(X1),X2)cons1(X1,X2)cons1(X1,mark(X2))cons1(X1,X2)cons1(active(X1),X2)cons1(X1,X2)cons1(X1,active(X2))cons1(X1,X2)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)s(mark(X))s(X)s(active(X))s(X)Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_mark(cons1(X1,X2))Marked_mark(X1)Marked_mark(cons1(X1,X2))Marked_mark(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)active(2nd(cons1(X,cons(Y,Z))))mark(Y)active(2nd(cons(X,X1)))mark(2nd(cons1(X,X1)))active(from(X))mark(cons(X,from(s(X))))mark(2nd(X))active(2nd(mark(X)))mark(cons1(X1,X2))active(cons1(mark(X1),mark(X2)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))2nd(mark(X))2nd(X)2nd(active(X))2nd(X)cons1(mark(X1),X2)cons1(X1,X2)cons1(X1,mark(X2))cons1(X1,X2)cons1(active(X1),X2)cons1(X1,X2)cons1(X1,active(X2))cons1(X1,X2)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)s(mark(X))s(X)s(active(X))s(X)Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_mark(cons1(X1,X2))Marked_mark(X1)Marked_mark(cons1(X1,X2))Marked_mark(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)mark10cons210Marked_mark102nd20s0active10from220Marked_active10cons1110Marked_mark(from(X))Marked_mark(X)active(2nd(cons1(X,cons(Y,Z))))mark(Y)active(2nd(cons(X,X1)))mark(2nd(cons1(X,X1)))active(from(X))mark(cons(X,from(s(X))))mark(2nd(X))active(2nd(mark(X)))mark(cons1(X1,X2))active(cons1(mark(X1),mark(X2)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))2nd(mark(X))2nd(X)2nd(active(X))2nd(X)cons1(mark(X1),X2)cons1(X1,X2)cons1(X1,mark(X2))cons1(X1,X2)cons1(active(X1),X2)cons1(X1,X2)cons1(X1,active(X2))cons1(X1,X2)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)s(mark(X))s(X)s(active(X))s(X)Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_mark(cons1(X1,X2))Marked_mark(X1)Marked_mark(cons1(X1,X2))Marked_mark(X2)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(from(X))Marked_active(from(mark(X)))active(2nd(cons1(X,cons(Y,Z))))mark(Y)active(2nd(cons(X,X1)))mark(2nd(cons1(X,X1)))active(from(X))mark(cons(X,from(s(X))))mark(2nd(X))active(2nd(mark(X)))mark(cons1(X1,X2))active(cons1(mark(X1),mark(X2)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))2nd(mark(X))2nd(X)2nd(active(X))2nd(X)cons1(mark(X1),X2)cons1(X1,X2)cons1(X1,mark(X2))cons1(X1,X2)cons1(active(X1),X2)cons1(X1,X2)cons1(X1,active(X2))cons1(X1,X2)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)s(mark(X))s(X)s(active(X))s(X)Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_mark(cons1(X1,X2))Marked_mark(X1)Marked_mark(cons1(X1,X2))Marked_mark(X2)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(from(X))Marked_active(from(mark(X)))mark000000000010100010000000000cons000000000100100100001001001000000000Marked_mark0000000001000000000000000002nd000000000011011011000000000s000000000000000000000000000active000000000010100010000000000from100000000100100100000000000Marked_active000000000100000000000000000cons1000000000100100100100100100000000000Marked_active(from(X))Marked_mark(cons(X,from(s(X))))active(2nd(cons1(X,cons(Y,Z))))mark(Y)active(2nd(cons(X,X1)))mark(2nd(cons1(X,X1)))active(from(X))mark(cons(X,from(s(X))))mark(2nd(X))active(2nd(mark(X)))mark(cons1(X1,X2))active(cons1(mark(X1),mark(X2)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))2nd(mark(X))2nd(X)2nd(active(X))2nd(X)cons1(mark(X1),X2)cons1(X1,X2)cons1(X1,mark(X2))cons1(X1,X2)cons1(active(X1),X2)cons1(X1,X2)cons1(X1,active(X2))cons1(X1,X2)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)s(mark(X))s(X)s(active(X))s(X)Marked_mark(cons1(X1,X2))Marked_mark(X1)Marked_mark(cons1(X1,X2))Marked_mark(X2)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(from(X))Marked_active(from(mark(X)))active(2nd(cons1(X,cons(Y,Z))))mark(Y)active(2nd(cons(X,X1)))mark(2nd(cons1(X,X1)))active(from(X))mark(cons(X,from(s(X))))mark(2nd(X))active(2nd(mark(X)))mark(cons1(X1,X2))active(cons1(mark(X1),mark(X2)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))2nd(mark(X))2nd(X)2nd(active(X))2nd(X)cons1(mark(X1),X2)cons1(X1,X2)cons1(X1,mark(X2))cons1(X1,X2)cons1(active(X1),X2)cons1(X1,X2)cons1(X1,active(X2))cons1(X1,X2)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)s(mark(X))s(X)s(active(X))s(X)Marked_mark(cons1(X1,X2))Marked_mark(X1)Marked_mark(cons1(X1,X2))Marked_mark(X2)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark1Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(cons1(X1,X2))Marked_mark(X2)Marked_mark(cons1(X1,X2))Marked_mark(X1)active(2nd(cons1(X,cons(Y,Z))))mark(Y)active(2nd(cons(X,X1)))mark(2nd(cons1(X,X1)))active(from(X))mark(cons(X,from(s(X))))mark(2nd(X))active(2nd(mark(X)))mark(cons1(X1,X2))active(cons1(mark(X1),mark(X2)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))2nd(mark(X))2nd(X)2nd(active(X))2nd(X)cons1(mark(X1),X2)cons1(X1,X2)cons1(X1,mark(X2))cons1(X1,X2)cons1(active(X1),X2)cons1(X1,X2)cons1(X1,active(X2))cons1(X1,X2)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)s(mark(X))s(X)s(active(X))s(X)active(2nd(cons1(X,cons(Y,Z))))mark(Y)active(2nd(cons(X,X1)))mark(2nd(cons1(X,X1)))active(from(X))mark(cons(X,from(s(X))))mark(2nd(X))active(2nd(mark(X)))mark(cons1(X1,X2))active(cons1(mark(X1),mark(X2)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))2nd(mark(X))2nd(X)2nd(active(X))2nd(X)cons1(mark(X1),X2)cons1(X1,X2)cons1(X1,mark(X2))cons1(X1,X2)cons1(active(X1),X2)cons1(X1,X2)cons1(X1,active(X2))cons1(X1,X2)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)s(mark(X))s(X)s(active(X))s(X)Marked_2nd(mark(X))Marked_2nd(X)Marked_2nd(active(X))Marked_2nd(X)Marked_2nd1Marked_2nd(active(X))Marked_2nd(X)Marked_2nd(mark(X))Marked_2nd(X)active(2nd(cons1(X,cons(Y,Z))))mark(Y)active(2nd(cons(X,X1)))mark(2nd(cons1(X,X1)))active(from(X))mark(cons(X,from(s(X))))mark(2nd(X))active(2nd(mark(X)))mark(cons1(X1,X2))active(cons1(mark(X1),mark(X2)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))2nd(mark(X))2nd(X)2nd(active(X))2nd(X)cons1(mark(X1),X2)cons1(X1,X2)cons1(X1,mark(X2))cons1(X1,X2)cons1(active(X1),X2)cons1(X1,X2)cons1(X1,active(X2))cons1(X1,X2)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)s(mark(X))s(X)s(active(X))s(X)active(2nd(cons1(X,cons(Y,Z))))mark(Y)active(2nd(cons(X,X1)))mark(2nd(cons1(X,X1)))active(from(X))mark(cons(X,from(s(X))))mark(2nd(X))active(2nd(mark(X)))mark(cons1(X1,X2))active(cons1(mark(X1),mark(X2)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))2nd(mark(X))2nd(X)2nd(active(X))2nd(X)cons1(mark(X1),X2)cons1(X1,X2)cons1(X1,mark(X2))cons1(X1,X2)cons1(active(X1),X2)cons1(X1,X2)cons1(X1,active(X2))cons1(X1,X2)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)s(mark(X))s(X)s(active(X))s(X)Marked_cons1(mark(X1),X2)Marked_cons1(X1,X2)Marked_cons1(X1,mark(X2))Marked_cons1(X1,X2)Marked_cons1(active(X1),X2)Marked_cons1(X1,X2)Marked_cons1(X1,active(X2))Marked_cons1(X1,X2)Marked_cons12Marked_cons1(X1,active(X2))Marked_cons1(X1,X2)Marked_cons1(X1,mark(X2))Marked_cons1(X1,X2)active(2nd(cons1(X,cons(Y,Z))))mark(Y)active(2nd(cons(X,X1)))mark(2nd(cons1(X,X1)))active(from(X))mark(cons(X,from(s(X))))mark(2nd(X))active(2nd(mark(X)))mark(cons1(X1,X2))active(cons1(mark(X1),mark(X2)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))2nd(mark(X))2nd(X)2nd(active(X))2nd(X)cons1(mark(X1),X2)cons1(X1,X2)cons1(X1,mark(X2))cons1(X1,X2)cons1(active(X1),X2)cons1(X1,X2)cons1(X1,active(X2))cons1(X1,X2)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)s(mark(X))s(X)s(active(X))s(X)Marked_cons1(active(X1),X2)Marked_cons1(X1,X2)Marked_cons1(mark(X1),X2)Marked_cons1(X1,X2)active(2nd(cons1(X,cons(Y,Z))))mark(Y)active(2nd(cons(X,X1)))mark(2nd(cons1(X,X1)))active(from(X))mark(cons(X,from(s(X))))mark(2nd(X))active(2nd(mark(X)))mark(cons1(X1,X2))active(cons1(mark(X1),mark(X2)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))2nd(mark(X))2nd(X)2nd(active(X))2nd(X)cons1(mark(X1),X2)cons1(X1,X2)cons1(X1,mark(X2))cons1(X1,X2)cons1(active(X1),X2)cons1(X1,X2)cons1(X1,active(X2))cons1(X1,X2)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)s(mark(X))s(X)s(active(X))s(X)Marked_cons1(active(X1),X2)Marked_cons1(X1,X2)Marked_cons1(mark(X1),X2)Marked_cons1(X1,X2)Marked_cons11Marked_cons1(mark(X1),X2)Marked_cons1(X1,X2)Marked_cons1(active(X1),X2)Marked_cons1(X1,X2)active(2nd(cons1(X,cons(Y,Z))))mark(Y)active(2nd(cons(X,X1)))mark(2nd(cons1(X,X1)))active(from(X))mark(cons(X,from(s(X))))mark(2nd(X))active(2nd(mark(X)))mark(cons1(X1,X2))active(cons1(mark(X1),mark(X2)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))2nd(mark(X))2nd(X)2nd(active(X))2nd(X)cons1(mark(X1),X2)cons1(X1,X2)cons1(X1,mark(X2))cons1(X1,X2)cons1(active(X1),X2)cons1(X1,X2)cons1(X1,active(X2))cons1(X1,X2)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)s(mark(X))s(X)s(active(X))s(X)active(2nd(cons1(X,cons(Y,Z))))mark(Y)active(2nd(cons(X,X1)))mark(2nd(cons1(X,X1)))active(from(X))mark(cons(X,from(s(X))))mark(2nd(X))active(2nd(mark(X)))mark(cons1(X1,X2))active(cons1(mark(X1),mark(X2)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))2nd(mark(X))2nd(X)2nd(active(X))2nd(X)cons1(mark(X1),X2)cons1(X1,X2)cons1(X1,mark(X2))cons1(X1,X2)cons1(active(X1),X2)cons1(X1,X2)cons1(X1,active(X2))cons1(X1,X2)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)s(mark(X))s(X)s(active(X))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_cons2Marked_cons(X1,active(X2))Marked_cons(X1,X2)Marked_cons(X1,mark(X2))Marked_cons(X1,X2)active(2nd(cons1(X,cons(Y,Z))))mark(Y)active(2nd(cons(X,X1)))mark(2nd(cons1(X,X1)))active(from(X))mark(cons(X,from(s(X))))mark(2nd(X))active(2nd(mark(X)))mark(cons1(X1,X2))active(cons1(mark(X1),mark(X2)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))2nd(mark(X))2nd(X)2nd(active(X))2nd(X)cons1(mark(X1),X2)cons1(X1,X2)cons1(X1,mark(X2))cons1(X1,X2)cons1(active(X1),X2)cons1(X1,X2)cons1(X1,active(X2))cons1(X1,X2)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)s(mark(X))s(X)s(active(X))s(X)Marked_cons(active(X1),X2)Marked_cons(X1,X2)Marked_cons(mark(X1),X2)Marked_cons(X1,X2)active(2nd(cons1(X,cons(Y,Z))))mark(Y)active(2nd(cons(X,X1)))mark(2nd(cons1(X,X1)))active(from(X))mark(cons(X,from(s(X))))mark(2nd(X))active(2nd(mark(X)))mark(cons1(X1,X2))active(cons1(mark(X1),mark(X2)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))2nd(mark(X))2nd(X)2nd(active(X))2nd(X)cons1(mark(X1),X2)cons1(X1,X2)cons1(X1,mark(X2))cons1(X1,X2)cons1(active(X1),X2)cons1(X1,X2)cons1(X1,active(X2))cons1(X1,X2)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)s(mark(X))s(X)s(active(X))s(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(2nd(cons1(X,cons(Y,Z))))mark(Y)active(2nd(cons(X,X1)))mark(2nd(cons1(X,X1)))active(from(X))mark(cons(X,from(s(X))))mark(2nd(X))active(2nd(mark(X)))mark(cons1(X1,X2))active(cons1(mark(X1),mark(X2)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))2nd(mark(X))2nd(X)2nd(active(X))2nd(X)cons1(mark(X1),X2)cons1(X1,X2)cons1(X1,mark(X2))cons1(X1,X2)cons1(active(X1),X2)cons1(X1,X2)cons1(X1,active(X2))cons1(X1,X2)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)s(mark(X))s(X)s(active(X))s(X)active(2nd(cons1(X,cons(Y,Z))))mark(Y)active(2nd(cons(X,X1)))mark(2nd(cons1(X,X1)))active(from(X))mark(cons(X,from(s(X))))mark(2nd(X))active(2nd(mark(X)))mark(cons1(X1,X2))active(cons1(mark(X1),mark(X2)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))2nd(mark(X))2nd(X)2nd(active(X))2nd(X)cons1(mark(X1),X2)cons1(X1,X2)cons1(X1,mark(X2))cons1(X1,X2)cons1(active(X1),X2)cons1(X1,X2)cons1(X1,active(X2))cons1(X1,X2)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)s(mark(X))s(X)s(active(X))s(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(2nd(cons1(X,cons(Y,Z))))mark(Y)active(2nd(cons(X,X1)))mark(2nd(cons1(X,X1)))active(from(X))mark(cons(X,from(s(X))))mark(2nd(X))active(2nd(mark(X)))mark(cons1(X1,X2))active(cons1(mark(X1),mark(X2)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))2nd(mark(X))2nd(X)2nd(active(X))2nd(X)cons1(mark(X1),X2)cons1(X1,X2)cons1(X1,mark(X2))cons1(X1,X2)cons1(active(X1),X2)cons1(X1,X2)cons1(X1,active(X2))cons1(X1,X2)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)s(mark(X))s(X)s(active(X))s(X)active(2nd(cons1(X,cons(Y,Z))))mark(Y)active(2nd(cons(X,X1)))mark(2nd(cons1(X,X1)))active(from(X))mark(cons(X,from(s(X))))mark(2nd(X))active(2nd(mark(X)))mark(cons1(X1,X2))active(cons1(mark(X1),mark(X2)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))2nd(mark(X))2nd(X)2nd(active(X))2nd(X)cons1(mark(X1),X2)cons1(X1,X2)cons1(X1,mark(X2))cons1(X1,X2)cons1(active(X1),X2)cons1(X1,X2)cons1(X1,active(X2))cons1(X1,X2)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)s(mark(X))s(X)s(active(X))s(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(2nd(cons1(X,cons(Y,Z))))mark(Y)active(2nd(cons(X,X1)))mark(2nd(cons1(X,X1)))active(from(X))mark(cons(X,from(s(X))))mark(2nd(X))active(2nd(mark(X)))mark(cons1(X1,X2))active(cons1(mark(X1),mark(X2)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))2nd(mark(X))2nd(X)2nd(active(X))2nd(X)cons1(mark(X1),X2)cons1(X1,X2)cons1(X1,mark(X2))cons1(X1,X2)cons1(active(X1),X2)cons1(X1,X2)cons1(X1,active(X2))cons1(X1,X2)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)s(mark(X))s(X)s(active(X))s(X)