Marked_conszerostailMarked_activeconsMarked_tail0activeMarked_markmarkX2X1XSXactive(zeros)mark(cons(0,zeros))active(tail(cons(X,XS)))mark(XS)mark(zeros)active(zeros)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(tail(X))active(tail(mark(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)tail(mark(X))tail(X)tail(active(X))tail(X)active(zeros)mark(cons(0,zeros))active(tail(cons(X,XS)))mark(XS)mark(zeros)active(zeros)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(tail(X))active(tail(mark(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)tail(mark(X))tail(X)tail(active(X))tail(X)Marked_active(zeros)Marked_mark(cons(0,zeros))Marked_active(zeros)Marked_cons(0,zeros)Marked_active(tail(cons(X,XS)))Marked_mark(XS)Marked_mark(zeros)Marked_active(zeros)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(0)Marked_active(0)Marked_mark(tail(X))Marked_active(tail(mark(X)))Marked_mark(tail(X))Marked_tail(mark(X))Marked_mark(tail(X))Marked_mark(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_tail(mark(X))Marked_tail(X)Marked_tail(active(X))Marked_tail(X)active(zeros)mark(cons(0,zeros))active(tail(cons(X,XS)))mark(XS)mark(zeros)active(zeros)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(tail(X))active(tail(mark(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)tail(mark(X))tail(X)tail(active(X))tail(X)Marked_active(zeros)Marked_mark(cons(0,zeros))Marked_active(tail(cons(X,XS)))Marked_mark(XS)Marked_mark(zeros)Marked_active(zeros)Marked_mark(cons(X1,X2))Marked_active(cons(mark(X1),X2))Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(tail(X))Marked_active(tail(mark(X)))Marked_mark(tail(X))Marked_mark(X)mark20Marked_mark220active1000cons120Marked_active210tail320zeros0Marked_active(tail(cons(X,XS)))Marked_mark(XS)Marked_mark(tail(X))Marked_active(tail(mark(X)))Marked_mark(tail(X))Marked_mark(X)active(zeros)mark(cons(0,zeros))active(tail(cons(X,XS)))mark(XS)mark(zeros)active(zeros)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(tail(X))active(tail(mark(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)tail(mark(X))tail(X)tail(active(X))tail(X)Marked_active(zeros)Marked_mark(cons(0,zeros))Marked_mark(zeros)Marked_active(zeros)Marked_mark(cons(X1,X2))Marked_active(cons(mark(X1),X2))Marked_mark(cons(X1,X2))Marked_mark(X1)active(zeros)mark(cons(0,zeros))active(tail(cons(X,XS)))mark(XS)mark(zeros)active(zeros)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(tail(X))active(tail(mark(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)tail(mark(X))tail(X)tail(active(X))tail(X)Marked_active(zeros)Marked_mark(cons(0,zeros))Marked_mark(zeros)Marked_active(zeros)Marked_mark(cons(X1,X2))Marked_active(cons(mark(X1),X2))Marked_mark(cons(X1,X2))Marked_mark(X1)mark0Marked_mark20active000cons0Marked_active10tail0zeros20Marked_mark(cons(X1,X2))Marked_active(cons(mark(X1),X2))active(zeros)mark(cons(0,zeros))active(tail(cons(X,XS)))mark(XS)mark(zeros)active(zeros)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(tail(X))active(tail(mark(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)tail(mark(X))tail(X)tail(active(X))tail(X)Marked_active(zeros)Marked_mark(cons(0,zeros))Marked_mark(zeros)Marked_active(zeros)Marked_mark(cons(X1,X2))Marked_mark(X1)active(zeros)mark(cons(0,zeros))active(tail(cons(X,XS)))mark(XS)mark(zeros)active(zeros)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(tail(X))active(tail(mark(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)tail(mark(X))tail(X)tail(active(X))tail(X)Marked_active(zeros)Marked_mark(cons(0,zeros))Marked_mark(zeros)Marked_active(zeros)Marked_mark(cons(X1,X2))Marked_mark(X1)mark000000000100000100000000000Marked_mark000000000000000111000000000active0000000001000001000000000000000000000000000000cons000000000001000001100000100000000000Marked_active000000000000000000000000000tail000000000001000001000000000zeros001000000000000000Marked_mark(zeros)Marked_active(zeros)active(zeros)mark(cons(0,zeros))active(tail(cons(X,XS)))mark(XS)mark(zeros)active(zeros)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(tail(X))active(tail(mark(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)tail(mark(X))tail(X)tail(active(X))tail(X)Marked_active(zeros)Marked_mark(cons(0,zeros))Marked_mark(cons(X1,X2))Marked_mark(X1)active(zeros)mark(cons(0,zeros))active(tail(cons(X,XS)))mark(XS)mark(zeros)active(zeros)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(tail(X))active(tail(mark(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)tail(mark(X))tail(X)tail(active(X))tail(X)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark1Marked_mark(cons(X1,X2))Marked_mark(X1)active(zeros)mark(cons(0,zeros))active(tail(cons(X,XS)))mark(XS)mark(zeros)active(zeros)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(tail(X))active(tail(mark(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)tail(mark(X))tail(X)tail(active(X))tail(X)active(zeros)mark(cons(0,zeros))active(tail(cons(X,XS)))mark(XS)mark(zeros)active(zeros)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(tail(X))active(tail(mark(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)tail(mark(X))tail(X)tail(active(X))tail(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(zeros)mark(cons(0,zeros))active(tail(cons(X,XS)))mark(XS)mark(zeros)active(zeros)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(tail(X))active(tail(mark(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)tail(mark(X))tail(X)tail(active(X))tail(X)Marked_cons(active(X1),X2)Marked_cons(X1,X2)Marked_cons(mark(X1),X2)Marked_cons(X1,X2)active(zeros)mark(cons(0,zeros))active(tail(cons(X,XS)))mark(XS)mark(zeros)active(zeros)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(tail(X))active(tail(mark(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)tail(mark(X))tail(X)tail(active(X))tail(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(zeros)mark(cons(0,zeros))active(tail(cons(X,XS)))mark(XS)mark(zeros)active(zeros)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(tail(X))active(tail(mark(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)tail(mark(X))tail(X)tail(active(X))tail(X)active(zeros)mark(cons(0,zeros))active(tail(cons(X,XS)))mark(XS)mark(zeros)active(zeros)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(tail(X))active(tail(mark(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)tail(mark(X))tail(X)tail(active(X))tail(X)Marked_tail(mark(X))Marked_tail(X)Marked_tail(active(X))Marked_tail(X)Marked_tail1Marked_tail(active(X))Marked_tail(X)Marked_tail(mark(X))Marked_tail(X)active(zeros)mark(cons(0,zeros))active(tail(cons(X,XS)))mark(XS)mark(zeros)active(zeros)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(tail(X))active(tail(mark(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)tail(mark(X))tail(X)tail(active(X))tail(X)