psa__pMarked_a__f0markMarked_markfa__fMarked_a__pconsXX2X1a__f(0)cons(0,f(s(0)))a__f(s(0))a__f(a__p(s(0)))a__p(s(0))0mark(f(X))a__f(mark(X))mark(p(X))a__p(mark(X))mark(0)0mark(cons(X1,X2))cons(mark(X1),X2)mark(s(X))s(mark(X))a__f(X)f(X)a__p(X)p(X)a__f(0)cons(0,f(s(0)))a__f(s(0))a__f(a__p(s(0)))a__p(s(0))0mark(f(X))a__f(mark(X))mark(p(X))a__p(mark(X))mark(0)0mark(cons(X1,X2))cons(mark(X1),X2)mark(s(X))s(mark(X))a__f(X)f(X)a__p(X)p(X)Marked_a__f(s(0))Marked_a__f(a__p(s(0)))Marked_a__f(s(0))Marked_a__p(s(0))Marked_mark(f(X))Marked_a__f(mark(X))Marked_mark(f(X))Marked_mark(X)Marked_mark(p(X))Marked_a__p(mark(X))Marked_mark(p(X))Marked_mark(X)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)a__f(0)cons(0,f(s(0)))a__f(s(0))a__f(a__p(s(0)))a__p(s(0))0mark(f(X))a__f(mark(X))mark(p(X))a__p(mark(X))mark(0)0mark(cons(X1,X2))cons(mark(X1),X2)mark(s(X))s(mark(X))a__f(X)f(X)a__p(X)p(X)Marked_mark(f(X))Marked_mark(X)Marked_mark(p(X))Marked_mark(X)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)Marked_mark1Marked_mark(s(X))Marked_mark(X)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(p(X))Marked_mark(X)Marked_mark(f(X))Marked_mark(X)a__f(0)cons(0,f(s(0)))a__f(s(0))a__f(a__p(s(0)))a__p(s(0))0mark(f(X))a__f(mark(X))mark(p(X))a__p(mark(X))mark(0)0mark(cons(X1,X2))cons(mark(X1),X2)mark(s(X))s(mark(X))a__f(X)f(X)a__p(X)p(X)a__f(0)cons(0,f(s(0)))a__f(s(0))a__f(a__p(s(0)))a__p(s(0))0mark(f(X))a__f(mark(X))mark(p(X))a__p(mark(X))mark(0)0mark(cons(X1,X2))cons(mark(X1),X2)mark(s(X))s(mark(X))a__f(X)f(X)a__p(X)p(X)Marked_a__f(s(0))Marked_a__f(a__p(s(0)))cons20a__f20f20mark22000Marked_a__f30a__p0s20p0