MAYBE
0.08/0.19	MAYBE
0.08/0.19	
0.08/0.19	Problem:
0.08/0.19	 a__eq(0(),0()) -> true()
0.08/0.19	 a__eq(s(X),s(Y)) -> a__eq(X,Y)
0.08/0.19	 a__eq(X,Y) -> false()
0.08/0.19	 a__inf(X) -> cons(X,inf(s(X)))
0.08/0.19	 a__take(0(),X) -> nil()
0.08/0.19	 a__take(s(X),cons(Y,L)) -> cons(Y,take(X,L))
0.08/0.19	 a__length(nil()) -> 0()
0.08/0.19	 a__length(cons(X,L)) -> s(length(L))
0.08/0.19	 mark(eq(X1,X2)) -> a__eq(X1,X2)
0.08/0.19	 mark(inf(X)) -> a__inf(mark(X))
0.08/0.19	 mark(take(X1,X2)) -> a__take(mark(X1),mark(X2))
0.08/0.19	 mark(length(X)) -> a__length(mark(X))
0.08/0.19	 mark(0()) -> 0()
0.08/0.19	 mark(true()) -> true()
0.08/0.19	 mark(s(X)) -> s(X)
0.08/0.19	 mark(false()) -> false()
0.08/0.19	 mark(cons(X1,X2)) -> cons(X1,X2)
0.08/0.19	 mark(nil()) -> nil()
0.08/0.19	 a__eq(X1,X2) -> eq(X1,X2)
0.08/0.19	 a__inf(X) -> inf(X)
0.08/0.19	 a__take(X1,X2) -> take(X1,X2)
0.08/0.19	 a__length(X) -> length(X)
0.08/0.19	
0.08/0.19	Proof:
0.08/0.19	 Open
0.08/0.19	EOF