Marked_activenatsMarked_sfilterMarked_filtersMarked_natsconsMarked_marksieveMarked_sieve0Marked_consactivezprimesmarkX3X2X1NMYXactive(filter(cons(X,Y),0,M))mark(cons(0,filter(Y,M,M)))active(filter(cons(X,Y),s(N),M))mark(cons(X,filter(Y,N,M)))active(sieve(cons(0,Y)))mark(cons(0,sieve(Y)))active(sieve(cons(s(N),Y)))mark(cons(s(N),sieve(filter(Y,N,N))))active(nats(N))mark(cons(N,nats(s(N))))active(zprimes)mark(sieve(nats(s(s(0)))))mark(filter(X1,X2,X3))active(filter(mark(X1),mark(X2),mark(X3)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(mark(X)))mark(sieve(X))active(sieve(mark(X)))mark(nats(X))active(nats(mark(X)))mark(zprimes)active(zprimes)filter(mark(X1),X2,X3)filter(X1,X2,X3)filter(X1,mark(X2),X3)filter(X1,X2,X3)filter(X1,X2,mark(X3))filter(X1,X2,X3)filter(active(X1),X2,X3)filter(X1,X2,X3)filter(X1,active(X2),X3)filter(X1,X2,X3)filter(X1,X2,active(X3))filter(X1,X2,X3)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)s(mark(X))s(X)s(active(X))s(X)sieve(mark(X))sieve(X)sieve(active(X))sieve(X)nats(mark(X))nats(X)nats(active(X))nats(X)active(filter(cons(X,Y),0,M))mark(cons(0,filter(Y,M,M)))active(filter(cons(X,Y),s(N),M))mark(cons(X,filter(Y,N,M)))active(sieve(cons(0,Y)))mark(cons(0,sieve(Y)))active(sieve(cons(s(N),Y)))mark(cons(s(N),sieve(filter(Y,N,N))))active(nats(N))mark(cons(N,nats(s(N))))active(zprimes)mark(sieve(nats(s(s(0)))))mark(filter(X1,X2,X3))active(filter(mark(X1),mark(X2),mark(X3)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(mark(X)))mark(sieve(X))active(sieve(mark(X)))mark(nats(X))active(nats(mark(X)))mark(zprimes)active(zprimes)filter(mark(X1),X2,X3)filter(X1,X2,X3)filter(X1,mark(X2),X3)filter(X1,X2,X3)filter(X1,X2,mark(X3))filter(X1,X2,X3)filter(active(X1),X2,X3)filter(X1,X2,X3)filter(X1,active(X2),X3)filter(X1,X2,X3)filter(X1,X2,active(X3))filter(X1,X2,X3)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)s(mark(X))s(X)s(active(X))s(X)sieve(mark(X))sieve(X)sieve(active(X))sieve(X)nats(mark(X))nats(X)nats(active(X))nats(X)Marked_active(filter(cons(X,Y),0,M))Marked_mark(cons(0,filter(Y,M,M)))Marked_active(filter(cons(X,Y),0,M))Marked_cons(0,filter(Y,M,M))Marked_active(filter(cons(X,Y),0,M))Marked_filter(Y,M,M)Marked_active(filter(cons(X,Y),s(N),M))Marked_mark(cons(X,filter(Y,N,M)))Marked_active(filter(cons(X,Y),s(N),M))Marked_cons(X,filter(Y,N,M))Marked_active(filter(cons(X,Y),s(N),M))Marked_filter(Y,N,M)Marked_active(sieve(cons(0,Y)))Marked_mark(cons(0,sieve(Y)))Marked_active(sieve(cons(0,Y)))Marked_cons(0,sieve(Y))Marked_active(sieve(cons(0,Y)))Marked_sieve(Y)Marked_active(sieve(cons(s(N),Y)))Marked_mark(cons(s(N),sieve(filter(Y,N,N))))Marked_active(sieve(cons(s(N),Y)))Marked_cons(s(N),sieve(filter(Y,N,N)))Marked_active(sieve(cons(s(N),Y)))Marked_sieve(filter(Y,N,N))Marked_active(sieve(cons(s(N),Y)))Marked_filter(Y,N,N)Marked_active(nats(N))Marked_mark(cons(N,nats(s(N))))Marked_active(nats(N))Marked_cons(N,nats(s(N)))Marked_active(nats(N))Marked_nats(s(N))Marked_active(nats(N))Marked_s(N)Marked_active(zprimes)Marked_mark(sieve(nats(s(s(0)))))Marked_active(zprimes)Marked_sieve(nats(s(s(0))))Marked_active(zprimes)Marked_nats(s(s(0)))Marked_active(zprimes)Marked_s(s(0))Marked_active(zprimes)Marked_s(0)Marked_mark(filter(X1,X2,X3))Marked_active(filter(mark(X1),mark(X2),mark(X3)))Marked_mark(filter(X1,X2,X3))Marked_filter(mark(X1),mark(X2),mark(X3))Marked_mark(filter(X1,X2,X3))Marked_mark(X1)Marked_mark(filter(X1,X2,X3))Marked_mark(X2)Marked_mark(filter(X1,X2,X3))Marked_mark(X3)Marked_mark(cons(X1,X2))Marked_active(cons(mark(X1),X2))Marked_mark(cons(X1,X2))Marked_cons(mark(X1),X2)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(0)Marked_active(0)Marked_mark(s(X))Marked_active(s(mark(X)))Marked_mark(s(X))Marked_s(mark(X))Marked_mark(s(X))Marked_mark(X)Marked_mark(sieve(X))Marked_active(sieve(mark(X)))Marked_mark(sieve(X))Marked_sieve(mark(X))Marked_mark(sieve(X))Marked_mark(X)Marked_mark(nats(X))Marked_active(nats(mark(X)))Marked_mark(nats(X))Marked_nats(mark(X))Marked_mark(nats(X))Marked_mark(X)Marked_mark(zprimes)Marked_active(zprimes)Marked_filter(mark(X1),X2,X3)Marked_filter(X1,X2,X3)Marked_filter(X1,mark(X2),X3)Marked_filter(X1,X2,X3)Marked_filter(X1,X2,mark(X3))Marked_filter(X1,X2,X3)Marked_filter(active(X1),X2,X3)Marked_filter(X1,X2,X3)Marked_filter(X1,active(X2),X3)Marked_filter(X1,X2,X3)Marked_filter(X1,X2,active(X3))Marked_filter(X1,X2,X3)Marked_cons(mark(X1),X2)Marked_cons(X1,X2)Marked_cons(X1,mark(X2))Marked_cons(X1,X2)Marked_cons(active(X1),X2)Marked_cons(X1,X2)Marked_cons(X1,active(X2))Marked_cons(X1,X2)Marked_s(mark(X))Marked_s(X)Marked_s(active(X))Marked_s(X)Marked_sieve(mark(X))Marked_sieve(X)Marked_sieve(active(X))Marked_sieve(X)Marked_nats(mark(X))Marked_nats(X)Marked_nats(active(X))Marked_nats(X)active(filter(cons(X,Y),0,M))mark(cons(0,filter(Y,M,M)))active(filter(cons(X,Y),s(N),M))mark(cons(X,filter(Y,N,M)))active(sieve(cons(0,Y)))mark(cons(0,sieve(Y)))active(sieve(cons(s(N),Y)))mark(cons(s(N),sieve(filter(Y,N,N))))active(nats(N))mark(cons(N,nats(s(N))))active(zprimes)mark(sieve(nats(s(s(0)))))mark(filter(X1,X2,X3))active(filter(mark(X1),mark(X2),mark(X3)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(mark(X)))mark(sieve(X))active(sieve(mark(X)))mark(nats(X))active(nats(mark(X)))mark(zprimes)active(zprimes)filter(mark(X1),X2,X3)filter(X1,X2,X3)filter(X1,mark(X2),X3)filter(X1,X2,X3)filter(X1,X2,mark(X3))filter(X1,X2,X3)filter(active(X1),X2,X3)filter(X1,X2,X3)filter(X1,active(X2),X3)filter(X1,X2,X3)filter(X1,X2,active(X3))filter(X1,X2,X3)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)s(mark(X))s(X)s(active(X))s(X)sieve(mark(X))sieve(X)sieve(active(X))sieve(X)nats(mark(X))nats(X)nats(active(X))nats(X)Marked_active(filter(cons(X,Y),0,M))Marked_mark(cons(0,filter(Y,M,M)))Marked_active(filter(cons(X,Y),s(N),M))Marked_mark(cons(X,filter(Y,N,M)))Marked_active(sieve(cons(0,Y)))Marked_mark(cons(0,sieve(Y)))Marked_active(sieve(cons(s(N),Y)))Marked_mark(cons(s(N),sieve(filter(Y,N,N))))Marked_active(nats(N))Marked_mark(cons(N,nats(s(N))))Marked_active(zprimes)Marked_mark(sieve(nats(s(s(0)))))Marked_mark(filter(X1,X2,X3))Marked_active(filter(mark(X1),mark(X2),mark(X3)))Marked_mark(filter(X1,X2,X3))Marked_mark(X1)Marked_mark(filter(X1,X2,X3))Marked_mark(X2)Marked_mark(filter(X1,X2,X3))Marked_mark(X3)Marked_mark(cons(X1,X2))Marked_active(cons(mark(X1),X2))Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_active(s(mark(X)))Marked_mark(s(X))Marked_mark(X)Marked_mark(sieve(X))Marked_active(sieve(mark(X)))Marked_mark(sieve(X))Marked_mark(X)Marked_mark(nats(X))Marked_active(nats(mark(X)))Marked_mark(nats(X))Marked_mark(X)Marked_mark(zprimes)Marked_active(zprimes)mark10zprimes10active1000sieve20Marked_mark20cons20s20filter2110nats20Marked_active20Marked_active(zprimes)Marked_mark(sieve(nats(s(s(0)))))active(filter(cons(X,Y),0,M))mark(cons(0,filter(Y,M,M)))active(filter(cons(X,Y),s(N),M))mark(cons(X,filter(Y,N,M)))active(sieve(cons(0,Y)))mark(cons(0,sieve(Y)))active(sieve(cons(s(N),Y)))mark(cons(s(N),sieve(filter(Y,N,N))))active(nats(N))mark(cons(N,nats(s(N))))active(zprimes)mark(sieve(nats(s(s(0)))))mark(filter(X1,X2,X3))active(filter(mark(X1),mark(X2),mark(X3)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(mark(X)))mark(sieve(X))active(sieve(mark(X)))mark(nats(X))active(nats(mark(X)))mark(zprimes)active(zprimes)filter(mark(X1),X2,X3)filter(X1,X2,X3)filter(X1,mark(X2),X3)filter(X1,X2,X3)filter(X1,X2,mark(X3))filter(X1,X2,X3)filter(active(X1),X2,X3)filter(X1,X2,X3)filter(X1,active(X2),X3)filter(X1,X2,X3)filter(X1,X2,active(X3))filter(X1,X2,X3)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)s(mark(X))s(X)s(active(X))s(X)sieve(mark(X))sieve(X)sieve(active(X))sieve(X)nats(mark(X))nats(X)nats(active(X))nats(X)Marked_active(filter(cons(X,Y),0,M))Marked_mark(cons(0,filter(Y,M,M)))Marked_active(filter(cons(X,Y),s(N),M))Marked_mark(cons(X,filter(Y,N,M)))Marked_active(sieve(cons(0,Y)))Marked_mark(cons(0,sieve(Y)))Marked_active(sieve(cons(s(N),Y)))Marked_mark(cons(s(N),sieve(filter(Y,N,N))))Marked_active(nats(N))Marked_mark(cons(N,nats(s(N))))Marked_mark(filter(X1,X2,X3))Marked_active(filter(mark(X1),mark(X2),mark(X3)))Marked_mark(filter(X1,X2,X3))Marked_mark(X1)Marked_mark(filter(X1,X2,X3))Marked_mark(X2)Marked_mark(filter(X1,X2,X3))Marked_mark(X3)Marked_mark(cons(X1,X2))Marked_active(cons(mark(X1),X2))Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_active(s(mark(X)))Marked_mark(s(X))Marked_mark(X)Marked_mark(sieve(X))Marked_active(sieve(mark(X)))Marked_mark(sieve(X))Marked_mark(X)Marked_mark(nats(X))Marked_active(nats(mark(X)))Marked_mark(nats(X))Marked_mark(X)Marked_mark(zprimes)Marked_active(zprimes)active(filter(cons(X,Y),0,M))mark(cons(0,filter(Y,M,M)))active(filter(cons(X,Y),s(N),M))mark(cons(X,filter(Y,N,M)))active(sieve(cons(0,Y)))mark(cons(0,sieve(Y)))active(sieve(cons(s(N),Y)))mark(cons(s(N),sieve(filter(Y,N,N))))active(nats(N))mark(cons(N,nats(s(N))))active(zprimes)mark(sieve(nats(s(s(0)))))mark(filter(X1,X2,X3))active(filter(mark(X1),mark(X2),mark(X3)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(mark(X)))mark(sieve(X))active(sieve(mark(X)))mark(nats(X))active(nats(mark(X)))mark(zprimes)active(zprimes)filter(mark(X1),X2,X3)filter(X1,X2,X3)filter(X1,mark(X2),X3)filter(X1,X2,X3)filter(X1,X2,mark(X3))filter(X1,X2,X3)filter(active(X1),X2,X3)filter(X1,X2,X3)filter(X1,active(X2),X3)filter(X1,X2,X3)filter(X1,X2,active(X3))filter(X1,X2,X3)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)s(mark(X))s(X)s(active(X))s(X)sieve(mark(X))sieve(X)sieve(active(X))sieve(X)nats(mark(X))nats(X)nats(active(X))nats(X)Marked_active(filter(cons(X,Y),0,M))Marked_mark(cons(0,filter(Y,M,M)))Marked_active(filter(cons(X,Y),s(N),M))Marked_mark(cons(X,filter(Y,N,M)))Marked_active(sieve(cons(0,Y)))Marked_mark(cons(0,sieve(Y)))Marked_active(sieve(cons(s(N),Y)))Marked_mark(cons(s(N),sieve(filter(Y,N,N))))Marked_active(nats(N))Marked_mark(cons(N,nats(s(N))))Marked_mark(filter(X1,X2,X3))Marked_active(filter(mark(X1),mark(X2),mark(X3)))Marked_mark(filter(X1,X2,X3))Marked_mark(X1)Marked_mark(filter(X1,X2,X3))Marked_mark(X2)Marked_mark(filter(X1,X2,X3))Marked_mark(X3)Marked_mark(cons(X1,X2))Marked_active(cons(mark(X1),X2))Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_active(s(mark(X)))Marked_mark(s(X))Marked_mark(X)Marked_mark(sieve(X))Marked_active(sieve(mark(X)))Marked_mark(sieve(X))Marked_mark(X)Marked_mark(nats(X))Marked_active(nats(mark(X)))Marked_mark(nats(X))Marked_mark(X)mark0zprimes0active000sieve10Marked_mark20cons0s0filter10nats10Marked_active20Marked_mark(cons(X1,X2))Marked_active(cons(mark(X1),X2))Marked_mark(s(X))Marked_active(s(mark(X)))active(filter(cons(X,Y),0,M))mark(cons(0,filter(Y,M,M)))active(filter(cons(X,Y),s(N),M))mark(cons(X,filter(Y,N,M)))active(sieve(cons(0,Y)))mark(cons(0,sieve(Y)))active(sieve(cons(s(N),Y)))mark(cons(s(N),sieve(filter(Y,N,N))))active(nats(N))mark(cons(N,nats(s(N))))active(zprimes)mark(sieve(nats(s(s(0)))))mark(filter(X1,X2,X3))active(filter(mark(X1),mark(X2),mark(X3)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(mark(X)))mark(sieve(X))active(sieve(mark(X)))mark(nats(X))active(nats(mark(X)))mark(zprimes)active(zprimes)filter(mark(X1),X2,X3)filter(X1,X2,X3)filter(X1,mark(X2),X3)filter(X1,X2,X3)filter(X1,X2,mark(X3))filter(X1,X2,X3)filter(active(X1),X2,X3)filter(X1,X2,X3)filter(X1,active(X2),X3)filter(X1,X2,X3)filter(X1,X2,active(X3))filter(X1,X2,X3)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)s(mark(X))s(X)s(active(X))s(X)sieve(mark(X))sieve(X)sieve(active(X))sieve(X)nats(mark(X))nats(X)nats(active(X))nats(X)Marked_active(filter(cons(X,Y),0,M))Marked_mark(cons(0,filter(Y,M,M)))Marked_active(filter(cons(X,Y),s(N),M))Marked_mark(cons(X,filter(Y,N,M)))Marked_active(sieve(cons(0,Y)))Marked_mark(cons(0,sieve(Y)))Marked_active(sieve(cons(s(N),Y)))Marked_mark(cons(s(N),sieve(filter(Y,N,N))))Marked_active(nats(N))Marked_mark(cons(N,nats(s(N))))Marked_mark(filter(X1,X2,X3))Marked_active(filter(mark(X1),mark(X2),mark(X3)))Marked_mark(filter(X1,X2,X3))Marked_mark(X1)Marked_mark(filter(X1,X2,X3))Marked_mark(X2)Marked_mark(filter(X1,X2,X3))Marked_mark(X3)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)Marked_mark(sieve(X))Marked_active(sieve(mark(X)))Marked_mark(sieve(X))Marked_mark(X)Marked_mark(nats(X))Marked_active(nats(mark(X)))Marked_mark(nats(X))Marked_mark(X)active(filter(cons(X,Y),0,M))mark(cons(0,filter(Y,M,M)))active(filter(cons(X,Y),s(N),M))mark(cons(X,filter(Y,N,M)))active(sieve(cons(0,Y)))mark(cons(0,sieve(Y)))active(sieve(cons(s(N),Y)))mark(cons(s(N),sieve(filter(Y,N,N))))active(nats(N))mark(cons(N,nats(s(N))))active(zprimes)mark(sieve(nats(s(s(0)))))mark(filter(X1,X2,X3))active(filter(mark(X1),mark(X2),mark(X3)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(mark(X)))mark(sieve(X))active(sieve(mark(X)))mark(nats(X))active(nats(mark(X)))mark(zprimes)active(zprimes)filter(mark(X1),X2,X3)filter(X1,X2,X3)filter(X1,mark(X2),X3)filter(X1,X2,X3)filter(X1,X2,mark(X3))filter(X1,X2,X3)filter(active(X1),X2,X3)filter(X1,X2,X3)filter(X1,active(X2),X3)filter(X1,X2,X3)filter(X1,X2,active(X3))filter(X1,X2,X3)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)s(mark(X))s(X)s(active(X))s(X)sieve(mark(X))sieve(X)sieve(active(X))sieve(X)nats(mark(X))nats(X)nats(active(X))nats(X)Marked_active(filter(cons(X,Y),0,M))Marked_mark(cons(0,filter(Y,M,M)))Marked_active(filter(cons(X,Y),s(N),M))Marked_mark(cons(X,filter(Y,N,M)))Marked_active(sieve(cons(0,Y)))Marked_mark(cons(0,sieve(Y)))Marked_active(sieve(cons(s(N),Y)))Marked_mark(cons(s(N),sieve(filter(Y,N,N))))Marked_active(nats(N))Marked_mark(cons(N,nats(s(N))))Marked_mark(filter(X1,X2,X3))Marked_active(filter(mark(X1),mark(X2),mark(X3)))Marked_mark(filter(X1,X2,X3))Marked_mark(X1)Marked_mark(filter(X1,X2,X3))Marked_mark(X2)Marked_mark(filter(X1,X2,X3))Marked_mark(X3)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)Marked_mark(sieve(X))Marked_active(sieve(mark(X)))Marked_mark(sieve(X))Marked_mark(X)Marked_mark(nats(X))Marked_active(nats(mark(X)))Marked_mark(nats(X))Marked_mark(X)mark10zprimes20active1000sieve20Marked_mark20cons20s10filter2220nats120Marked_active20Marked_active(nats(N))Marked_mark(cons(N,nats(s(N))))Marked_mark(nats(X))Marked_mark(X)active(filter(cons(X,Y),0,M))mark(cons(0,filter(Y,M,M)))active(filter(cons(X,Y),s(N),M))mark(cons(X,filter(Y,N,M)))active(sieve(cons(0,Y)))mark(cons(0,sieve(Y)))active(sieve(cons(s(N),Y)))mark(cons(s(N),sieve(filter(Y,N,N))))active(nats(N))mark(cons(N,nats(s(N))))active(zprimes)mark(sieve(nats(s(s(0)))))mark(filter(X1,X2,X3))active(filter(mark(X1),mark(X2),mark(X3)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(mark(X)))mark(sieve(X))active(sieve(mark(X)))mark(nats(X))active(nats(mark(X)))mark(zprimes)active(zprimes)filter(mark(X1),X2,X3)filter(X1,X2,X3)filter(X1,mark(X2),X3)filter(X1,X2,X3)filter(X1,X2,mark(X3))filter(X1,X2,X3)filter(active(X1),X2,X3)filter(X1,X2,X3)filter(X1,active(X2),X3)filter(X1,X2,X3)filter(X1,X2,active(X3))filter(X1,X2,X3)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)s(mark(X))s(X)s(active(X))s(X)sieve(mark(X))sieve(X)sieve(active(X))sieve(X)nats(mark(X))nats(X)nats(active(X))nats(X)Marked_active(filter(cons(X,Y),0,M))Marked_mark(cons(0,filter(Y,M,M)))Marked_active(filter(cons(X,Y),s(N),M))Marked_mark(cons(X,filter(Y,N,M)))Marked_active(sieve(cons(0,Y)))Marked_mark(cons(0,sieve(Y)))Marked_active(sieve(cons(s(N),Y)))Marked_mark(cons(s(N),sieve(filter(Y,N,N))))Marked_mark(filter(X1,X2,X3))Marked_active(filter(mark(X1),mark(X2),mark(X3)))Marked_mark(filter(X1,X2,X3))Marked_mark(X1)Marked_mark(filter(X1,X2,X3))Marked_mark(X2)Marked_mark(filter(X1,X2,X3))Marked_mark(X3)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)Marked_mark(sieve(X))Marked_active(sieve(mark(X)))Marked_mark(sieve(X))Marked_mark(X)Marked_mark(nats(X))Marked_active(nats(mark(X)))active(filter(cons(X,Y),0,M))mark(cons(0,filter(Y,M,M)))active(filter(cons(X,Y),s(N),M))mark(cons(X,filter(Y,N,M)))active(sieve(cons(0,Y)))mark(cons(0,sieve(Y)))active(sieve(cons(s(N),Y)))mark(cons(s(N),sieve(filter(Y,N,N))))active(nats(N))mark(cons(N,nats(s(N))))active(zprimes)mark(sieve(nats(s(s(0)))))mark(filter(X1,X2,X3))active(filter(mark(X1),mark(X2),mark(X3)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(mark(X)))mark(sieve(X))active(sieve(mark(X)))mark(nats(X))active(nats(mark(X)))mark(zprimes)active(zprimes)filter(mark(X1),X2,X3)filter(X1,X2,X3)filter(X1,mark(X2),X3)filter(X1,X2,X3)filter(X1,X2,mark(X3))filter(X1,X2,X3)filter(active(X1),X2,X3)filter(X1,X2,X3)filter(X1,active(X2),X3)filter(X1,X2,X3)filter(X1,X2,active(X3))filter(X1,X2,X3)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)s(mark(X))s(X)s(active(X))s(X)sieve(mark(X))sieve(X)sieve(active(X))sieve(X)nats(mark(X))nats(X)nats(active(X))nats(X)Marked_active(filter(cons(X,Y),0,M))Marked_mark(cons(0,filter(Y,M,M)))Marked_active(filter(cons(X,Y),s(N),M))Marked_mark(cons(X,filter(Y,N,M)))Marked_active(sieve(cons(0,Y)))Marked_mark(cons(0,sieve(Y)))Marked_active(sieve(cons(s(N),Y)))Marked_mark(cons(s(N),sieve(filter(Y,N,N))))Marked_mark(filter(X1,X2,X3))Marked_active(filter(mark(X1),mark(X2),mark(X3)))Marked_mark(filter(X1,X2,X3))Marked_mark(X1)Marked_mark(filter(X1,X2,X3))Marked_mark(X2)Marked_mark(filter(X1,X2,X3))Marked_mark(X3)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)Marked_mark(sieve(X))Marked_active(sieve(mark(X)))Marked_mark(sieve(X))Marked_mark(X)Marked_mark(nats(X))Marked_active(nats(mark(X)))mark10zprimes10active1000sieve120Marked_mark20cons20s20filter2110nats20Marked_active20Marked_active(sieve(cons(0,Y)))Marked_mark(cons(0,sieve(Y)))Marked_active(sieve(cons(s(N),Y)))Marked_mark(cons(s(N),sieve(filter(Y,N,N))))Marked_mark(sieve(X))Marked_mark(X)active(filter(cons(X,Y),0,M))mark(cons(0,filter(Y,M,M)))active(filter(cons(X,Y),s(N),M))mark(cons(X,filter(Y,N,M)))active(sieve(cons(0,Y)))mark(cons(0,sieve(Y)))active(sieve(cons(s(N),Y)))mark(cons(s(N),sieve(filter(Y,N,N))))active(nats(N))mark(cons(N,nats(s(N))))active(zprimes)mark(sieve(nats(s(s(0)))))mark(filter(X1,X2,X3))active(filter(mark(X1),mark(X2),mark(X3)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(mark(X)))mark(sieve(X))active(sieve(mark(X)))mark(nats(X))active(nats(mark(X)))mark(zprimes)active(zprimes)filter(mark(X1),X2,X3)filter(X1,X2,X3)filter(X1,mark(X2),X3)filter(X1,X2,X3)filter(X1,X2,mark(X3))filter(X1,X2,X3)filter(active(X1),X2,X3)filter(X1,X2,X3)filter(X1,active(X2),X3)filter(X1,X2,X3)filter(X1,X2,active(X3))filter(X1,X2,X3)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)s(mark(X))s(X)s(active(X))s(X)sieve(mark(X))sieve(X)sieve(active(X))sieve(X)nats(mark(X))nats(X)nats(active(X))nats(X)Marked_active(filter(cons(X,Y),0,M))Marked_mark(cons(0,filter(Y,M,M)))Marked_active(filter(cons(X,Y),s(N),M))Marked_mark(cons(X,filter(Y,N,M)))Marked_mark(filter(X1,X2,X3))Marked_active(filter(mark(X1),mark(X2),mark(X3)))Marked_mark(filter(X1,X2,X3))Marked_mark(X1)Marked_mark(filter(X1,X2,X3))Marked_mark(X2)Marked_mark(filter(X1,X2,X3))Marked_mark(X3)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)Marked_mark(sieve(X))Marked_active(sieve(mark(X)))Marked_mark(nats(X))Marked_active(nats(mark(X)))active(filter(cons(X,Y),0,M))mark(cons(0,filter(Y,M,M)))active(filter(cons(X,Y),s(N),M))mark(cons(X,filter(Y,N,M)))active(sieve(cons(0,Y)))mark(cons(0,sieve(Y)))active(sieve(cons(s(N),Y)))mark(cons(s(N),sieve(filter(Y,N,N))))active(nats(N))mark(cons(N,nats(s(N))))active(zprimes)mark(sieve(nats(s(s(0)))))mark(filter(X1,X2,X3))active(filter(mark(X1),mark(X2),mark(X3)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(mark(X)))mark(sieve(X))active(sieve(mark(X)))mark(nats(X))active(nats(mark(X)))mark(zprimes)active(zprimes)filter(mark(X1),X2,X3)filter(X1,X2,X3)filter(X1,mark(X2),X3)filter(X1,X2,X3)filter(X1,X2,mark(X3))filter(X1,X2,X3)filter(active(X1),X2,X3)filter(X1,X2,X3)filter(X1,active(X2),X3)filter(X1,X2,X3)filter(X1,X2,active(X3))filter(X1,X2,X3)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)s(mark(X))s(X)s(active(X))s(X)sieve(mark(X))sieve(X)sieve(active(X))sieve(X)nats(mark(X))nats(X)nats(active(X))nats(X)Marked_active(filter(cons(X,Y),0,M))Marked_mark(cons(0,filter(Y,M,M)))Marked_active(filter(cons(X,Y),s(N),M))Marked_mark(cons(X,filter(Y,N,M)))Marked_mark(filter(X1,X2,X3))Marked_active(filter(mark(X1),mark(X2),mark(X3)))Marked_mark(filter(X1,X2,X3))Marked_mark(X1)Marked_mark(filter(X1,X2,X3))Marked_mark(X2)Marked_mark(filter(X1,X2,X3))Marked_mark(X3)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)Marked_mark(sieve(X))Marked_active(sieve(mark(X)))Marked_mark(nats(X))Marked_active(nats(mark(X)))mark0zprimes0active000sieve0Marked_mark10cons0s0filter10nats0Marked_active10Marked_mark(sieve(X))Marked_active(sieve(mark(X)))Marked_mark(nats(X))Marked_active(nats(mark(X)))active(filter(cons(X,Y),0,M))mark(cons(0,filter(Y,M,M)))active(filter(cons(X,Y),s(N),M))mark(cons(X,filter(Y,N,M)))active(sieve(cons(0,Y)))mark(cons(0,sieve(Y)))active(sieve(cons(s(N),Y)))mark(cons(s(N),sieve(filter(Y,N,N))))active(nats(N))mark(cons(N,nats(s(N))))active(zprimes)mark(sieve(nats(s(s(0)))))mark(filter(X1,X2,X3))active(filter(mark(X1),mark(X2),mark(X3)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(mark(X)))mark(sieve(X))active(sieve(mark(X)))mark(nats(X))active(nats(mark(X)))mark(zprimes)active(zprimes)filter(mark(X1),X2,X3)filter(X1,X2,X3)filter(X1,mark(X2),X3)filter(X1,X2,X3)filter(X1,X2,mark(X3))filter(X1,X2,X3)filter(active(X1),X2,X3)filter(X1,X2,X3)filter(X1,active(X2),X3)filter(X1,X2,X3)filter(X1,X2,active(X3))filter(X1,X2,X3)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)s(mark(X))s(X)s(active(X))s(X)sieve(mark(X))sieve(X)sieve(active(X))sieve(X)nats(mark(X))nats(X)nats(active(X))nats(X)Marked_active(filter(cons(X,Y),0,M))Marked_mark(cons(0,filter(Y,M,M)))Marked_active(filter(cons(X,Y),s(N),M))Marked_mark(cons(X,filter(Y,N,M)))Marked_mark(filter(X1,X2,X3))Marked_active(filter(mark(X1),mark(X2),mark(X3)))Marked_mark(filter(X1,X2,X3))Marked_mark(X1)Marked_mark(filter(X1,X2,X3))Marked_mark(X2)Marked_mark(filter(X1,X2,X3))Marked_mark(X3)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)active(filter(cons(X,Y),0,M))mark(cons(0,filter(Y,M,M)))active(filter(cons(X,Y),s(N),M))mark(cons(X,filter(Y,N,M)))active(sieve(cons(0,Y)))mark(cons(0,sieve(Y)))active(sieve(cons(s(N),Y)))mark(cons(s(N),sieve(filter(Y,N,N))))active(nats(N))mark(cons(N,nats(s(N))))active(zprimes)mark(sieve(nats(s(s(0)))))mark(filter(X1,X2,X3))active(filter(mark(X1),mark(X2),mark(X3)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(mark(X)))mark(sieve(X))active(sieve(mark(X)))mark(nats(X))active(nats(mark(X)))mark(zprimes)active(zprimes)filter(mark(X1),X2,X3)filter(X1,X2,X3)filter(X1,mark(X2),X3)filter(X1,X2,X3)filter(X1,X2,mark(X3))filter(X1,X2,X3)filter(active(X1),X2,X3)filter(X1,X2,X3)filter(X1,active(X2),X3)filter(X1,X2,X3)filter(X1,X2,active(X3))filter(X1,X2,X3)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)s(mark(X))s(X)s(active(X))s(X)sieve(mark(X))sieve(X)sieve(active(X))sieve(X)nats(mark(X))nats(X)nats(active(X))nats(X)Marked_active(filter(cons(X,Y),0,M))Marked_mark(cons(0,filter(Y,M,M)))Marked_active(filter(cons(X,Y),s(N),M))Marked_mark(cons(X,filter(Y,N,M)))Marked_mark(filter(X1,X2,X3))Marked_active(filter(mark(X1),mark(X2),mark(X3)))Marked_mark(filter(X1,X2,X3))Marked_mark(X1)Marked_mark(filter(X1,X2,X3))Marked_mark(X2)Marked_mark(filter(X1,X2,X3))Marked_mark(X3)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)mark10zprimes20active10020sieve10Marked_mark320cons10s10filter2210nats10Marked_active320Marked_active(filter(cons(X,Y),0,M))Marked_mark(cons(0,filter(Y,M,M)))active(filter(cons(X,Y),0,M))mark(cons(0,filter(Y,M,M)))active(filter(cons(X,Y),s(N),M))mark(cons(X,filter(Y,N,M)))active(sieve(cons(0,Y)))mark(cons(0,sieve(Y)))active(sieve(cons(s(N),Y)))mark(cons(s(N),sieve(filter(Y,N,N))))active(nats(N))mark(cons(N,nats(s(N))))active(zprimes)mark(sieve(nats(s(s(0)))))mark(filter(X1,X2,X3))active(filter(mark(X1),mark(X2),mark(X3)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(mark(X)))mark(sieve(X))active(sieve(mark(X)))mark(nats(X))active(nats(mark(X)))mark(zprimes)active(zprimes)filter(mark(X1),X2,X3)filter(X1,X2,X3)filter(X1,mark(X2),X3)filter(X1,X2,X3)filter(X1,X2,mark(X3))filter(X1,X2,X3)filter(active(X1),X2,X3)filter(X1,X2,X3)filter(X1,active(X2),X3)filter(X1,X2,X3)filter(X1,X2,active(X3))filter(X1,X2,X3)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)s(mark(X))s(X)s(active(X))s(X)sieve(mark(X))sieve(X)sieve(active(X))sieve(X)nats(mark(X))nats(X)nats(active(X))nats(X)Marked_active(filter(cons(X,Y),s(N),M))Marked_mark(cons(X,filter(Y,N,M)))Marked_mark(filter(X1,X2,X3))Marked_active(filter(mark(X1),mark(X2),mark(X3)))Marked_mark(filter(X1,X2,X3))Marked_mark(X1)Marked_mark(filter(X1,X2,X3))Marked_mark(X2)Marked_mark(filter(X1,X2,X3))Marked_mark(X3)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)active(filter(cons(X,Y),0,M))mark(cons(0,filter(Y,M,M)))active(filter(cons(X,Y),s(N),M))mark(cons(X,filter(Y,N,M)))active(sieve(cons(0,Y)))mark(cons(0,sieve(Y)))active(sieve(cons(s(N),Y)))mark(cons(s(N),sieve(filter(Y,N,N))))active(nats(N))mark(cons(N,nats(s(N))))active(zprimes)mark(sieve(nats(s(s(0)))))mark(filter(X1,X2,X3))active(filter(mark(X1),mark(X2),mark(X3)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(mark(X)))mark(sieve(X))active(sieve(mark(X)))mark(nats(X))active(nats(mark(X)))mark(zprimes)active(zprimes)filter(mark(X1),X2,X3)filter(X1,X2,X3)filter(X1,mark(X2),X3)filter(X1,X2,X3)filter(X1,X2,mark(X3))filter(X1,X2,X3)filter(active(X1),X2,X3)filter(X1,X2,X3)filter(X1,active(X2),X3)filter(X1,X2,X3)filter(X1,X2,active(X3))filter(X1,X2,X3)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)s(mark(X))s(X)s(active(X))s(X)sieve(mark(X))sieve(X)sieve(active(X))sieve(X)nats(mark(X))nats(X)nats(active(X))nats(X)Marked_active(filter(cons(X,Y),s(N),M))Marked_mark(cons(X,filter(Y,N,M)))Marked_mark(filter(X1,X2,X3))Marked_active(filter(mark(X1),mark(X2),mark(X3)))Marked_mark(filter(X1,X2,X3))Marked_mark(X1)Marked_mark(filter(X1,X2,X3))Marked_mark(X2)Marked_mark(filter(X1,X2,X3))Marked_mark(X3)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)mark10zprimes20active1000sieve10Marked_mark20cons210s10filter2220nats210Marked_active20Marked_active(filter(cons(X,Y),s(N),M))Marked_mark(cons(X,filter(Y,N,M)))Marked_mark(cons(X1,X2))Marked_mark(X1)active(filter(cons(X,Y),0,M))mark(cons(0,filter(Y,M,M)))active(filter(cons(X,Y),s(N),M))mark(cons(X,filter(Y,N,M)))active(sieve(cons(0,Y)))mark(cons(0,sieve(Y)))active(sieve(cons(s(N),Y)))mark(cons(s(N),sieve(filter(Y,N,N))))active(nats(N))mark(cons(N,nats(s(N))))active(zprimes)mark(sieve(nats(s(s(0)))))mark(filter(X1,X2,X3))active(filter(mark(X1),mark(X2),mark(X3)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(mark(X)))mark(sieve(X))active(sieve(mark(X)))mark(nats(X))active(nats(mark(X)))mark(zprimes)active(zprimes)filter(mark(X1),X2,X3)filter(X1,X2,X3)filter(X1,mark(X2),X3)filter(X1,X2,X3)filter(X1,X2,mark(X3))filter(X1,X2,X3)filter(active(X1),X2,X3)filter(X1,X2,X3)filter(X1,active(X2),X3)filter(X1,X2,X3)filter(X1,X2,active(X3))filter(X1,X2,X3)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)s(mark(X))s(X)s(active(X))s(X)sieve(mark(X))sieve(X)sieve(active(X))sieve(X)nats(mark(X))nats(X)nats(active(X))nats(X)Marked_mark(filter(X1,X2,X3))Marked_active(filter(mark(X1),mark(X2),mark(X3)))Marked_mark(filter(X1,X2,X3))Marked_mark(X1)Marked_mark(filter(X1,X2,X3))Marked_mark(X2)Marked_mark(filter(X1,X2,X3))Marked_mark(X3)Marked_mark(s(X))Marked_mark(X)active(filter(cons(X,Y),0,M))mark(cons(0,filter(Y,M,M)))active(filter(cons(X,Y),s(N),M))mark(cons(X,filter(Y,N,M)))active(sieve(cons(0,Y)))mark(cons(0,sieve(Y)))active(sieve(cons(s(N),Y)))mark(cons(s(N),sieve(filter(Y,N,N))))active(nats(N))mark(cons(N,nats(s(N))))active(zprimes)mark(sieve(nats(s(s(0)))))mark(filter(X1,X2,X3))active(filter(mark(X1),mark(X2),mark(X3)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(mark(X)))mark(sieve(X))active(sieve(mark(X)))mark(nats(X))active(nats(mark(X)))mark(zprimes)active(zprimes)filter(mark(X1),X2,X3)filter(X1,X2,X3)filter(X1,mark(X2),X3)filter(X1,X2,X3)filter(X1,X2,mark(X3))filter(X1,X2,X3)filter(active(X1),X2,X3)filter(X1,X2,X3)filter(X1,active(X2),X3)filter(X1,X2,X3)filter(X1,X2,active(X3))filter(X1,X2,X3)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)s(mark(X))s(X)s(active(X))s(X)sieve(mark(X))sieve(X)sieve(active(X))sieve(X)nats(mark(X))nats(X)nats(active(X))nats(X)Marked_mark(filter(X1,X2,X3))Marked_mark(X1)Marked_mark(filter(X1,X2,X3))Marked_mark(X2)Marked_mark(filter(X1,X2,X3))Marked_mark(X3)Marked_mark(s(X))Marked_mark(X)Marked_mark1Marked_mark(s(X))Marked_mark(X)Marked_mark(filter(X1,X2,X3))Marked_mark(X3)Marked_mark(filter(X1,X2,X3))Marked_mark(X2)Marked_mark(filter(X1,X2,X3))Marked_mark(X1)active(filter(cons(X,Y),0,M))mark(cons(0,filter(Y,M,M)))active(filter(cons(X,Y),s(N),M))mark(cons(X,filter(Y,N,M)))active(sieve(cons(0,Y)))mark(cons(0,sieve(Y)))active(sieve(cons(s(N),Y)))mark(cons(s(N),sieve(filter(Y,N,N))))active(nats(N))mark(cons(N,nats(s(N))))active(zprimes)mark(sieve(nats(s(s(0)))))mark(filter(X1,X2,X3))active(filter(mark(X1),mark(X2),mark(X3)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(mark(X)))mark(sieve(X))active(sieve(mark(X)))mark(nats(X))active(nats(mark(X)))mark(zprimes)active(zprimes)filter(mark(X1),X2,X3)filter(X1,X2,X3)filter(X1,mark(X2),X3)filter(X1,X2,X3)filter(X1,X2,mark(X3))filter(X1,X2,X3)filter(active(X1),X2,X3)filter(X1,X2,X3)filter(X1,active(X2),X3)filter(X1,X2,X3)filter(X1,X2,active(X3))filter(X1,X2,X3)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)s(mark(X))s(X)s(active(X))s(X)sieve(mark(X))sieve(X)sieve(active(X))sieve(X)nats(mark(X))nats(X)nats(active(X))nats(X)active(filter(cons(X,Y),0,M))mark(cons(0,filter(Y,M,M)))active(filter(cons(X,Y),s(N),M))mark(cons(X,filter(Y,N,M)))active(sieve(cons(0,Y)))mark(cons(0,sieve(Y)))active(sieve(cons(s(N),Y)))mark(cons(s(N),sieve(filter(Y,N,N))))active(nats(N))mark(cons(N,nats(s(N))))active(zprimes)mark(sieve(nats(s(s(0)))))mark(filter(X1,X2,X3))active(filter(mark(X1),mark(X2),mark(X3)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(mark(X)))mark(sieve(X))active(sieve(mark(X)))mark(nats(X))active(nats(mark(X)))mark(zprimes)active(zprimes)filter(mark(X1),X2,X3)filter(X1,X2,X3)filter(X1,mark(X2),X3)filter(X1,X2,X3)filter(X1,X2,mark(X3))filter(X1,X2,X3)filter(active(X1),X2,X3)filter(X1,X2,X3)filter(X1,active(X2),X3)filter(X1,X2,X3)filter(X1,X2,active(X3))filter(X1,X2,X3)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)s(mark(X))s(X)s(active(X))s(X)sieve(mark(X))sieve(X)sieve(active(X))sieve(X)nats(mark(X))nats(X)nats(active(X))nats(X)Marked_filter(mark(X1),X2,X3)Marked_filter(X1,X2,X3)Marked_filter(X1,mark(X2),X3)Marked_filter(X1,X2,X3)Marked_filter(X1,X2,mark(X3))Marked_filter(X1,X2,X3)Marked_filter(active(X1),X2,X3)Marked_filter(X1,X2,X3)Marked_filter(X1,active(X2),X3)Marked_filter(X1,X2,X3)Marked_filter(X1,X2,active(X3))Marked_filter(X1,X2,X3)Marked_filter3Marked_filter(X1,X2,active(X3))Marked_filter(X1,X2,X3)Marked_filter(X1,X2,mark(X3))Marked_filter(X1,X2,X3)active(filter(cons(X,Y),0,M))mark(cons(0,filter(Y,M,M)))active(filter(cons(X,Y),s(N),M))mark(cons(X,filter(Y,N,M)))active(sieve(cons(0,Y)))mark(cons(0,sieve(Y)))active(sieve(cons(s(N),Y)))mark(cons(s(N),sieve(filter(Y,N,N))))active(nats(N))mark(cons(N,nats(s(N))))active(zprimes)mark(sieve(nats(s(s(0)))))mark(filter(X1,X2,X3))active(filter(mark(X1),mark(X2),mark(X3)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(mark(X)))mark(sieve(X))active(sieve(mark(X)))mark(nats(X))active(nats(mark(X)))mark(zprimes)active(zprimes)filter(mark(X1),X2,X3)filter(X1,X2,X3)filter(X1,mark(X2),X3)filter(X1,X2,X3)filter(X1,X2,mark(X3))filter(X1,X2,X3)filter(active(X1),X2,X3)filter(X1,X2,X3)filter(X1,active(X2),X3)filter(X1,X2,X3)filter(X1,X2,active(X3))filter(X1,X2,X3)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)s(mark(X))s(X)s(active(X))s(X)sieve(mark(X))sieve(X)sieve(active(X))sieve(X)nats(mark(X))nats(X)nats(active(X))nats(X)Marked_filter(X1,active(X2),X3)Marked_filter(X1,X2,X3)Marked_filter(active(X1),X2,X3)Marked_filter(X1,X2,X3)Marked_filter(X1,mark(X2),X3)Marked_filter(X1,X2,X3)Marked_filter(mark(X1),X2,X3)Marked_filter(X1,X2,X3)active(filter(cons(X,Y),0,M))mark(cons(0,filter(Y,M,M)))active(filter(cons(X,Y),s(N),M))mark(cons(X,filter(Y,N,M)))active(sieve(cons(0,Y)))mark(cons(0,sieve(Y)))active(sieve(cons(s(N),Y)))mark(cons(s(N),sieve(filter(Y,N,N))))active(nats(N))mark(cons(N,nats(s(N))))active(zprimes)mark(sieve(nats(s(s(0)))))mark(filter(X1,X2,X3))active(filter(mark(X1),mark(X2),mark(X3)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(mark(X)))mark(sieve(X))active(sieve(mark(X)))mark(nats(X))active(nats(mark(X)))mark(zprimes)active(zprimes)filter(mark(X1),X2,X3)filter(X1,X2,X3)filter(X1,mark(X2),X3)filter(X1,X2,X3)filter(X1,X2,mark(X3))filter(X1,X2,X3)filter(active(X1),X2,X3)filter(X1,X2,X3)filter(X1,active(X2),X3)filter(X1,X2,X3)filter(X1,X2,active(X3))filter(X1,X2,X3)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)s(mark(X))s(X)s(active(X))s(X)sieve(mark(X))sieve(X)sieve(active(X))sieve(X)nats(mark(X))nats(X)nats(active(X))nats(X)Marked_filter(X1,active(X2),X3)Marked_filter(X1,X2,X3)Marked_filter(active(X1),X2,X3)Marked_filter(X1,X2,X3)Marked_filter(X1,mark(X2),X3)Marked_filter(X1,X2,X3)Marked_filter(mark(X1),X2,X3)Marked_filter(X1,X2,X3)Marked_filter2Marked_filter(X1,mark(X2),X3)Marked_filter(X1,X2,X3)Marked_filter(X1,active(X2),X3)Marked_filter(X1,X2,X3)active(filter(cons(X,Y),0,M))mark(cons(0,filter(Y,M,M)))active(filter(cons(X,Y),s(N),M))mark(cons(X,filter(Y,N,M)))active(sieve(cons(0,Y)))mark(cons(0,sieve(Y)))active(sieve(cons(s(N),Y)))mark(cons(s(N),sieve(filter(Y,N,N))))active(nats(N))mark(cons(N,nats(s(N))))active(zprimes)mark(sieve(nats(s(s(0)))))mark(filter(X1,X2,X3))active(filter(mark(X1),mark(X2),mark(X3)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(mark(X)))mark(sieve(X))active(sieve(mark(X)))mark(nats(X))active(nats(mark(X)))mark(zprimes)active(zprimes)filter(mark(X1),X2,X3)filter(X1,X2,X3)filter(X1,mark(X2),X3)filter(X1,X2,X3)filter(X1,X2,mark(X3))filter(X1,X2,X3)filter(active(X1),X2,X3)filter(X1,X2,X3)filter(X1,active(X2),X3)filter(X1,X2,X3)filter(X1,X2,active(X3))filter(X1,X2,X3)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)s(mark(X))s(X)s(active(X))s(X)sieve(mark(X))sieve(X)sieve(active(X))sieve(X)nats(mark(X))nats(X)nats(active(X))nats(X)Marked_filter(mark(X1),X2,X3)Marked_filter(X1,X2,X3)Marked_filter(active(X1),X2,X3)Marked_filter(X1,X2,X3)active(filter(cons(X,Y),0,M))mark(cons(0,filter(Y,M,M)))active(filter(cons(X,Y),s(N),M))mark(cons(X,filter(Y,N,M)))active(sieve(cons(0,Y)))mark(cons(0,sieve(Y)))active(sieve(cons(s(N),Y)))mark(cons(s(N),sieve(filter(Y,N,N))))active(nats(N))mark(cons(N,nats(s(N))))active(zprimes)mark(sieve(nats(s(s(0)))))mark(filter(X1,X2,X3))active(filter(mark(X1),mark(X2),mark(X3)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(mark(X)))mark(sieve(X))active(sieve(mark(X)))mark(nats(X))active(nats(mark(X)))mark(zprimes)active(zprimes)filter(mark(X1),X2,X3)filter(X1,X2,X3)filter(X1,mark(X2),X3)filter(X1,X2,X3)filter(X1,X2,mark(X3))filter(X1,X2,X3)filter(active(X1),X2,X3)filter(X1,X2,X3)filter(X1,active(X2),X3)filter(X1,X2,X3)filter(X1,X2,active(X3))filter(X1,X2,X3)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)s(mark(X))s(X)s(active(X))s(X)sieve(mark(X))sieve(X)sieve(active(X))sieve(X)nats(mark(X))nats(X)nats(active(X))nats(X)Marked_filter(mark(X1),X2,X3)Marked_filter(X1,X2,X3)Marked_filter(active(X1),X2,X3)Marked_filter(X1,X2,X3)Marked_filter1Marked_filter(active(X1),X2,X3)Marked_filter(X1,X2,X3)Marked_filter(mark(X1),X2,X3)Marked_filter(X1,X2,X3)active(filter(cons(X,Y),0,M))mark(cons(0,filter(Y,M,M)))active(filter(cons(X,Y),s(N),M))mark(cons(X,filter(Y,N,M)))active(sieve(cons(0,Y)))mark(cons(0,sieve(Y)))active(sieve(cons(s(N),Y)))mark(cons(s(N),sieve(filter(Y,N,N))))active(nats(N))mark(cons(N,nats(s(N))))active(zprimes)mark(sieve(nats(s(s(0)))))mark(filter(X1,X2,X3))active(filter(mark(X1),mark(X2),mark(X3)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(mark(X)))mark(sieve(X))active(sieve(mark(X)))mark(nats(X))active(nats(mark(X)))mark(zprimes)active(zprimes)filter(mark(X1),X2,X3)filter(X1,X2,X3)filter(X1,mark(X2),X3)filter(X1,X2,X3)filter(X1,X2,mark(X3))filter(X1,X2,X3)filter(active(X1),X2,X3)filter(X1,X2,X3)filter(X1,active(X2),X3)filter(X1,X2,X3)filter(X1,X2,active(X3))filter(X1,X2,X3)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)s(mark(X))s(X)s(active(X))s(X)sieve(mark(X))sieve(X)sieve(active(X))sieve(X)nats(mark(X))nats(X)nats(active(X))nats(X)active(filter(cons(X,Y),0,M))mark(cons(0,filter(Y,M,M)))active(filter(cons(X,Y),s(N),M))mark(cons(X,filter(Y,N,M)))active(sieve(cons(0,Y)))mark(cons(0,sieve(Y)))active(sieve(cons(s(N),Y)))mark(cons(s(N),sieve(filter(Y,N,N))))active(nats(N))mark(cons(N,nats(s(N))))active(zprimes)mark(sieve(nats(s(s(0)))))mark(filter(X1,X2,X3))active(filter(mark(X1),mark(X2),mark(X3)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(mark(X)))mark(sieve(X))active(sieve(mark(X)))mark(nats(X))active(nats(mark(X)))mark(zprimes)active(zprimes)filter(mark(X1),X2,X3)filter(X1,X2,X3)filter(X1,mark(X2),X3)filter(X1,X2,X3)filter(X1,X2,mark(X3))filter(X1,X2,X3)filter(active(X1),X2,X3)filter(X1,X2,X3)filter(X1,active(X2),X3)filter(X1,X2,X3)filter(X1,X2,active(X3))filter(X1,X2,X3)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)s(mark(X))s(X)s(active(X))s(X)sieve(mark(X))sieve(X)sieve(active(X))sieve(X)nats(mark(X))nats(X)nats(active(X))nats(X)Marked_cons(mark(X1),X2)Marked_cons(X1,X2)Marked_cons(X1,mark(X2))Marked_cons(X1,X2)Marked_cons(active(X1),X2)Marked_cons(X1,X2)Marked_cons(X1,active(X2))Marked_cons(X1,X2)Marked_cons2Marked_cons(X1,active(X2))Marked_cons(X1,X2)Marked_cons(X1,mark(X2))Marked_cons(X1,X2)active(filter(cons(X,Y),0,M))mark(cons(0,filter(Y,M,M)))active(filter(cons(X,Y),s(N),M))mark(cons(X,filter(Y,N,M)))active(sieve(cons(0,Y)))mark(cons(0,sieve(Y)))active(sieve(cons(s(N),Y)))mark(cons(s(N),sieve(filter(Y,N,N))))active(nats(N))mark(cons(N,nats(s(N))))active(zprimes)mark(sieve(nats(s(s(0)))))mark(filter(X1,X2,X3))active(filter(mark(X1),mark(X2),mark(X3)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(mark(X)))mark(sieve(X))active(sieve(mark(X)))mark(nats(X))active(nats(mark(X)))mark(zprimes)active(zprimes)filter(mark(X1),X2,X3)filter(X1,X2,X3)filter(X1,mark(X2),X3)filter(X1,X2,X3)filter(X1,X2,mark(X3))filter(X1,X2,X3)filter(active(X1),X2,X3)filter(X1,X2,X3)filter(X1,active(X2),X3)filter(X1,X2,X3)filter(X1,X2,active(X3))filter(X1,X2,X3)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)s(mark(X))s(X)s(active(X))s(X)sieve(mark(X))sieve(X)sieve(active(X))sieve(X)nats(mark(X))nats(X)nats(active(X))nats(X)Marked_cons(active(X1),X2)Marked_cons(X1,X2)Marked_cons(mark(X1),X2)Marked_cons(X1,X2)active(filter(cons(X,Y),0,M))mark(cons(0,filter(Y,M,M)))active(filter(cons(X,Y),s(N),M))mark(cons(X,filter(Y,N,M)))active(sieve(cons(0,Y)))mark(cons(0,sieve(Y)))active(sieve(cons(s(N),Y)))mark(cons(s(N),sieve(filter(Y,N,N))))active(nats(N))mark(cons(N,nats(s(N))))active(zprimes)mark(sieve(nats(s(s(0)))))mark(filter(X1,X2,X3))active(filter(mark(X1),mark(X2),mark(X3)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(mark(X)))mark(sieve(X))active(sieve(mark(X)))mark(nats(X))active(nats(mark(X)))mark(zprimes)active(zprimes)filter(mark(X1),X2,X3)filter(X1,X2,X3)filter(X1,mark(X2),X3)filter(X1,X2,X3)filter(X1,X2,mark(X3))filter(X1,X2,X3)filter(active(X1),X2,X3)filter(X1,X2,X3)filter(X1,active(X2),X3)filter(X1,X2,X3)filter(X1,X2,active(X3))filter(X1,X2,X3)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)s(mark(X))s(X)s(active(X))s(X)sieve(mark(X))sieve(X)sieve(active(X))sieve(X)nats(mark(X))nats(X)nats(active(X))nats(X)Marked_cons(active(X1),X2)Marked_cons(X1,X2)Marked_cons(mark(X1),X2)Marked_cons(X1,X2)Marked_cons1Marked_cons(mark(X1),X2)Marked_cons(X1,X2)Marked_cons(active(X1),X2)Marked_cons(X1,X2)active(filter(cons(X,Y),0,M))mark(cons(0,filter(Y,M,M)))active(filter(cons(X,Y),s(N),M))mark(cons(X,filter(Y,N,M)))active(sieve(cons(0,Y)))mark(cons(0,sieve(Y)))active(sieve(cons(s(N),Y)))mark(cons(s(N),sieve(filter(Y,N,N))))active(nats(N))mark(cons(N,nats(s(N))))active(zprimes)mark(sieve(nats(s(s(0)))))mark(filter(X1,X2,X3))active(filter(mark(X1),mark(X2),mark(X3)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(mark(X)))mark(sieve(X))active(sieve(mark(X)))mark(nats(X))active(nats(mark(X)))mark(zprimes)active(zprimes)filter(mark(X1),X2,X3)filter(X1,X2,X3)filter(X1,mark(X2),X3)filter(X1,X2,X3)filter(X1,X2,mark(X3))filter(X1,X2,X3)filter(active(X1),X2,X3)filter(X1,X2,X3)filter(X1,active(X2),X3)filter(X1,X2,X3)filter(X1,X2,active(X3))filter(X1,X2,X3)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)s(mark(X))s(X)s(active(X))s(X)sieve(mark(X))sieve(X)sieve(active(X))sieve(X)nats(mark(X))nats(X)nats(active(X))nats(X)active(filter(cons(X,Y),0,M))mark(cons(0,filter(Y,M,M)))active(filter(cons(X,Y),s(N),M))mark(cons(X,filter(Y,N,M)))active(sieve(cons(0,Y)))mark(cons(0,sieve(Y)))active(sieve(cons(s(N),Y)))mark(cons(s(N),sieve(filter(Y,N,N))))active(nats(N))mark(cons(N,nats(s(N))))active(zprimes)mark(sieve(nats(s(s(0)))))mark(filter(X1,X2,X3))active(filter(mark(X1),mark(X2),mark(X3)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(mark(X)))mark(sieve(X))active(sieve(mark(X)))mark(nats(X))active(nats(mark(X)))mark(zprimes)active(zprimes)filter(mark(X1),X2,X3)filter(X1,X2,X3)filter(X1,mark(X2),X3)filter(X1,X2,X3)filter(X1,X2,mark(X3))filter(X1,X2,X3)filter(active(X1),X2,X3)filter(X1,X2,X3)filter(X1,active(X2),X3)filter(X1,X2,X3)filter(X1,X2,active(X3))filter(X1,X2,X3)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)s(mark(X))s(X)s(active(X))s(X)sieve(mark(X))sieve(X)sieve(active(X))sieve(X)nats(mark(X))nats(X)nats(active(X))nats(X)Marked_s(mark(X))Marked_s(X)Marked_s(active(X))Marked_s(X)Marked_s1Marked_s(active(X))Marked_s(X)Marked_s(mark(X))Marked_s(X)active(filter(cons(X,Y),0,M))mark(cons(0,filter(Y,M,M)))active(filter(cons(X,Y),s(N),M))mark(cons(X,filter(Y,N,M)))active(sieve(cons(0,Y)))mark(cons(0,sieve(Y)))active(sieve(cons(s(N),Y)))mark(cons(s(N),sieve(filter(Y,N,N))))active(nats(N))mark(cons(N,nats(s(N))))active(zprimes)mark(sieve(nats(s(s(0)))))mark(filter(X1,X2,X3))active(filter(mark(X1),mark(X2),mark(X3)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(mark(X)))mark(sieve(X))active(sieve(mark(X)))mark(nats(X))active(nats(mark(X)))mark(zprimes)active(zprimes)filter(mark(X1),X2,X3)filter(X1,X2,X3)filter(X1,mark(X2),X3)filter(X1,X2,X3)filter(X1,X2,mark(X3))filter(X1,X2,X3)filter(active(X1),X2,X3)filter(X1,X2,X3)filter(X1,active(X2),X3)filter(X1,X2,X3)filter(X1,X2,active(X3))filter(X1,X2,X3)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)s(mark(X))s(X)s(active(X))s(X)sieve(mark(X))sieve(X)sieve(active(X))sieve(X)nats(mark(X))nats(X)nats(active(X))nats(X)active(filter(cons(X,Y),0,M))mark(cons(0,filter(Y,M,M)))active(filter(cons(X,Y),s(N),M))mark(cons(X,filter(Y,N,M)))active(sieve(cons(0,Y)))mark(cons(0,sieve(Y)))active(sieve(cons(s(N),Y)))mark(cons(s(N),sieve(filter(Y,N,N))))active(nats(N))mark(cons(N,nats(s(N))))active(zprimes)mark(sieve(nats(s(s(0)))))mark(filter(X1,X2,X3))active(filter(mark(X1),mark(X2),mark(X3)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(mark(X)))mark(sieve(X))active(sieve(mark(X)))mark(nats(X))active(nats(mark(X)))mark(zprimes)active(zprimes)filter(mark(X1),X2,X3)filter(X1,X2,X3)filter(X1,mark(X2),X3)filter(X1,X2,X3)filter(X1,X2,mark(X3))filter(X1,X2,X3)filter(active(X1),X2,X3)filter(X1,X2,X3)filter(X1,active(X2),X3)filter(X1,X2,X3)filter(X1,X2,active(X3))filter(X1,X2,X3)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)s(mark(X))s(X)s(active(X))s(X)sieve(mark(X))sieve(X)sieve(active(X))sieve(X)nats(mark(X))nats(X)nats(active(X))nats(X)Marked_sieve(mark(X))Marked_sieve(X)Marked_sieve(active(X))Marked_sieve(X)Marked_sieve1Marked_sieve(active(X))Marked_sieve(X)Marked_sieve(mark(X))Marked_sieve(X)active(filter(cons(X,Y),0,M))mark(cons(0,filter(Y,M,M)))active(filter(cons(X,Y),s(N),M))mark(cons(X,filter(Y,N,M)))active(sieve(cons(0,Y)))mark(cons(0,sieve(Y)))active(sieve(cons(s(N),Y)))mark(cons(s(N),sieve(filter(Y,N,N))))active(nats(N))mark(cons(N,nats(s(N))))active(zprimes)mark(sieve(nats(s(s(0)))))mark(filter(X1,X2,X3))active(filter(mark(X1),mark(X2),mark(X3)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(mark(X)))mark(sieve(X))active(sieve(mark(X)))mark(nats(X))active(nats(mark(X)))mark(zprimes)active(zprimes)filter(mark(X1),X2,X3)filter(X1,X2,X3)filter(X1,mark(X2),X3)filter(X1,X2,X3)filter(X1,X2,mark(X3))filter(X1,X2,X3)filter(active(X1),X2,X3)filter(X1,X2,X3)filter(X1,active(X2),X3)filter(X1,X2,X3)filter(X1,X2,active(X3))filter(X1,X2,X3)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)s(mark(X))s(X)s(active(X))s(X)sieve(mark(X))sieve(X)sieve(active(X))sieve(X)nats(mark(X))nats(X)nats(active(X))nats(X)active(filter(cons(X,Y),0,M))mark(cons(0,filter(Y,M,M)))active(filter(cons(X,Y),s(N),M))mark(cons(X,filter(Y,N,M)))active(sieve(cons(0,Y)))mark(cons(0,sieve(Y)))active(sieve(cons(s(N),Y)))mark(cons(s(N),sieve(filter(Y,N,N))))active(nats(N))mark(cons(N,nats(s(N))))active(zprimes)mark(sieve(nats(s(s(0)))))mark(filter(X1,X2,X3))active(filter(mark(X1),mark(X2),mark(X3)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(mark(X)))mark(sieve(X))active(sieve(mark(X)))mark(nats(X))active(nats(mark(X)))mark(zprimes)active(zprimes)filter(mark(X1),X2,X3)filter(X1,X2,X3)filter(X1,mark(X2),X3)filter(X1,X2,X3)filter(X1,X2,mark(X3))filter(X1,X2,X3)filter(active(X1),X2,X3)filter(X1,X2,X3)filter(X1,active(X2),X3)filter(X1,X2,X3)filter(X1,X2,active(X3))filter(X1,X2,X3)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)s(mark(X))s(X)s(active(X))s(X)sieve(mark(X))sieve(X)sieve(active(X))sieve(X)nats(mark(X))nats(X)nats(active(X))nats(X)Marked_nats(mark(X))Marked_nats(X)Marked_nats(active(X))Marked_nats(X)Marked_nats1Marked_nats(active(X))Marked_nats(X)Marked_nats(mark(X))Marked_nats(X)active(filter(cons(X,Y),0,M))mark(cons(0,filter(Y,M,M)))active(filter(cons(X,Y),s(N),M))mark(cons(X,filter(Y,N,M)))active(sieve(cons(0,Y)))mark(cons(0,sieve(Y)))active(sieve(cons(s(N),Y)))mark(cons(s(N),sieve(filter(Y,N,N))))active(nats(N))mark(cons(N,nats(s(N))))active(zprimes)mark(sieve(nats(s(s(0)))))mark(filter(X1,X2,X3))active(filter(mark(X1),mark(X2),mark(X3)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(0)active(0)mark(s(X))active(s(mark(X)))mark(sieve(X))active(sieve(mark(X)))mark(nats(X))active(nats(mark(X)))mark(zprimes)active(zprimes)filter(mark(X1),X2,X3)filter(X1,X2,X3)filter(X1,mark(X2),X3)filter(X1,X2,X3)filter(X1,X2,mark(X3))filter(X1,X2,X3)filter(active(X1),X2,X3)filter(X1,X2,X3)filter(X1,active(X2),X3)filter(X1,X2,X3)filter(X1,X2,active(X3))filter(X1,X2,X3)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)s(mark(X))s(X)s(active(X))s(X)sieve(mark(X))sieve(X)sieve(active(X))sieve(X)nats(mark(X))nats(X)nats(active(X))nats(X)