MAYBE
0.08/0.17	MAYBE
0.08/0.17	
0.08/0.17	Problem:
0.08/0.17	 rev1(0(),nil()) -> 0()
0.08/0.17	 rev1(s(X),nil()) -> s(X)
0.08/0.17	 rev1(X,cons(Y,L)) -> rev1(Y,L)
0.08/0.17	 rev(nil()) -> nil()
0.08/0.17	 rev(cons(X,L)) -> cons(rev1(X,L),rev2(X,L))
0.08/0.17	 rev2(X,nil()) -> nil()
0.08/0.17	 rev2(X,cons(Y,L)) -> rev(cons(X,rev(rev2(Y,L))))
0.08/0.17	
0.08/0.17	Proof:
0.08/0.17	 Open
0.08/0.17	EOF