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
zprimes()	weight: 0
     s(x1)	weight: x1
     0()	weight: 0
 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