Marked_natsnatstopMarked_filterfilterMarked_activesproperMarked_sconsMarked_propersieveokMarked_cons0Marked_topactivezprimesMarked_sievemarkX3X2X1NMYXactive(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)))))active(filter(X1,X2,X3))filter(active(X1),X2,X3)active(filter(X1,X2,X3))filter(X1,active(X2),X3)active(filter(X1,X2,X3))filter(X1,X2,active(X3))active(cons(X1,X2))cons(active(X1),X2)active(s(X))s(active(X))active(sieve(X))sieve(active(X))active(nats(X))nats(active(X))filter(mark(X1),X2,X3)mark(filter(X1,X2,X3))filter(X1,mark(X2),X3)mark(filter(X1,X2,X3))filter(X1,X2,mark(X3))mark(filter(X1,X2,X3))cons(mark(X1),X2)mark(cons(X1,X2))s(mark(X))mark(s(X))sieve(mark(X))mark(sieve(X))nats(mark(X))mark(nats(X))proper(filter(X1,X2,X3))filter(proper(X1),proper(X2),proper(X3))proper(cons(X1,X2))cons(proper(X1),proper(X2))proper(0)ok(0)proper(s(X))s(proper(X))proper(sieve(X))sieve(proper(X))proper(nats(X))nats(proper(X))proper(zprimes)ok(zprimes)filter(ok(X1),ok(X2),ok(X3))ok(filter(X1,X2,X3))cons(ok(X1),ok(X2))ok(cons(X1,X2))s(ok(X))ok(s(X))sieve(ok(X))ok(sieve(X))nats(ok(X))ok(nats(X))top(mark(X))top(proper(X))top(ok(X))top(active(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)))))active(filter(X1,X2,X3))filter(active(X1),X2,X3)active(filter(X1,X2,X3))filter(X1,active(X2),X3)active(filter(X1,X2,X3))filter(X1,X2,active(X3))active(cons(X1,X2))cons(active(X1),X2)active(s(X))s(active(X))active(sieve(X))sieve(active(X))active(nats(X))nats(active(X))filter(mark(X1),X2,X3)mark(filter(X1,X2,X3))filter(X1,mark(X2),X3)mark(filter(X1,X2,X3))filter(X1,X2,mark(X3))mark(filter(X1,X2,X3))cons(mark(X1),X2)mark(cons(X1,X2))s(mark(X))mark(s(X))sieve(mark(X))mark(sieve(X))nats(mark(X))mark(nats(X))proper(filter(X1,X2,X3))filter(proper(X1),proper(X2),proper(X3))proper(cons(X1,X2))cons(proper(X1),proper(X2))proper(0)ok(0)proper(s(X))s(proper(X))proper(sieve(X))sieve(proper(X))proper(nats(X))nats(proper(X))proper(zprimes)ok(zprimes)filter(ok(X1),ok(X2),ok(X3))ok(filter(X1,X2,X3))cons(ok(X1),ok(X2))ok(cons(X1,X2))s(ok(X))ok(s(X))sieve(ok(X))ok(sieve(X))nats(ok(X))ok(nats(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))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_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_cons(0,sieve(Y))Marked_active(sieve(cons(0,Y)))Marked_sieve(Y)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_cons(N,nats(s(N)))Marked_active(nats(N))Marked_nats(s(N))Marked_active(nats(N))Marked_s(N)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_active(filter(X1,X2,X3))Marked_filter(active(X1),X2,X3)Marked_active(filter(X1,X2,X3))Marked_active(X1)Marked_active(filter(X1,X2,X3))Marked_filter(X1,active(X2),X3)Marked_active(filter(X1,X2,X3))Marked_active(X2)Marked_active(filter(X1,X2,X3))Marked_filter(X1,X2,active(X3))Marked_active(filter(X1,X2,X3))Marked_active(X3)Marked_active(cons(X1,X2))Marked_cons(active(X1),X2)Marked_active(cons(X1,X2))Marked_active(X1)Marked_active(s(X))Marked_s(active(X))Marked_active(s(X))Marked_active(X)Marked_active(sieve(X))Marked_sieve(active(X))Marked_active(sieve(X))Marked_active(X)Marked_active(nats(X))Marked_nats(active(X))Marked_active(nats(X))Marked_active(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_cons(mark(X1),X2)Marked_cons(X1,X2)Marked_s(mark(X))Marked_s(X)Marked_sieve(mark(X))Marked_sieve(X)Marked_nats(mark(X))Marked_nats(X)Marked_proper(filter(X1,X2,X3))Marked_filter(proper(X1),proper(X2),proper(X3))Marked_proper(filter(X1,X2,X3))Marked_proper(X1)Marked_proper(filter(X1,X2,X3))Marked_proper(X2)Marked_proper(filter(X1,X2,X3))Marked_proper(X3)Marked_proper(cons(X1,X2))Marked_cons(proper(X1),proper(X2))Marked_proper(cons(X1,X2))Marked_proper(X1)Marked_proper(cons(X1,X2))Marked_proper(X2)Marked_proper(s(X))Marked_s(proper(X))Marked_proper(s(X))Marked_proper(X)Marked_proper(sieve(X))Marked_sieve(proper(X))Marked_proper(sieve(X))Marked_proper(X)Marked_proper(nats(X))Marked_nats(proper(X))Marked_proper(nats(X))Marked_proper(X)Marked_filter(ok(X1),ok(X2),ok(X3))Marked_filter(X1,X2,X3)Marked_cons(ok(X1),ok(X2))Marked_cons(X1,X2)Marked_s(ok(X))Marked_s(X)Marked_sieve(ok(X))Marked_sieve(X)Marked_nats(ok(X))Marked_nats(X)Marked_top(mark(X))Marked_top(proper(X))Marked_top(mark(X))Marked_proper(X)Marked_top(ok(X))Marked_top(active(X))Marked_top(ok(X))Marked_active(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)))))active(filter(X1,X2,X3))filter(active(X1),X2,X3)active(filter(X1,X2,X3))filter(X1,active(X2),X3)active(filter(X1,X2,X3))filter(X1,X2,active(X3))active(cons(X1,X2))cons(active(X1),X2)active(s(X))s(active(X))active(sieve(X))sieve(active(X))active(nats(X))nats(active(X))filter(mark(X1),X2,X3)mark(filter(X1,X2,X3))filter(X1,mark(X2),X3)mark(filter(X1,X2,X3))filter(X1,X2,mark(X3))mark(filter(X1,X2,X3))cons(mark(X1),X2)mark(cons(X1,X2))s(mark(X))mark(s(X))sieve(mark(X))mark(sieve(X))nats(mark(X))mark(nats(X))proper(filter(X1,X2,X3))filter(proper(X1),proper(X2),proper(X3))proper(cons(X1,X2))cons(proper(X1),proper(X2))proper(0)ok(0)proper(s(X))s(proper(X))proper(sieve(X))sieve(proper(X))proper(nats(X))nats(proper(X))proper(zprimes)ok(zprimes)filter(ok(X1),ok(X2),ok(X3))ok(filter(X1,X2,X3))cons(ok(X1),ok(X2))ok(cons(X1,X2))s(ok(X))ok(s(X))sieve(ok(X))ok(sieve(X))nats(ok(X))ok(nats(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_top(mark(X))Marked_top(proper(X))Marked_top(ok(X))Marked_top(active(X))mark110zprimes30active10Marked_top2000ok10sieve110cons10proper10s20filter22220top0nats110Marked_top(mark(X))Marked_top(proper(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)))))active(filter(X1,X2,X3))filter(active(X1),X2,X3)active(filter(X1,X2,X3))filter(X1,active(X2),X3)active(filter(X1,X2,X3))filter(X1,X2,active(X3))active(cons(X1,X2))cons(active(X1),X2)active(s(X))s(active(X))active(sieve(X))sieve(active(X))active(nats(X))nats(active(X))filter(mark(X1),X2,X3)mark(filter(X1,X2,X3))filter(X1,mark(X2),X3)mark(filter(X1,X2,X3))filter(X1,X2,mark(X3))mark(filter(X1,X2,X3))cons(mark(X1),X2)mark(cons(X1,X2))s(mark(X))mark(s(X))sieve(mark(X))mark(sieve(X))nats(mark(X))mark(nats(X))proper(filter(X1,X2,X3))filter(proper(X1),proper(X2),proper(X3))proper(cons(X1,X2))cons(proper(X1),proper(X2))proper(0)ok(0)proper(s(X))s(proper(X))proper(sieve(X))sieve(proper(X))proper(nats(X))nats(proper(X))proper(zprimes)ok(zprimes)filter(ok(X1),ok(X2),ok(X3))ok(filter(X1,X2,X3))cons(ok(X1),ok(X2))ok(cons(X1,X2))s(ok(X))ok(s(X))sieve(ok(X))ok(sieve(X))nats(ok(X))ok(nats(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_top(ok(X))Marked_top(active(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)))))active(filter(X1,X2,X3))filter(active(X1),X2,X3)active(filter(X1,X2,X3))filter(X1,active(X2),X3)active(filter(X1,X2,X3))filter(X1,X2,active(X3))active(cons(X1,X2))cons(active(X1),X2)active(s(X))s(active(X))active(sieve(X))sieve(active(X))active(nats(X))nats(active(X))filter(mark(X1),X2,X3)mark(filter(X1,X2,X3))filter(X1,mark(X2),X3)mark(filter(X1,X2,X3))filter(X1,X2,mark(X3))mark(filter(X1,X2,X3))cons(mark(X1),X2)mark(cons(X1,X2))s(mark(X))mark(s(X))sieve(mark(X))mark(sieve(X))nats(mark(X))mark(nats(X))proper(filter(X1,X2,X3))filter(proper(X1),proper(X2),proper(X3))proper(cons(X1,X2))cons(proper(X1),proper(X2))proper(0)ok(0)proper(s(X))s(proper(X))proper(sieve(X))sieve(proper(X))proper(nats(X))nats(proper(X))proper(zprimes)ok(zprimes)filter(ok(X1),ok(X2),ok(X3))ok(filter(X1,X2,X3))cons(ok(X1),ok(X2))ok(cons(X1,X2))s(ok(X))ok(s(X))sieve(ok(X))ok(sieve(X))nats(ok(X))ok(nats(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_top(ok(X))Marked_top(active(X))mark20zprimes30active20Marked_top20030ok320sieve10cons220proper30s20filter2230top0nats230active(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)))))active(filter(X1,X2,X3))filter(active(X1),X2,X3)active(filter(X1,X2,X3))filter(X1,active(X2),X3)active(filter(X1,X2,X3))filter(X1,X2,active(X3))active(cons(X1,X2))cons(active(X1),X2)active(s(X))s(active(X))active(sieve(X))sieve(active(X))active(nats(X))nats(active(X))filter(mark(X1),X2,X3)mark(filter(X1,X2,X3))filter(X1,mark(X2),X3)mark(filter(X1,X2,X3))filter(X1,X2,mark(X3))mark(filter(X1,X2,X3))cons(mark(X1),X2)mark(cons(X1,X2))s(mark(X))mark(s(X))sieve(mark(X))mark(sieve(X))nats(mark(X))mark(nats(X))proper(filter(X1,X2,X3))filter(proper(X1),proper(X2),proper(X3))proper(cons(X1,X2))cons(proper(X1),proper(X2))proper(0)ok(0)proper(s(X))s(proper(X))proper(sieve(X))sieve(proper(X))proper(nats(X))nats(proper(X))proper(zprimes)ok(zprimes)filter(ok(X1),ok(X2),ok(X3))ok(filter(X1,X2,X3))cons(ok(X1),ok(X2))ok(cons(X1,X2))s(ok(X))ok(s(X))sieve(ok(X))ok(sieve(X))nats(ok(X))ok(nats(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_proper(filter(X1,X2,X3))Marked_proper(X1)Marked_proper(filter(X1,X2,X3))Marked_proper(X2)Marked_proper(filter(X1,X2,X3))Marked_proper(X3)Marked_proper(cons(X1,X2))Marked_proper(X1)Marked_proper(cons(X1,X2))Marked_proper(X2)Marked_proper(s(X))Marked_proper(X)Marked_proper(sieve(X))Marked_proper(X)Marked_proper(nats(X))Marked_proper(X)Marked_proper1Marked_proper(nats(X))Marked_proper(X)Marked_proper(sieve(X))Marked_proper(X)Marked_proper(s(X))Marked_proper(X)Marked_proper(cons(X1,X2))Marked_proper(X2)Marked_proper(cons(X1,X2))Marked_proper(X1)Marked_proper(filter(X1,X2,X3))Marked_proper(X3)Marked_proper(filter(X1,X2,X3))Marked_proper(X2)Marked_proper(filter(X1,X2,X3))Marked_proper(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)))))active(filter(X1,X2,X3))filter(active(X1),X2,X3)active(filter(X1,X2,X3))filter(X1,active(X2),X3)active(filter(X1,X2,X3))filter(X1,X2,active(X3))active(cons(X1,X2))cons(active(X1),X2)active(s(X))s(active(X))active(sieve(X))sieve(active(X))active(nats(X))nats(active(X))filter(mark(X1),X2,X3)mark(filter(X1,X2,X3))filter(X1,mark(X2),X3)mark(filter(X1,X2,X3))filter(X1,X2,mark(X3))mark(filter(X1,X2,X3))cons(mark(X1),X2)mark(cons(X1,X2))s(mark(X))mark(s(X))sieve(mark(X))mark(sieve(X))nats(mark(X))mark(nats(X))proper(filter(X1,X2,X3))filter(proper(X1),proper(X2),proper(X3))proper(cons(X1,X2))cons(proper(X1),proper(X2))proper(0)ok(0)proper(s(X))s(proper(X))proper(sieve(X))sieve(proper(X))proper(nats(X))nats(proper(X))proper(zprimes)ok(zprimes)filter(ok(X1),ok(X2),ok(X3))ok(filter(X1,X2,X3))cons(ok(X1),ok(X2))ok(cons(X1,X2))s(ok(X))ok(s(X))sieve(ok(X))ok(sieve(X))nats(ok(X))ok(nats(X))top(mark(X))top(proper(X))top(ok(X))top(active(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)))))active(filter(X1,X2,X3))filter(active(X1),X2,X3)active(filter(X1,X2,X3))filter(X1,active(X2),X3)active(filter(X1,X2,X3))filter(X1,X2,active(X3))active(cons(X1,X2))cons(active(X1),X2)active(s(X))s(active(X))active(sieve(X))sieve(active(X))active(nats(X))nats(active(X))filter(mark(X1),X2,X3)mark(filter(X1,X2,X3))filter(X1,mark(X2),X3)mark(filter(X1,X2,X3))filter(X1,X2,mark(X3))mark(filter(X1,X2,X3))cons(mark(X1),X2)mark(cons(X1,X2))s(mark(X))mark(s(X))sieve(mark(X))mark(sieve(X))nats(mark(X))mark(nats(X))proper(filter(X1,X2,X3))filter(proper(X1),proper(X2),proper(X3))proper(cons(X1,X2))cons(proper(X1),proper(X2))proper(0)ok(0)proper(s(X))s(proper(X))proper(sieve(X))sieve(proper(X))proper(nats(X))nats(proper(X))proper(zprimes)ok(zprimes)filter(ok(X1),ok(X2),ok(X3))ok(filter(X1,X2,X3))cons(ok(X1),ok(X2))ok(cons(X1,X2))s(ok(X))ok(s(X))sieve(ok(X))ok(sieve(X))nats(ok(X))ok(nats(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_active(filter(X1,X2,X3))Marked_active(X1)Marked_active(filter(X1,X2,X3))Marked_active(X2)Marked_active(filter(X1,X2,X3))Marked_active(X3)Marked_active(cons(X1,X2))Marked_active(X1)Marked_active(s(X))Marked_active(X)Marked_active(sieve(X))Marked_active(X)Marked_active(nats(X))Marked_active(X)Marked_active1Marked_active(nats(X))Marked_active(X)Marked_active(sieve(X))Marked_active(X)Marked_active(s(X))Marked_active(X)Marked_active(cons(X1,X2))Marked_active(X1)Marked_active(filter(X1,X2,X3))Marked_active(X3)Marked_active(filter(X1,X2,X3))Marked_active(X2)Marked_active(filter(X1,X2,X3))Marked_active(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)))))active(filter(X1,X2,X3))filter(active(X1),X2,X3)active(filter(X1,X2,X3))filter(X1,active(X2),X3)active(filter(X1,X2,X3))filter(X1,X2,active(X3))active(cons(X1,X2))cons(active(X1),X2)active(s(X))s(active(X))active(sieve(X))sieve(active(X))active(nats(X))nats(active(X))filter(mark(X1),X2,X3)mark(filter(X1,X2,X3))filter(X1,mark(X2),X3)mark(filter(X1,X2,X3))filter(X1,X2,mark(X3))mark(filter(X1,X2,X3))cons(mark(X1),X2)mark(cons(X1,X2))s(mark(X))mark(s(X))sieve(mark(X))mark(sieve(X))nats(mark(X))mark(nats(X))proper(filter(X1,X2,X3))filter(proper(X1),proper(X2),proper(X3))proper(cons(X1,X2))cons(proper(X1),proper(X2))proper(0)ok(0)proper(s(X))s(proper(X))proper(sieve(X))sieve(proper(X))proper(nats(X))nats(proper(X))proper(zprimes)ok(zprimes)filter(ok(X1),ok(X2),ok(X3))ok(filter(X1,X2,X3))cons(ok(X1),ok(X2))ok(cons(X1,X2))s(ok(X))ok(s(X))sieve(ok(X))ok(sieve(X))nats(ok(X))ok(nats(X))top(mark(X))top(proper(X))top(ok(X))top(active(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)))))active(filter(X1,X2,X3))filter(active(X1),X2,X3)active(filter(X1,X2,X3))filter(X1,active(X2),X3)active(filter(X1,X2,X3))filter(X1,X2,active(X3))active(cons(X1,X2))cons(active(X1),X2)active(s(X))s(active(X))active(sieve(X))sieve(active(X))active(nats(X))nats(active(X))filter(mark(X1),X2,X3)mark(filter(X1,X2,X3))filter(X1,mark(X2),X3)mark(filter(X1,X2,X3))filter(X1,X2,mark(X3))mark(filter(X1,X2,X3))cons(mark(X1),X2)mark(cons(X1,X2))s(mark(X))mark(s(X))sieve(mark(X))mark(sieve(X))nats(mark(X))mark(nats(X))proper(filter(X1,X2,X3))filter(proper(X1),proper(X2),proper(X3))proper(cons(X1,X2))cons(proper(X1),proper(X2))proper(0)ok(0)proper(s(X))s(proper(X))proper(sieve(X))sieve(proper(X))proper(nats(X))nats(proper(X))proper(zprimes)ok(zprimes)filter(ok(X1),ok(X2),ok(X3))ok(filter(X1,X2,X3))cons(ok(X1),ok(X2))ok(cons(X1,X2))s(ok(X))ok(s(X))sieve(ok(X))ok(sieve(X))nats(ok(X))ok(nats(X))top(mark(X))top(proper(X))top(ok(X))top(active(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(ok(X1),ok(X2),ok(X3))Marked_filter(X1,X2,X3)Marked_filter3Marked_filter(ok(X1),ok(X2),ok(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)))))active(filter(X1,X2,X3))filter(active(X1),X2,X3)active(filter(X1,X2,X3))filter(X1,active(X2),X3)active(filter(X1,X2,X3))filter(X1,X2,active(X3))active(cons(X1,X2))cons(active(X1),X2)active(s(X))s(active(X))active(sieve(X))sieve(active(X))active(nats(X))nats(active(X))filter(mark(X1),X2,X3)mark(filter(X1,X2,X3))filter(X1,mark(X2),X3)mark(filter(X1,X2,X3))filter(X1,X2,mark(X3))mark(filter(X1,X2,X3))cons(mark(X1),X2)mark(cons(X1,X2))s(mark(X))mark(s(X))sieve(mark(X))mark(sieve(X))nats(mark(X))mark(nats(X))proper(filter(X1,X2,X3))filter(proper(X1),proper(X2),proper(X3))proper(cons(X1,X2))cons(proper(X1),proper(X2))proper(0)ok(0)proper(s(X))s(proper(X))proper(sieve(X))sieve(proper(X))proper(nats(X))nats(proper(X))proper(zprimes)ok(zprimes)filter(ok(X1),ok(X2),ok(X3))ok(filter(X1,X2,X3))cons(ok(X1),ok(X2))ok(cons(X1,X2))s(ok(X))ok(s(X))sieve(ok(X))ok(sieve(X))nats(ok(X))ok(nats(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))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)))))active(filter(X1,X2,X3))filter(active(X1),X2,X3)active(filter(X1,X2,X3))filter(X1,active(X2),X3)active(filter(X1,X2,X3))filter(X1,X2,active(X3))active(cons(X1,X2))cons(active(X1),X2)active(s(X))s(active(X))active(sieve(X))sieve(active(X))active(nats(X))nats(active(X))filter(mark(X1),X2,X3)mark(filter(X1,X2,X3))filter(X1,mark(X2),X3)mark(filter(X1,X2,X3))filter(X1,X2,mark(X3))mark(filter(X1,X2,X3))cons(mark(X1),X2)mark(cons(X1,X2))s(mark(X))mark(s(X))sieve(mark(X))mark(sieve(X))nats(mark(X))mark(nats(X))proper(filter(X1,X2,X3))filter(proper(X1),proper(X2),proper(X3))proper(cons(X1,X2))cons(proper(X1),proper(X2))proper(0)ok(0)proper(s(X))s(proper(X))proper(sieve(X))sieve(proper(X))proper(nats(X))nats(proper(X))proper(zprimes)ok(zprimes)filter(ok(X1),ok(X2),ok(X3))ok(filter(X1,X2,X3))cons(ok(X1),ok(X2))ok(cons(X1,X2))s(ok(X))ok(s(X))sieve(ok(X))ok(sieve(X))nats(ok(X))ok(nats(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))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)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)))))active(filter(X1,X2,X3))filter(active(X1),X2,X3)active(filter(X1,X2,X3))filter(X1,active(X2),X3)active(filter(X1,X2,X3))filter(X1,X2,active(X3))active(cons(X1,X2))cons(active(X1),X2)active(s(X))s(active(X))active(sieve(X))sieve(active(X))active(nats(X))nats(active(X))filter(mark(X1),X2,X3)mark(filter(X1,X2,X3))filter(X1,mark(X2),X3)mark(filter(X1,X2,X3))filter(X1,X2,mark(X3))mark(filter(X1,X2,X3))cons(mark(X1),X2)mark(cons(X1,X2))s(mark(X))mark(s(X))sieve(mark(X))mark(sieve(X))nats(mark(X))mark(nats(X))proper(filter(X1,X2,X3))filter(proper(X1),proper(X2),proper(X3))proper(cons(X1,X2))cons(proper(X1),proper(X2))proper(0)ok(0)proper(s(X))s(proper(X))proper(sieve(X))sieve(proper(X))proper(nats(X))nats(proper(X))proper(zprimes)ok(zprimes)filter(ok(X1),ok(X2),ok(X3))ok(filter(X1,X2,X3))cons(ok(X1),ok(X2))ok(cons(X1,X2))s(ok(X))ok(s(X))sieve(ok(X))ok(sieve(X))nats(ok(X))ok(nats(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))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)))))active(filter(X1,X2,X3))filter(active(X1),X2,X3)active(filter(X1,X2,X3))filter(X1,active(X2),X3)active(filter(X1,X2,X3))filter(X1,X2,active(X3))active(cons(X1,X2))cons(active(X1),X2)active(s(X))s(active(X))active(sieve(X))sieve(active(X))active(nats(X))nats(active(X))filter(mark(X1),X2,X3)mark(filter(X1,X2,X3))filter(X1,mark(X2),X3)mark(filter(X1,X2,X3))filter(X1,X2,mark(X3))mark(filter(X1,X2,X3))cons(mark(X1),X2)mark(cons(X1,X2))s(mark(X))mark(s(X))sieve(mark(X))mark(sieve(X))nats(mark(X))mark(nats(X))proper(filter(X1,X2,X3))filter(proper(X1),proper(X2),proper(X3))proper(cons(X1,X2))cons(proper(X1),proper(X2))proper(0)ok(0)proper(s(X))s(proper(X))proper(sieve(X))sieve(proper(X))proper(nats(X))nats(proper(X))proper(zprimes)ok(zprimes)filter(ok(X1),ok(X2),ok(X3))ok(filter(X1,X2,X3))cons(ok(X1),ok(X2))ok(cons(X1,X2))s(ok(X))ok(s(X))sieve(ok(X))ok(sieve(X))nats(ok(X))ok(nats(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_filter(mark(X1),X2,X3)Marked_filter(X1,X2,X3)Marked_filter1Marked_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)))))active(filter(X1,X2,X3))filter(active(X1),X2,X3)active(filter(X1,X2,X3))filter(X1,active(X2),X3)active(filter(X1,X2,X3))filter(X1,X2,active(X3))active(cons(X1,X2))cons(active(X1),X2)active(s(X))s(active(X))active(sieve(X))sieve(active(X))active(nats(X))nats(active(X))filter(mark(X1),X2,X3)mark(filter(X1,X2,X3))filter(X1,mark(X2),X3)mark(filter(X1,X2,X3))filter(X1,X2,mark(X3))mark(filter(X1,X2,X3))cons(mark(X1),X2)mark(cons(X1,X2))s(mark(X))mark(s(X))sieve(mark(X))mark(sieve(X))nats(mark(X))mark(nats(X))proper(filter(X1,X2,X3))filter(proper(X1),proper(X2),proper(X3))proper(cons(X1,X2))cons(proper(X1),proper(X2))proper(0)ok(0)proper(s(X))s(proper(X))proper(sieve(X))sieve(proper(X))proper(nats(X))nats(proper(X))proper(zprimes)ok(zprimes)filter(ok(X1),ok(X2),ok(X3))ok(filter(X1,X2,X3))cons(ok(X1),ok(X2))ok(cons(X1,X2))s(ok(X))ok(s(X))sieve(ok(X))ok(sieve(X))nats(ok(X))ok(nats(X))top(mark(X))top(proper(X))top(ok(X))top(active(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)))))active(filter(X1,X2,X3))filter(active(X1),X2,X3)active(filter(X1,X2,X3))filter(X1,active(X2),X3)active(filter(X1,X2,X3))filter(X1,X2,active(X3))active(cons(X1,X2))cons(active(X1),X2)active(s(X))s(active(X))active(sieve(X))sieve(active(X))active(nats(X))nats(active(X))filter(mark(X1),X2,X3)mark(filter(X1,X2,X3))filter(X1,mark(X2),X3)mark(filter(X1,X2,X3))filter(X1,X2,mark(X3))mark(filter(X1,X2,X3))cons(mark(X1),X2)mark(cons(X1,X2))s(mark(X))mark(s(X))sieve(mark(X))mark(sieve(X))nats(mark(X))mark(nats(X))proper(filter(X1,X2,X3))filter(proper(X1),proper(X2),proper(X3))proper(cons(X1,X2))cons(proper(X1),proper(X2))proper(0)ok(0)proper(s(X))s(proper(X))proper(sieve(X))sieve(proper(X))proper(nats(X))nats(proper(X))proper(zprimes)ok(zprimes)filter(ok(X1),ok(X2),ok(X3))ok(filter(X1,X2,X3))cons(ok(X1),ok(X2))ok(cons(X1,X2))s(ok(X))ok(s(X))sieve(ok(X))ok(sieve(X))nats(ok(X))ok(nats(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_cons(mark(X1),X2)Marked_cons(X1,X2)Marked_cons(ok(X1),ok(X2))Marked_cons(X1,X2)Marked_cons2Marked_cons(ok(X1),ok(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)))))active(filter(X1,X2,X3))filter(active(X1),X2,X3)active(filter(X1,X2,X3))filter(X1,active(X2),X3)active(filter(X1,X2,X3))filter(X1,X2,active(X3))active(cons(X1,X2))cons(active(X1),X2)active(s(X))s(active(X))active(sieve(X))sieve(active(X))active(nats(X))nats(active(X))filter(mark(X1),X2,X3)mark(filter(X1,X2,X3))filter(X1,mark(X2),X3)mark(filter(X1,X2,X3))filter(X1,X2,mark(X3))mark(filter(X1,X2,X3))cons(mark(X1),X2)mark(cons(X1,X2))s(mark(X))mark(s(X))sieve(mark(X))mark(sieve(X))nats(mark(X))mark(nats(X))proper(filter(X1,X2,X3))filter(proper(X1),proper(X2),proper(X3))proper(cons(X1,X2))cons(proper(X1),proper(X2))proper(0)ok(0)proper(s(X))s(proper(X))proper(sieve(X))sieve(proper(X))proper(nats(X))nats(proper(X))proper(zprimes)ok(zprimes)filter(ok(X1),ok(X2),ok(X3))ok(filter(X1,X2,X3))cons(ok(X1),ok(X2))ok(cons(X1,X2))s(ok(X))ok(s(X))sieve(ok(X))ok(sieve(X))nats(ok(X))ok(nats(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))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)))))active(filter(X1,X2,X3))filter(active(X1),X2,X3)active(filter(X1,X2,X3))filter(X1,active(X2),X3)active(filter(X1,X2,X3))filter(X1,X2,active(X3))active(cons(X1,X2))cons(active(X1),X2)active(s(X))s(active(X))active(sieve(X))sieve(active(X))active(nats(X))nats(active(X))filter(mark(X1),X2,X3)mark(filter(X1,X2,X3))filter(X1,mark(X2),X3)mark(filter(X1,X2,X3))filter(X1,X2,mark(X3))mark(filter(X1,X2,X3))cons(mark(X1),X2)mark(cons(X1,X2))s(mark(X))mark(s(X))sieve(mark(X))mark(sieve(X))nats(mark(X))mark(nats(X))proper(filter(X1,X2,X3))filter(proper(X1),proper(X2),proper(X3))proper(cons(X1,X2))cons(proper(X1),proper(X2))proper(0)ok(0)proper(s(X))s(proper(X))proper(sieve(X))sieve(proper(X))proper(nats(X))nats(proper(X))proper(zprimes)ok(zprimes)filter(ok(X1),ok(X2),ok(X3))ok(filter(X1,X2,X3))cons(ok(X1),ok(X2))ok(cons(X1,X2))s(ok(X))ok(s(X))sieve(ok(X))ok(sieve(X))nats(ok(X))ok(nats(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_cons(mark(X1),X2)Marked_cons(X1,X2)Marked_cons1Marked_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)))))active(filter(X1,X2,X3))filter(active(X1),X2,X3)active(filter(X1,X2,X3))filter(X1,active(X2),X3)active(filter(X1,X2,X3))filter(X1,X2,active(X3))active(cons(X1,X2))cons(active(X1),X2)active(s(X))s(active(X))active(sieve(X))sieve(active(X))active(nats(X))nats(active(X))filter(mark(X1),X2,X3)mark(filter(X1,X2,X3))filter(X1,mark(X2),X3)mark(filter(X1,X2,X3))filter(X1,X2,mark(X3))mark(filter(X1,X2,X3))cons(mark(X1),X2)mark(cons(X1,X2))s(mark(X))mark(s(X))sieve(mark(X))mark(sieve(X))nats(mark(X))mark(nats(X))proper(filter(X1,X2,X3))filter(proper(X1),proper(X2),proper(X3))proper(cons(X1,X2))cons(proper(X1),proper(X2))proper(0)ok(0)proper(s(X))s(proper(X))proper(sieve(X))sieve(proper(X))proper(nats(X))nats(proper(X))proper(zprimes)ok(zprimes)filter(ok(X1),ok(X2),ok(X3))ok(filter(X1,X2,X3))cons(ok(X1),ok(X2))ok(cons(X1,X2))s(ok(X))ok(s(X))sieve(ok(X))ok(sieve(X))nats(ok(X))ok(nats(X))top(mark(X))top(proper(X))top(ok(X))top(active(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)))))active(filter(X1,X2,X3))filter(active(X1),X2,X3)active(filter(X1,X2,X3))filter(X1,active(X2),X3)active(filter(X1,X2,X3))filter(X1,X2,active(X3))active(cons(X1,X2))cons(active(X1),X2)active(s(X))s(active(X))active(sieve(X))sieve(active(X))active(nats(X))nats(active(X))filter(mark(X1),X2,X3)mark(filter(X1,X2,X3))filter(X1,mark(X2),X3)mark(filter(X1,X2,X3))filter(X1,X2,mark(X3))mark(filter(X1,X2,X3))cons(mark(X1),X2)mark(cons(X1,X2))s(mark(X))mark(s(X))sieve(mark(X))mark(sieve(X))nats(mark(X))mark(nats(X))proper(filter(X1,X2,X3))filter(proper(X1),proper(X2),proper(X3))proper(cons(X1,X2))cons(proper(X1),proper(X2))proper(0)ok(0)proper(s(X))s(proper(X))proper(sieve(X))sieve(proper(X))proper(nats(X))nats(proper(X))proper(zprimes)ok(zprimes)filter(ok(X1),ok(X2),ok(X3))ok(filter(X1,X2,X3))cons(ok(X1),ok(X2))ok(cons(X1,X2))s(ok(X))ok(s(X))sieve(ok(X))ok(sieve(X))nats(ok(X))ok(nats(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_s(mark(X))Marked_s(X)Marked_s(ok(X))Marked_s(X)Marked_s1Marked_s(ok(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)))))active(filter(X1,X2,X3))filter(active(X1),X2,X3)active(filter(X1,X2,X3))filter(X1,active(X2),X3)active(filter(X1,X2,X3))filter(X1,X2,active(X3))active(cons(X1,X2))cons(active(X1),X2)active(s(X))s(active(X))active(sieve(X))sieve(active(X))active(nats(X))nats(active(X))filter(mark(X1),X2,X3)mark(filter(X1,X2,X3))filter(X1,mark(X2),X3)mark(filter(X1,X2,X3))filter(X1,X2,mark(X3))mark(filter(X1,X2,X3))cons(mark(X1),X2)mark(cons(X1,X2))s(mark(X))mark(s(X))sieve(mark(X))mark(sieve(X))nats(mark(X))mark(nats(X))proper(filter(X1,X2,X3))filter(proper(X1),proper(X2),proper(X3))proper(cons(X1,X2))cons(proper(X1),proper(X2))proper(0)ok(0)proper(s(X))s(proper(X))proper(sieve(X))sieve(proper(X))proper(nats(X))nats(proper(X))proper(zprimes)ok(zprimes)filter(ok(X1),ok(X2),ok(X3))ok(filter(X1,X2,X3))cons(ok(X1),ok(X2))ok(cons(X1,X2))s(ok(X))ok(s(X))sieve(ok(X))ok(sieve(X))nats(ok(X))ok(nats(X))top(mark(X))top(proper(X))top(ok(X))top(active(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)))))active(filter(X1,X2,X3))filter(active(X1),X2,X3)active(filter(X1,X2,X3))filter(X1,active(X2),X3)active(filter(X1,X2,X3))filter(X1,X2,active(X3))active(cons(X1,X2))cons(active(X1),X2)active(s(X))s(active(X))active(sieve(X))sieve(active(X))active(nats(X))nats(active(X))filter(mark(X1),X2,X3)mark(filter(X1,X2,X3))filter(X1,mark(X2),X3)mark(filter(X1,X2,X3))filter(X1,X2,mark(X3))mark(filter(X1,X2,X3))cons(mark(X1),X2)mark(cons(X1,X2))s(mark(X))mark(s(X))sieve(mark(X))mark(sieve(X))nats(mark(X))mark(nats(X))proper(filter(X1,X2,X3))filter(proper(X1),proper(X2),proper(X3))proper(cons(X1,X2))cons(proper(X1),proper(X2))proper(0)ok(0)proper(s(X))s(proper(X))proper(sieve(X))sieve(proper(X))proper(nats(X))nats(proper(X))proper(zprimes)ok(zprimes)filter(ok(X1),ok(X2),ok(X3))ok(filter(X1,X2,X3))cons(ok(X1),ok(X2))ok(cons(X1,X2))s(ok(X))ok(s(X))sieve(ok(X))ok(sieve(X))nats(ok(X))ok(nats(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_sieve(mark(X))Marked_sieve(X)Marked_sieve(ok(X))Marked_sieve(X)Marked_sieve1Marked_sieve(ok(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)))))active(filter(X1,X2,X3))filter(active(X1),X2,X3)active(filter(X1,X2,X3))filter(X1,active(X2),X3)active(filter(X1,X2,X3))filter(X1,X2,active(X3))active(cons(X1,X2))cons(active(X1),X2)active(s(X))s(active(X))active(sieve(X))sieve(active(X))active(nats(X))nats(active(X))filter(mark(X1),X2,X3)mark(filter(X1,X2,X3))filter(X1,mark(X2),X3)mark(filter(X1,X2,X3))filter(X1,X2,mark(X3))mark(filter(X1,X2,X3))cons(mark(X1),X2)mark(cons(X1,X2))s(mark(X))mark(s(X))sieve(mark(X))mark(sieve(X))nats(mark(X))mark(nats(X))proper(filter(X1,X2,X3))filter(proper(X1),proper(X2),proper(X3))proper(cons(X1,X2))cons(proper(X1),proper(X2))proper(0)ok(0)proper(s(X))s(proper(X))proper(sieve(X))sieve(proper(X))proper(nats(X))nats(proper(X))proper(zprimes)ok(zprimes)filter(ok(X1),ok(X2),ok(X3))ok(filter(X1,X2,X3))cons(ok(X1),ok(X2))ok(cons(X1,X2))s(ok(X))ok(s(X))sieve(ok(X))ok(sieve(X))nats(ok(X))ok(nats(X))top(mark(X))top(proper(X))top(ok(X))top(active(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)))))active(filter(X1,X2,X3))filter(active(X1),X2,X3)active(filter(X1,X2,X3))filter(X1,active(X2),X3)active(filter(X1,X2,X3))filter(X1,X2,active(X3))active(cons(X1,X2))cons(active(X1),X2)active(s(X))s(active(X))active(sieve(X))sieve(active(X))active(nats(X))nats(active(X))filter(mark(X1),X2,X3)mark(filter(X1,X2,X3))filter(X1,mark(X2),X3)mark(filter(X1,X2,X3))filter(X1,X2,mark(X3))mark(filter(X1,X2,X3))cons(mark(X1),X2)mark(cons(X1,X2))s(mark(X))mark(s(X))sieve(mark(X))mark(sieve(X))nats(mark(X))mark(nats(X))proper(filter(X1,X2,X3))filter(proper(X1),proper(X2),proper(X3))proper(cons(X1,X2))cons(proper(X1),proper(X2))proper(0)ok(0)proper(s(X))s(proper(X))proper(sieve(X))sieve(proper(X))proper(nats(X))nats(proper(X))proper(zprimes)ok(zprimes)filter(ok(X1),ok(X2),ok(X3))ok(filter(X1,X2,X3))cons(ok(X1),ok(X2))ok(cons(X1,X2))s(ok(X))ok(s(X))sieve(ok(X))ok(sieve(X))nats(ok(X))ok(nats(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_nats(mark(X))Marked_nats(X)Marked_nats(ok(X))Marked_nats(X)Marked_nats1Marked_nats(ok(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)))))active(filter(X1,X2,X3))filter(active(X1),X2,X3)active(filter(X1,X2,X3))filter(X1,active(X2),X3)active(filter(X1,X2,X3))filter(X1,X2,active(X3))active(cons(X1,X2))cons(active(X1),X2)active(s(X))s(active(X))active(sieve(X))sieve(active(X))active(nats(X))nats(active(X))filter(mark(X1),X2,X3)mark(filter(X1,X2,X3))filter(X1,mark(X2),X3)mark(filter(X1,X2,X3))filter(X1,X2,mark(X3))mark(filter(X1,X2,X3))cons(mark(X1),X2)mark(cons(X1,X2))s(mark(X))mark(s(X))sieve(mark(X))mark(sieve(X))nats(mark(X))mark(nats(X))proper(filter(X1,X2,X3))filter(proper(X1),proper(X2),proper(X3))proper(cons(X1,X2))cons(proper(X1),proper(X2))proper(0)ok(0)proper(s(X))s(proper(X))proper(sieve(X))sieve(proper(X))proper(nats(X))nats(proper(X))proper(zprimes)ok(zprimes)filter(ok(X1),ok(X2),ok(X3))ok(filter(X1,X2,X3))cons(ok(X1),ok(X2))ok(cons(X1,X2))s(ok(X))ok(s(X))sieve(ok(X))ok(sieve(X))nats(ok(X))ok(nats(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))