MAYBE
0.08/0.18	MAYBE
0.08/0.18	
0.08/0.18	Problem:
0.08/0.18	 lt(0(),s(X)) -> true()
0.08/0.18	 lt(s(X),0()) -> false()
0.08/0.18	 lt(s(X),s(Y)) -> lt(X,Y)
0.08/0.18	 append(nil(),Y) -> Y
0.08/0.18	 append(add(N,X),Y) -> add(N,append(X,Y))
0.08/0.18	 split(N,nil()) -> pair(nil(),nil())
0.08/0.18	 split(N,add(M,Y)) -> f_1(split(N,Y),N,M,Y)
0.08/0.18	 f_1(pair(X,Z),N,M,Y) -> f_2(lt(N,M),N,M,Y,X,Z)
0.08/0.18	 f_2(true(),N,M,Y,X,Z) -> pair(X,add(M,Z))
0.08/0.18	 f_2(false(),N,M,Y,X,Z) -> pair(add(M,X),Z)
0.08/0.18	 qsort(nil()) -> nil()
0.08/0.18	 qsort(add(N,X)) -> f_3(split(N,X),N,X)
0.08/0.18	 f_3(pair(Y,Z),N,X) -> append(qsort(Y),add(X,qsort(Z)))
0.08/0.18	
0.08/0.18	Proof:
0.08/0.18	 Open
0.08/0.18	EOF