sMarked_sn__sMarked_pfMarked_activate0pMarked_0n__fMarked_fn__0activateconsXf(0)cons(0,n__f(n__s(n__0)))f(s(0))f(p(s(0)))p(s(0))0f(X)n__f(X)s(X)n__s(X)0n__0activate(n__f(X))f(activate(X))activate(n__s(X))s(activate(X))activate(n__0)0activate(X)Xf(0)cons(0,n__f(n__s(n__0)))f(s(0))f(p(s(0)))p(s(0))0f(X)n__f(X)s(X)n__s(X)0n__0activate(n__f(X))f(activate(X))activate(n__s(X))s(activate(X))activate(n__0)0activate(X)XMarked_f(s(0))Marked_f(p(s(0)))Marked_f(s(0))Marked_p(s(0))Marked_activate(n__f(X))Marked_f(activate(X))Marked_activate(n__f(X))Marked_activate(X)Marked_activate(n__s(X))Marked_s(activate(X))Marked_activate(n__s(X))Marked_activate(X)Marked_activate(n__0)Marked_0f(0)cons(0,n__f(n__s(n__0)))f(s(0))f(p(s(0)))p(s(0))0f(X)n__f(X)s(X)n__s(X)0n__0activate(n__f(X))f(activate(X))activate(n__s(X))s(activate(X))activate(n__0)0activate(X)XMarked_activate(n__f(X))Marked_activate(X)Marked_activate(n__s(X))Marked_activate(X)Marked_activate1Marked_activate(n__s(X))Marked_activate(X)Marked_activate(n__f(X))Marked_activate(X)f(0)cons(0,n__f(n__s(n__0)))f(s(0))f(p(s(0)))p(s(0))0f(X)n__f(X)s(X)n__s(X)0n__0activate(n__f(X))f(activate(X))activate(n__s(X))s(activate(X))activate(n__0)0activate(X)Xf(0)cons(0,n__f(n__s(n__0)))f(s(0))f(p(s(0)))p(s(0))0f(X)n__f(X)s(X)n__s(X)0n__0activate(n__f(X))f(activate(X))activate(n__s(X))s(activate(X))activate(n__0)0activate(X)XMarked_f(s(0))Marked_f(p(s(0)))cons0activate10n__010Marked_f20n__f0p10010f0n__s20s20