MAYBE 0.00/0.02 The problem does not contain well-formed TRSs: 0.00/0.02 Strict Trs: 0.00/0.02 { tail(cons(X)) -> XS 0.00/0.02 , pairNs() -> cons(0()) 0.00/0.02 , oddNs() -> incr(pairNs()) 0.00/0.02 , incr(cons(X)) -> cons(s(X)) 0.00/0.02 , take(0(), XS) -> nil() 0.00/0.02 , take(s(N), cons(X)) -> cons(X) 0.00/0.02 , zip(X, nil()) -> nil() 0.00/0.02 , zip(cons(X), cons(Y)) -> cons(pair(X, Y)) 0.00/0.02 , zip(nil(), XS) -> nil() 0.00/0.02 , repItems(cons(X)) -> cons(X) 0.00/0.02 , repItems(nil()) -> nil() } 0.00/0.02 StartTerms: basic terms 0.00/0.02 Strategy: innermost 0.00/0.02 EOF