MAYBE
0.08/0.18	MAYBE
0.08/0.18	
0.08/0.18	Problem:
0.08/0.18	 natsFrom(N) -> cons(N,n__natsFrom(s(N)))
0.08/0.18	 fst(pair(XS,YS)) -> XS
0.08/0.18	 snd(pair(XS,YS)) -> YS
0.08/0.18	 splitAt(0(),XS) -> pair(nil(),XS)
0.08/0.18	 splitAt(s(N),cons(X,XS)) -> u(splitAt(N,activate(XS)),N,X,activate(XS))
0.08/0.18	 u(pair(YS,ZS),N,X,XS) -> pair(cons(activate(X),YS),ZS)
0.08/0.18	 head(cons(N,XS)) -> N
0.08/0.18	 tail(cons(N,XS)) -> activate(XS)
0.08/0.18	 sel(N,XS) -> head(afterNth(N,XS))
0.08/0.18	 take(N,XS) -> fst(splitAt(N,XS))
0.08/0.18	 afterNth(N,XS) -> snd(splitAt(N,XS))
0.08/0.18	 natsFrom(X) -> n__natsFrom(X)
0.08/0.18	 activate(n__natsFrom(X)) -> natsFrom(X)
0.08/0.18	 activate(X) -> X
0.08/0.18	
0.08/0.18	Proof:
0.08/0.18	 Open
0.08/0.19	EOF