Marked_zprimessieveMarked_activateactivateMarked_sievesnats0Marked_filtern__sievezprimesn__filterMarked_natsfiltern__natsconsX3X2X1NMYXfilter(cons(X,Y),0,M)cons(0,n__filter(activate(Y),M,M))filter(cons(X,Y),s(N),M)cons(X,n__filter(activate(Y),N,M))sieve(cons(0,Y))cons(0,n__sieve(activate(Y)))sieve(cons(s(N),Y))cons(s(N),n__sieve(filter(activate(Y),N,N)))nats(N)cons(N,n__nats(s(N)))zprimessieve(nats(s(s(0))))filter(X1,X2,X3)n__filter(X1,X2,X3)sieve(X)n__sieve(X)nats(X)n__nats(X)activate(n__filter(X1,X2,X3))filter(X1,X2,X3)activate(n__sieve(X))sieve(X)activate(n__nats(X))nats(X)activate(X)Xfilter(cons(X,Y),0,M)cons(0,n__filter(activate(Y),M,M))filter(cons(X,Y),s(N),M)cons(X,n__filter(activate(Y),N,M))sieve(cons(0,Y))cons(0,n__sieve(activate(Y)))sieve(cons(s(N),Y))cons(s(N),n__sieve(filter(activate(Y),N,N)))nats(N)cons(N,n__nats(s(N)))zprimessieve(nats(s(s(0))))filter(X1,X2,X3)n__filter(X1,X2,X3)sieve(X)n__sieve(X)nats(X)n__nats(X)activate(n__filter(X1,X2,X3))filter(X1,X2,X3)activate(n__sieve(X))sieve(X)activate(n__nats(X))nats(X)activate(X)XMarked_filter(cons(X,Y),0,M)Marked_activate(Y)Marked_filter(cons(X,Y),s(N),M)Marked_activate(Y)Marked_sieve(cons(0,Y))Marked_activate(Y)Marked_sieve(cons(s(N),Y))Marked_filter(activate(Y),N,N)Marked_sieve(cons(s(N),Y))Marked_activate(Y)Marked_zprimesMarked_sieve(nats(s(s(0))))Marked_zprimesMarked_nats(s(s(0)))Marked_activate(n__filter(X1,X2,X3))Marked_filter(X1,X2,X3)Marked_activate(n__sieve(X))Marked_sieve(X)Marked_activate(n__nats(X))Marked_nats(X)filter(cons(X,Y),0,M)cons(0,n__filter(activate(Y),M,M))filter(cons(X,Y),s(N),M)cons(X,n__filter(activate(Y),N,M))sieve(cons(0,Y))cons(0,n__sieve(activate(Y)))sieve(cons(s(N),Y))cons(s(N),n__sieve(filter(activate(Y),N,N)))nats(N)cons(N,n__nats(s(N)))zprimessieve(nats(s(s(0))))filter(X1,X2,X3)n__filter(X1,X2,X3)sieve(X)n__sieve(X)nats(X)n__nats(X)activate(n__filter(X1,X2,X3))filter(X1,X2,X3)activate(n__sieve(X))sieve(X)activate(n__nats(X))nats(X)activate(X)XMarked_filter(cons(X,Y),0,M)Marked_activate(Y)Marked_filter(cons(X,Y),s(N),M)Marked_activate(Y)Marked_sieve(cons(0,Y))Marked_activate(Y)Marked_sieve(cons(s(N),Y))Marked_filter(activate(Y),N,N)Marked_sieve(cons(s(N),Y))Marked_activate(Y)Marked_activate(n__filter(X1,X2,X3))Marked_filter(X1,X2,X3)Marked_activate(n__sieve(X))Marked_sieve(X)cons10n__nats0filter10n__filter10zprimes30n__sieve120Marked_filter2000nats0s0Marked_sieve20activate10Marked_activate20sieve120Marked_activate(n__sieve(X))Marked_sieve(X)filter(cons(X,Y),0,M)cons(0,n__filter(activate(Y),M,M))filter(cons(X,Y),s(N),M)cons(X,n__filter(activate(Y),N,M))sieve(cons(0,Y))cons(0,n__sieve(activate(Y)))sieve(cons(s(N),Y))cons(s(N),n__sieve(filter(activate(Y),N,N)))nats(N)cons(N,n__nats(s(N)))zprimessieve(nats(s(s(0))))filter(X1,X2,X3)n__filter(X1,X2,X3)sieve(X)n__sieve(X)nats(X)n__nats(X)activate(n__filter(X1,X2,X3))filter(X1,X2,X3)activate(n__sieve(X))sieve(X)activate(n__nats(X))nats(X)activate(X)XMarked_filter(cons(X,Y),0,M)Marked_activate(Y)Marked_filter(cons(X,Y),s(N),M)Marked_activate(Y)Marked_sieve(cons(0,Y))Marked_activate(Y)Marked_sieve(cons(s(N),Y))Marked_filter(activate(Y),N,N)Marked_sieve(cons(s(N),Y))Marked_activate(Y)Marked_activate(n__filter(X1,X2,X3))Marked_filter(X1,X2,X3)filter(cons(X,Y),0,M)cons(0,n__filter(activate(Y),M,M))filter(cons(X,Y),s(N),M)cons(X,n__filter(activate(Y),N,M))sieve(cons(0,Y))cons(0,n__sieve(activate(Y)))sieve(cons(s(N),Y))cons(s(N),n__sieve(filter(activate(Y),N,N)))nats(N)cons(N,n__nats(s(N)))zprimessieve(nats(s(s(0))))filter(X1,X2,X3)n__filter(X1,X2,X3)sieve(X)n__sieve(X)nats(X)n__nats(X)activate(n__filter(X1,X2,X3))filter(X1,X2,X3)activate(n__sieve(X))sieve(X)activate(n__nats(X))nats(X)activate(X)XMarked_filter(cons(X,Y),0,M)Marked_activate(Y)Marked_filter(cons(X,Y),s(N),M)Marked_activate(Y)Marked_activate(n__filter(X1,X2,X3))Marked_filter(X1,X2,X3)Marked_activate1Marked_filter1Marked_activate(n__filter(X1,X2,X3))Marked_filter(X1,X2,X3)Marked_filter(cons(X,Y),s(N),M)Marked_activate(Y)Marked_filter(cons(X,Y),0,M)Marked_activate(Y)filter(cons(X,Y),0,M)cons(0,n__filter(activate(Y),M,M))filter(cons(X,Y),s(N),M)cons(X,n__filter(activate(Y),N,M))sieve(cons(0,Y))cons(0,n__sieve(activate(Y)))sieve(cons(s(N),Y))cons(s(N),n__sieve(filter(activate(Y),N,N)))nats(N)cons(N,n__nats(s(N)))zprimessieve(nats(s(s(0))))filter(X1,X2,X3)n__filter(X1,X2,X3)sieve(X)n__sieve(X)nats(X)n__nats(X)activate(n__filter(X1,X2,X3))filter(X1,X2,X3)activate(n__sieve(X))sieve(X)activate(n__nats(X))nats(X)activate(X)X