pMarked_p0Marked_ffsconsf(0)cons(0)f(s(0))f(p(s(0)))p(s(0))0f(0)cons(0)f(s(0))f(p(s(0)))p(s(0))0Marked_f(s(0))Marked_f(p(s(0)))Marked_f(s(0))Marked_p(s(0))f(0)cons(0)f(s(0))f(p(s(0)))p(s(0))0Marked_f(s(0))Marked_f(p(s(0)))cons0s20f30Marked_f3000p0