MAYBE
0.07/0.18	MAYBE
0.07/0.18	
0.07/0.18	Problem:
0.07/0.18	 qsort(nil()) -> nil()
0.07/0.18	 qsort(.(x,y)) -> ++(qsort(lowers(x,y)),.(x,qsort(greaters(x,y))))
0.07/0.18	 lowers(x,nil()) -> nil()
0.07/0.18	 lowers(x,.(y,z)) -> if(<=(y,x),.(y,lowers(x,z)),lowers(x,z))
0.07/0.18	 greaters(x,nil()) -> nil()
0.07/0.18	 greaters(x,.(y,z)) -> if(<=(y,x),greaters(x,z),.(y,greaters(x,z)))
0.07/0.18	
0.07/0.18	Proof:
0.07/0.18	 Open
0.07/0.18	EOF