Marked_markzWadrMarked_snilMarked_consfromMarked_prefixactiveMarked_appsMarked_zWadrappMarked_fromconsprefixMarked_activemarkX2X1LYXSXYSactive(app(nil,YS))mark(YS)active(app(cons(X,XS),YS))mark(cons(X,app(XS,YS)))active(from(X))mark(cons(X,from(s(X))))active(zWadr(nil,YS))mark(nil)active(zWadr(XS,nil))mark(nil)active(zWadr(cons(X,XS),cons(Y,YS)))mark(cons(app(Y,cons(X,nil)),zWadr(XS,YS)))active(prefix(L))mark(cons(nil,zWadr(L,prefix(L))))mark(app(X1,X2))active(app(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))mark(zWadr(X1,X2))active(zWadr(mark(X1),mark(X2)))mark(prefix(X))active(prefix(mark(X)))app(mark(X1),X2)app(X1,X2)app(X1,mark(X2))app(X1,X2)app(active(X1),X2)app(X1,X2)app(X1,active(X2))app(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)zWadr(mark(X1),X2)zWadr(X1,X2)zWadr(X1,mark(X2))zWadr(X1,X2)zWadr(active(X1),X2)zWadr(X1,X2)zWadr(X1,active(X2))zWadr(X1,X2)prefix(mark(X))prefix(X)prefix(active(X))prefix(X)active(app(nil,YS))mark(YS)active(app(cons(X,XS),YS))mark(cons(X,app(XS,YS)))active(from(X))mark(cons(X,from(s(X))))active(zWadr(nil,YS))mark(nil)active(zWadr(XS,nil))mark(nil)active(zWadr(cons(X,XS),cons(Y,YS)))mark(cons(app(Y,cons(X,nil)),zWadr(XS,YS)))active(prefix(L))mark(cons(nil,zWadr(L,prefix(L))))mark(app(X1,X2))active(app(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))mark(zWadr(X1,X2))active(zWadr(mark(X1),mark(X2)))mark(prefix(X))active(prefix(mark(X)))app(mark(X1),X2)app(X1,X2)app(X1,mark(X2))app(X1,X2)app(active(X1),X2)app(X1,X2)app(X1,active(X2))app(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)zWadr(mark(X1),X2)zWadr(X1,X2)zWadr(X1,mark(X2))zWadr(X1,X2)zWadr(active(X1),X2)zWadr(X1,X2)zWadr(X1,active(X2))zWadr(X1,X2)prefix(mark(X))prefix(X)prefix(active(X))prefix(X)Marked_active(app(nil,YS))Marked_mark(YS)Marked_active(app(cons(X,XS),YS))Marked_mark(cons(X,app(XS,YS)))Marked_active(app(cons(X,XS),YS))Marked_cons(X,app(XS,YS))Marked_active(app(cons(X,XS),YS))Marked_app(XS,YS)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(zWadr(nil,YS))Marked_mark(nil)Marked_active(zWadr(XS,nil))Marked_mark(nil)Marked_active(zWadr(cons(X,XS),cons(Y,YS)))Marked_mark(cons(app(Y,cons(X,nil)),zWadr(XS,YS)))Marked_active(zWadr(cons(X,XS),cons(Y,YS)))Marked_cons(app(Y,cons(X,nil)),zWadr(XS,YS))Marked_active(zWadr(cons(X,XS),cons(Y,YS)))Marked_app(Y,cons(X,nil))Marked_active(zWadr(cons(X,XS),cons(Y,YS)))Marked_cons(X,nil)Marked_active(zWadr(cons(X,XS),cons(Y,YS)))Marked_zWadr(XS,YS)Marked_active(prefix(L))Marked_mark(cons(nil,zWadr(L,prefix(L))))Marked_active(prefix(L))Marked_cons(nil,zWadr(L,prefix(L)))Marked_active(prefix(L))Marked_zWadr(L,prefix(L))Marked_mark(app(X1,X2))Marked_active(app(mark(X1),mark(X2)))Marked_mark(app(X1,X2))Marked_app(mark(X1),mark(X2))Marked_mark(app(X1,X2))Marked_mark(X1)Marked_mark(app(X1,X2))Marked_mark(X2)Marked_mark(nil)Marked_active(nil)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_mark(zWadr(X1,X2))Marked_active(zWadr(mark(X1),mark(X2)))Marked_mark(zWadr(X1,X2))Marked_zWadr(mark(X1),mark(X2))Marked_mark(zWadr(X1,X2))Marked_mark(X1)Marked_mark(zWadr(X1,X2))Marked_mark(X2)Marked_mark(prefix(X))Marked_active(prefix(mark(X)))Marked_mark(prefix(X))Marked_prefix(mark(X))Marked_mark(prefix(X))Marked_mark(X)Marked_app(mark(X1),X2)Marked_app(X1,X2)Marked_app(X1,mark(X2))Marked_app(X1,X2)Marked_app(active(X1),X2)Marked_app(X1,X2)Marked_app(X1,active(X2))Marked_app(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)Marked_zWadr(mark(X1),X2)Marked_zWadr(X1,X2)Marked_zWadr(X1,mark(X2))Marked_zWadr(X1,X2)Marked_zWadr(active(X1),X2)Marked_zWadr(X1,X2)Marked_zWadr(X1,active(X2))Marked_zWadr(X1,X2)Marked_prefix(mark(X))Marked_prefix(X)Marked_prefix(active(X))Marked_prefix(X)active(app(nil,YS))mark(YS)active(app(cons(X,XS),YS))mark(cons(X,app(XS,YS)))active(from(X))mark(cons(X,from(s(X))))active(zWadr(nil,YS))mark(nil)active(zWadr(XS,nil))mark(nil)active(zWadr(cons(X,XS),cons(Y,YS)))mark(cons(app(Y,cons(X,nil)),zWadr(XS,YS)))active(prefix(L))mark(cons(nil,zWadr(L,prefix(L))))mark(app(X1,X2))active(app(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))mark(zWadr(X1,X2))active(zWadr(mark(X1),mark(X2)))mark(prefix(X))active(prefix(mark(X)))app(mark(X1),X2)app(X1,X2)app(X1,mark(X2))app(X1,X2)app(active(X1),X2)app(X1,X2)app(X1,active(X2))app(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)zWadr(mark(X1),X2)zWadr(X1,X2)zWadr(X1,mark(X2))zWadr(X1,X2)zWadr(active(X1),X2)zWadr(X1,X2)zWadr(X1,active(X2))zWadr(X1,X2)prefix(mark(X))prefix(X)prefix(active(X))prefix(X)Marked_active(app(nil,YS))Marked_mark(YS)Marked_active(app(cons(X,XS),YS))Marked_mark(cons(X,app(XS,YS)))Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_active(zWadr(cons(X,XS),cons(Y,YS)))Marked_mark(cons(app(Y,cons(X,nil)),zWadr(XS,YS)))Marked_active(prefix(L))Marked_mark(cons(nil,zWadr(L,prefix(L))))Marked_mark(app(X1,X2))Marked_active(app(mark(X1),mark(X2)))Marked_mark(app(X1,X2))Marked_mark(X1)Marked_mark(app(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)Marked_mark(zWadr(X1,X2))Marked_active(zWadr(mark(X1),mark(X2)))Marked_mark(zWadr(X1,X2))Marked_mark(X1)Marked_mark(zWadr(X1,X2))Marked_mark(X2)Marked_mark(prefix(X))Marked_active(prefix(mark(X)))Marked_mark(prefix(X))Marked_mark(X)mark10Marked_active220prefix220cons110app110s10active10from310nil10zWadr120Marked_mark220Marked_active(app(nil,YS))Marked_mark(YS)Marked_active(from(X))Marked_mark(cons(X,from(s(X))))Marked_active(zWadr(cons(X,XS),cons(Y,YS)))Marked_mark(cons(app(Y,cons(X,nil)),zWadr(XS,YS)))Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(from(X))Marked_mark(X)Marked_mark(prefix(X))Marked_mark(X)active(app(nil,YS))mark(YS)active(app(cons(X,XS),YS))mark(cons(X,app(XS,YS)))active(from(X))mark(cons(X,from(s(X))))active(zWadr(nil,YS))mark(nil)active(zWadr(XS,nil))mark(nil)active(zWadr(cons(X,XS),cons(Y,YS)))mark(cons(app(Y,cons(X,nil)),zWadr(XS,YS)))active(prefix(L))mark(cons(nil,zWadr(L,prefix(L))))mark(app(X1,X2))active(app(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))mark(zWadr(X1,X2))active(zWadr(mark(X1),mark(X2)))mark(prefix(X))active(prefix(mark(X)))app(mark(X1),X2)app(X1,X2)app(X1,mark(X2))app(X1,X2)app(active(X1),X2)app(X1,X2)app(X1,active(X2))app(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)zWadr(mark(X1),X2)zWadr(X1,X2)zWadr(X1,mark(X2))zWadr(X1,X2)zWadr(active(X1),X2)zWadr(X1,X2)zWadr(X1,active(X2))zWadr(X1,X2)prefix(mark(X))prefix(X)prefix(active(X))prefix(X)Marked_active(app(cons(X,XS),YS))Marked_mark(cons(X,app(XS,YS)))Marked_active(prefix(L))Marked_mark(cons(nil,zWadr(L,prefix(L))))Marked_mark(app(X1,X2))Marked_active(app(mark(X1),mark(X2)))Marked_mark(app(X1,X2))Marked_mark(X1)Marked_mark(app(X1,X2))Marked_mark(X2)Marked_mark(cons(X1,X2))Marked_active(cons(mark(X1),X2))Marked_mark(from(X))Marked_active(from(mark(X)))Marked_mark(s(X))Marked_active(s(mark(X)))Marked_mark(s(X))Marked_mark(X)Marked_mark(zWadr(X1,X2))Marked_active(zWadr(mark(X1),mark(X2)))Marked_mark(zWadr(X1,X2))Marked_mark(X1)Marked_mark(zWadr(X1,X2))Marked_mark(X2)Marked_mark(prefix(X))Marked_active(prefix(mark(X)))active(app(nil,YS))mark(YS)active(app(cons(X,XS),YS))mark(cons(X,app(XS,YS)))active(from(X))mark(cons(X,from(s(X))))active(zWadr(nil,YS))mark(nil)active(zWadr(XS,nil))mark(nil)active(zWadr(cons(X,XS),cons(Y,YS)))mark(cons(app(Y,cons(X,nil)),zWadr(XS,YS)))active(prefix(L))mark(cons(nil,zWadr(L,prefix(L))))mark(app(X1,X2))active(app(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))mark(zWadr(X1,X2))active(zWadr(mark(X1),mark(X2)))mark(prefix(X))active(prefix(mark(X)))app(mark(X1),X2)app(X1,X2)app(X1,mark(X2))app(X1,X2)app(active(X1),X2)app(X1,X2)app(X1,active(X2))app(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)zWadr(mark(X1),X2)zWadr(X1,X2)zWadr(X1,mark(X2))zWadr(X1,X2)zWadr(active(X1),X2)zWadr(X1,X2)zWadr(X1,active(X2))zWadr(X1,X2)prefix(mark(X))prefix(X)prefix(active(X))prefix(X)Marked_active(app(cons(X,XS),YS))Marked_mark(cons(X,app(XS,YS)))Marked_active(prefix(L))Marked_mark(cons(nil,zWadr(L,prefix(L))))Marked_mark(app(X1,X2))Marked_active(app(mark(X1),mark(X2)))Marked_mark(app(X1,X2))Marked_mark(X1)Marked_mark(app(X1,X2))Marked_mark(X2)Marked_mark(cons(X1,X2))Marked_active(cons(mark(X1),X2))Marked_mark(from(X))Marked_active(from(mark(X)))Marked_mark(s(X))Marked_active(s(mark(X)))Marked_mark(s(X))Marked_mark(X)Marked_mark(zWadr(X1,X2))Marked_active(zWadr(mark(X1),mark(X2)))Marked_mark(zWadr(X1,X2))Marked_mark(X1)Marked_mark(zWadr(X1,X2))Marked_mark(X2)Marked_mark(prefix(X))Marked_active(prefix(mark(X)))mark0Marked_active10prefix20cons0app20s0active0from0nil0zWadr0Marked_mark20Marked_mark(cons(X1,X2))Marked_active(cons(mark(X1),X2))Marked_mark(from(X))Marked_active(from(mark(X)))Marked_mark(s(X))Marked_active(s(mark(X)))Marked_mark(zWadr(X1,X2))Marked_active(zWadr(mark(X1),mark(X2)))active(app(nil,YS))mark(YS)active(app(cons(X,XS),YS))mark(cons(X,app(XS,YS)))active(from(X))mark(cons(X,from(s(X))))active(zWadr(nil,YS))mark(nil)active(zWadr(XS,nil))mark(nil)active(zWadr(cons(X,XS),cons(Y,YS)))mark(cons(app(Y,cons(X,nil)),zWadr(XS,YS)))active(prefix(L))mark(cons(nil,zWadr(L,prefix(L))))mark(app(X1,X2))active(app(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))mark(zWadr(X1,X2))active(zWadr(mark(X1),mark(X2)))mark(prefix(X))active(prefix(mark(X)))app(mark(X1),X2)app(X1,X2)app(X1,mark(X2))app(X1,X2)app(active(X1),X2)app(X1,X2)app(X1,active(X2))app(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)zWadr(mark(X1),X2)zWadr(X1,X2)zWadr(X1,mark(X2))zWadr(X1,X2)zWadr(active(X1),X2)zWadr(X1,X2)zWadr(X1,active(X2))zWadr(X1,X2)prefix(mark(X))prefix(X)prefix(active(X))prefix(X)Marked_active(app(cons(X,XS),YS))Marked_mark(cons(X,app(XS,YS)))Marked_active(prefix(L))Marked_mark(cons(nil,zWadr(L,prefix(L))))Marked_mark(app(X1,X2))Marked_active(app(mark(X1),mark(X2)))Marked_mark(app(X1,X2))Marked_mark(X1)Marked_mark(app(X1,X2))Marked_mark(X2)Marked_mark(s(X))Marked_mark(X)Marked_mark(zWadr(X1,X2))Marked_mark(X1)Marked_mark(zWadr(X1,X2))Marked_mark(X2)Marked_mark(prefix(X))Marked_active(prefix(mark(X)))active(app(nil,YS))mark(YS)active(app(cons(X,XS),YS))mark(cons(X,app(XS,YS)))active(from(X))mark(cons(X,from(s(X))))active(zWadr(nil,YS))mark(nil)active(zWadr(XS,nil))mark(nil)active(zWadr(cons(X,XS),cons(Y,YS)))mark(cons(app(Y,cons(X,nil)),zWadr(XS,YS)))active(prefix(L))mark(cons(nil,zWadr(L,prefix(L))))mark(app(X1,X2))active(app(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))mark(zWadr(X1,X2))active(zWadr(mark(X1),mark(X2)))mark(prefix(X))active(prefix(mark(X)))app(mark(X1),X2)app(X1,X2)app(X1,mark(X2))app(X1,X2)app(active(X1),X2)app(X1,X2)app(X1,active(X2))app(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)zWadr(mark(X1),X2)zWadr(X1,X2)zWadr(X1,mark(X2))zWadr(X1,X2)zWadr(active(X1),X2)zWadr(X1,X2)zWadr(X1,active(X2))zWadr(X1,X2)prefix(mark(X))prefix(X)prefix(active(X))prefix(X)Marked_active(app(cons(X,XS),YS))Marked_mark(cons(X,app(XS,YS)))Marked_active(prefix(L))Marked_mark(cons(nil,zWadr(L,prefix(L))))Marked_mark(app(X1,X2))Marked_active(app(mark(X1),mark(X2)))Marked_mark(app(X1,X2))Marked_mark(X1)Marked_mark(app(X1,X2))Marked_mark(X2)Marked_mark(s(X))Marked_mark(X)Marked_mark(zWadr(X1,X2))Marked_mark(X1)Marked_mark(zWadr(X1,X2))Marked_mark(X2)Marked_mark(prefix(X))Marked_active(prefix(mark(X)))mark10Marked_active230prefix30cons30app1320s10active10from30nil0zWadr2220Marked_mark230Marked_active(app(cons(X,XS),YS))Marked_mark(cons(X,app(XS,YS)))Marked_mark(app(X1,X2))Marked_mark(X1)Marked_mark(app(X1,X2))Marked_mark(X2)Marked_mark(zWadr(X1,X2))Marked_mark(X1)Marked_mark(zWadr(X1,X2))Marked_mark(X2)active(app(nil,YS))mark(YS)active(app(cons(X,XS),YS))mark(cons(X,app(XS,YS)))active(from(X))mark(cons(X,from(s(X))))active(zWadr(nil,YS))mark(nil)active(zWadr(XS,nil))mark(nil)active(zWadr(cons(X,XS),cons(Y,YS)))mark(cons(app(Y,cons(X,nil)),zWadr(XS,YS)))active(prefix(L))mark(cons(nil,zWadr(L,prefix(L))))mark(app(X1,X2))active(app(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))mark(zWadr(X1,X2))active(zWadr(mark(X1),mark(X2)))mark(prefix(X))active(prefix(mark(X)))app(mark(X1),X2)app(X1,X2)app(X1,mark(X2))app(X1,X2)app(active(X1),X2)app(X1,X2)app(X1,active(X2))app(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)zWadr(mark(X1),X2)zWadr(X1,X2)zWadr(X1,mark(X2))zWadr(X1,X2)zWadr(active(X1),X2)zWadr(X1,X2)zWadr(X1,active(X2))zWadr(X1,X2)prefix(mark(X))prefix(X)prefix(active(X))prefix(X)Marked_active(prefix(L))Marked_mark(cons(nil,zWadr(L,prefix(L))))Marked_mark(app(X1,X2))Marked_active(app(mark(X1),mark(X2)))Marked_mark(s(X))Marked_mark(X)Marked_mark(prefix(X))Marked_active(prefix(mark(X)))active(app(nil,YS))mark(YS)active(app(cons(X,XS),YS))mark(cons(X,app(XS,YS)))active(from(X))mark(cons(X,from(s(X))))active(zWadr(nil,YS))mark(nil)active(zWadr(XS,nil))mark(nil)active(zWadr(cons(X,XS),cons(Y,YS)))mark(cons(app(Y,cons(X,nil)),zWadr(XS,YS)))active(prefix(L))mark(cons(nil,zWadr(L,prefix(L))))mark(app(X1,X2))active(app(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))mark(zWadr(X1,X2))active(zWadr(mark(X1),mark(X2)))mark(prefix(X))active(prefix(mark(X)))app(mark(X1),X2)app(X1,X2)app(X1,mark(X2))app(X1,X2)app(active(X1),X2)app(X1,X2)app(X1,active(X2))app(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)zWadr(mark(X1),X2)zWadr(X1,X2)zWadr(X1,mark(X2))zWadr(X1,X2)zWadr(active(X1),X2)zWadr(X1,X2)zWadr(X1,active(X2))zWadr(X1,X2)prefix(mark(X))prefix(X)prefix(active(X))prefix(X)Marked_active(prefix(L))Marked_mark(cons(nil,zWadr(L,prefix(L))))Marked_mark(app(X1,X2))Marked_active(app(mark(X1),mark(X2)))Marked_mark(s(X))Marked_mark(X)Marked_mark(prefix(X))Marked_active(prefix(mark(X)))mark0Marked_active20prefix10cons0app0s0active0from0nil0zWadr0Marked_mark20Marked_mark(app(X1,X2))Marked_active(app(mark(X1),mark(X2)))active(app(nil,YS))mark(YS)active(app(cons(X,XS),YS))mark(cons(X,app(XS,YS)))active(from(X))mark(cons(X,from(s(X))))active(zWadr(nil,YS))mark(nil)active(zWadr(XS,nil))mark(nil)active(zWadr(cons(X,XS),cons(Y,YS)))mark(cons(app(Y,cons(X,nil)),zWadr(XS,YS)))active(prefix(L))mark(cons(nil,zWadr(L,prefix(L))))mark(app(X1,X2))active(app(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))mark(zWadr(X1,X2))active(zWadr(mark(X1),mark(X2)))mark(prefix(X))active(prefix(mark(X)))app(mark(X1),X2)app(X1,X2)app(X1,mark(X2))app(X1,X2)app(active(X1),X2)app(X1,X2)app(X1,active(X2))app(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)zWadr(mark(X1),X2)zWadr(X1,X2)zWadr(X1,mark(X2))zWadr(X1,X2)zWadr(active(X1),X2)zWadr(X1,X2)zWadr(X1,active(X2))zWadr(X1,X2)prefix(mark(X))prefix(X)prefix(active(X))prefix(X)Marked_active(prefix(L))Marked_mark(cons(nil,zWadr(L,prefix(L))))Marked_mark(s(X))Marked_mark(X)Marked_mark(prefix(X))Marked_active(prefix(mark(X)))active(app(nil,YS))mark(YS)active(app(cons(X,XS),YS))mark(cons(X,app(XS,YS)))active(from(X))mark(cons(X,from(s(X))))active(zWadr(nil,YS))mark(nil)active(zWadr(XS,nil))mark(nil)active(zWadr(cons(X,XS),cons(Y,YS)))mark(cons(app(Y,cons(X,nil)),zWadr(XS,YS)))active(prefix(L))mark(cons(nil,zWadr(L,prefix(L))))mark(app(X1,X2))active(app(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))mark(zWadr(X1,X2))active(zWadr(mark(X1),mark(X2)))mark(prefix(X))active(prefix(mark(X)))app(mark(X1),X2)app(X1,X2)app(X1,mark(X2))app(X1,X2)app(active(X1),X2)app(X1,X2)app(X1,active(X2))app(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)zWadr(mark(X1),X2)zWadr(X1,X2)zWadr(X1,mark(X2))zWadr(X1,X2)zWadr(active(X1),X2)zWadr(X1,X2)zWadr(X1,active(X2))zWadr(X1,X2)prefix(mark(X))prefix(X)prefix(active(X))prefix(X)Marked_active(prefix(L))Marked_mark(cons(nil,zWadr(L,prefix(L))))Marked_mark(s(X))Marked_mark(X)Marked_mark(prefix(X))Marked_active(prefix(mark(X)))mark10Marked_active0prefix0cons0app20s320active10from0nil0zWadr0Marked_mark30Marked_mark(s(X))Marked_mark(X)active(app(nil,YS))mark(YS)active(app(cons(X,XS),YS))mark(cons(X,app(XS,YS)))active(from(X))mark(cons(X,from(s(X))))active(zWadr(nil,YS))mark(nil)active(zWadr(XS,nil))mark(nil)active(zWadr(cons(X,XS),cons(Y,YS)))mark(cons(app(Y,cons(X,nil)),zWadr(XS,YS)))active(prefix(L))mark(cons(nil,zWadr(L,prefix(L))))mark(app(X1,X2))active(app(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))mark(zWadr(X1,X2))active(zWadr(mark(X1),mark(X2)))mark(prefix(X))active(prefix(mark(X)))app(mark(X1),X2)app(X1,X2)app(X1,mark(X2))app(X1,X2)app(active(X1),X2)app(X1,X2)app(X1,active(X2))app(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)zWadr(mark(X1),X2)zWadr(X1,X2)zWadr(X1,mark(X2))zWadr(X1,X2)zWadr(active(X1),X2)zWadr(X1,X2)zWadr(X1,active(X2))zWadr(X1,X2)prefix(mark(X))prefix(X)prefix(active(X))prefix(X)Marked_active(prefix(L))Marked_mark(cons(nil,zWadr(L,prefix(L))))Marked_mark(prefix(X))Marked_active(prefix(mark(X)))active(app(nil,YS))mark(YS)active(app(cons(X,XS),YS))mark(cons(X,app(XS,YS)))active(from(X))mark(cons(X,from(s(X))))active(zWadr(nil,YS))mark(nil)active(zWadr(XS,nil))mark(nil)active(zWadr(cons(X,XS),cons(Y,YS)))mark(cons(app(Y,cons(X,nil)),zWadr(XS,YS)))active(prefix(L))mark(cons(nil,zWadr(L,prefix(L))))mark(app(X1,X2))active(app(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))mark(zWadr(X1,X2))active(zWadr(mark(X1),mark(X2)))mark(prefix(X))active(prefix(mark(X)))app(mark(X1),X2)app(X1,X2)app(X1,mark(X2))app(X1,X2)app(active(X1),X2)app(X1,X2)app(X1,active(X2))app(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)zWadr(mark(X1),X2)zWadr(X1,X2)zWadr(X1,mark(X2))zWadr(X1,X2)zWadr(active(X1),X2)zWadr(X1,X2)zWadr(X1,active(X2))zWadr(X1,X2)prefix(mark(X))prefix(X)prefix(active(X))prefix(X)Marked_active(prefix(L))Marked_mark(cons(nil,zWadr(L,prefix(L))))Marked_mark(prefix(X))Marked_active(prefix(mark(X)))mark0Marked_active0prefix20cons0app0s0active0from0nil0zWadr0Marked_mark20Marked_mark(prefix(X))Marked_active(prefix(mark(X)))active(app(nil,YS))mark(YS)active(app(cons(X,XS),YS))mark(cons(X,app(XS,YS)))active(from(X))mark(cons(X,from(s(X))))active(zWadr(nil,YS))mark(nil)active(zWadr(XS,nil))mark(nil)active(zWadr(cons(X,XS),cons(Y,YS)))mark(cons(app(Y,cons(X,nil)),zWadr(XS,YS)))active(prefix(L))mark(cons(nil,zWadr(L,prefix(L))))mark(app(X1,X2))active(app(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))mark(zWadr(X1,X2))active(zWadr(mark(X1),mark(X2)))mark(prefix(X))active(prefix(mark(X)))app(mark(X1),X2)app(X1,X2)app(X1,mark(X2))app(X1,X2)app(active(X1),X2)app(X1,X2)app(X1,active(X2))app(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)zWadr(mark(X1),X2)zWadr(X1,X2)zWadr(X1,mark(X2))zWadr(X1,X2)zWadr(active(X1),X2)zWadr(X1,X2)zWadr(X1,active(X2))zWadr(X1,X2)prefix(mark(X))prefix(X)prefix(active(X))prefix(X)Marked_active(prefix(L))Marked_mark(cons(nil,zWadr(L,prefix(L))))active(app(nil,YS))mark(YS)active(app(cons(X,XS),YS))mark(cons(X,app(XS,YS)))active(from(X))mark(cons(X,from(s(X))))active(zWadr(nil,YS))mark(nil)active(zWadr(XS,nil))mark(nil)active(zWadr(cons(X,XS),cons(Y,YS)))mark(cons(app(Y,cons(X,nil)),zWadr(XS,YS)))active(prefix(L))mark(cons(nil,zWadr(L,prefix(L))))mark(app(X1,X2))active(app(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))mark(zWadr(X1,X2))active(zWadr(mark(X1),mark(X2)))mark(prefix(X))active(prefix(mark(X)))app(mark(X1),X2)app(X1,X2)app(X1,mark(X2))app(X1,X2)app(active(X1),X2)app(X1,X2)app(X1,active(X2))app(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)zWadr(mark(X1),X2)zWadr(X1,X2)zWadr(X1,mark(X2))zWadr(X1,X2)zWadr(active(X1),X2)zWadr(X1,X2)zWadr(X1,active(X2))zWadr(X1,X2)prefix(mark(X))prefix(X)prefix(active(X))prefix(X)Marked_app(mark(X1),X2)Marked_app(X1,X2)Marked_app(X1,mark(X2))Marked_app(X1,X2)Marked_app(active(X1),X2)Marked_app(X1,X2)Marked_app(X1,active(X2))Marked_app(X1,X2)mark120prefix10cons0app120s10Marked_app330active10from10nil0zWadr2210Marked_app(mark(X1),X2)Marked_app(X1,X2)Marked_app(X1,mark(X2))Marked_app(X1,X2)active(app(nil,YS))mark(YS)active(app(cons(X,XS),YS))mark(cons(X,app(XS,YS)))active(from(X))mark(cons(X,from(s(X))))active(zWadr(nil,YS))mark(nil)active(zWadr(XS,nil))mark(nil)active(zWadr(cons(X,XS),cons(Y,YS)))mark(cons(app(Y,cons(X,nil)),zWadr(XS,YS)))active(prefix(L))mark(cons(nil,zWadr(L,prefix(L))))mark(app(X1,X2))active(app(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))mark(zWadr(X1,X2))active(zWadr(mark(X1),mark(X2)))mark(prefix(X))active(prefix(mark(X)))app(mark(X1),X2)app(X1,X2)app(X1,mark(X2))app(X1,X2)app(active(X1),X2)app(X1,X2)app(X1,active(X2))app(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)zWadr(mark(X1),X2)zWadr(X1,X2)zWadr(X1,mark(X2))zWadr(X1,X2)zWadr(active(X1),X2)zWadr(X1,X2)zWadr(X1,active(X2))zWadr(X1,X2)prefix(mark(X))prefix(X)prefix(active(X))prefix(X)Marked_app(active(X1),X2)Marked_app(X1,X2)Marked_app(X1,active(X2))Marked_app(X1,X2)active(app(nil,YS))mark(YS)active(app(cons(X,XS),YS))mark(cons(X,app(XS,YS)))active(from(X))mark(cons(X,from(s(X))))active(zWadr(nil,YS))mark(nil)active(zWadr(XS,nil))mark(nil)active(zWadr(cons(X,XS),cons(Y,YS)))mark(cons(app(Y,cons(X,nil)),zWadr(XS,YS)))active(prefix(L))mark(cons(nil,zWadr(L,prefix(L))))mark(app(X1,X2))active(app(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))mark(zWadr(X1,X2))active(zWadr(mark(X1),mark(X2)))mark(prefix(X))active(prefix(mark(X)))app(mark(X1),X2)app(X1,X2)app(X1,mark(X2))app(X1,X2)app(active(X1),X2)app(X1,X2)app(X1,active(X2))app(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)zWadr(mark(X1),X2)zWadr(X1,X2)zWadr(X1,mark(X2))zWadr(X1,X2)zWadr(active(X1),X2)zWadr(X1,X2)zWadr(X1,active(X2))zWadr(X1,X2)prefix(mark(X))prefix(X)prefix(active(X))prefix(X)Marked_app(active(X1),X2)Marked_app(X1,X2)Marked_app(X1,active(X2))Marked_app(X1,X2)mark20prefix0cons0app0s0Marked_app330active210from0nil0zWadr0active(app(nil,YS))mark(YS)active(app(cons(X,XS),YS))mark(cons(X,app(XS,YS)))active(from(X))mark(cons(X,from(s(X))))active(zWadr(nil,YS))mark(nil)active(zWadr(XS,nil))mark(nil)active(zWadr(cons(X,XS),cons(Y,YS)))mark(cons(app(Y,cons(X,nil)),zWadr(XS,YS)))active(prefix(L))mark(cons(nil,zWadr(L,prefix(L))))mark(app(X1,X2))active(app(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))mark(zWadr(X1,X2))active(zWadr(mark(X1),mark(X2)))mark(prefix(X))active(prefix(mark(X)))app(mark(X1),X2)app(X1,X2)app(X1,mark(X2))app(X1,X2)app(active(X1),X2)app(X1,X2)app(X1,active(X2))app(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)zWadr(mark(X1),X2)zWadr(X1,X2)zWadr(X1,mark(X2))zWadr(X1,X2)zWadr(active(X1),X2)zWadr(X1,X2)zWadr(X1,active(X2))zWadr(X1,X2)prefix(mark(X))prefix(X)prefix(active(X))prefix(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)mark120prefix20cons0app120s0active10from20Marked_cons330nil20zWadr3220Marked_cons(mark(X1),X2)Marked_cons(X1,X2)Marked_cons(X1,mark(X2))Marked_cons(X1,X2)active(app(nil,YS))mark(YS)active(app(cons(X,XS),YS))mark(cons(X,app(XS,YS)))active(from(X))mark(cons(X,from(s(X))))active(zWadr(nil,YS))mark(nil)active(zWadr(XS,nil))mark(nil)active(zWadr(cons(X,XS),cons(Y,YS)))mark(cons(app(Y,cons(X,nil)),zWadr(XS,YS)))active(prefix(L))mark(cons(nil,zWadr(L,prefix(L))))mark(app(X1,X2))active(app(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))mark(zWadr(X1,X2))active(zWadr(mark(X1),mark(X2)))mark(prefix(X))active(prefix(mark(X)))app(mark(X1),X2)app(X1,X2)app(X1,mark(X2))app(X1,X2)app(active(X1),X2)app(X1,X2)app(X1,active(X2))app(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)zWadr(mark(X1),X2)zWadr(X1,X2)zWadr(X1,mark(X2))zWadr(X1,X2)zWadr(active(X1),X2)zWadr(X1,X2)zWadr(X1,active(X2))zWadr(X1,X2)prefix(mark(X))prefix(X)prefix(active(X))prefix(X)Marked_cons(active(X1),X2)Marked_cons(X1,X2)Marked_cons(X1,active(X2))Marked_cons(X1,X2)active(app(nil,YS))mark(YS)active(app(cons(X,XS),YS))mark(cons(X,app(XS,YS)))active(from(X))mark(cons(X,from(s(X))))active(zWadr(nil,YS))mark(nil)active(zWadr(XS,nil))mark(nil)active(zWadr(cons(X,XS),cons(Y,YS)))mark(cons(app(Y,cons(X,nil)),zWadr(XS,YS)))active(prefix(L))mark(cons(nil,zWadr(L,prefix(L))))mark(app(X1,X2))active(app(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))mark(zWadr(X1,X2))active(zWadr(mark(X1),mark(X2)))mark(prefix(X))active(prefix(mark(X)))app(mark(X1),X2)app(X1,X2)app(X1,mark(X2))app(X1,X2)app(active(X1),X2)app(X1,X2)app(X1,active(X2))app(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)zWadr(mark(X1),X2)zWadr(X1,X2)zWadr(X1,mark(X2))zWadr(X1,X2)zWadr(active(X1),X2)zWadr(X1,X2)zWadr(X1,active(X2))zWadr(X1,X2)prefix(mark(X))prefix(X)prefix(active(X))prefix(X)Marked_cons(active(X1),X2)Marked_cons(X1,X2)Marked_cons(X1,active(X2))Marked_cons(X1,X2)mark10prefix0cons0app0s0active120from0Marked_cons330nil0zWadr0active(app(nil,YS))mark(YS)active(app(cons(X,XS),YS))mark(cons(X,app(XS,YS)))active(from(X))mark(cons(X,from(s(X))))active(zWadr(nil,YS))mark(nil)active(zWadr(XS,nil))mark(nil)active(zWadr(cons(X,XS),cons(Y,YS)))mark(cons(app(Y,cons(X,nil)),zWadr(XS,YS)))active(prefix(L))mark(cons(nil,zWadr(L,prefix(L))))mark(app(X1,X2))active(app(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))mark(zWadr(X1,X2))active(zWadr(mark(X1),mark(X2)))mark(prefix(X))active(prefix(mark(X)))app(mark(X1),X2)app(X1,X2)app(X1,mark(X2))app(X1,X2)app(active(X1),X2)app(X1,X2)app(X1,active(X2))app(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)zWadr(mark(X1),X2)zWadr(X1,X2)zWadr(X1,mark(X2))zWadr(X1,X2)zWadr(active(X1),X2)zWadr(X1,X2)zWadr(X1,active(X2))zWadr(X1,X2)prefix(mark(X))prefix(X)prefix(active(X))prefix(X)Marked_from(mark(X))Marked_from(X)Marked_from(active(X))Marked_from(X)mark120prefix120cons0Marked_from30app120s20active10from10nil0zWadr20Marked_from(mark(X))Marked_from(X)active(app(nil,YS))mark(YS)active(app(cons(X,XS),YS))mark(cons(X,app(XS,YS)))active(from(X))mark(cons(X,from(s(X))))active(zWadr(nil,YS))mark(nil)active(zWadr(XS,nil))mark(nil)active(zWadr(cons(X,XS),cons(Y,YS)))mark(cons(app(Y,cons(X,nil)),zWadr(XS,YS)))active(prefix(L))mark(cons(nil,zWadr(L,prefix(L))))mark(app(X1,X2))active(app(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))mark(zWadr(X1,X2))active(zWadr(mark(X1),mark(X2)))mark(prefix(X))active(prefix(mark(X)))app(mark(X1),X2)app(X1,X2)app(X1,mark(X2))app(X1,X2)app(active(X1),X2)app(X1,X2)app(X1,active(X2))app(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)zWadr(mark(X1),X2)zWadr(X1,X2)zWadr(X1,mark(X2))zWadr(X1,X2)zWadr(active(X1),X2)zWadr(X1,X2)zWadr(X1,active(X2))zWadr(X1,X2)prefix(mark(X))prefix(X)prefix(active(X))prefix(X)Marked_from(active(X))Marked_from(X)active(app(nil,YS))mark(YS)active(app(cons(X,XS),YS))mark(cons(X,app(XS,YS)))active(from(X))mark(cons(X,from(s(X))))active(zWadr(nil,YS))mark(nil)active(zWadr(XS,nil))mark(nil)active(zWadr(cons(X,XS),cons(Y,YS)))mark(cons(app(Y,cons(X,nil)),zWadr(XS,YS)))active(prefix(L))mark(cons(nil,zWadr(L,prefix(L))))mark(app(X1,X2))active(app(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))mark(zWadr(X1,X2))active(zWadr(mark(X1),mark(X2)))mark(prefix(X))active(prefix(mark(X)))app(mark(X1),X2)app(X1,X2)app(X1,mark(X2))app(X1,X2)app(active(X1),X2)app(X1,X2)app(X1,active(X2))app(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)zWadr(mark(X1),X2)zWadr(X1,X2)zWadr(X1,mark(X2))zWadr(X1,X2)zWadr(active(X1),X2)zWadr(X1,X2)zWadr(X1,active(X2))zWadr(X1,X2)prefix(mark(X))prefix(X)prefix(active(X))prefix(X)Marked_from(active(X))Marked_from(X)mark10prefix0cons0Marked_from30app0s0active110from0nil0zWadr0active(app(nil,YS))mark(YS)active(app(cons(X,XS),YS))mark(cons(X,app(XS,YS)))active(from(X))mark(cons(X,from(s(X))))active(zWadr(nil,YS))mark(nil)active(zWadr(XS,nil))mark(nil)active(zWadr(cons(X,XS),cons(Y,YS)))mark(cons(app(Y,cons(X,nil)),zWadr(XS,YS)))active(prefix(L))mark(cons(nil,zWadr(L,prefix(L))))mark(app(X1,X2))active(app(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))mark(zWadr(X1,X2))active(zWadr(mark(X1),mark(X2)))mark(prefix(X))active(prefix(mark(X)))app(mark(X1),X2)app(X1,X2)app(X1,mark(X2))app(X1,X2)app(active(X1),X2)app(X1,X2)app(X1,active(X2))app(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)zWadr(mark(X1),X2)zWadr(X1,X2)zWadr(X1,mark(X2))zWadr(X1,X2)zWadr(active(X1),X2)zWadr(X1,X2)zWadr(X1,active(X2))zWadr(X1,X2)prefix(mark(X))prefix(X)prefix(active(X))prefix(X)Marked_s(mark(X))Marked_s(X)Marked_s(active(X))Marked_s(X)mark210prefix210cons0app210s10active10from20nil0Marked_s30zWadr20Marked_s(mark(X))Marked_s(X)active(app(nil,YS))mark(YS)active(app(cons(X,XS),YS))mark(cons(X,app(XS,YS)))active(from(X))mark(cons(X,from(s(X))))active(zWadr(nil,YS))mark(nil)active(zWadr(XS,nil))mark(nil)active(zWadr(cons(X,XS),cons(Y,YS)))mark(cons(app(Y,cons(X,nil)),zWadr(XS,YS)))active(prefix(L))mark(cons(nil,zWadr(L,prefix(L))))mark(app(X1,X2))active(app(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))mark(zWadr(X1,X2))active(zWadr(mark(X1),mark(X2)))mark(prefix(X))active(prefix(mark(X)))app(mark(X1),X2)app(X1,X2)app(X1,mark(X2))app(X1,X2)app(active(X1),X2)app(X1,X2)app(X1,active(X2))app(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)zWadr(mark(X1),X2)zWadr(X1,X2)zWadr(X1,mark(X2))zWadr(X1,X2)zWadr(active(X1),X2)zWadr(X1,X2)zWadr(X1,active(X2))zWadr(X1,X2)prefix(mark(X))prefix(X)prefix(active(X))prefix(X)Marked_s(active(X))Marked_s(X)active(app(nil,YS))mark(YS)active(app(cons(X,XS),YS))mark(cons(X,app(XS,YS)))active(from(X))mark(cons(X,from(s(X))))active(zWadr(nil,YS))mark(nil)active(zWadr(XS,nil))mark(nil)active(zWadr(cons(X,XS),cons(Y,YS)))mark(cons(app(Y,cons(X,nil)),zWadr(XS,YS)))active(prefix(L))mark(cons(nil,zWadr(L,prefix(L))))mark(app(X1,X2))active(app(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))mark(zWadr(X1,X2))active(zWadr(mark(X1),mark(X2)))mark(prefix(X))active(prefix(mark(X)))app(mark(X1),X2)app(X1,X2)app(X1,mark(X2))app(X1,X2)app(active(X1),X2)app(X1,X2)app(X1,active(X2))app(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)zWadr(mark(X1),X2)zWadr(X1,X2)zWadr(X1,mark(X2))zWadr(X1,X2)zWadr(active(X1),X2)zWadr(X1,X2)zWadr(X1,active(X2))zWadr(X1,X2)prefix(mark(X))prefix(X)prefix(active(X))prefix(X)Marked_s(active(X))Marked_s(X)mark10prefix0cons0app0s0active120from0nil0Marked_s30zWadr0active(app(nil,YS))mark(YS)active(app(cons(X,XS),YS))mark(cons(X,app(XS,YS)))active(from(X))mark(cons(X,from(s(X))))active(zWadr(nil,YS))mark(nil)active(zWadr(XS,nil))mark(nil)active(zWadr(cons(X,XS),cons(Y,YS)))mark(cons(app(Y,cons(X,nil)),zWadr(XS,YS)))active(prefix(L))mark(cons(nil,zWadr(L,prefix(L))))mark(app(X1,X2))active(app(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))mark(zWadr(X1,X2))active(zWadr(mark(X1),mark(X2)))mark(prefix(X))active(prefix(mark(X)))app(mark(X1),X2)app(X1,X2)app(X1,mark(X2))app(X1,X2)app(active(X1),X2)app(X1,X2)app(X1,active(X2))app(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)zWadr(mark(X1),X2)zWadr(X1,X2)zWadr(X1,mark(X2))zWadr(X1,X2)zWadr(active(X1),X2)zWadr(X1,X2)zWadr(X1,active(X2))zWadr(X1,X2)prefix(mark(X))prefix(X)prefix(active(X))prefix(X)Marked_zWadr(mark(X1),X2)Marked_zWadr(X1,X2)Marked_zWadr(X1,mark(X2))Marked_zWadr(X1,X2)Marked_zWadr(active(X1),X2)Marked_zWadr(X1,X2)Marked_zWadr(X1,active(X2))Marked_zWadr(X1,X2)mark110prefix10cons0app110Marked_zWadr330s0active10from10nil10zWadr20Marked_zWadr(mark(X1),X2)Marked_zWadr(X1,X2)Marked_zWadr(X1,mark(X2))Marked_zWadr(X1,X2)active(app(nil,YS))mark(YS)active(app(cons(X,XS),YS))mark(cons(X,app(XS,YS)))active(from(X))mark(cons(X,from(s(X))))active(zWadr(nil,YS))mark(nil)active(zWadr(XS,nil))mark(nil)active(zWadr(cons(X,XS),cons(Y,YS)))mark(cons(app(Y,cons(X,nil)),zWadr(XS,YS)))active(prefix(L))mark(cons(nil,zWadr(L,prefix(L))))mark(app(X1,X2))active(app(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))mark(zWadr(X1,X2))active(zWadr(mark(X1),mark(X2)))mark(prefix(X))active(prefix(mark(X)))app(mark(X1),X2)app(X1,X2)app(X1,mark(X2))app(X1,X2)app(active(X1),X2)app(X1,X2)app(X1,active(X2))app(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)zWadr(mark(X1),X2)zWadr(X1,X2)zWadr(X1,mark(X2))zWadr(X1,X2)zWadr(active(X1),X2)zWadr(X1,X2)zWadr(X1,active(X2))zWadr(X1,X2)prefix(mark(X))prefix(X)prefix(active(X))prefix(X)Marked_zWadr(active(X1),X2)Marked_zWadr(X1,X2)Marked_zWadr(X1,active(X2))Marked_zWadr(X1,X2)active(app(nil,YS))mark(YS)active(app(cons(X,XS),YS))mark(cons(X,app(XS,YS)))active(from(X))mark(cons(X,from(s(X))))active(zWadr(nil,YS))mark(nil)active(zWadr(XS,nil))mark(nil)active(zWadr(cons(X,XS),cons(Y,YS)))mark(cons(app(Y,cons(X,nil)),zWadr(XS,YS)))active(prefix(L))mark(cons(nil,zWadr(L,prefix(L))))mark(app(X1,X2))active(app(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))mark(zWadr(X1,X2))active(zWadr(mark(X1),mark(X2)))mark(prefix(X))active(prefix(mark(X)))app(mark(X1),X2)app(X1,X2)app(X1,mark(X2))app(X1,X2)app(active(X1),X2)app(X1,X2)app(X1,active(X2))app(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)zWadr(mark(X1),X2)zWadr(X1,X2)zWadr(X1,mark(X2))zWadr(X1,X2)zWadr(active(X1),X2)zWadr(X1,X2)zWadr(X1,active(X2))zWadr(X1,X2)prefix(mark(X))prefix(X)prefix(active(X))prefix(X)Marked_zWadr(active(X1),X2)Marked_zWadr(X1,X2)Marked_zWadr(X1,active(X2))Marked_zWadr(X1,X2)mark10prefix0cons0app0Marked_zWadr330s0active120from0nil0zWadr0active(app(nil,YS))mark(YS)active(app(cons(X,XS),YS))mark(cons(X,app(XS,YS)))active(from(X))mark(cons(X,from(s(X))))active(zWadr(nil,YS))mark(nil)active(zWadr(XS,nil))mark(nil)active(zWadr(cons(X,XS),cons(Y,YS)))mark(cons(app(Y,cons(X,nil)),zWadr(XS,YS)))active(prefix(L))mark(cons(nil,zWadr(L,prefix(L))))mark(app(X1,X2))active(app(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))mark(zWadr(X1,X2))active(zWadr(mark(X1),mark(X2)))mark(prefix(X))active(prefix(mark(X)))app(mark(X1),X2)app(X1,X2)app(X1,mark(X2))app(X1,X2)app(active(X1),X2)app(X1,X2)app(X1,active(X2))app(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)zWadr(mark(X1),X2)zWadr(X1,X2)zWadr(X1,mark(X2))zWadr(X1,X2)zWadr(active(X1),X2)zWadr(X1,X2)zWadr(X1,active(X2))zWadr(X1,X2)prefix(mark(X))prefix(X)prefix(active(X))prefix(X)Marked_prefix(mark(X))Marked_prefix(X)Marked_prefix(active(X))Marked_prefix(X)mark120prefix120cons0app120s0active10Marked_prefix30from10nil0zWadr10Marked_prefix(mark(X))Marked_prefix(X)active(app(nil,YS))mark(YS)active(app(cons(X,XS),YS))mark(cons(X,app(XS,YS)))active(from(X))mark(cons(X,from(s(X))))active(zWadr(nil,YS))mark(nil)active(zWadr(XS,nil))mark(nil)active(zWadr(cons(X,XS),cons(Y,YS)))mark(cons(app(Y,cons(X,nil)),zWadr(XS,YS)))active(prefix(L))mark(cons(nil,zWadr(L,prefix(L))))mark(app(X1,X2))active(app(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))mark(zWadr(X1,X2))active(zWadr(mark(X1),mark(X2)))mark(prefix(X))active(prefix(mark(X)))app(mark(X1),X2)app(X1,X2)app(X1,mark(X2))app(X1,X2)app(active(X1),X2)app(X1,X2)app(X1,active(X2))app(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)zWadr(mark(X1),X2)zWadr(X1,X2)zWadr(X1,mark(X2))zWadr(X1,X2)zWadr(active(X1),X2)zWadr(X1,X2)zWadr(X1,active(X2))zWadr(X1,X2)prefix(mark(X))prefix(X)prefix(active(X))prefix(X)Marked_prefix(active(X))Marked_prefix(X)active(app(nil,YS))mark(YS)active(app(cons(X,XS),YS))mark(cons(X,app(XS,YS)))active(from(X))mark(cons(X,from(s(X))))active(zWadr(nil,YS))mark(nil)active(zWadr(XS,nil))mark(nil)active(zWadr(cons(X,XS),cons(Y,YS)))mark(cons(app(Y,cons(X,nil)),zWadr(XS,YS)))active(prefix(L))mark(cons(nil,zWadr(L,prefix(L))))mark(app(X1,X2))active(app(mark(X1),mark(X2)))mark(nil)active(nil)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(from(X))active(from(mark(X)))mark(s(X))active(s(mark(X)))mark(zWadr(X1,X2))active(zWadr(mark(X1),mark(X2)))mark(prefix(X))active(prefix(mark(X)))app(mark(X1),X2)app(X1,X2)app(X1,mark(X2))app(X1,X2)app(active(X1),X2)app(X1,X2)app(X1,active(X2))app(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)zWadr(mark(X1),X2)zWadr(X1,X2)zWadr(X1,mark(X2))zWadr(X1,X2)zWadr(active(X1),X2)zWadr(X1,X2)zWadr(X1,active(X2))zWadr(X1,X2)prefix(mark(X))prefix(X)prefix(active(X))prefix(X)Marked_prefix(active(X))Marked_prefix(X)mark10prefix0cons0app0s0active120Marked_prefix30from0nil0zWadr0