MAYBE
0.07/0.19	MAYBE
0.07/0.19	
0.07/0.19	Problem:
0.07/0.19	 bsort(nil()) -> nil()
0.07/0.19	 bsort(.(x,y)) -> last(.(bubble(.(x,y)),bsort(butlast(bubble(.(x,y))))))
0.07/0.19	 bubble(nil()) -> nil()
0.07/0.19	 bubble(.(x,nil())) -> .(x,nil())
0.07/0.19	 bubble(.(x,.(y,z))) -> if(<=(x,y),.(y,bubble(.(x,z))),.(x,bubble(.(y,z))))
0.07/0.19	 last(nil()) -> 0()
0.07/0.19	 last(.(x,nil())) -> x
0.07/0.19	 last(.(x,.(y,z))) -> last(.(y,z))
0.07/0.19	 butlast(nil()) -> nil()
0.07/0.19	 butlast(.(x,nil())) -> nil()
0.07/0.19	 butlast(.(x,.(y,z))) -> .(x,butlast(.(y,z)))
0.07/0.19	
0.07/0.19	Proof:
0.07/0.19	 Open
0.07/0.19	EOF