MAYBE
MAYBE
TRS:
 {
                   cons(X1, X2) -> n__cons(X1, X2),
                       pairNs() -> cons(0(), n__incr(n__oddNs())),
                        incr(X) -> n__incr(X),
              incr(cons(X, XS)) -> cons(s(X), n__incr(activate(XS))),
                        oddNs() -> n__oddNs(),
                        oddNs() -> incr(pairNs()),
                    activate(X) -> X,
           activate(n__incr(X)) -> incr(activate(X)),
           activate(n__oddNs()) -> oddNs(),
      activate(n__take(X1, X2)) -> take(activate(X1), activate(X2)),
       activate(n__zip(X1, X2)) -> zip(activate(X1), activate(X2)),
      activate(n__cons(X1, X2)) -> cons(activate(X1), X2),
       activate(n__repItems(X)) -> repItems(activate(X)),
                   take(X1, X2) -> n__take(X1, X2),
                  take(0(), XS) -> nil(),
        take(s(N), cons(X, XS)) -> cons(X, n__take(N, activate(XS))),
                  zip(X, nil()) -> nil(),
                    zip(X1, X2) -> n__zip(X1, X2),
  zip(cons(X, XS), cons(Y, YS)) ->
  cons(pair(X, Y), n__zip(activate(XS), activate(YS))),
                 zip(nil(), XS) -> nil(),
              tail(cons(X, XS)) -> activate(XS),
                    repItems(X) -> n__repItems(X),
          repItems(cons(X, XS)) ->
  cons(X, n__cons(X, n__repItems(activate(XS)))),
                repItems(nil()) -> nil()
 }
 DUP: We consider a duplicating system.
  Trs:
   {
                     cons(X1, X2) -> n__cons(X1, X2),
                         pairNs() -> cons(0(), n__incr(n__oddNs())),
                          incr(X) -> n__incr(X),
                incr(cons(X, XS)) -> cons(s(X), n__incr(activate(XS))),
                          oddNs() -> n__oddNs(),
                          oddNs() -> incr(pairNs()),
                      activate(X) -> X,
             activate(n__incr(X)) -> incr(activate(X)),
             activate(n__oddNs()) -> oddNs(),
        activate(n__take(X1, X2)) -> take(activate(X1), activate(X2)),
         activate(n__zip(X1, X2)) -> zip(activate(X1), activate(X2)),
        activate(n__cons(X1, X2)) -> cons(activate(X1), X2),
         activate(n__repItems(X)) -> repItems(activate(X)),
                     take(X1, X2) -> n__take(X1, X2),
                    take(0(), XS) -> nil(),
          take(s(N), cons(X, XS)) -> cons(X, n__take(N, activate(XS))),
                    zip(X, nil()) -> nil(),
                      zip(X1, X2) -> n__zip(X1, X2),
    zip(cons(X, XS), cons(Y, YS)) ->
    cons(pair(X, Y), n__zip(activate(XS), activate(YS))),
                   zip(nil(), XS) -> nil(),
                tail(cons(X, XS)) -> activate(XS),
                      repItems(X) -> n__repItems(X),
            repItems(cons(X, XS)) ->
    cons(X, n__cons(X, n__repItems(activate(XS)))),
                  repItems(nil()) -> nil()
   }
  Fail