MAYBE
0.00/0.02	 The problem does not contain well-formed TRSs:
0.00/0.02	   Strict Trs:
0.00/0.02	     { U12(tt()) -> snd(splitAt(N, XS))
0.00/0.02	     , snd(pair(X, Y)) -> U51(tt())
0.00/0.02	     , splitAt(0(), XS) -> pair(nil(), XS)
0.00/0.02	     , splitAt(s(N), cons(X)) -> U61(tt())
0.00/0.02	     , U22(tt()) -> X
0.00/0.02	     , U32(tt()) -> N
0.00/0.02	     , U42(tt()) -> head(afterNth(N, XS))
0.00/0.02	     , head(cons(N)) -> U31(tt())
0.00/0.02	     , afterNth(N, XS) -> U11(tt())
0.00/0.02	     , U52(tt()) -> Y
0.00/0.02	     , U63(tt()) -> U64(splitAt(N, XS))
0.00/0.02	     , U64(pair(YS, ZS)) -> pair(cons(X), ZS)
0.00/0.02	     , U72(tt()) -> XS
0.00/0.02	     , U82(tt()) -> fst(splitAt(N, XS))
0.00/0.02	     , fst(pair(X, Y)) -> U21(tt())
0.00/0.02	     , U11(tt()) -> U12(tt())
0.00/0.02	     , U21(tt()) -> U22(tt())
0.00/0.02	     , U31(tt()) -> U32(tt())
0.00/0.02	     , U41(tt()) -> U42(tt())
0.00/0.02	     , U51(tt()) -> U52(tt())
0.00/0.02	     , U61(tt()) -> U62(tt())
0.00/0.02	     , U62(tt()) -> U63(tt())
0.00/0.02	     , U71(tt()) -> U72(tt())
0.00/0.02	     , U81(tt()) -> U82(tt())
0.00/0.02	     , natsFrom(N) -> cons(N)
0.00/0.02	     , sel(N, XS) -> U41(tt())
0.00/0.02	     , tail(cons(N)) -> U71(tt())
0.00/0.02	     , take(N, XS) -> U81(tt()) }
0.00/0.02	   StartTerms: basic terms
0.00/0.02	   Strategy: none
0.00/0.03	EOF