Marked_zprimessnatsMarked_nats0zprimesMarked_filterfiltersieveMarked_sieveconsNMXfilter(cons(X),0,M)cons(0)filter(cons(X),s(N),M)cons(X)sieve(cons(0))cons(0)sieve(cons(s(N)))cons(s(N))nats(N)cons(N)zprimessieve(nats(s(s(0))))filter(cons(X),0,M)cons(0)filter(cons(X),s(N),M)cons(X)sieve(cons(0))cons(0)sieve(cons(s(N)))cons(s(N))nats(N)cons(N)zprimessieve(nats(s(s(0))))Marked_zprimesMarked_sieve(nats(s(s(0))))Marked_zprimesMarked_nats(s(s(0)))