Marked_activenilMarked_ssMarked_from0Marked_length1consMarked_marklengthMarked_lengthfromMarked_consactivelength1markX2X1YXactive(from(X))mark(cons(X,from(s(X))))active(length(nil))mark(0)active(length(cons(X,Y)))mark(s(length1(Y)))active(length1(X))mark(length(X))mark(from(X))active(from(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(length(X))active(length(X))mark(nil)active(nil)mark(0)active(0)mark(length1(X))active(length1(X))from(mark(X))from(X)from(active(X))from(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)s(mark(X))s(X)s(active(X))s(X)length(mark(X))length(X)length(active(X))length(X)length1(mark(X))length1(X)length1(active(X))length1(X)active(from(X))mark(cons(X,from(s(X))))active(length(nil))mark(0)active(length(cons(X,Y)))mark(s(length1(Y)))active(length1(X))mark(length(X))mark(from(X))active(from(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(length(X))active(length(X))mark(nil)active(nil)mark(0)active(0)mark(length1(X))active(length1(X))from(mark(X))from(X)from(active(X))from(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)s(mark(X))s(X)s(active(X))s(X)length(mark(X))length(X)length(active(X))length(X)length1(mark(X))length1(X)length1(active(X))length1(X)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_active(length(nil))Marked_mark(0)Marked_active(length(cons(X,Y)))Marked_mark(s(length1(Y)))Marked_active(length(cons(X,Y)))Marked_s(length1(Y))Marked_active(length(cons(X,Y)))Marked_length1(Y)Marked_active(length1(X))Marked_mark(length(X))Marked_active(length1(X))Marked_length(X)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(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(s(X))Marked_active(s(mark(X)))Marked_mark(s(X))Marked_s(mark(X))Marked_mark(s(X))Marked_mark(X)Marked_mark(length(X))Marked_active(length(X))Marked_mark(nil)Marked_active(nil)Marked_mark(0)Marked_active(0)Marked_mark(length1(X))Marked_active(length1(X))Marked_from(mark(X))Marked_from(X)Marked_from(active(X))Marked_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_s(mark(X))Marked_s(X)Marked_s(active(X))Marked_s(X)Marked_length(mark(X))Marked_length(X)Marked_length(active(X))Marked_length(X)Marked_length1(mark(X))Marked_length1(X)Marked_length1(active(X))Marked_length1(X)active(from(X))mark(cons(X,from(s(X))))active(length(nil))mark(0)active(length(cons(X,Y)))mark(s(length1(Y)))active(length1(X))mark(length(X))mark(from(X))active(from(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(length(X))active(length(X))mark(nil)active(nil)mark(0)active(0)mark(length1(X))active(length1(X))from(mark(X))from(X)from(active(X))from(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)s(mark(X))s(X)s(active(X))s(X)length(mark(X))length(X)length(active(X))length(X)length1(mark(X))length1(X)length1(active(X))length1(X)Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_active(length(cons(X,Y)))Marked_mark(s(length1(Y)))Marked_active(length1(X))Marked_mark(length(X))Marked_mark(from(X))Marked_active(from(mark(X)))Marked_mark(from(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(s(X))Marked_active(s(mark(X)))Marked_mark(s(X))Marked_mark(X)Marked_mark(length(X))Marked_active(length(X))Marked_mark(length1(X))Marked_active(length1(X))mark0length120active0from20length20Marked_mark20cons000s20nil0Marked_active10Marked_mark(cons(X1,X2))Marked_active(cons(mark(X1),X2))active(from(X))mark(cons(X,from(s(X))))active(length(nil))mark(0)active(length(cons(X,Y)))mark(s(length1(Y)))active(length1(X))mark(length(X))mark(from(X))active(from(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(length(X))active(length(X))mark(nil)active(nil)mark(0)active(0)mark(length1(X))active(length1(X))from(mark(X))from(X)from(active(X))from(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)s(mark(X))s(X)s(active(X))s(X)length(mark(X))length(X)length(active(X))length(X)length1(mark(X))length1(X)length1(active(X))length1(X)Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_active(length(cons(X,Y)))Marked_mark(s(length1(Y)))Marked_active(length1(X))Marked_mark(length(X))Marked_mark(from(X))Marked_active(from(mark(X)))Marked_mark(from(X))Marked_mark(X)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_active(s(mark(X)))Marked_mark(s(X))Marked_mark(X)Marked_mark(length(X))Marked_active(length(X))Marked_mark(length1(X))Marked_active(length1(X))active(from(X))mark(cons(X,from(s(X))))active(length(nil))mark(0)active(length(cons(X,Y)))mark(s(length1(Y)))active(length1(X))mark(length(X))mark(from(X))active(from(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(length(X))active(length(X))mark(nil)active(nil)mark(0)active(0)mark(length1(X))active(length1(X))from(mark(X))from(X)from(active(X))from(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)s(mark(X))s(X)s(active(X))s(X)length(mark(X))length(X)length(active(X))length(X)length1(mark(X))length1(X)length1(active(X))length1(X)Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_active(length(cons(X,Y)))Marked_mark(s(length1(Y)))Marked_active(length1(X))Marked_mark(length(X))Marked_mark(from(X))Marked_active(from(mark(X)))Marked_mark(from(X))Marked_mark(X)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_active(s(mark(X)))Marked_mark(s(X))Marked_mark(X)Marked_mark(length(X))Marked_active(length(X))Marked_mark(length1(X))Marked_active(length1(X))mark0length110active0from10length10Marked_mark20cons000s0nil0Marked_active20Marked_mark(s(X))Marked_active(s(mark(X)))active(from(X))mark(cons(X,from(s(X))))active(length(nil))mark(0)active(length(cons(X,Y)))mark(s(length1(Y)))active(length1(X))mark(length(X))mark(from(X))active(from(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(length(X))active(length(X))mark(nil)active(nil)mark(0)active(0)mark(length1(X))active(length1(X))from(mark(X))from(X)from(active(X))from(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)s(mark(X))s(X)s(active(X))s(X)length(mark(X))length(X)length(active(X))length(X)length1(mark(X))length1(X)length1(active(X))length1(X)Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_active(length(cons(X,Y)))Marked_mark(s(length1(Y)))Marked_active(length1(X))Marked_mark(length(X))Marked_mark(from(X))Marked_active(from(mark(X)))Marked_mark(from(X))Marked_mark(X)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)Marked_mark(length(X))Marked_active(length(X))Marked_mark(length1(X))Marked_active(length1(X))active(from(X))mark(cons(X,from(s(X))))active(length(nil))mark(0)active(length(cons(X,Y)))mark(s(length1(Y)))active(length1(X))mark(length(X))mark(from(X))active(from(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(length(X))active(length(X))mark(nil)active(nil)mark(0)active(0)mark(length1(X))active(length1(X))from(mark(X))from(X)from(active(X))from(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)s(mark(X))s(X)s(active(X))s(X)length(mark(X))length(X)length(active(X))length(X)length1(mark(X))length1(X)length1(active(X))length1(X)Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_active(length(cons(X,Y)))Marked_mark(s(length1(Y)))Marked_active(length1(X))Marked_mark(length(X))Marked_mark(from(X))Marked_active(from(mark(X)))Marked_mark(from(X))Marked_mark(X)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)Marked_mark(length(X))Marked_active(length(X))Marked_mark(length1(X))Marked_active(length1(X))mark10length10active10from120length0Marked_mark20cons2000s20nil0Marked_active20Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_mark(from(X))Marked_mark(X)active(from(X))mark(cons(X,from(s(X))))active(length(nil))mark(0)active(length(cons(X,Y)))mark(s(length1(Y)))active(length1(X))mark(length(X))mark(from(X))active(from(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(length(X))active(length(X))mark(nil)active(nil)mark(0)active(0)mark(length1(X))active(length1(X))from(mark(X))from(X)from(active(X))from(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)s(mark(X))s(X)s(active(X))s(X)length(mark(X))length(X)length(active(X))length(X)length1(mark(X))length1(X)length1(active(X))length1(X)Marked_active(length(cons(X,Y)))Marked_mark(s(length1(Y)))Marked_active(length1(X))Marked_mark(length(X))Marked_mark(from(X))Marked_active(from(mark(X)))Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)Marked_mark(length(X))Marked_active(length(X))Marked_mark(length1(X))Marked_active(length1(X))active(from(X))mark(cons(X,from(s(X))))active(length(nil))mark(0)active(length(cons(X,Y)))mark(s(length1(Y)))active(length1(X))mark(length(X))mark(from(X))active(from(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(length(X))active(length(X))mark(nil)active(nil)mark(0)active(0)mark(length1(X))active(length1(X))from(mark(X))from(X)from(active(X))from(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)s(mark(X))s(X)s(active(X))s(X)length(mark(X))length(X)length(active(X))length(X)length1(mark(X))length1(X)length1(active(X))length1(X)Marked_active(length(cons(X,Y)))Marked_mark(s(length1(Y)))Marked_active(length1(X))Marked_mark(length(X))Marked_mark(from(X))Marked_active(from(mark(X)))Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)Marked_mark(length(X))Marked_active(length(X))Marked_mark(length1(X))Marked_active(length1(X))mark20length10active10from130length0Marked_mark10cons1000s20nil0Marked_active0Marked_mark(from(X))Marked_active(from(mark(X)))active(from(X))mark(cons(X,from(s(X))))active(length(nil))mark(0)active(length(cons(X,Y)))mark(s(length1(Y)))active(length1(X))mark(length(X))mark(from(X))active(from(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(length(X))active(length(X))mark(nil)active(nil)mark(0)active(0)mark(length1(X))active(length1(X))from(mark(X))from(X)from(active(X))from(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)s(mark(X))s(X)s(active(X))s(X)length(mark(X))length(X)length(active(X))length(X)length1(mark(X))length1(X)length1(active(X))length1(X)Marked_active(length(cons(X,Y)))Marked_mark(s(length1(Y)))Marked_active(length1(X))Marked_mark(length(X))Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)Marked_mark(length(X))Marked_active(length(X))Marked_mark(length1(X))Marked_active(length1(X))active(from(X))mark(cons(X,from(s(X))))active(length(nil))mark(0)active(length(cons(X,Y)))mark(s(length1(Y)))active(length1(X))mark(length(X))mark(from(X))active(from(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(length(X))active(length(X))mark(nil)active(nil)mark(0)active(0)mark(length1(X))active(length1(X))from(mark(X))from(X)from(active(X))from(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)s(mark(X))s(X)s(active(X))s(X)length(mark(X))length(X)length(active(X))length(X)length1(mark(X))length1(X)length1(active(X))length1(X)Marked_active(length(cons(X,Y)))Marked_mark(s(length1(Y)))Marked_active(length1(X))Marked_mark(length(X))Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)Marked_mark(length(X))Marked_active(length(X))Marked_mark(length1(X))Marked_active(length1(X))mark20length10active10from220length0Marked_mark10cons11000s20nil20Marked_active0Marked_mark(cons(X1,X2))Marked_mark(X1)active(from(X))mark(cons(X,from(s(X))))active(length(nil))mark(0)active(length(cons(X,Y)))mark(s(length1(Y)))active(length1(X))mark(length(X))mark(from(X))active(from(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(length(X))active(length(X))mark(nil)active(nil)mark(0)active(0)mark(length1(X))active(length1(X))from(mark(X))from(X)from(active(X))from(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)s(mark(X))s(X)s(active(X))s(X)length(mark(X))length(X)length(active(X))length(X)length1(mark(X))length1(X)length1(active(X))length1(X)Marked_active(length(cons(X,Y)))Marked_mark(s(length1(Y)))Marked_active(length1(X))Marked_mark(length(X))Marked_mark(s(X))Marked_mark(X)Marked_mark(length(X))Marked_active(length(X))Marked_mark(length1(X))Marked_active(length1(X))active(from(X))mark(cons(X,from(s(X))))active(length(nil))mark(0)active(length(cons(X,Y)))mark(s(length1(Y)))active(length1(X))mark(length(X))mark(from(X))active(from(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(length(X))active(length(X))mark(nil)active(nil)mark(0)active(0)mark(length1(X))active(length1(X))from(mark(X))from(X)from(active(X))from(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)s(mark(X))s(X)s(active(X))s(X)length(mark(X))length(X)length(active(X))length(X)length1(mark(X))length1(X)length1(active(X))length1(X)Marked_active(length(cons(X,Y)))Marked_mark(s(length1(Y)))Marked_active(length1(X))Marked_mark(length(X))Marked_mark(s(X))Marked_mark(X)Marked_mark(length(X))Marked_active(length(X))Marked_mark(length1(X))Marked_active(length1(X))mark000000000010010011000000000length1000000000001001000000000000active000000000010010011000000000from001000000000000000000000000length000000000001001000000000000Marked_mark000000000000000100000000000cons1000000000000000001001000000000000000000000000000000000s000000000000000001000000000nil000000000000000000Marked_active000000000000000100000000000Marked_active(length(cons(X,Y)))Marked_mark(s(length1(Y)))active(from(X))mark(cons(X,from(s(X))))active(length(nil))mark(0)active(length(cons(X,Y)))mark(s(length1(Y)))active(length1(X))mark(length(X))mark(from(X))active(from(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(length(X))active(length(X))mark(nil)active(nil)mark(0)active(0)mark(length1(X))active(length1(X))from(mark(X))from(X)from(active(X))from(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)s(mark(X))s(X)s(active(X))s(X)length(mark(X))length(X)length(active(X))length(X)length1(mark(X))length1(X)length1(active(X))length1(X)Marked_active(length1(X))Marked_mark(length(X))Marked_mark(s(X))Marked_mark(X)Marked_mark(length(X))Marked_active(length(X))Marked_mark(length1(X))Marked_active(length1(X))active(from(X))mark(cons(X,from(s(X))))active(length(nil))mark(0)active(length(cons(X,Y)))mark(s(length1(Y)))active(length1(X))mark(length(X))mark(from(X))active(from(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(length(X))active(length(X))mark(nil)active(nil)mark(0)active(0)mark(length1(X))active(length1(X))from(mark(X))from(X)from(active(X))from(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)s(mark(X))s(X)s(active(X))s(X)length(mark(X))length(X)length(active(X))length(X)length1(mark(X))length1(X)length1(active(X))length1(X)Marked_active(length1(X))Marked_mark(length(X))Marked_mark(s(X))Marked_mark(X)Marked_mark(length(X))Marked_active(length(X))Marked_mark(length1(X))Marked_active(length1(X))mark0length120active0from0length0Marked_mark20cons000s0nil0Marked_active10Marked_mark(length(X))Marked_active(length(X))active(from(X))mark(cons(X,from(s(X))))active(length(nil))mark(0)active(length(cons(X,Y)))mark(s(length1(Y)))active(length1(X))mark(length(X))mark(from(X))active(from(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(length(X))active(length(X))mark(nil)active(nil)mark(0)active(0)mark(length1(X))active(length1(X))from(mark(X))from(X)from(active(X))from(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)s(mark(X))s(X)s(active(X))s(X)length(mark(X))length(X)length(active(X))length(X)length1(mark(X))length1(X)length1(active(X))length1(X)Marked_active(length1(X))Marked_mark(length(X))Marked_mark(s(X))Marked_mark(X)Marked_mark(length1(X))Marked_active(length1(X))active(from(X))mark(cons(X,from(s(X))))active(length(nil))mark(0)active(length(cons(X,Y)))mark(s(length1(Y)))active(length1(X))mark(length(X))mark(from(X))active(from(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(length(X))active(length(X))mark(nil)active(nil)mark(0)active(0)mark(length1(X))active(length1(X))from(mark(X))from(X)from(active(X))from(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)s(mark(X))s(X)s(active(X))s(X)length(mark(X))length(X)length(active(X))length(X)length1(mark(X))length1(X)length1(active(X))length1(X)Marked_active(length1(X))Marked_mark(length(X))Marked_mark(s(X))Marked_mark(X)Marked_mark(length1(X))Marked_active(length1(X))mark000000000010001010000000000length1001001000000000000000000000active000000000010100010000000000from000000000000000000000000000length100001000000000000000000000Marked_mark000100000000000100000000000cons0000000000000000000000000000000000000001000000000000000s000000000001001001000000000nil000000000000000000Marked_active000100000000000100000000000Marked_active(length1(X))Marked_mark(length(X))active(from(X))mark(cons(X,from(s(X))))active(length(nil))mark(0)active(length(cons(X,Y)))mark(s(length1(Y)))active(length1(X))mark(length(X))mark(from(X))active(from(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(length(X))active(length(X))mark(nil)active(nil)mark(0)active(0)mark(length1(X))active(length1(X))from(mark(X))from(X)from(active(X))from(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)s(mark(X))s(X)s(active(X))s(X)length(mark(X))length(X)length(active(X))length(X)length1(mark(X))length1(X)length1(active(X))length1(X)Marked_mark(s(X))Marked_mark(X)Marked_mark(length1(X))Marked_active(length1(X))active(from(X))mark(cons(X,from(s(X))))active(length(nil))mark(0)active(length(cons(X,Y)))mark(s(length1(Y)))active(length1(X))mark(length(X))mark(from(X))active(from(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(length(X))active(length(X))mark(nil)active(nil)mark(0)active(0)mark(length1(X))active(length1(X))from(mark(X))from(X)from(active(X))from(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)s(mark(X))s(X)s(active(X))s(X)length(mark(X))length(X)length(active(X))length(X)length1(mark(X))length1(X)length1(active(X))length1(X)Marked_mark(s(X))Marked_mark(X)mark000000000000010010000000000length1001000000000010000000000000active000000000000010010000000000from001000000000000000000000000length010000000000001000000000000Marked_mark000000000000000100000000000cons0100000000000000000000100000000000000010000000000000000s001000000000001001000000000nil000000000000000000active(from(X))mark(cons(X,from(s(X))))active(length(nil))mark(0)active(length(cons(X,Y)))mark(s(length1(Y)))active(length1(X))mark(length(X))mark(from(X))active(from(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(length(X))active(length(X))mark(nil)active(nil)mark(0)active(0)mark(length1(X))active(length1(X))from(mark(X))from(X)from(active(X))from(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)s(mark(X))s(X)s(active(X))s(X)length(mark(X))length(X)length(active(X))length(X)length1(mark(X))length1(X)length1(active(X))length1(X)Marked_from(mark(X))Marked_from(X)Marked_from(active(X))Marked_from(X)mark330length1320active220from20length110cons0010Marked_from30s0nil20active(from(X))mark(cons(X,from(s(X))))active(length(nil))mark(0)active(length(cons(X,Y)))mark(s(length1(Y)))active(length1(X))mark(length(X))mark(from(X))active(from(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(length(X))active(length(X))mark(nil)active(nil)mark(0)active(0)mark(length1(X))active(length1(X))from(mark(X))from(X)from(active(X))from(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)s(mark(X))s(X)s(active(X))s(X)length(mark(X))length(X)length(active(X))length(X)length1(mark(X))length1(X)length1(active(X))length1(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)mark330length1320active220Marked_cons330from20length110cons10010s0nil20active(from(X))mark(cons(X,from(s(X))))active(length(nil))mark(0)active(length(cons(X,Y)))mark(s(length1(Y)))active(length1(X))mark(length(X))mark(from(X))active(from(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(length(X))active(length(X))mark(nil)active(nil)mark(0)active(0)mark(length1(X))active(length1(X))from(mark(X))from(X)from(active(X))from(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)s(mark(X))s(X)s(active(X))s(X)length(mark(X))length(X)length(active(X))length(X)length1(mark(X))length1(X)length1(active(X))length1(X)Marked_s(mark(X))Marked_s(X)Marked_s(active(X))Marked_s(X)mark330length1320active220from20length110cons1000s0Marked_s30nil20active(from(X))mark(cons(X,from(s(X))))active(length(nil))mark(0)active(length(cons(X,Y)))mark(s(length1(Y)))active(length1(X))mark(length(X))mark(from(X))active(from(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(length(X))active(length(X))mark(nil)active(nil)mark(0)active(0)mark(length1(X))active(length1(X))from(mark(X))from(X)from(active(X))from(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)s(mark(X))s(X)s(active(X))s(X)length(mark(X))length(X)length(active(X))length(X)length1(mark(X))length1(X)length1(active(X))length1(X)Marked_length(mark(X))Marked_length(X)Marked_length(active(X))Marked_length(X)mark330length1320active220from30Marked_length30length110cons0010s0nil20active(from(X))mark(cons(X,from(s(X))))active(length(nil))mark(0)active(length(cons(X,Y)))mark(s(length1(Y)))active(length1(X))mark(length(X))mark(from(X))active(from(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(length(X))active(length(X))mark(nil)active(nil)mark(0)active(0)mark(length1(X))active(length1(X))from(mark(X))from(X)from(active(X))from(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)s(mark(X))s(X)s(active(X))s(X)length(mark(X))length(X)length(active(X))length(X)length1(mark(X))length1(X)length1(active(X))length1(X)Marked_length1(mark(X))Marked_length1(X)Marked_length1(active(X))Marked_length1(X)mark330length1320active320from0length110cons0Marked_length130010s0nil20