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