Marked_selnilselfromMarked_takeactivate0Marked_headn__fromMarked_from2ndn__takesMarked_activateheadtakeMarked_2ndconsX2X1NXSXfrom(X)cons(X,n__from(s(X)))head(cons(X,XS))X2nd(cons(X,XS))head(activate(XS))take(0,XS)niltake(s(N),cons(X,XS))cons(X,n__take(N,activate(XS)))sel(0,cons(X,XS))Xsel(s(N),cons(X,XS))sel(N,activate(XS))from(X)n__from(X)take(X1,X2)n__take(X1,X2)activate(n__from(X))from(X)activate(n__take(X1,X2))take(X1,X2)activate(X)Xfrom(X)cons(X,n__from(s(X)))head(cons(X,XS))X2nd(cons(X,XS))head(activate(XS))take(0,XS)niltake(s(N),cons(X,XS))cons(X,n__take(N,activate(XS)))sel(0,cons(X,XS))Xsel(s(N),cons(X,XS))sel(N,activate(XS))from(X)n__from(X)take(X1,X2)n__take(X1,X2)activate(n__from(X))from(X)activate(n__take(X1,X2))take(X1,X2)activate(X)XMarked_2nd(cons(X,XS))Marked_head(activate(XS))Marked_2nd(cons(X,XS))Marked_activate(XS)Marked_take(s(N),cons(X,XS))Marked_activate(XS)Marked_sel(s(N),cons(X,XS))Marked_sel(N,activate(XS))Marked_sel(s(N),cons(X,XS))Marked_activate(XS)Marked_activate(n__from(X))Marked_from(X)Marked_activate(n__take(X1,X2))Marked_take(X1,X2)from(X)cons(X,n__from(s(X)))head(cons(X,XS))X2nd(cons(X,XS))head(activate(XS))take(0,XS)niltake(s(N),cons(X,XS))cons(X,n__take(N,activate(XS)))sel(0,cons(X,XS))Xsel(s(N),cons(X,XS))sel(N,activate(XS))from(X)n__from(X)take(X1,X2)n__take(X1,X2)activate(n__from(X))from(X)activate(n__take(X1,X2))take(X1,X2)activate(X)XMarked_sel(s(N),cons(X,XS))Marked_sel(N,activate(XS))constakeheadsn__take2ndn__fromactivatefromselnilMarked_selconsfromconsactivatecons2ndconstakeconsn__takeconsselconsMarked_seln__fromfromn__fromactivaten__from2ndn__fromtaken__fromn__taken__fromseln__fromMarked_selsfromsactivates2ndstakesn__takesselsMarked_selfromactivatefrom2ndfromtakefromn__takefromselfromMarked_selhead2ndactivate2ndactivatetakeactivaten__takeactivateselactivateMarked_selniltakeniln__taketaken__taken__taketakefrom(X)cons(X,n__from(s(X)))head(cons(X,XS))X2nd(cons(X,XS))head(activate(XS))take(0,XS)niltake(s(N),cons(X,XS))cons(X,n__take(N,activate(XS)))sel(0,cons(X,XS))Xsel(s(N),cons(X,XS))sel(N,activate(XS))from(X)n__from(X)take(X1,X2)n__take(X1,X2)activate(n__from(X))from(X)activate(n__take(X1,X2))take(X1,X2)activate(X)XMarked_take(s(N),cons(X,XS))Marked_activate(XS)Marked_activate(n__take(X1,X2))Marked_take(X1,X2)cons120take220head10Marked_activate310s0n__take1102nd10n__from10030activate20Marked_take310from20sel320nil20Marked_activate(n__take(X1,X2))Marked_take(X1,X2)from(X)cons(X,n__from(s(X)))head(cons(X,XS))X2nd(cons(X,XS))head(activate(XS))take(0,XS)niltake(s(N),cons(X,XS))cons(X,n__take(N,activate(XS)))sel(0,cons(X,XS))Xsel(s(N),cons(X,XS))sel(N,activate(XS))from(X)n__from(X)take(X1,X2)n__take(X1,X2)activate(n__from(X))from(X)activate(n__take(X1,X2))take(X1,X2)activate(X)XMarked_take(s(N),cons(X,XS))Marked_activate(XS)