Marked_zeroszerostail0Marked_activaten__zerosactivateMarked_tailconsXSXzeroscons(0,n__zeros)tail(cons(X,XS))activate(XS)zerosn__zerosactivate(n__zeros)zerosactivate(X)Xzeroscons(0,n__zeros)tail(cons(X,XS))activate(XS)zerosn__zerosactivate(n__zeros)zerosactivate(X)XMarked_tail(cons(X,XS))Marked_activate(XS)Marked_activate(n__zeros)Marked_zeros