MAYBE
0.00/0.02	 The problem does not contain well-formed TRSs:
0.00/0.02	   Strict Trs:
0.00/0.02	     { U11(tt()) -> U12(splitAt(N, XS))
0.00/0.02	     , U12(pair(YS, ZS)) -> pair(cons(X), ZS)
0.00/0.02	     , splitAt(0(), XS) -> pair(nil(), XS)
0.00/0.02	     , splitAt(s(N), cons(X)) -> U11(tt())
0.00/0.02	     , and(tt()) -> X
0.00/0.02	     , tail(cons(N)) -> XS
0.00/0.02	     , afterNth(N, XS) -> snd(splitAt(N, XS))
0.00/0.02	     , snd(pair(X, Y)) -> Y
0.00/0.02	     , fst(pair(X, Y)) -> X
0.00/0.02	     , head(cons(N)) -> N
0.00/0.02	     , natsFrom(N) -> cons(N)
0.00/0.02	     , sel(N, XS) -> head(afterNth(N, XS))
0.00/0.02	     , take(N, XS) -> fst(splitAt(N, XS)) }
0.00/0.02	   StartTerms: basic terms
0.00/0.02	   Strategy: innermost
0.00/0.02	EOF