MAYBE Time: 0.012942 TRS: { a__c() -> e(), a__c() -> l(), a__c() -> c(), a__a() -> a__c(), a__a() -> a__d(), a__a() -> a(), a__b() -> a__c(), a__b() -> a__d(), a__b() -> b(), a__k() -> l(), a__k() -> m(), a__k() -> k(), a__d() -> m(), a__d() -> d(), a__h(X, X) -> a__g(mark X, mark X, a__f a__k()), a__h(X1, X2) -> h(X1, X2), a__f X -> a__z(mark X, X), a__f X -> f X, a__A() -> a__h(a__f a__a(), a__f a__b()), a__A() -> A(), a__g(X1, X2, X3) -> g(X1, X2, X3), a__g(d(), X, X) -> a__A(), mark e() -> e(), mark l() -> l(), mark m() -> m(), mark d() -> a__d(), mark A() -> a__A(), mark a() -> a__a(), mark b() -> a__b(), mark c() -> a__c(), 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), a__z(X1, X2) -> z(X1, X2), a__z(e(), X) -> mark X} DP: DP: { a__a#() -> a__c#(), a__a#() -> a__d#(), a__b#() -> a__c#(), a__b#() -> a__d#(), a__h#(X, X) -> a__k#(), a__h#(X, X) -> a__f# a__k(), a__h#(X, X) -> a__g#(mark X, mark X, a__f a__k()), a__h#(X, X) -> mark# X, a__f# X -> mark# X, a__f# X -> a__z#(mark X, X), a__A#() -> a__a#(), a__A#() -> a__b#(), a__A#() -> a__h#(a__f a__a(), a__f a__b()), a__A#() -> a__f# a__a(), a__A#() -> a__f# a__b(), a__g#(d(), X, X) -> a__A#(), mark# d() -> a__d#(), mark# A() -> a__A#(), mark# a() -> a__a#(), mark# b() -> a__b#(), mark# c() -> a__c#(), mark# k() -> a__k#(), mark# z(X1, X2) -> mark# X1, mark# z(X1, X2) -> a__z#(mark X1, X2), mark# f X -> a__f# mark X, mark# f X -> mark# X, mark# h(X1, X2) -> a__h#(mark X1, mark X2), mark# h(X1, X2) -> mark# X1, mark# h(X1, X2) -> mark# X2, 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# X2, mark# g(X1, X2, X3) -> mark# X3, a__z#(e(), X) -> mark# X} TRS: { a__c() -> e(), a__c() -> l(), a__c() -> c(), a__a() -> a__c(), a__a() -> a__d(), a__a() -> a(), a__b() -> a__c(), a__b() -> a__d(), a__b() -> b(), a__k() -> l(), a__k() -> m(), a__k() -> k(), a__d() -> m(), a__d() -> d(), a__h(X, X) -> a__g(mark X, mark X, a__f a__k()), a__h(X1, X2) -> h(X1, X2), a__f X -> a__z(mark X, X), a__f X -> f X, a__A() -> a__h(a__f a__a(), a__f a__b()), a__A() -> A(), a__g(X1, X2, X3) -> g(X1, X2, X3), a__g(d(), X, X) -> a__A(), mark e() -> e(), mark l() -> l(), mark m() -> m(), mark d() -> a__d(), mark A() -> a__A(), mark a() -> a__a(), mark b() -> a__b(), mark c() -> a__c(), 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), a__z(X1, X2) -> z(X1, X2), a__z(e(), X) -> mark X} EDG: { (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__g#(mark X, mark X, a__f a__k())) (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# h(X1, X2) -> mark# X2, mark# g(X1, X2, X3) -> mark# X3) (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# X1) (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# h(X1, X2) -> mark# X2) (mark# h(X1, X2) -> mark# X2, mark# h(X1, X2) -> mark# X1) (mark# h(X1, X2) -> mark# X2, mark# h(X1, X2) -> a__h#(mark X1, mark X2)) (mark# h(X1, X2) -> mark# X2, mark# f X -> mark# X) (mark# h(X1, X2) -> mark# X2, mark# f X -> a__f# 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# 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# X2, mark# d() -> a__d#()) (a__h#(X, X) -> mark# X, mark# g(X1, X2, X3) -> mark# X3) (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# X1) (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# h(X1, X2) -> mark# X2) (a__h#(X, X) -> mark# X, mark# h(X1, X2) -> mark# X1) (a__h#(X, X) -> mark# X, mark# h(X1, X2) -> a__h#(mark X1, mark X2)) (a__h#(X, X) -> mark# X, mark# f X -> mark# X) (a__h#(X, X) -> mark# X, mark# f X -> a__f# 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# 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) -> mark# X, mark# d() -> a__d#()) (mark# f X -> mark# X, mark# g(X1, X2, X3) -> mark# X3) (mark# f X -> mark# X, mark# g(X1, X2, X3) -> mark# X2) (mark# f X -> mark# X, mark# g(X1, X2, X3) -> mark# X1) (mark# f X -> mark# X, mark# g(X1, X2, X3) -> a__g#(mark X1, mark X2, mark X3)) (mark# f X -> mark# X, mark# h(X1, X2) -> mark# X2) (mark# f X -> mark# X, mark# h(X1, X2) -> mark# X1) (mark# f X -> mark# X, mark# h(X1, X2) -> a__h#(mark X1, mark X2)) (mark# f X -> mark# X, mark# f X -> mark# X) (mark# f X -> mark# X, mark# f X -> a__f# 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# 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 -> mark# X, mark# d() -> a__d#()) (mark# z(X1, X2) -> a__z#(mark X1, X2), a__z#(e(), 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__h#(X, X) -> a__g#(mark X, mark X, a__f a__k()), a__g#(d(), X, X) -> a__A#()) (mark# g(X1, X2, X3) -> a__g#(mark X1, mark X2, mark X3), a__g#(d(), X, X) -> a__A#()) (mark# h(X1, X2) -> mark# X1, mark# g(X1, X2, X3) -> mark# X3) (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# X1) (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# h(X1, X2) -> mark# X2) (mark# h(X1, X2) -> mark# X1, mark# h(X1, X2) -> mark# X1) (mark# h(X1, X2) -> mark# X1, mark# h(X1, X2) -> a__h#(mark X1, mark X2)) (mark# h(X1, X2) -> mark# X1, mark# f X -> mark# X) (mark# h(X1, X2) -> mark# X1, mark# f X -> a__f# 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# 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) -> mark# X1, mark# d() -> a__d#()) (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__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) -> 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__a#(), a__a#() -> a__d#()) (a__A#() -> a__a#(), a__a#() -> a__c#()) (a__g#(d(), X, X) -> a__A#(), 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__h#(a__f a__a(), a__f a__b())) (a__g#(d(), X, X) -> a__A#(), a__A#() -> a__b#()) (a__g#(d(), X, X) -> a__A#(), a__A#() -> a__a#()) (mark# A() -> a__A#(), a__A#() -> a__f# a__b()) (mark# A() -> a__A#(), a__A#() -> a__f# a__a()) (mark# A() -> a__A#(), a__A#() -> a__h#(a__f a__a(), a__f a__b())) (mark# A() -> a__A#(), a__A#() -> a__b#()) (mark# A() -> a__A#(), a__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__c#()) (mark# a() -> a__a#(), a__a#() -> a__d#()) (a__A#() -> a__b#(), a__b#() -> a__c#()) (a__A#() -> a__b#(), a__b#() -> a__d#()) (mark# g(X1, X2, X3) -> mark# X1, mark# d() -> a__d#()) (mark# g(X1, X2, X3) -> mark# X1, mark# A() -> a__A#()) (mark# g(X1, X2, X3) -> mark# X1, mark# a() -> a__a#()) (mark# g(X1, X2, X3) -> mark# X1, mark# b() -> a__b#()) (mark# g(X1, X2, X3) -> mark# X1, mark# c() -> a__c#()) (mark# g(X1, X2, X3) -> mark# X1, mark# k() -> a__k#()) (mark# g(X1, X2, X3) -> mark# X1, mark# z(X1, X2) -> mark# X1) (mark# g(X1, X2, X3) -> mark# X1, mark# z(X1, X2) -> a__z#(mark X1, 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# 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# 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# z(X1, X2) -> mark# X1, mark# d() -> a__d#()) (mark# z(X1, X2) -> mark# X1, mark# A() -> a__A#()) (mark# z(X1, X2) -> mark# X1, mark# a() -> a__a#()) (mark# z(X1, X2) -> mark# X1, mark# b() -> a__b#()) (mark# z(X1, X2) -> mark# X1, mark# c() -> a__c#()) (mark# z(X1, X2) -> mark# X1, mark# k() -> a__k#()) (mark# z(X1, X2) -> mark# X1, mark# z(X1, X2) -> mark# X1) (mark# z(X1, X2) -> mark# X1, mark# z(X1, X2) -> a__z#(mark X1, 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# 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# 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# g(X1, X2, X3) -> mark# X3, mark# d() -> a__d#()) (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# X3, mark# b() -> a__b#()) (mark# g(X1, X2, X3) -> mark# X3, mark# c() -> a__c#()) (mark# g(X1, X2, X3) -> mark# X3, mark# k() -> a__k#()) (mark# g(X1, X2, X3) -> mark# X3, mark# z(X1, X2) -> mark# X1) (mark# g(X1, X2, X3) -> mark# X3, mark# z(X1, X2) -> a__z#(mark X1, 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# 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# 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) (a__A#() -> a__f# a__b(), a__f# X -> mark# X) (a__A#() -> a__f# a__b(), a__f# X -> a__z#(mark X, X)) (a__h#(X, X) -> a__f# a__k(), a__f# X -> mark# X) (a__h#(X, X) -> a__f# a__k(), a__f# X -> a__z#(mark X, X)) (a__z#(e(), X) -> mark# X, mark# d() -> a__d#()) (a__z#(e(), X) -> mark# X, mark# A() -> a__A#()) (a__z#(e(), X) -> mark# X, mark# a() -> a__a#()) (a__z#(e(), X) -> mark# X, mark# b() -> a__b#()) (a__z#(e(), X) -> mark# X, mark# c() -> a__c#()) (a__z#(e(), X) -> mark# X, mark# k() -> a__k#()) (a__z#(e(), X) -> mark# X, mark# z(X1, X2) -> mark# X1) (a__z#(e(), X) -> mark# X, mark# z(X1, X2) -> a__z#(mark X1, 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# 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# 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__f# X -> mark# X, mark# d() -> a__d#()) (a__f# X -> mark# X, mark# A() -> a__A#()) (a__f# X -> mark# X, mark# a() -> a__a#()) (a__f# X -> mark# X, mark# b() -> a__b#()) (a__f# X -> mark# X, mark# c() -> a__c#()) (a__f# X -> mark# X, mark# k() -> a__k#()) (a__f# X -> mark# X, mark# z(X1, X2) -> mark# X1) (a__f# X -> mark# X, mark# z(X1, X2) -> a__z#(mark X1, 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# 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# 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) (mark# g(X1, X2, X3) -> mark# X2, mark# d() -> a__d#()) (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# X2, mark# b() -> a__b#()) (mark# g(X1, X2, X3) -> mark# X2, mark# c() -> a__c#()) (mark# g(X1, X2, X3) -> mark# X2, mark# k() -> a__k#()) (mark# g(X1, X2, X3) -> mark# X2, mark# z(X1, X2) -> mark# X1) (mark# g(X1, X2, X3) -> mark# X2, mark# z(X1, X2) -> a__z#(mark X1, 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# 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# 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# f X -> a__f# mark X, a__f# X -> mark# X) (mark# f X -> a__f# mark X, a__f# X -> a__z#(mark X, X)) (a__f# X -> a__z#(mark X, X), a__z#(e(), X) -> mark# X) } STATUS: arrows: 0.820069 SCCS (1): Scc: { a__h#(X, X) -> a__f# a__k(), a__h#(X, X) -> a__g#(mark X, mark X, a__f a__k()), a__h#(X, X) -> mark# X, a__f# X -> mark# X, a__f# X -> a__z#(mark X, X), a__A#() -> a__h#(a__f a__a(), a__f a__b()), a__A#() -> a__f# a__a(), a__A#() -> a__f# a__b(), a__g#(d(), X, X) -> a__A#(), mark# A() -> a__A#(), mark# z(X1, X2) -> mark# X1, mark# z(X1, X2) -> a__z#(mark X1, X2), mark# f X -> a__f# mark X, mark# f X -> mark# X, mark# h(X1, X2) -> a__h#(mark X1, mark X2), mark# h(X1, X2) -> mark# X1, mark# h(X1, X2) -> mark# X2, 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# X2, mark# g(X1, X2, X3) -> mark# X3, a__z#(e(), X) -> mark# X} SCC (22): Strict: { a__h#(X, X) -> a__f# a__k(), a__h#(X, X) -> a__g#(mark X, mark X, a__f a__k()), a__h#(X, X) -> mark# X, a__f# X -> mark# X, a__f# X -> a__z#(mark X, X), a__A#() -> a__h#(a__f a__a(), a__f a__b()), a__A#() -> a__f# a__a(), a__A#() -> a__f# a__b(), a__g#(d(), X, X) -> a__A#(), mark# A() -> a__A#(), mark# z(X1, X2) -> mark# X1, mark# z(X1, X2) -> a__z#(mark X1, X2), mark# f X -> a__f# mark X, mark# f X -> mark# X, mark# h(X1, X2) -> a__h#(mark X1, mark X2), mark# h(X1, X2) -> mark# X1, mark# h(X1, X2) -> mark# X2, 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# X2, mark# g(X1, X2, X3) -> mark# X3, a__z#(e(), X) -> mark# X} Weak: { a__c() -> e(), a__c() -> l(), a__c() -> c(), a__a() -> a__c(), a__a() -> a__d(), a__a() -> a(), a__b() -> a__c(), a__b() -> a__d(), a__b() -> b(), a__k() -> l(), a__k() -> m(), a__k() -> k(), a__d() -> m(), a__d() -> d(), a__h(X, X) -> a__g(mark X, mark X, a__f a__k()), a__h(X1, X2) -> h(X1, X2), a__f X -> a__z(mark X, X), a__f X -> f X, a__A() -> a__h(a__f a__a(), a__f a__b()), a__A() -> A(), a__g(X1, X2, X3) -> g(X1, X2, X3), a__g(d(), X, X) -> a__A(), mark e() -> e(), mark l() -> l(), mark m() -> m(), mark d() -> a__d(), mark A() -> a__A(), mark a() -> a__a(), mark b() -> a__b(), mark c() -> a__c(), 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), a__z(X1, X2) -> z(X1, X2), a__z(e(), X) -> mark X} Open