MAYBE
0.08/0.19	MAYBE
0.08/0.19	
0.08/0.19	Problem:
0.08/0.19	 a__a() -> a__c()
0.08/0.19	 a__b() -> a__c()
0.08/0.19	 a__c() -> e()
0.08/0.19	 a__k() -> l()
0.08/0.19	 a__d() -> m()
0.08/0.19	 a__a() -> a__d()
0.08/0.19	 a__b() -> a__d()
0.08/0.19	 a__c() -> l()
0.08/0.19	 a__k() -> m()
0.08/0.19	 a__A() -> a__h(a__f(a__a()),a__f(a__b()))
0.08/0.19	 a__h(X,X) -> a__g(mark(X),mark(X),a__f(a__k()))
0.08/0.19	 a__g(d(),X,X) -> a__A()
0.08/0.19	 a__f(X) -> a__z(mark(X),X)
0.08/0.19	 a__z(e(),X) -> mark(X)
0.08/0.19	 mark(A()) -> a__A()
0.08/0.19	 mark(a()) -> a__a()
0.08/0.19	 mark(b()) -> a__b()
0.08/0.19	 mark(c()) -> a__c()
0.08/0.19	 mark(d()) -> a__d()
0.08/0.19	 mark(k()) -> a__k()
0.08/0.19	 mark(z(X1,X2)) -> a__z(mark(X1),X2)
0.08/0.19	 mark(f(X)) -> a__f(mark(X))
0.08/0.19	 mark(h(X1,X2)) -> a__h(mark(X1),mark(X2))
0.08/0.19	 mark(g(X1,X2,X3)) -> a__g(mark(X1),mark(X2),mark(X3))
0.08/0.19	 mark(e()) -> e()
0.08/0.19	 mark(l()) -> l()
0.08/0.19	 mark(m()) -> m()
0.08/0.19	 a__A() -> A()
0.08/0.19	 a__a() -> a()
0.08/0.19	 a__b() -> b()
0.08/0.19	 a__c() -> c()
0.08/0.19	 a__d() -> d()
0.08/0.19	 a__k() -> k()
0.08/0.19	 a__z(X1,X2) -> z(X1,X2)
0.08/0.19	 a__f(X) -> f(X)
0.08/0.19	 a__h(X1,X2) -> h(X1,X2)
0.08/0.19	 a__g(X1,X2,X3) -> g(X1,X2,X3)
0.08/0.19	
0.08/0.19	Proof:
0.08/0.19	 Open
0.08/0.19	EOF