Marked_pMarked_markfactiveMarked_consconspMarked_f0Marked_activesMarked_smarkXX2X1active(f(0))mark(cons(0,f(s(0))))active(f(s(0)))mark(f(p(s(0))))active(p(s(0)))mark(0)mark(f(X))active(f(mark(X)))mark(0)active(0)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(p(X))active(p(mark(X)))f(mark(X))f(X)f(active(X))f(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)s(mark(X))s(X)s(active(X))s(X)p(mark(X))p(X)p(active(X))p(X)active(f(0))mark(cons(0,f(s(0))))active(f(s(0)))mark(f(p(s(0))))active(p(s(0)))mark(0)mark(f(X))active(f(mark(X)))mark(0)active(0)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(p(X))active(p(mark(X)))f(mark(X))f(X)f(active(X))f(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)s(mark(X))s(X)s(active(X))s(X)p(mark(X))p(X)p(active(X))p(X)Marked_active(f(0))Marked_mark(cons(0,f(s(0))))Marked_active(f(0))Marked_cons(0,f(s(0)))Marked_active(f(0))Marked_f(s(0))Marked_active(f(0))Marked_s(0)Marked_active(f(s(0)))Marked_mark(f(p(s(0))))Marked_active(f(s(0)))Marked_f(p(s(0)))Marked_active(f(s(0)))Marked_p(s(0))Marked_active(p(s(0)))Marked_mark(0)Marked_mark(f(X))Marked_active(f(mark(X)))Marked_mark(f(X))Marked_f(mark(X))Marked_mark(f(X))Marked_mark(X)Marked_mark(0)Marked_active(0)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(s(X))Marked_active(s(mark(X)))Marked_mark(s(X))Marked_s(mark(X))Marked_mark(s(X))Marked_mark(X)Marked_mark(p(X))Marked_active(p(mark(X)))Marked_mark(p(X))Marked_p(mark(X))Marked_mark(p(X))Marked_mark(X)Marked_f(mark(X))Marked_f(X)Marked_f(active(X))Marked_f(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_s(mark(X))Marked_s(X)Marked_s(active(X))Marked_s(X)Marked_p(mark(X))Marked_p(X)Marked_p(active(X))Marked_p(X)active(f(0))mark(cons(0,f(s(0))))active(f(s(0)))mark(f(p(s(0))))active(p(s(0)))mark(0)mark(f(X))active(f(mark(X)))mark(0)active(0)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(p(X))active(p(mark(X)))f(mark(X))f(X)f(active(X))f(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)s(mark(X))s(X)s(active(X))s(X)p(mark(X))p(X)p(active(X))p(X)Marked_active(f(0))Marked_mark(cons(0,f(s(0))))Marked_active(f(s(0)))Marked_mark(f(p(s(0))))Marked_mark(f(X))Marked_active(f(mark(X)))Marked_mark(f(X))Marked_mark(X)Marked_mark(cons(X1,X2))Marked_active(cons(mark(X1),X2))Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_active(s(mark(X)))Marked_mark(s(X))Marked_mark(X)Marked_mark(p(X))Marked_active(p(mark(X)))Marked_mark(p(X))Marked_mark(X)mark0s0Marked_active1000p20cons20active0f20Marked_mark20Marked_mark(s(X))Marked_active(s(mark(X)))active(f(0))mark(cons(0,f(s(0))))active(f(s(0)))mark(f(p(s(0))))active(p(s(0)))mark(0)mark(f(X))active(f(mark(X)))mark(0)active(0)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(p(X))active(p(mark(X)))f(mark(X))f(X)f(active(X))f(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)s(mark(X))s(X)s(active(X))s(X)p(mark(X))p(X)p(active(X))p(X)Marked_active(f(0))Marked_mark(cons(0,f(s(0))))Marked_active(f(s(0)))Marked_mark(f(p(s(0))))Marked_mark(f(X))Marked_active(f(mark(X)))Marked_mark(f(X))Marked_mark(X)Marked_mark(cons(X1,X2))Marked_active(cons(mark(X1),X2))Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)Marked_mark(p(X))Marked_active(p(mark(X)))Marked_mark(p(X))Marked_mark(X)active(f(0))mark(cons(0,f(s(0))))active(f(s(0)))mark(f(p(s(0))))active(p(s(0)))mark(0)mark(f(X))active(f(mark(X)))mark(0)active(0)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(p(X))active(p(mark(X)))f(mark(X))f(X)f(active(X))f(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)s(mark(X))s(X)s(active(X))s(X)p(mark(X))p(X)p(active(X))p(X)Marked_active(f(0))Marked_mark(cons(0,f(s(0))))Marked_active(f(s(0)))Marked_mark(f(p(s(0))))Marked_mark(f(X))Marked_active(f(mark(X)))Marked_mark(f(X))Marked_mark(X)Marked_mark(cons(X1,X2))Marked_active(cons(mark(X1),X2))Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)Marked_mark(p(X))Marked_active(p(mark(X)))Marked_mark(p(X))Marked_mark(X)mark0s0Marked_active2000p0cons10active0f10Marked_mark20Marked_mark(p(X))Marked_active(p(mark(X)))active(f(0))mark(cons(0,f(s(0))))active(f(s(0)))mark(f(p(s(0))))active(p(s(0)))mark(0)mark(f(X))active(f(mark(X)))mark(0)active(0)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(p(X))active(p(mark(X)))f(mark(X))f(X)f(active(X))f(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)s(mark(X))s(X)s(active(X))s(X)p(mark(X))p(X)p(active(X))p(X)Marked_active(f(0))Marked_mark(cons(0,f(s(0))))Marked_active(f(s(0)))Marked_mark(f(p(s(0))))Marked_mark(f(X))Marked_active(f(mark(X)))Marked_mark(f(X))Marked_mark(X)Marked_mark(cons(X1,X2))Marked_active(cons(mark(X1),X2))Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)Marked_mark(p(X))Marked_mark(X)active(f(0))mark(cons(0,f(s(0))))active(f(s(0)))mark(f(p(s(0))))active(p(s(0)))mark(0)mark(f(X))active(f(mark(X)))mark(0)active(0)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(p(X))active(p(mark(X)))f(mark(X))f(X)f(active(X))f(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)s(mark(X))s(X)s(active(X))s(X)p(mark(X))p(X)p(active(X))p(X)Marked_active(f(0))Marked_mark(cons(0,f(s(0))))Marked_active(f(s(0)))Marked_mark(f(p(s(0))))Marked_mark(f(X))Marked_active(f(mark(X)))Marked_mark(f(X))Marked_mark(X)Marked_mark(cons(X1,X2))Marked_active(cons(mark(X1),X2))Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)Marked_mark(p(X))Marked_mark(X)mark0s0Marked_active1000p0cons0active0f10Marked_mark10Marked_mark(cons(X1,X2))Marked_active(cons(mark(X1),X2))active(f(0))mark(cons(0,f(s(0))))active(f(s(0)))mark(f(p(s(0))))active(p(s(0)))mark(0)mark(f(X))active(f(mark(X)))mark(0)active(0)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(p(X))active(p(mark(X)))f(mark(X))f(X)f(active(X))f(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)s(mark(X))s(X)s(active(X))s(X)p(mark(X))p(X)p(active(X))p(X)Marked_active(f(0))Marked_mark(cons(0,f(s(0))))Marked_active(f(s(0)))Marked_mark(f(p(s(0))))Marked_mark(f(X))Marked_active(f(mark(X)))Marked_mark(f(X))Marked_mark(X)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)Marked_mark(p(X))Marked_mark(X)active(f(0))mark(cons(0,f(s(0))))active(f(s(0)))mark(f(p(s(0))))active(p(s(0)))mark(0)mark(f(X))active(f(mark(X)))mark(0)active(0)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(p(X))active(p(mark(X)))f(mark(X))f(X)f(active(X))f(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)s(mark(X))s(X)s(active(X))s(X)p(mark(X))p(X)p(active(X))p(X)Marked_active(f(0))Marked_mark(cons(0,f(s(0))))Marked_active(f(s(0)))Marked_mark(f(p(s(0))))Marked_mark(f(X))Marked_active(f(mark(X)))Marked_mark(f(X))Marked_mark(X)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)Marked_mark(p(X))Marked_mark(X)mark10s20Marked_active2000p20cons10active10f120Marked_mark20Marked_active(f(0))Marked_mark(cons(0,f(s(0))))Marked_mark(f(X))Marked_mark(X)active(f(0))mark(cons(0,f(s(0))))active(f(s(0)))mark(f(p(s(0))))active(p(s(0)))mark(0)mark(f(X))active(f(mark(X)))mark(0)active(0)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(p(X))active(p(mark(X)))f(mark(X))f(X)f(active(X))f(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)s(mark(X))s(X)s(active(X))s(X)p(mark(X))p(X)p(active(X))p(X)Marked_active(f(s(0)))Marked_mark(f(p(s(0))))Marked_mark(f(X))Marked_active(f(mark(X)))Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)Marked_mark(p(X))Marked_mark(X)active(f(0))mark(cons(0,f(s(0))))active(f(s(0)))mark(f(p(s(0))))active(p(s(0)))mark(0)mark(f(X))active(f(mark(X)))mark(0)active(0)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(p(X))active(p(mark(X)))f(mark(X))f(X)f(active(X))f(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)s(mark(X))s(X)s(active(X))s(X)p(mark(X))p(X)p(active(X))p(X)Marked_active(f(s(0)))Marked_mark(f(p(s(0))))Marked_mark(f(X))Marked_active(f(mark(X)))Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)Marked_mark(p(X))Marked_mark(X)mark20s120Marked_active000p10cons20active10f0Marked_mark20Marked_mark(s(X))Marked_mark(X)active(f(0))mark(cons(0,f(s(0))))active(f(s(0)))mark(f(p(s(0))))active(p(s(0)))mark(0)mark(f(X))active(f(mark(X)))mark(0)active(0)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(p(X))active(p(mark(X)))f(mark(X))f(X)f(active(X))f(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)s(mark(X))s(X)s(active(X))s(X)p(mark(X))p(X)p(active(X))p(X)Marked_active(f(s(0)))Marked_mark(f(p(s(0))))Marked_mark(f(X))Marked_active(f(mark(X)))Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(p(X))Marked_mark(X)active(f(0))mark(cons(0,f(s(0))))active(f(s(0)))mark(f(p(s(0))))active(p(s(0)))mark(0)mark(f(X))active(f(mark(X)))mark(0)active(0)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(p(X))active(p(mark(X)))f(mark(X))f(X)f(active(X))f(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)s(mark(X))s(X)s(active(X))s(X)p(mark(X))p(X)p(active(X))p(X)Marked_active(f(s(0)))Marked_mark(f(p(s(0))))Marked_mark(f(X))Marked_active(f(mark(X)))Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(p(X))Marked_mark(X)mark20s0Marked_active000p110cons220active10f0Marked_mark10Marked_mark(p(X))Marked_mark(X)active(f(0))mark(cons(0,f(s(0))))active(f(s(0)))mark(f(p(s(0))))active(p(s(0)))mark(0)mark(f(X))active(f(mark(X)))mark(0)active(0)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(p(X))active(p(mark(X)))f(mark(X))f(X)f(active(X))f(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)s(mark(X))s(X)s(active(X))s(X)p(mark(X))p(X)p(active(X))p(X)Marked_active(f(s(0)))Marked_mark(f(p(s(0))))Marked_mark(f(X))Marked_active(f(mark(X)))Marked_mark(cons(X1,X2))Marked_mark(X1)active(f(0))mark(cons(0,f(s(0))))active(f(s(0)))mark(f(p(s(0))))active(p(s(0)))mark(0)mark(f(X))active(f(mark(X)))mark(0)active(0)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(p(X))active(p(mark(X)))f(mark(X))f(X)f(active(X))f(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)s(mark(X))s(X)s(active(X))s(X)p(mark(X))p(X)p(active(X))p(X)Marked_active(f(s(0)))Marked_mark(f(p(s(0))))Marked_mark(f(X))Marked_active(f(mark(X)))Marked_mark(cons(X1,X2))Marked_mark(X1)mark10s0Marked_active1000p0cons120active10f10Marked_mark10Marked_mark(cons(X1,X2))Marked_mark(X1)active(f(0))mark(cons(0,f(s(0))))active(f(s(0)))mark(f(p(s(0))))active(p(s(0)))mark(0)mark(f(X))active(f(mark(X)))mark(0)active(0)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(p(X))active(p(mark(X)))f(mark(X))f(X)f(active(X))f(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)s(mark(X))s(X)s(active(X))s(X)p(mark(X))p(X)p(active(X))p(X)Marked_active(f(s(0)))Marked_mark(f(p(s(0))))Marked_mark(f(X))Marked_active(f(mark(X)))active(f(0))mark(cons(0,f(s(0))))active(f(s(0)))mark(f(p(s(0))))active(p(s(0)))mark(0)mark(f(X))active(f(mark(X)))mark(0)active(0)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(p(X))active(p(mark(X)))f(mark(X))f(X)f(active(X))f(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)s(mark(X))s(X)s(active(X))s(X)p(mark(X))p(X)p(active(X))p(X)Marked_active(f(s(0)))Marked_mark(f(p(s(0))))Marked_mark(f(X))Marked_active(f(mark(X)))mark20s20Marked_active1000p0cons0active10f20Marked_mark20Marked_active(f(s(0)))Marked_mark(f(p(s(0))))active(f(0))mark(cons(0,f(s(0))))active(f(s(0)))mark(f(p(s(0))))active(p(s(0)))mark(0)mark(f(X))active(f(mark(X)))mark(0)active(0)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(p(X))active(p(mark(X)))f(mark(X))f(X)f(active(X))f(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)s(mark(X))s(X)s(active(X))s(X)p(mark(X))p(X)p(active(X))p(X)Marked_mark(f(X))Marked_active(f(mark(X)))active(f(0))mark(cons(0,f(s(0))))active(f(s(0)))mark(f(p(s(0))))active(p(s(0)))mark(0)mark(f(X))active(f(mark(X)))mark(0)active(0)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(p(X))active(p(mark(X)))f(mark(X))f(X)f(active(X))f(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)s(mark(X))s(X)s(active(X))s(X)p(mark(X))p(X)p(active(X))p(X)Marked_f(mark(X))Marked_f(X)Marked_f(active(X))Marked_f(X)mark230s0010Marked_f30p20cons0active230f0active(f(0))mark(cons(0,f(s(0))))active(f(s(0)))mark(f(p(s(0))))active(p(s(0)))mark(0)mark(f(X))active(f(mark(X)))mark(0)active(0)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(p(X))active(p(mark(X)))f(mark(X))f(X)f(active(X))f(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)s(mark(X))s(X)s(active(X))s(X)p(mark(X))p(X)p(active(X))p(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)mark230s0010p20cons0Marked_cons330active230f0active(f(0))mark(cons(0,f(s(0))))active(f(s(0)))mark(f(p(s(0))))active(p(s(0)))mark(0)mark(f(X))active(f(mark(X)))mark(0)active(0)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(p(X))active(p(mark(X)))f(mark(X))f(X)f(active(X))f(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)s(mark(X))s(X)s(active(X))s(X)p(mark(X))p(X)p(active(X))p(X)Marked_s(mark(X))Marked_s(X)Marked_s(active(X))Marked_s(X)mark230Marked_s30s0010p20cons0active230f0active(f(0))mark(cons(0,f(s(0))))active(f(s(0)))mark(f(p(s(0))))active(p(s(0)))mark(0)mark(f(X))active(f(mark(X)))mark(0)active(0)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(p(X))active(p(mark(X)))f(mark(X))f(X)f(active(X))f(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)s(mark(X))s(X)s(active(X))s(X)p(mark(X))p(X)p(active(X))p(X)Marked_p(mark(X))Marked_p(X)Marked_p(active(X))Marked_p(X)mark210s2000p20cons0active20f20Marked_p30Marked_p(mark(X))Marked_p(X)active(f(0))mark(cons(0,f(s(0))))active(f(s(0)))mark(f(p(s(0))))active(p(s(0)))mark(0)mark(f(X))active(f(mark(X)))mark(0)active(0)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(p(X))active(p(mark(X)))f(mark(X))f(X)f(active(X))f(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)s(mark(X))s(X)s(active(X))s(X)p(mark(X))p(X)p(active(X))p(X)Marked_p(active(X))Marked_p(X)active(f(0))mark(cons(0,f(s(0))))active(f(s(0)))mark(f(p(s(0))))active(p(s(0)))mark(0)mark(f(X))active(f(mark(X)))mark(0)active(0)mark(cons(X1,X2))active(cons(mark(X1),X2))mark(s(X))active(s(mark(X)))mark(p(X))active(p(mark(X)))f(mark(X))f(X)f(active(X))f(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)s(mark(X))s(X)s(active(X))s(X)p(mark(X))p(X)p(active(X))p(X)Marked_p(active(X))Marked_p(X)mark120s10020p220cons20active110f0Marked_p30