Input TRS:
    1: filter(cons(X),|0|(),M) -> cons(|0|())
    2: filter(cons(X),s(N),M) -> cons(X)
    3: sieve(cons(|0|())) -> cons(|0|())
    4: sieve(cons(s(N))) -> cons(s(N))
    5: nats(N) -> cons(N)
    6: zprimes() -> sieve(nats(s(s(|0|()))))
Number of strict rules: 6
Direct Order(PosReal,>,Poly) ... removes: 1 2
   |0|()	weight: 0
zprimes()	weight: 0
     s(x1)	weight: x1
 sieve(x1)	weight: x1
  nats(x1)	weight: x1
  cons(x1)	weight: x1
filter(x1,x2,x3)	weight: (/ 1 2) + x1 + x2 + x3
Number of strict rules: 4
Direct Order(PosReal,>,Poly) ... failed.
Freezing ... failed.
Dependency Pairs:
   #1: #zprimes() -> #sieve(nats(s(s(|0|()))))
   #2: #zprimes() -> #nats(s(s(|0|())))
Number of SCCs: 0, DPs: 0, edges: 0
YES