MAYBE

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

Proof:
 DP Processor:
  DPs:
   a__a#() -> a__c#()
   a__b#() -> a__c#()
   a__a#() -> a__d#()
   a__b#() -> a__d#()
   a__A#() -> a__b#()
   a__A#() -> a__f#(a__b())
   a__A#() -> a__a#()
   a__A#() -> a__f#(a__a())
   a__A#() -> a__h#(a__f(a__a()),a__f(a__b()))
   a__h#(X,X) -> a__k#()
   a__h#(X,X) -> a__f#(a__k())
   a__h#(X,X) -> mark#(X)
   a__h#(X,X) -> a__g#(mark(X),mark(X),a__f(a__k()))
   a__g#(d(),X,X) -> a__A#()
   a__f#(X) -> mark#(X)
   a__f#(X) -> a__z#(mark(X),X)
   a__z#(e(),X) -> mark#(X)
   mark#(A()) -> a__A#()
   mark#(a()) -> a__a#()
   mark#(b()) -> a__b#()
   mark#(c()) -> a__c#()
   mark#(d()) -> a__d#()
   mark#(k()) -> a__k#()
   mark#(z(X1,X2)) -> mark#(X1)
   mark#(z(X1,X2)) -> a__z#(mark(X1),X2)
   mark#(f(X)) -> mark#(X)
   mark#(f(X)) -> a__f#(mark(X))
   mark#(h(X1,X2)) -> mark#(X2)
   mark#(h(X1,X2)) -> mark#(X1)
   mark#(h(X1,X2)) -> a__h#(mark(X1),mark(X2))
   mark#(g(X1,X2,X3)) -> mark#(X3)
   mark#(g(X1,X2,X3)) -> mark#(X2)
   mark#(g(X1,X2,X3)) -> mark#(X1)
   mark#(g(X1,X2,X3)) -> a__g#(mark(X1),mark(X2),mark(X3))
  TRS:
   a__a() -> a__c()
   a__b() -> a__c()
   a__c() -> e()
   a__k() -> l()
   a__d() -> m()
   a__a() -> a__d()
   a__b() -> a__d()
   a__c() -> l()
   a__k() -> m()
   a__A() -> a__h(a__f(a__a()),a__f(a__b()))
   a__h(X,X) -> a__g(mark(X),mark(X),a__f(a__k()))
   a__g(d(),X,X) -> a__A()
   a__f(X) -> a__z(mark(X),X)
   a__z(e(),X) -> mark(X)
   mark(A()) -> a__A()
   mark(a()) -> a__a()
   mark(b()) -> a__b()
   mark(c()) -> a__c()
   mark(d()) -> a__d()
   mark(k()) -> a__k()
   mark(z(X1,X2)) -> a__z(mark(X1),X2)
   mark(f(X)) -> a__f(mark(X))
   mark(h(X1,X2)) -> a__h(mark(X1),mark(X2))
   mark(g(X1,X2,X3)) -> a__g(mark(X1),mark(X2),mark(X3))
   mark(e()) -> e()
   mark(l()) -> l()
   mark(m()) -> m()
   a__A() -> A()
   a__a() -> a()
   a__b() -> b()
   a__c() -> c()
   a__d() -> d()
   a__k() -> k()
   a__z(X1,X2) -> z(X1,X2)
   a__f(X) -> f(X)
   a__h(X1,X2) -> h(X1,X2)
   a__g(X1,X2,X3) -> g(X1,X2,X3)
  TDG Processor:
   DPs:
    a__a#() -> a__c#()
    a__b#() -> a__c#()
    a__a#() -> a__d#()
    a__b#() -> a__d#()
    a__A#() -> a__b#()
    a__A#() -> a__f#(a__b())
    a__A#() -> a__a#()
    a__A#() -> a__f#(a__a())
    a__A#() -> a__h#(a__f(a__a()),a__f(a__b()))
    a__h#(X,X) -> a__k#()
    a__h#(X,X) -> a__f#(a__k())
    a__h#(X,X) -> mark#(X)
    a__h#(X,X) -> a__g#(mark(X),mark(X),a__f(a__k()))
    a__g#(d(),X,X) -> a__A#()
    a__f#(X) -> mark#(X)
    a__f#(X) -> a__z#(mark(X),X)
    a__z#(e(),X) -> mark#(X)
    mark#(A()) -> a__A#()
    mark#(a()) -> a__a#()
    mark#(b()) -> a__b#()
    mark#(c()) -> a__c#()
    mark#(d()) -> a__d#()
    mark#(k()) -> a__k#()
    mark#(z(X1,X2)) -> mark#(X1)
    mark#(z(X1,X2)) -> a__z#(mark(X1),X2)
    mark#(f(X)) -> mark#(X)
    mark#(f(X)) -> a__f#(mark(X))
    mark#(h(X1,X2)) -> mark#(X2)
    mark#(h(X1,X2)) -> mark#(X1)
    mark#(h(X1,X2)) -> a__h#(mark(X1),mark(X2))
    mark#(g(X1,X2,X3)) -> mark#(X3)
    mark#(g(X1,X2,X3)) -> mark#(X2)
    mark#(g(X1,X2,X3)) -> mark#(X1)
    mark#(g(X1,X2,X3)) -> a__g#(mark(X1),mark(X2),mark(X3))
   TRS:
    a__a() -> a__c()
    a__b() -> a__c()
    a__c() -> e()
    a__k() -> l()
    a__d() -> m()
    a__a() -> a__d()
    a__b() -> a__d()
    a__c() -> l()
    a__k() -> m()
    a__A() -> a__h(a__f(a__a()),a__f(a__b()))
    a__h(X,X) -> a__g(mark(X),mark(X),a__f(a__k()))
    a__g(d(),X,X) -> a__A()
    a__f(X) -> a__z(mark(X),X)
    a__z(e(),X) -> mark(X)
    mark(A()) -> a__A()
    mark(a()) -> a__a()
    mark(b()) -> a__b()
    mark(c()) -> a__c()
    mark(d()) -> a__d()
    mark(k()) -> a__k()
    mark(z(X1,X2)) -> a__z(mark(X1),X2)
    mark(f(X)) -> a__f(mark(X))
    mark(h(X1,X2)) -> a__h(mark(X1),mark(X2))
    mark(g(X1,X2,X3)) -> a__g(mark(X1),mark(X2),mark(X3))
    mark(e()) -> e()
    mark(l()) -> l()
    mark(m()) -> m()
    a__A() -> A()
    a__a() -> a()
    a__b() -> b()
    a__c() -> c()
    a__d() -> d()
    a__k() -> k()
    a__z(X1,X2) -> z(X1,X2)
    a__f(X) -> f(X)
    a__h(X1,X2) -> h(X1,X2)
    a__g(X1,X2,X3) -> g(X1,X2,X3)
   graph:
    a__z#(e(),X) -> mark#(X) ->
    mark#(g(X1,X2,X3)) -> a__g#(mark(X1),mark(X2),mark(X3))
    a__z#(e(),X) -> mark#(X) -> mark#(g(X1,X2,X3)) -> mark#(X1)
    a__z#(e(),X) -> mark#(X) -> mark#(g(X1,X2,X3)) -> mark#(X2)
    a__z#(e(),X) -> mark#(X) -> mark#(g(X1,X2,X3)) -> mark#(X3)
    a__z#(e(),X) -> mark#(X) -> mark#(h(X1,X2)) -> a__h#(mark(X1),mark(X2))
    a__z#(e(),X) -> mark#(X) -> mark#(h(X1,X2)) -> mark#(X1)
    a__z#(e(),X) -> mark#(X) -> mark#(h(X1,X2)) -> mark#(X2)
    a__z#(e(),X) -> mark#(X) -> mark#(f(X)) -> a__f#(mark(X))
    a__z#(e(),X) -> mark#(X) -> mark#(f(X)) -> mark#(X)
    a__z#(e(),X) -> mark#(X) -> mark#(z(X1,X2)) -> a__z#(mark(X1),X2)
    a__z#(e(),X) -> mark#(X) -> mark#(z(X1,X2)) -> mark#(X1)
    a__z#(e(),X) -> mark#(X) -> mark#(k()) -> a__k#()
    a__z#(e(),X) -> mark#(X) -> mark#(d()) -> a__d#()
    a__z#(e(),X) -> mark#(X) -> mark#(c()) -> a__c#()
    a__z#(e(),X) -> mark#(X) -> mark#(b()) -> a__b#()
    a__z#(e(),X) -> mark#(X) -> mark#(a()) -> a__a#()
    a__z#(e(),X) -> mark#(X) -> mark#(A()) -> a__A#()
    a__g#(d(),X,X) -> a__A#() ->
    a__A#() -> a__h#(a__f(a__a()),a__f(a__b()))
    a__g#(d(),X,X) -> a__A#() -> a__A#() -> a__f#(a__a())
    a__g#(d(),X,X) -> a__A#() -> a__A#() -> a__a#()
    a__g#(d(),X,X) -> a__A#() -> a__A#() -> a__f#(a__b())
    a__g#(d(),X,X) -> a__A#() ->
    a__A#() -> a__b#()
    mark#(g(X1,X2,X3)) -> a__g#(mark(X1),mark(X2),mark(X3)) ->
    a__g#(d(),X,X) -> a__A#()
    mark#(g(X1,X2,X3)) -> mark#(X3) ->
    mark#(g(X1,X2,X3)) -> a__g#(mark(X1),mark(X2),mark(X3))
    mark#(g(X1,X2,X3)) -> mark#(X3) ->
    mark#(g(X1,X2,X3)) -> mark#(X1)
    mark#(g(X1,X2,X3)) -> mark#(X3) ->
    mark#(g(X1,X2,X3)) -> mark#(X2)
    mark#(g(X1,X2,X3)) -> mark#(X3) ->
    mark#(g(X1,X2,X3)) -> mark#(X3)
    mark#(g(X1,X2,X3)) -> mark#(X3) ->
    mark#(h(X1,X2)) -> a__h#(mark(X1),mark(X2))
    mark#(g(X1,X2,X3)) -> mark#(X3) -> mark#(h(X1,X2)) -> mark#(X1)
    mark#(g(X1,X2,X3)) -> mark#(X3) -> mark#(h(X1,X2)) -> mark#(X2)
    mark#(g(X1,X2,X3)) -> mark#(X3) -> mark#(f(X)) -> a__f#(mark(X))
    mark#(g(X1,X2,X3)) -> mark#(X3) -> mark#(f(X)) -> mark#(X)
    mark#(g(X1,X2,X3)) -> mark#(X3) ->
    mark#(z(X1,X2)) -> a__z#(mark(X1),X2)
    mark#(g(X1,X2,X3)) -> mark#(X3) -> mark#(z(X1,X2)) -> mark#(X1)
    mark#(g(X1,X2,X3)) -> mark#(X3) -> mark#(k()) -> a__k#()
    mark#(g(X1,X2,X3)) -> mark#(X3) -> mark#(d()) -> a__d#()
    mark#(g(X1,X2,X3)) -> mark#(X3) -> mark#(c()) -> a__c#()
    mark#(g(X1,X2,X3)) -> mark#(X3) -> mark#(b()) -> a__b#()
    mark#(g(X1,X2,X3)) -> mark#(X3) -> mark#(a()) -> a__a#()
    mark#(g(X1,X2,X3)) -> mark#(X3) -> mark#(A()) -> a__A#()
    mark#(g(X1,X2,X3)) -> mark#(X2) ->
    mark#(g(X1,X2,X3)) -> a__g#(mark(X1),mark(X2),mark(X3))
    mark#(g(X1,X2,X3)) -> mark#(X2) ->
    mark#(g(X1,X2,X3)) -> mark#(X1)
    mark#(g(X1,X2,X3)) -> mark#(X2) ->
    mark#(g(X1,X2,X3)) -> mark#(X2)
    mark#(g(X1,X2,X3)) -> mark#(X2) ->
    mark#(g(X1,X2,X3)) -> mark#(X3)
    mark#(g(X1,X2,X3)) -> mark#(X2) ->
    mark#(h(X1,X2)) -> a__h#(mark(X1),mark(X2))
    mark#(g(X1,X2,X3)) -> mark#(X2) -> mark#(h(X1,X2)) -> mark#(X1)
    mark#(g(X1,X2,X3)) -> mark#(X2) -> mark#(h(X1,X2)) -> mark#(X2)
    mark#(g(X1,X2,X3)) -> mark#(X2) -> mark#(f(X)) -> a__f#(mark(X))
    mark#(g(X1,X2,X3)) -> mark#(X2) -> mark#(f(X)) -> mark#(X)
    mark#(g(X1,X2,X3)) -> mark#(X2) ->
    mark#(z(X1,X2)) -> a__z#(mark(X1),X2)
    mark#(g(X1,X2,X3)) -> mark#(X2) -> mark#(z(X1,X2)) -> mark#(X1)
    mark#(g(X1,X2,X3)) -> mark#(X2) -> mark#(k()) -> a__k#()
    mark#(g(X1,X2,X3)) -> mark#(X2) -> mark#(d()) -> a__d#()
    mark#(g(X1,X2,X3)) -> mark#(X2) -> mark#(c()) -> a__c#()
    mark#(g(X1,X2,X3)) -> mark#(X2) -> mark#(b()) -> a__b#()
    mark#(g(X1,X2,X3)) -> mark#(X2) -> mark#(a()) -> a__a#()
    mark#(g(X1,X2,X3)) -> mark#(X2) -> mark#(A()) -> a__A#()
    mark#(g(X1,X2,X3)) -> mark#(X1) ->
    mark#(g(X1,X2,X3)) -> a__g#(mark(X1),mark(X2),mark(X3))
    mark#(g(X1,X2,X3)) -> mark#(X1) ->
    mark#(g(X1,X2,X3)) -> mark#(X1)
    mark#(g(X1,X2,X3)) -> mark#(X1) ->
    mark#(g(X1,X2,X3)) -> mark#(X2)
    mark#(g(X1,X2,X3)) -> mark#(X1) ->
    mark#(g(X1,X2,X3)) -> mark#(X3)
    mark#(g(X1,X2,X3)) -> mark#(X1) ->
    mark#(h(X1,X2)) -> a__h#(mark(X1),mark(X2))
    mark#(g(X1,X2,X3)) -> mark#(X1) -> mark#(h(X1,X2)) -> mark#(X1)
    mark#(g(X1,X2,X3)) -> mark#(X1) -> mark#(h(X1,X2)) -> mark#(X2)
    mark#(g(X1,X2,X3)) -> mark#(X1) -> mark#(f(X)) -> a__f#(mark(X))
    mark#(g(X1,X2,X3)) -> mark#(X1) -> mark#(f(X)) -> mark#(X)
    mark#(g(X1,X2,X3)) -> mark#(X1) ->
    mark#(z(X1,X2)) -> a__z#(mark(X1),X2)
    mark#(g(X1,X2,X3)) -> mark#(X1) -> mark#(z(X1,X2)) -> mark#(X1)
    mark#(g(X1,X2,X3)) -> mark#(X1) -> mark#(k()) -> a__k#()
    mark#(g(X1,X2,X3)) -> mark#(X1) -> mark#(d()) -> a__d#()
    mark#(g(X1,X2,X3)) -> mark#(X1) -> mark#(c()) -> a__c#()
    mark#(g(X1,X2,X3)) -> mark#(X1) -> mark#(b()) -> a__b#()
    mark#(g(X1,X2,X3)) -> mark#(X1) -> mark#(a()) -> a__a#()
    mark#(g(X1,X2,X3)) -> mark#(X1) -> mark#(A()) -> a__A#()
    mark#(h(X1,X2)) -> mark#(X2) ->
    mark#(g(X1,X2,X3)) -> a__g#(mark(X1),mark(X2),mark(X3))
    mark#(h(X1,X2)) -> mark#(X2) -> mark#(g(X1,X2,X3)) -> mark#(X1)
    mark#(h(X1,X2)) -> mark#(X2) -> mark#(g(X1,X2,X3)) -> mark#(X2)
    mark#(h(X1,X2)) -> mark#(X2) -> mark#(g(X1,X2,X3)) -> mark#(X3)
    mark#(h(X1,X2)) -> mark#(X2) ->
    mark#(h(X1,X2)) -> a__h#(mark(X1),mark(X2))
    mark#(h(X1,X2)) -> mark#(X2) -> mark#(h(X1,X2)) -> mark#(X1)
    mark#(h(X1,X2)) -> mark#(X2) -> mark#(h(X1,X2)) -> mark#(X2)
    mark#(h(X1,X2)) -> mark#(X2) -> mark#(f(X)) -> a__f#(mark(X))
    mark#(h(X1,X2)) -> mark#(X2) -> mark#(f(X)) -> mark#(X)
    mark#(h(X1,X2)) -> mark#(X2) ->
    mark#(z(X1,X2)) -> a__z#(mark(X1),X2)
    mark#(h(X1,X2)) -> mark#(X2) -> mark#(z(X1,X2)) -> mark#(X1)
    mark#(h(X1,X2)) -> mark#(X2) -> mark#(k()) -> a__k#()
    mark#(h(X1,X2)) -> mark#(X2) -> mark#(d()) -> a__d#()
    mark#(h(X1,X2)) -> mark#(X2) -> mark#(c()) -> a__c#()
    mark#(h(X1,X2)) -> mark#(X2) -> mark#(b()) -> a__b#()
    mark#(h(X1,X2)) -> mark#(X2) -> mark#(a()) -> a__a#()
    mark#(h(X1,X2)) -> mark#(X2) -> mark#(A()) -> a__A#()
    mark#(h(X1,X2)) -> mark#(X1) ->
    mark#(g(X1,X2,X3)) -> a__g#(mark(X1),mark(X2),mark(X3))
    mark#(h(X1,X2)) -> mark#(X1) -> mark#(g(X1,X2,X3)) -> mark#(X1)
    mark#(h(X1,X2)) -> mark#(X1) -> mark#(g(X1,X2,X3)) -> mark#(X2)
    mark#(h(X1,X2)) -> mark#(X1) -> mark#(g(X1,X2,X3)) -> mark#(X3)
    mark#(h(X1,X2)) -> mark#(X1) ->
    mark#(h(X1,X2)) -> a__h#(mark(X1),mark(X2))
    mark#(h(X1,X2)) -> mark#(X1) -> mark#(h(X1,X2)) -> mark#(X1)
    mark#(h(X1,X2)) -> mark#(X1) -> mark#(h(X1,X2)) -> mark#(X2)
    mark#(h(X1,X2)) -> mark#(X1) -> mark#(f(X)) -> a__f#(mark(X))
    mark#(h(X1,X2)) -> mark#(X1) -> mark#(f(X)) -> mark#(X)
    mark#(h(X1,X2)) -> mark#(X1) ->
    mark#(z(X1,X2)) -> a__z#(mark(X1),X2)
    mark#(h(X1,X2)) -> mark#(X1) -> mark#(z(X1,X2)) -> mark#(X1)
    mark#(h(X1,X2)) -> mark#(X1) -> mark#(k()) -> a__k#()
    mark#(h(X1,X2)) -> mark#(X1) -> mark#(d()) -> a__d#()
    mark#(h(X1,X2)) -> mark#(X1) -> mark#(c()) -> a__c#()
    mark#(h(X1,X2)) -> mark#(X1) -> mark#(b()) -> a__b#()
    mark#(h(X1,X2)) -> mark#(X1) -> mark#(a()) -> a__a#()
    mark#(h(X1,X2)) -> mark#(X1) ->
    mark#(A()) -> a__A#()
    mark#(h(X1,X2)) -> a__h#(mark(X1),mark(X2)) ->
    a__h#(X,X) -> a__g#(mark(X),mark(X),a__f(a__k()))
    mark#(h(X1,X2)) -> a__h#(mark(X1),mark(X2)) ->
    a__h#(X,X) -> mark#(X)
    mark#(h(X1,X2)) -> a__h#(mark(X1),mark(X2)) ->
    a__h#(X,X) -> a__f#(a__k())
    mark#(h(X1,X2)) -> a__h#(mark(X1),mark(X2)) -> a__h#(X,X) -> a__k#()
    mark#(f(X)) -> mark#(X) ->
    mark#(g(X1,X2,X3)) -> a__g#(mark(X1),mark(X2),mark(X3))
    mark#(f(X)) -> mark#(X) -> mark#(g(X1,X2,X3)) -> mark#(X1)
    mark#(f(X)) -> mark#(X) -> mark#(g(X1,X2,X3)) -> mark#(X2)
    mark#(f(X)) -> mark#(X) -> mark#(g(X1,X2,X3)) -> mark#(X3)
    mark#(f(X)) -> mark#(X) -> mark#(h(X1,X2)) -> a__h#(mark(X1),mark(X2))
    mark#(f(X)) -> mark#(X) -> mark#(h(X1,X2)) -> mark#(X1)
    mark#(f(X)) -> mark#(X) -> mark#(h(X1,X2)) -> mark#(X2)
    mark#(f(X)) -> mark#(X) -> mark#(f(X)) -> a__f#(mark(X))
    mark#(f(X)) -> mark#(X) -> mark#(f(X)) -> mark#(X)
    mark#(f(X)) -> mark#(X) -> mark#(z(X1,X2)) -> a__z#(mark(X1),X2)
    mark#(f(X)) -> mark#(X) -> mark#(z(X1,X2)) -> mark#(X1)
    mark#(f(X)) -> mark#(X) -> mark#(k()) -> a__k#()
    mark#(f(X)) -> mark#(X) -> mark#(d()) -> a__d#()
    mark#(f(X)) -> mark#(X) -> mark#(c()) -> a__c#()
    mark#(f(X)) -> mark#(X) -> mark#(b()) -> a__b#()
    mark#(f(X)) -> mark#(X) -> mark#(a()) -> a__a#()
    mark#(f(X)) -> mark#(X) -> mark#(A()) -> a__A#()
    mark#(f(X)) -> a__f#(mark(X)) -> a__f#(X) -> a__z#(mark(X),X)
    mark#(f(X)) -> a__f#(mark(X)) -> a__f#(X) -> mark#(X)
    mark#(z(X1,X2)) -> a__z#(mark(X1),X2) -> a__z#(e(),X) -> mark#(X)
    mark#(z(X1,X2)) -> mark#(X1) ->
    mark#(g(X1,X2,X3)) -> a__g#(mark(X1),mark(X2),mark(X3))
    mark#(z(X1,X2)) -> mark#(X1) -> mark#(g(X1,X2,X3)) -> mark#(X1)
    mark#(z(X1,X2)) -> mark#(X1) -> mark#(g(X1,X2,X3)) -> mark#(X2)
    mark#(z(X1,X2)) -> mark#(X1) -> mark#(g(X1,X2,X3)) -> mark#(X3)
    mark#(z(X1,X2)) -> mark#(X1) ->
    mark#(h(X1,X2)) -> a__h#(mark(X1),mark(X2))
    mark#(z(X1,X2)) -> mark#(X1) -> mark#(h(X1,X2)) -> mark#(X1)
    mark#(z(X1,X2)) -> mark#(X1) -> mark#(h(X1,X2)) -> mark#(X2)
    mark#(z(X1,X2)) -> mark#(X1) -> mark#(f(X)) -> a__f#(mark(X))
    mark#(z(X1,X2)) -> mark#(X1) -> mark#(f(X)) -> mark#(X)
    mark#(z(X1,X2)) -> mark#(X1) ->
    mark#(z(X1,X2)) -> a__z#(mark(X1),X2)
    mark#(z(X1,X2)) -> mark#(X1) -> mark#(z(X1,X2)) -> mark#(X1)
    mark#(z(X1,X2)) -> mark#(X1) -> mark#(k()) -> a__k#()
    mark#(z(X1,X2)) -> mark#(X1) -> mark#(d()) -> a__d#()
    mark#(z(X1,X2)) -> mark#(X1) -> mark#(c()) -> a__c#()
    mark#(z(X1,X2)) -> mark#(X1) -> mark#(b()) -> a__b#()
    mark#(z(X1,X2)) -> mark#(X1) -> mark#(a()) -> a__a#()
    mark#(z(X1,X2)) -> mark#(X1) -> mark#(A()) -> a__A#()
    mark#(b()) -> a__b#() -> a__b#() -> a__d#()
    mark#(b()) -> a__b#() -> a__b#() -> a__c#()
    mark#(a()) -> a__a#() -> a__a#() -> a__d#()
    mark#(a()) -> a__a#() -> a__a#() -> a__c#()
    mark#(A()) -> a__A#() -> a__A#() -> a__h#(a__f(a__a()),a__f(a__b()))
    mark#(A()) -> a__A#() -> a__A#() -> a__f#(a__a())
    mark#(A()) -> a__A#() -> a__A#() -> a__a#()
    mark#(A()) -> a__A#() -> a__A#() -> a__f#(a__b())
    mark#(A()) -> a__A#() -> a__A#() -> a__b#()
    a__h#(X,X) -> a__g#(mark(X),mark(X),a__f(a__k())) ->
    a__g#(d(),X,X) -> a__A#()
    a__h#(X,X) -> mark#(X) ->
    mark#(g(X1,X2,X3)) -> a__g#(mark(X1),mark(X2),mark(X3))
    a__h#(X,X) -> mark#(X) -> mark#(g(X1,X2,X3)) -> mark#(X1)
    a__h#(X,X) -> mark#(X) -> mark#(g(X1,X2,X3)) -> mark#(X2)
    a__h#(X,X) -> mark#(X) -> mark#(g(X1,X2,X3)) -> mark#(X3)
    a__h#(X,X) -> mark#(X) -> mark#(h(X1,X2)) -> a__h#(mark(X1),mark(X2))
    a__h#(X,X) -> mark#(X) -> mark#(h(X1,X2)) -> mark#(X1)
    a__h#(X,X) -> mark#(X) -> mark#(h(X1,X2)) -> mark#(X2)
    a__h#(X,X) -> mark#(X) -> mark#(f(X)) -> a__f#(mark(X))
    a__h#(X,X) -> mark#(X) -> mark#(f(X)) -> mark#(X)
    a__h#(X,X) -> mark#(X) -> mark#(z(X1,X2)) -> a__z#(mark(X1),X2)
    a__h#(X,X) -> mark#(X) -> mark#(z(X1,X2)) -> mark#(X1)
    a__h#(X,X) -> mark#(X) -> mark#(k()) -> a__k#()
    a__h#(X,X) -> mark#(X) -> mark#(d()) -> a__d#()
    a__h#(X,X) -> mark#(X) -> mark#(c()) -> a__c#()
    a__h#(X,X) -> mark#(X) -> mark#(b()) -> a__b#()
    a__h#(X,X) -> mark#(X) -> mark#(a()) -> a__a#()
    a__h#(X,X) -> mark#(X) -> mark#(A()) -> a__A#()
    a__h#(X,X) -> a__f#(a__k()) -> a__f#(X) -> a__z#(mark(X),X)
    a__h#(X,X) -> a__f#(a__k()) -> a__f#(X) -> mark#(X)
    a__f#(X) -> a__z#(mark(X),X) -> a__z#(e(),X) -> mark#(X)
    a__f#(X) -> mark#(X) ->
    mark#(g(X1,X2,X3)) -> a__g#(mark(X1),mark(X2),mark(X3))
    a__f#(X) -> mark#(X) -> mark#(g(X1,X2,X3)) -> mark#(X1)
    a__f#(X) -> mark#(X) -> mark#(g(X1,X2,X3)) -> mark#(X2)
    a__f#(X) -> mark#(X) -> mark#(g(X1,X2,X3)) -> mark#(X3)
    a__f#(X) -> mark#(X) -> mark#(h(X1,X2)) -> a__h#(mark(X1),mark(X2))
    a__f#(X) -> mark#(X) -> mark#(h(X1,X2)) -> mark#(X1)
    a__f#(X) -> mark#(X) -> mark#(h(X1,X2)) -> mark#(X2)
    a__f#(X) -> mark#(X) -> mark#(f(X)) -> a__f#(mark(X))
    a__f#(X) -> mark#(X) -> mark#(f(X)) -> mark#(X)
    a__f#(X) -> mark#(X) -> mark#(z(X1,X2)) -> a__z#(mark(X1),X2)
    a__f#(X) -> mark#(X) -> mark#(z(X1,X2)) -> mark#(X1)
    a__f#(X) -> mark#(X) -> mark#(k()) -> a__k#()
    a__f#(X) -> mark#(X) -> mark#(d()) -> a__d#()
    a__f#(X) -> mark#(X) -> mark#(c()) -> a__c#()
    a__f#(X) -> mark#(X) -> mark#(b()) -> a__b#()
    a__f#(X) -> mark#(X) -> mark#(a()) -> a__a#()
    a__f#(X) -> mark#(X) -> mark#(A()) -> a__A#()
    a__A#() -> a__h#(a__f(a__a()),a__f(a__b())) ->
    a__h#(X,X) -> a__g#(mark(X),mark(X),a__f(a__k()))
    a__A#() -> a__h#(a__f(a__a()),a__f(a__b())) ->
    a__h#(X,X) -> mark#(X)
    a__A#() -> a__h#(a__f(a__a()),a__f(a__b())) ->
    a__h#(X,X) -> a__f#(a__k())
    a__A#() -> a__h#(a__f(a__a()),a__f(a__b())) -> a__h#(X,X) -> a__k#()
    a__A#() -> a__f#(a__b()) -> a__f#(X) -> a__z#(mark(X),X)
    a__A#() -> a__f#(a__b()) -> a__f#(X) -> mark#(X)
    a__A#() -> a__f#(a__a()) -> a__f#(X) -> a__z#(mark(X),X)
    a__A#() -> a__f#(a__a()) -> a__f#(X) -> mark#(X)
    a__A#() -> a__b#() -> a__b#() -> a__d#()
    a__A#() -> a__b#() -> a__b#() -> a__c#()
    a__A#() -> a__a#() -> a__a#() -> a__d#()
    a__A#() -> a__a#() -> a__a#() -> a__c#()
   SCC Processor:
    #sccs: 1
    #rules: 22
    #arcs: 208/1156
    DPs:
     a__z#(e(),X) -> mark#(X)
     mark#(A()) -> a__A#()
     a__A#() -> a__f#(a__b())
     a__f#(X) -> mark#(X)
     mark#(z(X1,X2)) -> mark#(X1)
     mark#(z(X1,X2)) -> a__z#(mark(X1),X2)
     mark#(f(X)) -> mark#(X)
     mark#(f(X)) -> a__f#(mark(X))
     a__f#(X) -> a__z#(mark(X),X)
     mark#(h(X1,X2)) -> mark#(X2)
     mark#(h(X1,X2)) -> mark#(X1)
     mark#(h(X1,X2)) -> a__h#(mark(X1),mark(X2))
     a__h#(X,X) -> a__f#(a__k())
     a__h#(X,X) -> mark#(X)
     mark#(g(X1,X2,X3)) -> mark#(X3)
     mark#(g(X1,X2,X3)) -> mark#(X2)
     mark#(g(X1,X2,X3)) -> mark#(X1)
     mark#(g(X1,X2,X3)) -> a__g#(mark(X1),mark(X2),mark(X3))
     a__g#(d(),X,X) -> a__A#()
     a__A#() -> a__f#(a__a())
     a__A#() -> a__h#(a__f(a__a()),a__f(a__b()))
     a__h#(X,X) -> a__g#(mark(X),mark(X),a__f(a__k()))
    TRS:
     a__a() -> a__c()
     a__b() -> a__c()
     a__c() -> e()
     a__k() -> l()
     a__d() -> m()
     a__a() -> a__d()
     a__b() -> a__d()
     a__c() -> l()
     a__k() -> m()
     a__A() -> a__h(a__f(a__a()),a__f(a__b()))
     a__h(X,X) -> a__g(mark(X),mark(X),a__f(a__k()))
     a__g(d(),X,X) -> a__A()
     a__f(X) -> a__z(mark(X),X)
     a__z(e(),X) -> mark(X)
     mark(A()) -> a__A()
     mark(a()) -> a__a()
     mark(b()) -> a__b()
     mark(c()) -> a__c()
     mark(d()) -> a__d()
     mark(k()) -> a__k()
     mark(z(X1,X2)) -> a__z(mark(X1),X2)
     mark(f(X)) -> a__f(mark(X))
     mark(h(X1,X2)) -> a__h(mark(X1),mark(X2))
     mark(g(X1,X2,X3)) -> a__g(mark(X1),mark(X2),mark(X3))
     mark(e()) -> e()
     mark(l()) -> l()
     mark(m()) -> m()
     a__A() -> A()
     a__a() -> a()
     a__b() -> b()
     a__c() -> c()
     a__d() -> d()
     a__k() -> k()
     a__z(X1,X2) -> z(X1,X2)
     a__f(X) -> f(X)
     a__h(X1,X2) -> h(X1,X2)
     a__g(X1,X2,X3) -> g(X1,X2,X3)
    Open