MAYBE
MAYBE
TRS:
 {
               pairNs() -> cons(0()),
          incr(cons(X)) -> cons(s(X)),
                oddNs() -> incr(pairNs()),
          take(0(), XS) -> nil(),
    take(s(N), cons(X)) -> cons(X),
          zip(X, nil()) -> nil(),
  zip(cons(X), cons(Y)) -> cons(pair(X, Y)),
         zip(nil(), XS) -> nil(),
          tail(cons(X)) -> XS,
      repItems(cons(X)) -> cons(X),
        repItems(nil()) -> nil()
 }
 DUP: We consider a duplicating system.
  Trs:
   {
                 pairNs() -> cons(0()),
            incr(cons(X)) -> cons(s(X)),
                  oddNs() -> incr(pairNs()),
            take(0(), XS) -> nil(),
      take(s(N), cons(X)) -> cons(X),
            zip(X, nil()) -> nil(),
    zip(cons(X), cons(Y)) -> cons(pair(X, Y)),
           zip(nil(), XS) -> nil(),
            tail(cons(X)) -> XS,
        repItems(cons(X)) -> cons(X),
          repItems(nil()) -> nil()
   }
  Fail