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