YES
Time: 0.000531
TRS:
 {filter(cons X, 0(), M) -> cons 0(),
  filter(cons X, s N, M) -> cons X,
          sieve cons 0() -> cons 0(),
          sieve cons s N -> cons s N,
                  nats N -> cons N,
               zprimes() -> sieve nats s s 0()}
 DP:
  DP:
   {zprimes#() -> sieve# nats s s 0(),
    zprimes#() -> nats# s s 0()}
  TRS:
  {filter(cons X, 0(), M) -> cons 0(),
   filter(cons X, s N, M) -> cons X,
           sieve cons 0() -> cons 0(),
           sieve cons s N -> cons s N,
                   nats N -> cons N,
                zprimes() -> sieve nats s s 0()}
  EDG:
   {}
   STATUS:
    arrows: 1.000000
    SCCS (0):