Marked_fstfromMarked_addfstMarked_consconslenMarked_activenilMarked_ssMarked_lenactiveMarked_from0addMarked_markmarkX2X1YXZactive(fst(0,Z))mark(nil)active(fst(s(X),cons(Y,Z)))mark(cons(Y,fst(X,Z)))active(from(X))mark(cons(X,from(s(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(len(nil))mark(0)active(len(cons(X,Z)))mark(s(len(Z)))mark(fst(X1,X2))active(fst(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(X))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(len(X))active(len(mark(X)))fst(mark(X1),X2)fst(X1,X2)fst(X1,mark(X2))fst(X1,X2)fst(active(X1),X2)fst(X1,X2)fst(X1,active(X2))fst(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)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)len(mark(X))len(X)len(active(X))len(X)active(fst(0,Z))mark(nil)active(fst(s(X),cons(Y,Z)))mark(cons(Y,fst(X,Z)))active(from(X))mark(cons(X,from(s(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(len(nil))mark(0)active(len(cons(X,Z)))mark(s(len(Z)))mark(fst(X1,X2))active(fst(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(X))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(len(X))active(len(mark(X)))fst(mark(X1),X2)fst(X1,X2)fst(X1,mark(X2))fst(X1,X2)fst(active(X1),X2)fst(X1,X2)fst(X1,active(X2))fst(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)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)len(mark(X))len(X)len(active(X))len(X)Marked_active(fst(0,Z))Marked_mark(nil)Marked_active(fst(s(X),cons(Y,Z)))Marked_mark(cons(Y,fst(X,Z)))Marked_active(fst(s(X),cons(Y,Z)))Marked_cons(Y,fst(X,Z))Marked_active(fst(s(X),cons(Y,Z)))Marked_fst(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_active(add(0,X))Marked_mark(X)Marked_active(add(s(X),Y))Marked_mark(s(add(X,Y)))Marked_active(add(s(X),Y))Marked_s(add(X,Y))Marked_active(add(s(X),Y))Marked_add(X,Y)Marked_active(len(nil))Marked_mark(0)Marked_active(len(cons(X,Z)))Marked_mark(s(len(Z)))Marked_active(len(cons(X,Z)))Marked_s(len(Z))Marked_active(len(cons(X,Z)))Marked_len(Z)Marked_mark(fst(X1,X2))Marked_active(fst(mark(X1),mark(X2)))Marked_mark(fst(X1,X2))Marked_fst(mark(X1),mark(X2))Marked_mark(fst(X1,X2))Marked_mark(X1)Marked_mark(fst(X1,X2))Marked_mark(X2)Marked_mark(0)Marked_active(0)Marked_mark(nil)Marked_active(nil)Marked_mark(s(X))Marked_active(s(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_mark(add(X1,X2))Marked_active(add(mark(X1),mark(X2)))Marked_mark(add(X1,X2))Marked_add(mark(X1),mark(X2))Marked_mark(add(X1,X2))Marked_mark(X1)Marked_mark(add(X1,X2))Marked_mark(X2)Marked_mark(len(X))Marked_active(len(mark(X)))Marked_mark(len(X))Marked_len(mark(X))Marked_mark(len(X))Marked_mark(X)Marked_fst(mark(X1),X2)Marked_fst(X1,X2)Marked_fst(X1,mark(X2))Marked_fst(X1,X2)Marked_fst(active(X1),X2)Marked_fst(X1,X2)Marked_fst(X1,active(X2))Marked_fst(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)Marked_add(mark(X1),X2)Marked_add(X1,X2)Marked_add(X1,mark(X2))Marked_add(X1,X2)Marked_add(active(X1),X2)Marked_add(X1,X2)Marked_add(X1,active(X2))Marked_add(X1,X2)Marked_len(mark(X))Marked_len(X)Marked_len(active(X))Marked_len(X)active(fst(0,Z))mark(nil)active(fst(s(X),cons(Y,Z)))mark(cons(Y,fst(X,Z)))active(from(X))mark(cons(X,from(s(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(len(nil))mark(0)active(len(cons(X,Z)))mark(s(len(Z)))mark(fst(X1,X2))active(fst(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(X))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(len(X))active(len(mark(X)))fst(mark(X1),X2)fst(X1,X2)fst(X1,mark(X2))fst(X1,X2)fst(active(X1),X2)fst(X1,X2)fst(X1,active(X2))fst(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)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)len(mark(X))len(X)len(active(X))len(X)Marked_active(fst(s(X),cons(Y,Z)))Marked_mark(cons(Y,fst(X,Z)))Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_active(add(0,X))Marked_mark(X)Marked_active(add(s(X),Y))Marked_mark(s(add(X,Y)))Marked_active(len(cons(X,Z)))Marked_mark(s(len(Z)))Marked_mark(fst(X1,X2))Marked_active(fst(mark(X1),mark(X2)))Marked_mark(fst(X1,X2))Marked_mark(X1)Marked_mark(fst(X1,X2))Marked_mark(X2)Marked_mark(s(X))Marked_active(s(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)Marked_mark(add(X1,X2))Marked_active(add(mark(X1),mark(X2)))Marked_mark(add(X1,X2))Marked_mark(X1)Marked_mark(add(X1,X2))Marked_mark(X2)Marked_mark(len(X))Marked_active(len(mark(X)))Marked_mark(len(X))Marked_mark(X)mark0Marked_mark20add2000active0s0nil0Marked_active10len20cons0fst20from20Marked_mark(s(X))Marked_active(s(X))Marked_mark(cons(X1,X2))Marked_active(cons(mark(X1),X2))active(fst(0,Z))mark(nil)active(fst(s(X),cons(Y,Z)))mark(cons(Y,fst(X,Z)))active(from(X))mark(cons(X,from(s(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(len(nil))mark(0)active(len(cons(X,Z)))mark(s(len(Z)))mark(fst(X1,X2))active(fst(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(X))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(len(X))active(len(mark(X)))fst(mark(X1),X2)fst(X1,X2)fst(X1,mark(X2))fst(X1,X2)fst(active(X1),X2)fst(X1,X2)fst(X1,active(X2))fst(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)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)len(mark(X))len(X)len(active(X))len(X)Marked_active(fst(s(X),cons(Y,Z)))Marked_mark(cons(Y,fst(X,Z)))Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_active(add(0,X))Marked_mark(X)Marked_active(add(s(X),Y))Marked_mark(s(add(X,Y)))Marked_active(len(cons(X,Z)))Marked_mark(s(len(Z)))Marked_mark(fst(X1,X2))Marked_active(fst(mark(X1),mark(X2)))Marked_mark(fst(X1,X2))Marked_mark(X1)Marked_mark(fst(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(add(X1,X2))Marked_active(add(mark(X1),mark(X2)))Marked_mark(add(X1,X2))Marked_mark(X1)Marked_mark(add(X1,X2))Marked_mark(X2)Marked_mark(len(X))Marked_active(len(mark(X)))Marked_mark(len(X))Marked_mark(X)active(fst(0,Z))mark(nil)active(fst(s(X),cons(Y,Z)))mark(cons(Y,fst(X,Z)))active(from(X))mark(cons(X,from(s(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(len(nil))mark(0)active(len(cons(X,Z)))mark(s(len(Z)))mark(fst(X1,X2))active(fst(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(X))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(len(X))active(len(mark(X)))fst(mark(X1),X2)fst(X1,X2)fst(X1,mark(X2))fst(X1,X2)fst(active(X1),X2)fst(X1,X2)fst(X1,active(X2))fst(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)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)len(mark(X))len(X)len(active(X))len(X)Marked_active(fst(s(X),cons(Y,Z)))Marked_mark(cons(Y,fst(X,Z)))Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_active(add(0,X))Marked_mark(X)Marked_active(add(s(X),Y))Marked_mark(s(add(X,Y)))Marked_active(len(cons(X,Z)))Marked_mark(s(len(Z)))Marked_mark(fst(X1,X2))Marked_active(fst(mark(X1),mark(X2)))Marked_mark(fst(X1,X2))Marked_mark(X1)Marked_mark(fst(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(add(X1,X2))Marked_active(add(mark(X1),mark(X2)))Marked_mark(add(X1,X2))Marked_mark(X1)Marked_mark(add(X1,X2))Marked_mark(X2)Marked_mark(len(X))Marked_active(len(mark(X)))Marked_mark(len(X))Marked_mark(X)mark10Marked_mark20add220010active10s0nil10Marked_active20len20cons20fst220from20Marked_active(add(0,X))Marked_mark(X)active(fst(0,Z))mark(nil)active(fst(s(X),cons(Y,Z)))mark(cons(Y,fst(X,Z)))active(from(X))mark(cons(X,from(s(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(len(nil))mark(0)active(len(cons(X,Z)))mark(s(len(Z)))mark(fst(X1,X2))active(fst(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(X))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(len(X))active(len(mark(X)))fst(mark(X1),X2)fst(X1,X2)fst(X1,mark(X2))fst(X1,X2)fst(active(X1),X2)fst(X1,X2)fst(X1,active(X2))fst(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)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)len(mark(X))len(X)len(active(X))len(X)Marked_active(fst(s(X),cons(Y,Z)))Marked_mark(cons(Y,fst(X,Z)))Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_active(add(s(X),Y))Marked_mark(s(add(X,Y)))Marked_active(len(cons(X,Z)))Marked_mark(s(len(Z)))Marked_mark(fst(X1,X2))Marked_active(fst(mark(X1),mark(X2)))Marked_mark(fst(X1,X2))Marked_mark(X1)Marked_mark(fst(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(add(X1,X2))Marked_active(add(mark(X1),mark(X2)))Marked_mark(add(X1,X2))Marked_mark(X1)Marked_mark(add(X1,X2))Marked_mark(X2)Marked_mark(len(X))Marked_active(len(mark(X)))Marked_mark(len(X))Marked_mark(X)active(fst(0,Z))mark(nil)active(fst(s(X),cons(Y,Z)))mark(cons(Y,fst(X,Z)))active(from(X))mark(cons(X,from(s(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(len(nil))mark(0)active(len(cons(X,Z)))mark(s(len(Z)))mark(fst(X1,X2))active(fst(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(X))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(len(X))active(len(mark(X)))fst(mark(X1),X2)fst(X1,X2)fst(X1,mark(X2))fst(X1,X2)fst(active(X1),X2)fst(X1,X2)fst(X1,active(X2))fst(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)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)len(mark(X))len(X)len(active(X))len(X)Marked_active(fst(s(X),cons(Y,Z)))Marked_mark(cons(Y,fst(X,Z)))Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_active(add(s(X),Y))Marked_mark(s(add(X,Y)))Marked_active(len(cons(X,Z)))Marked_mark(s(len(Z)))Marked_mark(fst(X1,X2))Marked_active(fst(mark(X1),mark(X2)))Marked_mark(fst(X1,X2))Marked_mark(X1)Marked_mark(fst(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(add(X1,X2))Marked_active(add(mark(X1),mark(X2)))Marked_mark(add(X1,X2))Marked_mark(X1)Marked_mark(add(X1,X2))Marked_mark(X2)Marked_mark(len(X))Marked_active(len(mark(X)))Marked_mark(len(X))Marked_mark(X)mark20Marked_mark20add222000active10s0nil0Marked_active10len10cons10fst220from20Marked_active(add(s(X),Y))Marked_mark(s(add(X,Y)))Marked_mark(add(X1,X2))Marked_active(add(mark(X1),mark(X2)))Marked_mark(add(X1,X2))Marked_mark(X1)Marked_mark(add(X1,X2))Marked_mark(X2)active(fst(0,Z))mark(nil)active(fst(s(X),cons(Y,Z)))mark(cons(Y,fst(X,Z)))active(from(X))mark(cons(X,from(s(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(len(nil))mark(0)active(len(cons(X,Z)))mark(s(len(Z)))mark(fst(X1,X2))active(fst(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(X))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(len(X))active(len(mark(X)))fst(mark(X1),X2)fst(X1,X2)fst(X1,mark(X2))fst(X1,X2)fst(active(X1),X2)fst(X1,X2)fst(X1,active(X2))fst(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)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)len(mark(X))len(X)len(active(X))len(X)Marked_active(fst(s(X),cons(Y,Z)))Marked_mark(cons(Y,fst(X,Z)))Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_active(len(cons(X,Z)))Marked_mark(s(len(Z)))Marked_mark(fst(X1,X2))Marked_active(fst(mark(X1),mark(X2)))Marked_mark(fst(X1,X2))Marked_mark(X1)Marked_mark(fst(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(len(X))Marked_active(len(mark(X)))Marked_mark(len(X))Marked_mark(X)active(fst(0,Z))mark(nil)active(fst(s(X),cons(Y,Z)))mark(cons(Y,fst(X,Z)))active(from(X))mark(cons(X,from(s(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(len(nil))mark(0)active(len(cons(X,Z)))mark(s(len(Z)))mark(fst(X1,X2))active(fst(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(X))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(len(X))active(len(mark(X)))fst(mark(X1),X2)fst(X1,X2)fst(X1,mark(X2))fst(X1,X2)fst(active(X1),X2)fst(X1,X2)fst(X1,active(X2))fst(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)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)len(mark(X))len(X)len(active(X))len(X)Marked_active(fst(s(X),cons(Y,Z)))Marked_mark(cons(Y,fst(X,Z)))Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_active(len(cons(X,Z)))Marked_mark(s(len(Z)))Marked_mark(fst(X1,X2))Marked_active(fst(mark(X1),mark(X2)))Marked_mark(fst(X1,X2))Marked_mark(X1)Marked_mark(fst(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(len(X))Marked_active(len(mark(X)))Marked_mark(len(X))Marked_mark(X)mark20Marked_mark20add2000active10s0nil0Marked_active10len20cons10fst220from120Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_mark(from(X))Marked_active(from(mark(X)))Marked_mark(from(X))Marked_mark(X)active(fst(0,Z))mark(nil)active(fst(s(X),cons(Y,Z)))mark(cons(Y,fst(X,Z)))active(from(X))mark(cons(X,from(s(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(len(nil))mark(0)active(len(cons(X,Z)))mark(s(len(Z)))mark(fst(X1,X2))active(fst(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(X))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(len(X))active(len(mark(X)))fst(mark(X1),X2)fst(X1,X2)fst(X1,mark(X2))fst(X1,X2)fst(active(X1),X2)fst(X1,X2)fst(X1,active(X2))fst(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)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)len(mark(X))len(X)len(active(X))len(X)Marked_active(fst(s(X),cons(Y,Z)))Marked_mark(cons(Y,fst(X,Z)))Marked_active(len(cons(X,Z)))Marked_mark(s(len(Z)))Marked_mark(fst(X1,X2))Marked_active(fst(mark(X1),mark(X2)))Marked_mark(fst(X1,X2))Marked_mark(X1)Marked_mark(fst(X1,X2))Marked_mark(X2)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(len(X))Marked_active(len(mark(X)))Marked_mark(len(X))Marked_mark(X)active(fst(0,Z))mark(nil)active(fst(s(X),cons(Y,Z)))mark(cons(Y,fst(X,Z)))active(from(X))mark(cons(X,from(s(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(len(nil))mark(0)active(len(cons(X,Z)))mark(s(len(Z)))mark(fst(X1,X2))active(fst(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(X))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(len(X))active(len(mark(X)))fst(mark(X1),X2)fst(X1,X2)fst(X1,mark(X2))fst(X1,X2)fst(active(X1),X2)fst(X1,X2)fst(X1,active(X2))fst(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)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)len(mark(X))len(X)len(active(X))len(X)Marked_active(fst(s(X),cons(Y,Z)))Marked_mark(cons(Y,fst(X,Z)))Marked_active(len(cons(X,Z)))Marked_mark(s(len(Z)))Marked_mark(fst(X1,X2))Marked_active(fst(mark(X1),mark(X2)))Marked_mark(fst(X1,X2))Marked_mark(X1)Marked_mark(fst(X1,X2))Marked_mark(X2)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(len(X))Marked_active(len(mark(X)))Marked_mark(len(X))Marked_mark(X)mark10Marked_mark20add2000active10s0nil0Marked_active20len20cons10fst1220from10Marked_active(fst(s(X),cons(Y,Z)))Marked_mark(cons(Y,fst(X,Z)))Marked_mark(fst(X1,X2))Marked_mark(X1)Marked_mark(fst(X1,X2))Marked_mark(X2)active(fst(0,Z))mark(nil)active(fst(s(X),cons(Y,Z)))mark(cons(Y,fst(X,Z)))active(from(X))mark(cons(X,from(s(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(len(nil))mark(0)active(len(cons(X,Z)))mark(s(len(Z)))mark(fst(X1,X2))active(fst(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(X))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(len(X))active(len(mark(X)))fst(mark(X1),X2)fst(X1,X2)fst(X1,mark(X2))fst(X1,X2)fst(active(X1),X2)fst(X1,X2)fst(X1,active(X2))fst(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)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)len(mark(X))len(X)len(active(X))len(X)Marked_active(len(cons(X,Z)))Marked_mark(s(len(Z)))Marked_mark(fst(X1,X2))Marked_active(fst(mark(X1),mark(X2)))Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(len(X))Marked_active(len(mark(X)))Marked_mark(len(X))Marked_mark(X)active(fst(0,Z))mark(nil)active(fst(s(X),cons(Y,Z)))mark(cons(Y,fst(X,Z)))active(from(X))mark(cons(X,from(s(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(len(nil))mark(0)active(len(cons(X,Z)))mark(s(len(Z)))mark(fst(X1,X2))active(fst(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(X))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(len(X))active(len(mark(X)))fst(mark(X1),X2)fst(X1,X2)fst(X1,mark(X2))fst(X1,X2)fst(active(X1),X2)fst(X1,X2)fst(X1,active(X2))fst(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)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)len(mark(X))len(X)len(active(X))len(X)Marked_active(len(cons(X,Z)))Marked_mark(s(len(Z)))Marked_mark(fst(X1,X2))Marked_active(fst(mark(X1),mark(X2)))Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(len(X))Marked_active(len(mark(X)))Marked_mark(len(X))Marked_mark(X)mark0Marked_mark20add000active0s0nil0Marked_active20len10cons0fst0from0Marked_mark(fst(X1,X2))Marked_active(fst(mark(X1),mark(X2)))active(fst(0,Z))mark(nil)active(fst(s(X),cons(Y,Z)))mark(cons(Y,fst(X,Z)))active(from(X))mark(cons(X,from(s(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(len(nil))mark(0)active(len(cons(X,Z)))mark(s(len(Z)))mark(fst(X1,X2))active(fst(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(X))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(len(X))active(len(mark(X)))fst(mark(X1),X2)fst(X1,X2)fst(X1,mark(X2))fst(X1,X2)fst(active(X1),X2)fst(X1,X2)fst(X1,active(X2))fst(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)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)len(mark(X))len(X)len(active(X))len(X)Marked_active(len(cons(X,Z)))Marked_mark(s(len(Z)))Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(len(X))Marked_active(len(mark(X)))Marked_mark(len(X))Marked_mark(X)active(fst(0,Z))mark(nil)active(fst(s(X),cons(Y,Z)))mark(cons(Y,fst(X,Z)))active(from(X))mark(cons(X,from(s(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(len(nil))mark(0)active(len(cons(X,Z)))mark(s(len(Z)))mark(fst(X1,X2))active(fst(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(X))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(len(X))active(len(mark(X)))fst(mark(X1),X2)fst(X1,X2)fst(X1,mark(X2))fst(X1,X2)fst(active(X1),X2)fst(X1,X2)fst(X1,active(X2))fst(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)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)len(mark(X))len(X)len(active(X))len(X)Marked_active(len(cons(X,Z)))Marked_mark(s(len(Z)))Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(len(X))Marked_active(len(mark(X)))Marked_mark(len(X))Marked_mark(X)mark20Marked_mark20add2000active10s0nil0Marked_active0len120cons10fst20from20Marked_mark(len(X))Marked_active(len(mark(X)))Marked_mark(len(X))Marked_mark(X)active(fst(0,Z))mark(nil)active(fst(s(X),cons(Y,Z)))mark(cons(Y,fst(X,Z)))active(from(X))mark(cons(X,from(s(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(len(nil))mark(0)active(len(cons(X,Z)))mark(s(len(Z)))mark(fst(X1,X2))active(fst(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(X))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(len(X))active(len(mark(X)))fst(mark(X1),X2)fst(X1,X2)fst(X1,mark(X2))fst(X1,X2)fst(active(X1),X2)fst(X1,X2)fst(X1,active(X2))fst(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)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)len(mark(X))len(X)len(active(X))len(X)Marked_active(len(cons(X,Z)))Marked_mark(s(len(Z)))Marked_mark(cons(X1,X2))Marked_mark(X1)active(fst(0,Z))mark(nil)active(fst(s(X),cons(Y,Z)))mark(cons(Y,fst(X,Z)))active(from(X))mark(cons(X,from(s(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(len(nil))mark(0)active(len(cons(X,Z)))mark(s(len(Z)))mark(fst(X1,X2))active(fst(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(X))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(len(X))active(len(mark(X)))fst(mark(X1),X2)fst(X1,X2)fst(X1,mark(X2))fst(X1,X2)fst(active(X1),X2)fst(X1,X2)fst(X1,active(X2))fst(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)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)len(mark(X))len(X)len(active(X))len(X)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark1Marked_mark(cons(X1,X2))Marked_mark(X1)active(fst(0,Z))mark(nil)active(fst(s(X),cons(Y,Z)))mark(cons(Y,fst(X,Z)))active(from(X))mark(cons(X,from(s(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(len(nil))mark(0)active(len(cons(X,Z)))mark(s(len(Z)))mark(fst(X1,X2))active(fst(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(X))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(len(X))active(len(mark(X)))fst(mark(X1),X2)fst(X1,X2)fst(X1,mark(X2))fst(X1,X2)fst(active(X1),X2)fst(X1,X2)fst(X1,active(X2))fst(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)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)len(mark(X))len(X)len(active(X))len(X)active(fst(0,Z))mark(nil)active(fst(s(X),cons(Y,Z)))mark(cons(Y,fst(X,Z)))active(from(X))mark(cons(X,from(s(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(len(nil))mark(0)active(len(cons(X,Z)))mark(s(len(Z)))mark(fst(X1,X2))active(fst(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(X))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(len(X))active(len(mark(X)))fst(mark(X1),X2)fst(X1,X2)fst(X1,mark(X2))fst(X1,X2)fst(active(X1),X2)fst(X1,X2)fst(X1,active(X2))fst(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)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)len(mark(X))len(X)len(active(X))len(X)Marked_fst(mark(X1),X2)Marked_fst(X1,X2)Marked_fst(X1,mark(X2))Marked_fst(X1,X2)Marked_fst(active(X1),X2)Marked_fst(X1,X2)Marked_fst(X1,active(X2))Marked_fst(X1,X2)Marked_fst2Marked_fst(X1,active(X2))Marked_fst(X1,X2)Marked_fst(X1,mark(X2))Marked_fst(X1,X2)active(fst(0,Z))mark(nil)active(fst(s(X),cons(Y,Z)))mark(cons(Y,fst(X,Z)))active(from(X))mark(cons(X,from(s(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(len(nil))mark(0)active(len(cons(X,Z)))mark(s(len(Z)))mark(fst(X1,X2))active(fst(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(X))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(len(X))active(len(mark(X)))fst(mark(X1),X2)fst(X1,X2)fst(X1,mark(X2))fst(X1,X2)fst(active(X1),X2)fst(X1,X2)fst(X1,active(X2))fst(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)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)len(mark(X))len(X)len(active(X))len(X)Marked_fst(active(X1),X2)Marked_fst(X1,X2)Marked_fst(mark(X1),X2)Marked_fst(X1,X2)active(fst(0,Z))mark(nil)active(fst(s(X),cons(Y,Z)))mark(cons(Y,fst(X,Z)))active(from(X))mark(cons(X,from(s(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(len(nil))mark(0)active(len(cons(X,Z)))mark(s(len(Z)))mark(fst(X1,X2))active(fst(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(X))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(len(X))active(len(mark(X)))fst(mark(X1),X2)fst(X1,X2)fst(X1,mark(X2))fst(X1,X2)fst(active(X1),X2)fst(X1,X2)fst(X1,active(X2))fst(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)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)len(mark(X))len(X)len(active(X))len(X)Marked_fst(active(X1),X2)Marked_fst(X1,X2)Marked_fst(mark(X1),X2)Marked_fst(X1,X2)Marked_fst1Marked_fst(mark(X1),X2)Marked_fst(X1,X2)Marked_fst(active(X1),X2)Marked_fst(X1,X2)active(fst(0,Z))mark(nil)active(fst(s(X),cons(Y,Z)))mark(cons(Y,fst(X,Z)))active(from(X))mark(cons(X,from(s(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(len(nil))mark(0)active(len(cons(X,Z)))mark(s(len(Z)))mark(fst(X1,X2))active(fst(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(X))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(len(X))active(len(mark(X)))fst(mark(X1),X2)fst(X1,X2)fst(X1,mark(X2))fst(X1,X2)fst(active(X1),X2)fst(X1,X2)fst(X1,active(X2))fst(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)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)len(mark(X))len(X)len(active(X))len(X)active(fst(0,Z))mark(nil)active(fst(s(X),cons(Y,Z)))mark(cons(Y,fst(X,Z)))active(from(X))mark(cons(X,from(s(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(len(nil))mark(0)active(len(cons(X,Z)))mark(s(len(Z)))mark(fst(X1,X2))active(fst(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(X))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(len(X))active(len(mark(X)))fst(mark(X1),X2)fst(X1,X2)fst(X1,mark(X2))fst(X1,X2)fst(active(X1),X2)fst(X1,X2)fst(X1,active(X2))fst(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)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)len(mark(X))len(X)len(active(X))len(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(fst(0,Z))mark(nil)active(fst(s(X),cons(Y,Z)))mark(cons(Y,fst(X,Z)))active(from(X))mark(cons(X,from(s(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(len(nil))mark(0)active(len(cons(X,Z)))mark(s(len(Z)))mark(fst(X1,X2))active(fst(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(X))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(len(X))active(len(mark(X)))fst(mark(X1),X2)fst(X1,X2)fst(X1,mark(X2))fst(X1,X2)fst(active(X1),X2)fst(X1,X2)fst(X1,active(X2))fst(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)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)len(mark(X))len(X)len(active(X))len(X)active(fst(0,Z))mark(nil)active(fst(s(X),cons(Y,Z)))mark(cons(Y,fst(X,Z)))active(from(X))mark(cons(X,from(s(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(len(nil))mark(0)active(len(cons(X,Z)))mark(s(len(Z)))mark(fst(X1,X2))active(fst(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(X))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(len(X))active(len(mark(X)))fst(mark(X1),X2)fst(X1,X2)fst(X1,mark(X2))fst(X1,X2)fst(active(X1),X2)fst(X1,X2)fst(X1,active(X2))fst(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)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)len(mark(X))len(X)len(active(X))len(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(fst(0,Z))mark(nil)active(fst(s(X),cons(Y,Z)))mark(cons(Y,fst(X,Z)))active(from(X))mark(cons(X,from(s(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(len(nil))mark(0)active(len(cons(X,Z)))mark(s(len(Z)))mark(fst(X1,X2))active(fst(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(X))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(len(X))active(len(mark(X)))fst(mark(X1),X2)fst(X1,X2)fst(X1,mark(X2))fst(X1,X2)fst(active(X1),X2)fst(X1,X2)fst(X1,active(X2))fst(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)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)len(mark(X))len(X)len(active(X))len(X)Marked_cons(active(X1),X2)Marked_cons(X1,X2)Marked_cons(mark(X1),X2)Marked_cons(X1,X2)active(fst(0,Z))mark(nil)active(fst(s(X),cons(Y,Z)))mark(cons(Y,fst(X,Z)))active(from(X))mark(cons(X,from(s(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(len(nil))mark(0)active(len(cons(X,Z)))mark(s(len(Z)))mark(fst(X1,X2))active(fst(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(X))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(len(X))active(len(mark(X)))fst(mark(X1),X2)fst(X1,X2)fst(X1,mark(X2))fst(X1,X2)fst(active(X1),X2)fst(X1,X2)fst(X1,active(X2))fst(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)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)len(mark(X))len(X)len(active(X))len(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(fst(0,Z))mark(nil)active(fst(s(X),cons(Y,Z)))mark(cons(Y,fst(X,Z)))active(from(X))mark(cons(X,from(s(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(len(nil))mark(0)active(len(cons(X,Z)))mark(s(len(Z)))mark(fst(X1,X2))active(fst(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(X))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(len(X))active(len(mark(X)))fst(mark(X1),X2)fst(X1,X2)fst(X1,mark(X2))fst(X1,X2)fst(active(X1),X2)fst(X1,X2)fst(X1,active(X2))fst(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)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)len(mark(X))len(X)len(active(X))len(X)active(fst(0,Z))mark(nil)active(fst(s(X),cons(Y,Z)))mark(cons(Y,fst(X,Z)))active(from(X))mark(cons(X,from(s(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(len(nil))mark(0)active(len(cons(X,Z)))mark(s(len(Z)))mark(fst(X1,X2))active(fst(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(X))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(len(X))active(len(mark(X)))fst(mark(X1),X2)fst(X1,X2)fst(X1,mark(X2))fst(X1,X2)fst(active(X1),X2)fst(X1,X2)fst(X1,active(X2))fst(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)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)len(mark(X))len(X)len(active(X))len(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(fst(0,Z))mark(nil)active(fst(s(X),cons(Y,Z)))mark(cons(Y,fst(X,Z)))active(from(X))mark(cons(X,from(s(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(len(nil))mark(0)active(len(cons(X,Z)))mark(s(len(Z)))mark(fst(X1,X2))active(fst(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(X))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(len(X))active(len(mark(X)))fst(mark(X1),X2)fst(X1,X2)fst(X1,mark(X2))fst(X1,X2)fst(active(X1),X2)fst(X1,X2)fst(X1,active(X2))fst(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)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)len(mark(X))len(X)len(active(X))len(X)active(fst(0,Z))mark(nil)active(fst(s(X),cons(Y,Z)))mark(cons(Y,fst(X,Z)))active(from(X))mark(cons(X,from(s(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(len(nil))mark(0)active(len(cons(X,Z)))mark(s(len(Z)))mark(fst(X1,X2))active(fst(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(X))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(len(X))active(len(mark(X)))fst(mark(X1),X2)fst(X1,X2)fst(X1,mark(X2))fst(X1,X2)fst(active(X1),X2)fst(X1,X2)fst(X1,active(X2))fst(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)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)len(mark(X))len(X)len(active(X))len(X)Marked_add(mark(X1),X2)Marked_add(X1,X2)Marked_add(X1,mark(X2))Marked_add(X1,X2)Marked_add(active(X1),X2)Marked_add(X1,X2)Marked_add(X1,active(X2))Marked_add(X1,X2)Marked_add2Marked_add(X1,active(X2))Marked_add(X1,X2)Marked_add(X1,mark(X2))Marked_add(X1,X2)active(fst(0,Z))mark(nil)active(fst(s(X),cons(Y,Z)))mark(cons(Y,fst(X,Z)))active(from(X))mark(cons(X,from(s(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(len(nil))mark(0)active(len(cons(X,Z)))mark(s(len(Z)))mark(fst(X1,X2))active(fst(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(X))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(len(X))active(len(mark(X)))fst(mark(X1),X2)fst(X1,X2)fst(X1,mark(X2))fst(X1,X2)fst(active(X1),X2)fst(X1,X2)fst(X1,active(X2))fst(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)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)len(mark(X))len(X)len(active(X))len(X)Marked_add(active(X1),X2)Marked_add(X1,X2)Marked_add(mark(X1),X2)Marked_add(X1,X2)active(fst(0,Z))mark(nil)active(fst(s(X),cons(Y,Z)))mark(cons(Y,fst(X,Z)))active(from(X))mark(cons(X,from(s(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(len(nil))mark(0)active(len(cons(X,Z)))mark(s(len(Z)))mark(fst(X1,X2))active(fst(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(X))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(len(X))active(len(mark(X)))fst(mark(X1),X2)fst(X1,X2)fst(X1,mark(X2))fst(X1,X2)fst(active(X1),X2)fst(X1,X2)fst(X1,active(X2))fst(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)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)len(mark(X))len(X)len(active(X))len(X)Marked_add(active(X1),X2)Marked_add(X1,X2)Marked_add(mark(X1),X2)Marked_add(X1,X2)Marked_add1Marked_add(mark(X1),X2)Marked_add(X1,X2)Marked_add(active(X1),X2)Marked_add(X1,X2)active(fst(0,Z))mark(nil)active(fst(s(X),cons(Y,Z)))mark(cons(Y,fst(X,Z)))active(from(X))mark(cons(X,from(s(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(len(nil))mark(0)active(len(cons(X,Z)))mark(s(len(Z)))mark(fst(X1,X2))active(fst(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(X))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(len(X))active(len(mark(X)))fst(mark(X1),X2)fst(X1,X2)fst(X1,mark(X2))fst(X1,X2)fst(active(X1),X2)fst(X1,X2)fst(X1,active(X2))fst(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)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)len(mark(X))len(X)len(active(X))len(X)active(fst(0,Z))mark(nil)active(fst(s(X),cons(Y,Z)))mark(cons(Y,fst(X,Z)))active(from(X))mark(cons(X,from(s(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(len(nil))mark(0)active(len(cons(X,Z)))mark(s(len(Z)))mark(fst(X1,X2))active(fst(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(X))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(len(X))active(len(mark(X)))fst(mark(X1),X2)fst(X1,X2)fst(X1,mark(X2))fst(X1,X2)fst(active(X1),X2)fst(X1,X2)fst(X1,active(X2))fst(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)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)len(mark(X))len(X)len(active(X))len(X)Marked_len(mark(X))Marked_len(X)Marked_len(active(X))Marked_len(X)Marked_len1Marked_len(active(X))Marked_len(X)Marked_len(mark(X))Marked_len(X)active(fst(0,Z))mark(nil)active(fst(s(X),cons(Y,Z)))mark(cons(Y,fst(X,Z)))active(from(X))mark(cons(X,from(s(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(len(nil))mark(0)active(len(cons(X,Z)))mark(s(len(Z)))mark(fst(X1,X2))active(fst(mark(X1),mark(X2)))mark(0)active(0)mark(nil)active(nil)mark(s(X))active(s(X))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(len(X))active(len(mark(X)))fst(mark(X1),X2)fst(X1,X2)fst(X1,mark(X2))fst(X1,X2)fst(active(X1),X2)fst(X1,X2)fst(X1,active(X2))fst(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)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)len(mark(X))len(X)len(active(X))len(X)