Marked_a__filtera__sievezprimesa__filterMarked_a__natssa__nats0Marked_a__sievesievea__zprimesfilterMarked_a__zprimesmarknatsMarked_markconsX3X2X1NMYXa__filter(cons(X,Y),0,M)cons(0,filter(Y,M,M))a__filter(cons(X,Y),s(N),M)cons(mark(X),filter(Y,N,M))a__sieve(cons(0,Y))cons(0,sieve(Y))a__sieve(cons(s(N),Y))cons(s(mark(N)),sieve(filter(Y,N,N)))a__nats(N)cons(mark(N),nats(s(N)))a__zprimesa__sieve(a__nats(s(s(0))))mark(filter(X1,X2,X3))a__filter(mark(X1),mark(X2),mark(X3))mark(sieve(X))a__sieve(mark(X))mark(nats(X))a__nats(mark(X))mark(zprimes)a__zprimesmark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(s(X))s(mark(X))a__filter(X1,X2,X3)filter(X1,X2,X3)a__sieve(X)sieve(X)a__nats(X)nats(X)a__zprimeszprimesa__filter(cons(X,Y),0,M)cons(0,filter(Y,M,M))a__filter(cons(X,Y),s(N),M)cons(mark(X),filter(Y,N,M))a__sieve(cons(0,Y))cons(0,sieve(Y))a__sieve(cons(s(N),Y))cons(s(mark(N)),sieve(filter(Y,N,N)))a__nats(N)cons(mark(N),nats(s(N)))a__zprimesa__sieve(a__nats(s(s(0))))mark(filter(X1,X2,X3))a__filter(mark(X1),mark(X2),mark(X3))mark(sieve(X))a__sieve(mark(X))mark(nats(X))a__nats(mark(X))mark(zprimes)a__zprimesmark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(s(X))s(mark(X))a__filter(X1,X2,X3)filter(X1,X2,X3)a__sieve(X)sieve(X)a__nats(X)nats(X)a__zprimeszprimesMarked_a__filter(cons(X,Y),s(N),M)Marked_mark(X)Marked_a__sieve(cons(s(N),Y))Marked_mark(N)Marked_a__nats(N)Marked_mark(N)Marked_a__zprimesMarked_a__sieve(a__nats(s(s(0))))Marked_a__zprimesMarked_a__nats(s(s(0)))Marked_mark(filter(X1,X2,X3))Marked_a__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(sieve(X))Marked_a__sieve(mark(X))Marked_mark(sieve(X))Marked_mark(X)Marked_mark(nats(X))Marked_a__nats(mark(X))Marked_mark(nats(X))Marked_mark(X)Marked_mark(zprimes)Marked_a__zprimesMarked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)a__filter(cons(X,Y),0,M)cons(0,filter(Y,M,M))a__filter(cons(X,Y),s(N),M)cons(mark(X),filter(Y,N,M))a__sieve(cons(0,Y))cons(0,sieve(Y))a__sieve(cons(s(N),Y))cons(s(mark(N)),sieve(filter(Y,N,N)))a__nats(N)cons(mark(N),nats(s(N)))a__zprimesa__sieve(a__nats(s(s(0))))mark(filter(X1,X2,X3))a__filter(mark(X1),mark(X2),mark(X3))mark(sieve(X))a__sieve(mark(X))mark(nats(X))a__nats(mark(X))mark(zprimes)a__zprimesmark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(s(X))s(mark(X))a__filter(X1,X2,X3)filter(X1,X2,X3)a__sieve(X)sieve(X)a__nats(X)nats(X)a__zprimeszprimesMarked_a__filter(cons(X,Y),s(N),M)Marked_mark(X)Marked_a__sieve(cons(s(N),Y))Marked_mark(N)Marked_a__nats(N)Marked_mark(N)Marked_a__zprimesMarked_a__sieve(a__nats(s(s(0))))Marked_a__zprimesMarked_a__nats(s(s(0)))Marked_mark(filter(X1,X2,X3))Marked_a__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(sieve(X))Marked_a__sieve(mark(X))Marked_mark(sieve(X))Marked_mark(X)Marked_mark(nats(X))Marked_a__nats(mark(X))Marked_mark(nats(X))Marked_mark(X)Marked_mark(zprimes)Marked_a__zprimesMarked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)cons20Marked_mark30nats320mark10Marked_a__zprimes30filter1110a__zprimes30sieve10Marked_a__sieve1000a__nats320s30Marked_a__nats330a__filter1110zprimes30a__sieve10Marked_a__filter30Marked_a__nats(N)Marked_mark(N)Marked_mark(nats(X))Marked_a__nats(mark(X))Marked_mark(nats(X))Marked_mark(X)Marked_mark(zprimes)Marked_a__zprimesa__filter(cons(X,Y),0,M)cons(0,filter(Y,M,M))a__filter(cons(X,Y),s(N),M)cons(mark(X),filter(Y,N,M))a__sieve(cons(0,Y))cons(0,sieve(Y))a__sieve(cons(s(N),Y))cons(s(mark(N)),sieve(filter(Y,N,N)))a__nats(N)cons(mark(N),nats(s(N)))a__zprimesa__sieve(a__nats(s(s(0))))mark(filter(X1,X2,X3))a__filter(mark(X1),mark(X2),mark(X3))mark(sieve(X))a__sieve(mark(X))mark(nats(X))a__nats(mark(X))mark(zprimes)a__zprimesmark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(s(X))s(mark(X))a__filter(X1,X2,X3)filter(X1,X2,X3)a__sieve(X)sieve(X)a__nats(X)nats(X)a__zprimeszprimesMarked_a__filter(cons(X,Y),s(N),M)Marked_mark(X)Marked_a__sieve(cons(s(N),Y))Marked_mark(N)Marked_a__zprimesMarked_a__sieve(a__nats(s(s(0))))Marked_a__zprimesMarked_a__nats(s(s(0)))Marked_mark(filter(X1,X2,X3))Marked_a__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(sieve(X))Marked_a__sieve(mark(X))Marked_mark(sieve(X))Marked_mark(X)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)a__filter(cons(X,Y),0,M)cons(0,filter(Y,M,M))a__filter(cons(X,Y),s(N),M)cons(mark(X),filter(Y,N,M))a__sieve(cons(0,Y))cons(0,sieve(Y))a__sieve(cons(s(N),Y))cons(s(mark(N)),sieve(filter(Y,N,N)))a__nats(N)cons(mark(N),nats(s(N)))a__zprimesa__sieve(a__nats(s(s(0))))mark(filter(X1,X2,X3))a__filter(mark(X1),mark(X2),mark(X3))mark(sieve(X))a__sieve(mark(X))mark(nats(X))a__nats(mark(X))mark(zprimes)a__zprimesmark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(s(X))s(mark(X))a__filter(X1,X2,X3)filter(X1,X2,X3)a__sieve(X)sieve(X)a__nats(X)nats(X)a__zprimeszprimesMarked_a__filter(cons(X,Y),s(N),M)Marked_mark(X)Marked_a__sieve(cons(s(N),Y))Marked_mark(N)Marked_mark(filter(X1,X2,X3))Marked_a__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(sieve(X))Marked_a__sieve(mark(X))Marked_mark(sieve(X))Marked_mark(X)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)cons20Marked_mark110nats20mark10filter31110a__zprimes30sieve320Marked_a__sieve22000a__nats20s20a__filter31110zprimes30a__sieve320Marked_a__filter210Marked_a__filter(cons(X,Y),s(N),M)Marked_mark(X)Marked_a__sieve(cons(s(N),Y))Marked_mark(N)Marked_mark(filter(X1,X2,X3))Marked_a__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(sieve(X))Marked_a__sieve(mark(X))Marked_mark(sieve(X))Marked_mark(X)a__filter(cons(X,Y),0,M)cons(0,filter(Y,M,M))a__filter(cons(X,Y),s(N),M)cons(mark(X),filter(Y,N,M))a__sieve(cons(0,Y))cons(0,sieve(Y))a__sieve(cons(s(N),Y))cons(s(mark(N)),sieve(filter(Y,N,N)))a__nats(N)cons(mark(N),nats(s(N)))a__zprimesa__sieve(a__nats(s(s(0))))mark(filter(X1,X2,X3))a__filter(mark(X1),mark(X2),mark(X3))mark(sieve(X))a__sieve(mark(X))mark(nats(X))a__nats(mark(X))mark(zprimes)a__zprimesmark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(s(X))s(mark(X))a__filter(X1,X2,X3)filter(X1,X2,X3)a__sieve(X)sieve(X)a__nats(X)nats(X)a__zprimeszprimesMarked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)a__filter(cons(X,Y),0,M)cons(0,filter(Y,M,M))a__filter(cons(X,Y),s(N),M)cons(mark(X),filter(Y,N,M))a__sieve(cons(0,Y))cons(0,sieve(Y))a__sieve(cons(s(N),Y))cons(s(mark(N)),sieve(filter(Y,N,N)))a__nats(N)cons(mark(N),nats(s(N)))a__zprimesa__sieve(a__nats(s(s(0))))mark(filter(X1,X2,X3))a__filter(mark(X1),mark(X2),mark(X3))mark(sieve(X))a__sieve(mark(X))mark(nats(X))a__nats(mark(X))mark(zprimes)a__zprimesmark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(s(X))s(mark(X))a__filter(X1,X2,X3)filter(X1,X2,X3)a__sieve(X)sieve(X)a__nats(X)nats(X)a__zprimeszprimesMarked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(s(X))Marked_mark(X)cons120Marked_mark30nats130mark10filter130a__zprimes10sieve1000a__nats130s30a__filter130zprimes10a__sieve10Marked_mark(cons(X1,X2))Marked_mark(X1)a__filter(cons(X,Y),0,M)cons(0,filter(Y,M,M))a__filter(cons(X,Y),s(N),M)cons(mark(X),filter(Y,N,M))a__sieve(cons(0,Y))cons(0,sieve(Y))a__sieve(cons(s(N),Y))cons(s(mark(N)),sieve(filter(Y,N,N)))a__nats(N)cons(mark(N),nats(s(N)))a__zprimesa__sieve(a__nats(s(s(0))))mark(filter(X1,X2,X3))a__filter(mark(X1),mark(X2),mark(X3))mark(sieve(X))a__sieve(mark(X))mark(nats(X))a__nats(mark(X))mark(zprimes)a__zprimesmark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(s(X))s(mark(X))a__filter(X1,X2,X3)filter(X1,X2,X3)a__sieve(X)sieve(X)a__nats(X)nats(X)a__zprimeszprimesMarked_mark(s(X))Marked_mark(X)a__filter(cons(X,Y),0,M)cons(0,filter(Y,M,M))a__filter(cons(X,Y),s(N),M)cons(mark(X),filter(Y,N,M))a__sieve(cons(0,Y))cons(0,sieve(Y))a__sieve(cons(s(N),Y))cons(s(mark(N)),sieve(filter(Y,N,N)))a__nats(N)cons(mark(N),nats(s(N)))a__zprimesa__sieve(a__nats(s(s(0))))mark(filter(X1,X2,X3))a__filter(mark(X1),mark(X2),mark(X3))mark(sieve(X))a__sieve(mark(X))mark(nats(X))a__nats(mark(X))mark(zprimes)a__zprimesmark(cons(X1,X2))cons(mark(X1),X2)mark(0)0mark(s(X))s(mark(X))a__filter(X1,X2,X3)filter(X1,X2,X3)a__sieve(X)sieve(X)a__nats(X)nats(X)a__zprimeszprimesMarked_mark(s(X))Marked_mark(X)cons0Marked_mark30nats0mark20filter0a__zprimes0sieve000a__nats0s220a__filter0zprimes0a__sieve0