properMarked_properzerosMarked_constailMarked_topconsokMarked_active0Marked_tailactivetopmarkX2X1XSXactive(zeros)mark(cons(0,zeros))active(tail(cons(X,XS)))mark(XS)active(cons(X1,X2))cons(active(X1),X2)active(tail(X))tail(active(X))cons(mark(X1),X2)mark(cons(X1,X2))tail(mark(X))mark(tail(X))proper(zeros)ok(zeros)proper(cons(X1,X2))cons(proper(X1),proper(X2))proper(0)ok(0)proper(tail(X))tail(proper(X))cons(ok(X1),ok(X2))ok(cons(X1,X2))tail(ok(X))ok(tail(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))active(zeros)mark(cons(0,zeros))active(tail(cons(X,XS)))mark(XS)active(cons(X1,X2))cons(active(X1),X2)active(tail(X))tail(active(X))cons(mark(X1),X2)mark(cons(X1,X2))tail(mark(X))mark(tail(X))proper(zeros)ok(zeros)proper(cons(X1,X2))cons(proper(X1),proper(X2))proper(0)ok(0)proper(tail(X))tail(proper(X))cons(ok(X1),ok(X2))ok(cons(X1,X2))tail(ok(X))ok(tail(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_active(zeros)Marked_cons(0,zeros)Marked_active(cons(X1,X2))Marked_cons(active(X1),X2)Marked_active(cons(X1,X2))Marked_active(X1)Marked_active(tail(X))Marked_tail(active(X))Marked_active(tail(X))Marked_active(X)Marked_cons(mark(X1),X2)Marked_cons(X1,X2)Marked_tail(mark(X))Marked_tail(X)Marked_proper(cons(X1,X2))Marked_cons(proper(X1),proper(X2))Marked_proper(cons(X1,X2))Marked_proper(X1)Marked_proper(cons(X1,X2))Marked_proper(X2)Marked_proper(tail(X))Marked_tail(proper(X))Marked_proper(tail(X))Marked_proper(X)Marked_cons(ok(X1),ok(X2))Marked_cons(X1,X2)Marked_tail(ok(X))Marked_tail(X)Marked_top(mark(X))Marked_top(proper(X))Marked_top(mark(X))Marked_proper(X)Marked_top(ok(X))Marked_top(active(X))Marked_top(ok(X))Marked_active(X)active(zeros)mark(cons(0,zeros))active(tail(cons(X,XS)))mark(XS)active(cons(X1,X2))cons(active(X1),X2)active(tail(X))tail(active(X))cons(mark(X1),X2)mark(cons(X1,X2))tail(mark(X))mark(tail(X))proper(zeros)ok(zeros)proper(cons(X1,X2))cons(proper(X1),proper(X2))proper(0)ok(0)proper(tail(X))tail(proper(X))cons(ok(X1),ok(X2))ok(cons(X1,X2))tail(ok(X))ok(tail(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_top(mark(X))Marked_top(proper(X))Marked_top(ok(X))Marked_top(active(X))mark010000000100010110000000000top000000000000000000000000000active0000000001000101100000000000000000000000000000ok000000000100010001000000000cons000000000100010001010100100000000000Marked_top000000000000100100000000000tail010000000110110111000000000zeros001000000000000000proper000000000100010001000000000Marked_top(mark(X))Marked_top(proper(X))active(zeros)mark(cons(0,zeros))active(tail(cons(X,XS)))mark(XS)active(cons(X1,X2))cons(active(X1),X2)active(tail(X))tail(active(X))cons(mark(X1),X2)mark(cons(X1,X2))tail(mark(X))mark(tail(X))proper(zeros)ok(zeros)proper(cons(X1,X2))cons(proper(X1),proper(X2))proper(0)ok(0)proper(tail(X))tail(proper(X))cons(ok(X1),ok(X2))ok(cons(X1,X2))tail(ok(X))ok(tail(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_top(ok(X))Marked_top(active(X))active(zeros)mark(cons(0,zeros))active(tail(cons(X,XS)))mark(XS)active(cons(X1,X2))cons(active(X1),X2)active(tail(X))tail(active(X))cons(mark(X1),X2)mark(cons(X1,X2))tail(mark(X))mark(tail(X))proper(zeros)ok(zeros)proper(cons(X1,X2))cons(proper(X1),proper(X2))proper(0)ok(0)proper(tail(X))tail(proper(X))cons(ok(X1),ok(X2))ok(cons(X1,X2))tail(ok(X))ok(tail(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_top(ok(X))Marked_top(active(X))mark20top0active10020ok320cons220Marked_top20tail10zeros20proper230active(zeros)mark(cons(0,zeros))active(tail(cons(X,XS)))mark(XS)active(cons(X1,X2))cons(active(X1),X2)active(tail(X))tail(active(X))cons(mark(X1),X2)mark(cons(X1,X2))tail(mark(X))mark(tail(X))proper(zeros)ok(zeros)proper(cons(X1,X2))cons(proper(X1),proper(X2))proper(0)ok(0)proper(tail(X))tail(proper(X))cons(ok(X1),ok(X2))ok(cons(X1,X2))tail(ok(X))ok(tail(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_proper(cons(X1,X2))Marked_proper(X1)Marked_proper(cons(X1,X2))Marked_proper(X2)Marked_proper(tail(X))Marked_proper(X)Marked_proper1Marked_proper(tail(X))Marked_proper(X)Marked_proper(cons(X1,X2))Marked_proper(X2)Marked_proper(cons(X1,X2))Marked_proper(X1)active(zeros)mark(cons(0,zeros))active(tail(cons(X,XS)))mark(XS)active(cons(X1,X2))cons(active(X1),X2)active(tail(X))tail(active(X))cons(mark(X1),X2)mark(cons(X1,X2))tail(mark(X))mark(tail(X))proper(zeros)ok(zeros)proper(cons(X1,X2))cons(proper(X1),proper(X2))proper(0)ok(0)proper(tail(X))tail(proper(X))cons(ok(X1),ok(X2))ok(cons(X1,X2))tail(ok(X))ok(tail(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))active(zeros)mark(cons(0,zeros))active(tail(cons(X,XS)))mark(XS)active(cons(X1,X2))cons(active(X1),X2)active(tail(X))tail(active(X))cons(mark(X1),X2)mark(cons(X1,X2))tail(mark(X))mark(tail(X))proper(zeros)ok(zeros)proper(cons(X1,X2))cons(proper(X1),proper(X2))proper(0)ok(0)proper(tail(X))tail(proper(X))cons(ok(X1),ok(X2))ok(cons(X1,X2))tail(ok(X))ok(tail(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_active(cons(X1,X2))Marked_active(X1)Marked_active(tail(X))Marked_active(X)Marked_active1Marked_active(tail(X))Marked_active(X)Marked_active(cons(X1,X2))Marked_active(X1)active(zeros)mark(cons(0,zeros))active(tail(cons(X,XS)))mark(XS)active(cons(X1,X2))cons(active(X1),X2)active(tail(X))tail(active(X))cons(mark(X1),X2)mark(cons(X1,X2))tail(mark(X))mark(tail(X))proper(zeros)ok(zeros)proper(cons(X1,X2))cons(proper(X1),proper(X2))proper(0)ok(0)proper(tail(X))tail(proper(X))cons(ok(X1),ok(X2))ok(cons(X1,X2))tail(ok(X))ok(tail(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))active(zeros)mark(cons(0,zeros))active(tail(cons(X,XS)))mark(XS)active(cons(X1,X2))cons(active(X1),X2)active(tail(X))tail(active(X))cons(mark(X1),X2)mark(cons(X1,X2))tail(mark(X))mark(tail(X))proper(zeros)ok(zeros)proper(cons(X1,X2))cons(proper(X1),proper(X2))proper(0)ok(0)proper(tail(X))tail(proper(X))cons(ok(X1),ok(X2))ok(cons(X1,X2))tail(ok(X))ok(tail(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_cons(mark(X1),X2)Marked_cons(X1,X2)Marked_cons(ok(X1),ok(X2))Marked_cons(X1,X2)Marked_cons2Marked_cons(ok(X1),ok(X2))Marked_cons(X1,X2)active(zeros)mark(cons(0,zeros))active(tail(cons(X,XS)))mark(XS)active(cons(X1,X2))cons(active(X1),X2)active(tail(X))tail(active(X))cons(mark(X1),X2)mark(cons(X1,X2))tail(mark(X))mark(tail(X))proper(zeros)ok(zeros)proper(cons(X1,X2))cons(proper(X1),proper(X2))proper(0)ok(0)proper(tail(X))tail(proper(X))cons(ok(X1),ok(X2))ok(cons(X1,X2))tail(ok(X))ok(tail(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_cons(mark(X1),X2)Marked_cons(X1,X2)active(zeros)mark(cons(0,zeros))active(tail(cons(X,XS)))mark(XS)active(cons(X1,X2))cons(active(X1),X2)active(tail(X))tail(active(X))cons(mark(X1),X2)mark(cons(X1,X2))tail(mark(X))mark(tail(X))proper(zeros)ok(zeros)proper(cons(X1,X2))cons(proper(X1),proper(X2))proper(0)ok(0)proper(tail(X))tail(proper(X))cons(ok(X1),ok(X2))ok(cons(X1,X2))tail(ok(X))ok(tail(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_cons(mark(X1),X2)Marked_cons(X1,X2)Marked_cons1Marked_cons(mark(X1),X2)Marked_cons(X1,X2)active(zeros)mark(cons(0,zeros))active(tail(cons(X,XS)))mark(XS)active(cons(X1,X2))cons(active(X1),X2)active(tail(X))tail(active(X))cons(mark(X1),X2)mark(cons(X1,X2))tail(mark(X))mark(tail(X))proper(zeros)ok(zeros)proper(cons(X1,X2))cons(proper(X1),proper(X2))proper(0)ok(0)proper(tail(X))tail(proper(X))cons(ok(X1),ok(X2))ok(cons(X1,X2))tail(ok(X))ok(tail(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))active(zeros)mark(cons(0,zeros))active(tail(cons(X,XS)))mark(XS)active(cons(X1,X2))cons(active(X1),X2)active(tail(X))tail(active(X))cons(mark(X1),X2)mark(cons(X1,X2))tail(mark(X))mark(tail(X))proper(zeros)ok(zeros)proper(cons(X1,X2))cons(proper(X1),proper(X2))proper(0)ok(0)proper(tail(X))tail(proper(X))cons(ok(X1),ok(X2))ok(cons(X1,X2))tail(ok(X))ok(tail(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_tail(mark(X))Marked_tail(X)Marked_tail(ok(X))Marked_tail(X)Marked_tail1Marked_tail(ok(X))Marked_tail(X)Marked_tail(mark(X))Marked_tail(X)active(zeros)mark(cons(0,zeros))active(tail(cons(X,XS)))mark(XS)active(cons(X1,X2))cons(active(X1),X2)active(tail(X))tail(active(X))cons(mark(X1),X2)mark(cons(X1,X2))tail(mark(X))mark(tail(X))proper(zeros)ok(zeros)proper(cons(X1,X2))cons(proper(X1),proper(X2))proper(0)ok(0)proper(tail(X))tail(proper(X))cons(ok(X1),ok(X2))ok(cons(X1,X2))tail(ok(X))ok(tail(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))