/export/starexec/sandbox2/solver/bin/starexec_run_ttt2 /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- failure 'Failure("No result of SMT solver - maybe due to some flag of the solver? or the solver was not found in PATH?")' in subprocess 61019 failure 'Failure("No result of SMT solver - maybe due to some flag of the solver? or the solver was not found in PATH?")' in subprocess 61103 YES 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: Matrix Interpretation Processor: dim=1 interpretation: [c] = 0, [a__k] = 0, [A] = 1, [a__A] = 1, [a__c] = 0, [e] = 0, [a] = 0, [f](x0) = 4x0, [k] = 0, [b] = 0, [h](x0, x1) = 2x0 + 6x1 + 1, [l] = 0, [a__h](x0, x1) = 2x0 + 6x1 + 1, [a__a] = 0, [m] = 0, [z](x0, x1) = x0 + x1, [a__z](x0, x1) = x0 + 2x1, [a__g](x0, x1, x2) = x0 + 3x1 + 2x2 + 1, [g](x0, x1, x2) = x0 + 3x1 + 2x2 + 1, [mark](x0) = 2x0, [a__f](x0) = 4x0, [d] = 0, [a__d] = 0, [a__b] = 0 orientation: a__a() = 0 >= 0 = a__c() a__b() = 0 >= 0 = a__c() a__c() = 0 >= 0 = e() a__k() = 0 >= 0 = l() a__d() = 0 >= 0 = m() a__a() = 0 >= 0 = a__d() a__b() = 0 >= 0 = a__d() a__c() = 0 >= 0 = l() a__k() = 0 >= 0 = m() a__A() = 1 >= 1 = a__h(a__f(a__a()),a__f(a__b())) a__h(X,X) = 8X + 1 >= 8X + 1 = a__g(mark(X),mark(X),a__f(a__k())) a__g(d(),X,X) = 5X + 1 >= 1 = a__A() a__f(X) = 4X >= 4X = a__z(mark(X),X) a__z(e(),X) = 2X >= 2X = mark(X) mark(A()) = 2 >= 1 = a__A() mark(a()) = 0 >= 0 = a__a() mark(b()) = 0 >= 0 = a__b() mark(c()) = 0 >= 0 = a__c() mark(d()) = 0 >= 0 = a__d() mark(k()) = 0 >= 0 = a__k() mark(z(X1,X2)) = 2X1 + 2X2 >= 2X1 + 2X2 = a__z(mark(X1),X2) mark(f(X)) = 8X >= 8X = a__f(mark(X)) mark(h(X1,X2)) = 4X1 + 12X2 + 2 >= 4X1 + 12X2 + 1 = a__h(mark(X1),mark(X2)) mark(g(X1,X2,X3)) = 2X1 + 6X2 + 4X3 + 2 >= 2X1 + 6X2 + 4X3 + 1 = a__g(mark(X1),mark(X2),mark(X3)) mark(e()) = 0 >= 0 = e() mark(l()) = 0 >= 0 = l() mark(m()) = 0 >= 0 = m() a__A() = 1 >= 1 = A() a__a() = 0 >= 0 = a() a__b() = 0 >= 0 = b() a__c() = 0 >= 0 = c() a__d() = 0 >= 0 = d() a__k() = 0 >= 0 = k() a__z(X1,X2) = X1 + 2X2 >= X1 + X2 = z(X1,X2) a__f(X) = 4X >= 4X = f(X) a__h(X1,X2) = 2X1 + 6X2 + 1 >= 2X1 + 6X2 + 1 = h(X1,X2) a__g(X1,X2,X3) = X1 + 3X2 + 2X3 + 1 >= X1 + 3X2 + 2X3 + 1 = g(X1,X2,X3) 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(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(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) Matrix Interpretation Processor: dim=1 interpretation: [c] = 0, [a__k] = 0, [A] = 2, [a__A] = 2, [a__c] = 0, [e] = 0, [a] = 0, [f](x0) = 4x0, [k] = 0, [b] = 0, [h](x0, x1) = 2x0 + 4x1 + 2, [l] = 0, [a__h](x0, x1) = 4x0 + 4x1 + 2, [a__a] = 0, [m] = 0, [z](x0, x1) = x0 + 3x1, [a__z](x0, x1) = x0 + 3x1, [a__g](x0, x1, x2) = 2x0 + x1 + 2x2 + 2, [g](x0, x1, x2) = 2x0 + x1 + 2x2, [mark](x0) = x0, [a__f](x0) = 4x0, [d] = 0, [a__d] = 0, [a__b] = 0 orientation: a__a() = 0 >= 0 = a__c() a__b() = 0 >= 0 = a__c() a__c() = 0 >= 0 = e() a__k() = 0 >= 0 = l() a__d() = 0 >= 0 = m() a__a() = 0 >= 0 = a__d() a__b() = 0 >= 0 = a__d() a__c() = 0 >= 0 = l() a__k() = 0 >= 0 = m() a__A() = 2 >= 2 = a__h(a__f(a__a()),a__f(a__b())) a__h(X,X) = 8X + 2 >= 3X + 2 = a__g(mark(X),mark(X),a__f(a__k())) a__g(d(),X,X) = 3X + 2 >= 2 = a__A() a__f(X) = 4X >= 4X = a__z(mark(X),X) a__z(e(),X) = 3X >= X = mark(X) mark(a()) = 0 >= 0 = a__a() mark(b()) = 0 >= 0 = a__b() mark(c()) = 0 >= 0 = a__c() mark(d()) = 0 >= 0 = a__d() mark(k()) = 0 >= 0 = a__k() mark(z(X1,X2)) = X1 + 3X2 >= X1 + 3X2 = a__z(mark(X1),X2) mark(f(X)) = 4X >= 4X = a__f(mark(X)) mark(e()) = 0 >= 0 = e() mark(l()) = 0 >= 0 = l() mark(m()) = 0 >= 0 = m() a__A() = 2 >= 2 = A() a__a() = 0 >= 0 = a() a__b() = 0 >= 0 = b() a__c() = 0 >= 0 = c() a__d() = 0 >= 0 = d() a__k() = 0 >= 0 = k() a__z(X1,X2) = X1 + 3X2 >= X1 + 3X2 = z(X1,X2) a__f(X) = 4X >= 4X = f(X) a__h(X1,X2) = 4X1 + 4X2 + 2 >= 2X1 + 4X2 + 2 = h(X1,X2) a__g(X1,X2,X3) = 2X1 + X2 + 2X3 + 2 >= 2X1 + X2 + 2X3 = g(X1,X2,X3) 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(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(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) Matrix Interpretation Processor: dim=1 interpretation: [c] = 0, [a__k] = 0, [A] = 0, [a__A] = 2, [a__c] = 0, [e] = 0, [a] = 0, [f](x0) = 4x0, [k] = 0, [b] = 0, [h](x0, x1) = 2x0 + 2x1 + 2, [l] = 0, [a__h](x0, x1) = 4x0 + 4x1 + 2, [a__a] = 0, [m] = 0, [z](x0, x1) = x0 + x1, [a__z](x0, x1) = x0 + x1, [a__g](x0, x1, x2) = 4x0 + 4x1 + 4x2 + 2, [mark](x0) = x0, [a__f](x0) = 4x0, [d] = 0, [a__d] = 0, [a__b] = 0 orientation: a__a() = 0 >= 0 = a__c() a__b() = 0 >= 0 = a__c() a__c() = 0 >= 0 = e() a__k() = 0 >= 0 = l() a__d() = 0 >= 0 = m() a__a() = 0 >= 0 = a__d() a__b() = 0 >= 0 = a__d() a__c() = 0 >= 0 = l() a__k() = 0 >= 0 = m() a__A() = 2 >= 2 = a__h(a__f(a__a()),a__f(a__b())) a__h(X,X) = 8X + 2 >= 8X + 2 = a__g(mark(X),mark(X),a__f(a__k())) a__g(d(),X,X) = 8X + 2 >= 2 = a__A() a__f(X) = 4X >= 2X = a__z(mark(X),X) a__z(e(),X) = X >= X = mark(X) mark(a()) = 0 >= 0 = a__a() mark(b()) = 0 >= 0 = a__b() mark(c()) = 0 >= 0 = a__c() mark(d()) = 0 >= 0 = a__d() mark(k()) = 0 >= 0 = a__k() mark(z(X1,X2)) = X1 + X2 >= X1 + X2 = a__z(mark(X1),X2) mark(f(X)) = 4X >= 4X = a__f(mark(X)) mark(e()) = 0 >= 0 = e() mark(l()) = 0 >= 0 = l() mark(m()) = 0 >= 0 = m() a__A() = 2 >= 0 = A() a__a() = 0 >= 0 = a() a__b() = 0 >= 0 = b() a__c() = 0 >= 0 = c() a__d() = 0 >= 0 = d() a__k() = 0 >= 0 = k() a__z(X1,X2) = X1 + X2 >= X1 + X2 = z(X1,X2) a__f(X) = 4X >= 4X = f(X) a__h(X1,X2) = 4X1 + 4X2 + 2 >= 2X1 + 2X2 + 2 = h(X1,X2) 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(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(e()) -> e() mark(l()) -> l() mark(m()) -> m() 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) Matrix Interpretation Processor: dim=1 interpretation: [c] = 0, [a__k] = 0, [a__A] = 1, [a__c] = 0, [e] = 0, [a] = 0, [f](x0) = 3x0, [k] = 0, [b] = 0, [h](x0, x1) = 4x0 + x1, [l] = 0, [a__h](x0, x1) = 4x0 + 2x1 + 1, [a__a] = 0, [m] = 0, [z](x0, x1) = 2x0 + x1, [a__z](x0, x1) = 2x0 + x1, [a__g](x0, x1, x2) = x0 + 3x1 + 4x2 + 1, [mark](x0) = x0, [a__f](x0) = 3x0, [d] = 0, [a__d] = 0, [a__b] = 0 orientation: a__a() = 0 >= 0 = a__c() a__b() = 0 >= 0 = a__c() a__c() = 0 >= 0 = e() a__k() = 0 >= 0 = l() a__d() = 0 >= 0 = m() a__a() = 0 >= 0 = a__d() a__b() = 0 >= 0 = a__d() a__c() = 0 >= 0 = l() a__k() = 0 >= 0 = m() a__A() = 1 >= 1 = a__h(a__f(a__a()),a__f(a__b())) a__h(X,X) = 6X + 1 >= 4X + 1 = a__g(mark(X),mark(X),a__f(a__k())) a__g(d(),X,X) = 7X + 1 >= 1 = a__A() a__f(X) = 3X >= 3X = a__z(mark(X),X) a__z(e(),X) = X >= X = mark(X) mark(a()) = 0 >= 0 = a__a() mark(b()) = 0 >= 0 = a__b() mark(c()) = 0 >= 0 = a__c() mark(d()) = 0 >= 0 = a__d() mark(k()) = 0 >= 0 = a__k() mark(z(X1,X2)) = 2X1 + X2 >= 2X1 + X2 = a__z(mark(X1),X2) mark(f(X)) = 3X >= 3X = a__f(mark(X)) mark(e()) = 0 >= 0 = e() mark(l()) = 0 >= 0 = l() mark(m()) = 0 >= 0 = m() a__a() = 0 >= 0 = a() a__b() = 0 >= 0 = b() a__c() = 0 >= 0 = c() a__d() = 0 >= 0 = d() a__k() = 0 >= 0 = k() a__z(X1,X2) = 2X1 + X2 >= 2X1 + X2 = z(X1,X2) a__f(X) = 3X >= 3X = f(X) a__h(X1,X2) = 4X1 + 2X2 + 1 >= 4X1 + X2 = h(X1,X2) 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(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(e()) -> e() mark(l()) -> l() mark(m()) -> m() 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) 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#(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)) 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(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(e()) -> e() mark(l()) -> l() mark(m()) -> m() 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) 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#(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)) 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(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(e()) -> e() mark(l()) -> l() mark(m()) -> m() 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) graph: 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__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#(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)) -> 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#(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#(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#() 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#(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) -> 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#(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__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: 2 #rules: 10 #arcs: 73/676 DPs: a__g#(d(),X,X) -> 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(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(e()) -> e() mark(l()) -> l() mark(m()) -> m() 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) Bounds Processor: bound: 2 enrichment: top-dp automaton: final states: {16,10} transitions: a__z2(120,109) -> 110* a__z2(120,117) -> 110* a__z2(121,122) -> 40,110,119* a__z2(121,109) -> 110* a__z2(122,122) -> 40,110,119* a__z2(122,109) -> 110* a__z2(122,117) -> 40,110,119* a__z2(120,122) -> 110* a__z2(121,117) -> 40,119*,110 a__g{#,0}(15,119,9) -> 9* a__g{#,0}(13,119,11) -> 10* a__g{#,0}(16,40,117) -> 9* a__g{#,0}(16,9,121) -> 9* a__g{#,0}(122,9,122) -> 9* a__g{#,0}(9,9,121) -> 9* a__g{#,0}(121,12,119) -> 10* a__g{#,0}(40,40,122) -> 16*,10,9 a__g{#,0}(40,121,117) -> 16*,10,9 a__g{#,0}(9,117,119) -> 9* a__g{#,0}(122,14,118) -> 16*,9,10 a__g{#,0}(118,119,15) -> 16*,9,10 a__g{#,0}(121,9,117) -> 9* a__g{#,0}(40,14,16) -> 9* a__g{#,0}(9,9,122) -> 9* a__g{#,0}(122,122,119) -> 16*,9,10 a__g{#,0}(118,16,14) -> 9* a__g{#,0}(40,40,9) -> 9* a__g{#,0}(40,122,11) -> 10* a__g{#,0}(9,40,117) -> 9* a__g{#,0}(16,117,9) -> 9* a__g{#,0}(118,15,16) -> 9* a__g{#,0}(119,121,122) -> 16*,9,10 a__g{#,0}(40,14,117) -> 16*,9,10 a__g{#,0}(14,122,40) -> 16*,9,10 a__g{#,0}(16,16,16) -> 9* a__g{#,0}(13,12,11) -> 10* a__g{#,0}(9,122,40) -> 9* a__g{#,0}(40,121,14) -> 9* a__g{#,0}(117,12,122) -> 10* a__g{#,0}(117,117,117) -> 16*,9,10 a__g{#,0}(117,40,40) -> 16*,10,9 a__g{#,0}(119,122,121) -> 16*,10,9 a__g{#,0}(14,121,14) -> 9* a__g{#,0}(118,119,16) -> 9* a__g{#,0}(15,118,119) -> 9* a__g{#,0}(118,15,122) -> 9* a__g{#,0}(15,121,119) -> 9* a__g{#,0}(122,121,11) -> 10* a__g{#,0}(9,9,119) -> 9* a__g{#,0}(122,118,14) -> 9* a__g{#,0}(119,40,122) -> 16*,10,9 a__g{#,0}(16,119,121) -> 9* a__g{#,0}(15,40,16) -> 9* a__g{#,0}(15,9,122) -> 9* a__g{#,0}(118,15,117) -> 9* a__g{#,0}(16,15,119) -> 9* a__g{#,0}(119,117,118) -> 16*,9,10 a__g{#,0}(9,118,9) -> 9* a__g{#,0}(9,9,9) -> 9* a__g{#,0}(9,121,9) -> 9* a__g{#,0}(118,122,121) -> 16*,10,9 a__g{#,0}(13,40,121) -> 10* a__g{#,0}(14,122,16) -> 9* a__g{#,0}(15,121,16) -> 9* a__g{#,0}(118,40,121) -> 16*,10,9 a__g{#,0}(118,121,119) -> 16*,9,10 a__g{#,0}(40,40,118) -> 16*,10,9 a__g{#,0}(14,15,15) -> 9* a__g{#,0}(119,118,9) -> 9* a__g{#,0}(9,14,118) -> 9* a__g{#,0}(122,14,119) -> 16*,9,10 a__g{#,0}(16,15,121) -> 9* a__g{#,0}(118,12,40) -> 10* a__g{#,0}(118,117,9) -> 9* a__g{#,0}(119,16,16) -> 9* a__g{#,0}(122,16,15) -> 9* a__g{#,0}(40,40,121) -> 16*,10,9 a__g{#,0}(121,121,121) -> 16*,10,9 a__g{#,0}(118,16,9) -> 9* a__g{#,0}(9,16,15) -> 9* a__g{#,0}(14,121,119) -> 16*,9,10 a__g{#,0}(121,16,9) -> 9* a__g{#,0}(118,122,118) -> 16*,9,10 a__g{#,0}(15,117,40) -> 9* a__g{#,0}(118,117,15) -> 16*,10,9 a__g{#,0}(119,118,122) -> 16*,10,9 a__g{#,0}(16,117,118) -> 9* a__g{#,0}(119,12,11) -> 10* a__g{#,0}(119,118,121) -> 16*,9,10 a__g{#,0}(117,15,40) -> 9* a__g{#,0}(13,121,121) -> 10* a__g{#,0}(121,121,118) -> 16*,9,10 a__g{#,0}(16,14,119) -> 9* a__g{#,0}(119,122,11) -> 10* a__g{#,0}(13,14,121) -> 10* a__g{#,0}(119,14,122) -> 16*,9,10 a__g{#,0}(122,15,9) -> 9* a__g{#,0}(117,12,117) -> 10* a__g{#,0}(13,14,118) -> 10* a__g{#,0}(121,16,122) -> 9* a__g{#,0}(117,40,121) -> 16*,10,9 a__g{#,0}(122,119,15) -> 16*,9,10 a__g{#,0}(122,119,118) -> 16*,9,10 a__g{#,0}(121,119,9) -> 9* a__g{#,0}(9,9,16) -> 9* a__g{#,0}(14,122,117) -> 16*,9,10 a__g{#,0}(16,122,40) -> 9* a__g{#,0}(122,117,119) -> 16*,9,10 a__g{#,0}(121,118,119) -> 16*,9,10 a__g{#,0}(14,15,117) -> 9* a__g{#,0}(117,119,11) -> 10* a__g{#,0}(16,117,15) -> 9* a__g{#,0}(121,121,40) -> 16*,9,10 a__g{#,0}(118,118,118) -> 16*,9,10 a__g{#,0}(121,16,16) -> 9* a__g{#,0}(14,119,118) -> 16*,9,10 a__g{#,0}(117,14,121) -> 16*,9,10 a__g{#,0}(40,14,14) -> 9* a__g{#,0}(40,118,11) -> 10* a__g{#,0}(118,12,11) -> 10* a__g{#,0}(9,122,9) -> 9* a__g{#,0}(16,40,122) -> 9* a__g{#,0}(40,118,15) -> 16*,10,9 a__g{#,0}(122,12,40) -> 10* a__g{#,0}(122,12,118) -> 10* a__g{#,0}(118,119,122) -> 16*,10,9 a__g{#,0}(16,14,121) -> 9* a__g{#,0}(16,9,117) -> 9* a__g{#,0}(118,118,40) -> 16*,10,9 a__g{#,0}(121,9,14) -> 9* a__g{#,0}(119,14,119) -> 16*,9,10 a__g{#,0}(9,40,121) -> 9* a__g{#,0}(122,16,14) -> 9* a__g{#,0}(16,122,117) -> 9* a__g{#,0}(121,40,40) -> 16*,9,10 a__g{#,0}(122,9,119) -> 9* a__g{#,0}(118,40,15) -> 16*,10,9 a__g{#,0}(9,14,121) -> 9* a__g{#,0}(15,14,15) -> 9* a__g{#,0}(16,40,119) -> 9* a__g{#,0}(40,15,119) -> 9* a__g{#,0}(9,14,119) -> 9* a__g{#,0}(16,9,14) -> 9* a__g{#,0}(121,118,15) -> 16*,9,10 a__g{#,0}(117,16,16) -> 9* a__g{#,0}(14,117,9) -> 9* a__g{#,0}(119,117,9) -> 9* a__g{#,0}(121,119,40) -> 16*,9,10 a__g{#,0}(117,122,16) -> 9* a__g{#,0}(9,122,121) -> 9* a__g{#,0}(122,40,11) -> 10* a__g{#,0}(40,15,117) -> 9* a__g{#,0}(16,9,9) -> 9* a__g{#,0}(13,122,40) -> 10* a__g{#,0}(14,12,122) -> 10* a__g{#,0}(119,15,119) -> 9* a__g{#,0}(119,14,15) -> 16*,10,9 a__g{#,0}(121,118,16) -> 9* a__g{#,0}(40,16,14) -> 9* a__g{#,0}(40,9,119) -> 9* a__g{#,0}(121,122,15) -> 16*,9,10 a__g{#,0}(9,118,117) -> 9* a__g{#,0}(40,14,11) -> 10* a__g{#,0}(14,9,122) -> 9* a__g{#,0}(40,119,40) -> 16*,9,10 a__g{#,0}(119,16,119) -> 9* a__g{#,0}(16,122,119) -> 9* a__g{#,0}(117,119,16) -> 9* a__g{#,0}(122,15,117) -> 9* a__g{#,0}(9,16,121) -> 9* a__g{#,0}(121,16,118) -> 9* a__g{#,0}(40,9,118) -> 9* a__g{#,0}(40,15,40) -> 9* a__g{#,0}(16,9,16) -> 9* a__g{#,0}(14,117,122) -> 16*,9,10 a__g{#,0}(14,12,121) -> 10* a__g{#,0}(16,121,117) -> 9* a__g{#,0}(117,15,15) -> 9* a__g{#,0}(40,119,117) -> 16*,9,10 a__g{#,0}(117,117,121) -> 16*,10,9 a__g{#,0}(13,118,11) -> 10* a__g{#,0}(9,16,118) -> 9* a__g{#,0}(119,121,9) -> 9* a__g{#,0}(16,117,122) -> 9* a__g{#,0}(16,40,14) -> 9* a__g{#,0}(16,9,40) -> 9* a__g{#,0}(14,40,40) -> 16*,10,9 a__g{#,0}(118,14,121) -> 16*,9,10 a__g{#,0}(40,9,9) -> 9* a__g{#,0}(9,119,14) -> 9* a__g{#,0}(119,9,121) -> 9* a__g{#,0}(117,119,14) -> 9* a__g{#,0}(14,14,118) -> 16*,9,10 a__g{#,0}(15,40,9) -> 9* a__g{#,0}(15,117,14) -> 9* a__g{#,0}(15,118,40) -> 9* a__g{#,0}(121,16,117) -> 9* a__g{#,0}(119,119,16) -> 9* a__g{#,0}(119,12,122) -> 10* a__g{#,0}(40,117,121) -> 16*,10,9 a__g{#,0}(118,15,121) -> 9* a__g{#,0}(119,15,121) -> 9* a__g{#,0}(14,122,9) -> 9* a__g{#,0}(117,118,118) -> 16*,9,10 a__g{#,0}(117,118,11) -> 10* a__g{#,0}(117,122,119) -> 16*,9,10 a__g{#,0}(118,16,15) -> 9* a__g{#,0}(14,14,14) -> 9* a__g{#,0}(118,14,9) -> 9* a__g{#,0}(14,14,117) -> 16*,9,10 a__g{#,0}(117,15,117) -> 9* a__g{#,0}(14,117,118) -> 16*,9,10 a__g{#,0}(118,16,121) -> 9* a__g{#,0}(117,16,14) -> 9* a__g{#,0}(15,16,118) -> 9* a__g{#,0}(119,40,11) -> 10* a__g{#,0}(119,118,14) -> 9* a__g{#,0}(15,122,122) -> 9* a__g{#,0}(9,9,14) -> 9* a__g{#,0}(118,15,119) -> 9* a__g{#,0}(122,15,15) -> 9* a__g{#,0}(40,14,15) -> 16*,10,9 a__g{#,0}(14,9,117) -> 9* a__g{#,0}(9,117,122) -> 9* a__g{#,0}(40,9,16) -> 9* a__g{#,0}(9,16,16) -> 9* a__g{#,0}(121,118,121) -> 16*,9,10 a__g{#,0}(14,121,121) -> 16*,10,9 a__g{#,0}(122,14,122) -> 16*,9,10 a__g{#,0}(121,14,15) -> 16*,9,10 a__g{#,0}(121,12,121) -> 10* a__g{#,0}(40,16,117) -> 9* a__g{#,0}(13,12,40) -> 10* a__g{#,0}(16,117,16) -> 9* a__g{#,0}(9,15,122) -> 9* a__g{#,0}(121,118,40) -> 16*,9,10 a__g{#,0}(121,118,9) -> 9* a__g{#,0}(119,118,40) -> 16*,10,9 a__g{#,0}(119,117,121) -> 16*,10,9 a__g{#,0}(40,121,122) -> 16*,10,9 a__g{#,0}(14,122,119) -> 16*,9,10 a__g{#,0}(118,117,16) -> 9* a__g{#,0}(122,121,9) -> 9* a__g{#,0}(119,40,119) -> 16*,9,10 a__g{#,0}(118,121,9) -> 9* a__g{#,0}(16,15,118) -> 9* a__g{#,0}(117,122,121) -> 16*,10,9 a__g{#,0}(119,122,119) -> 16*,9,10 a__g{#,0}(118,14,119) -> 16*,9,10 a__g{#,0}(118,122,16) -> 9* a__g{#,0}(117,119,15) -> 16*,9,10 a__g{#,0}(15,9,118) -> 9* a__g{#,0}(117,40,16) -> 9* a__g{#,0}(118,14,40) -> 16*,10,9 a__g{#,0}(16,119,16) -> 9* a__g{#,0}(40,117,117) -> 16*,9,10 a__g{#,0}(119,122,40) -> 16*,9,10 a__g{#,0}(9,119,9) -> 9* a__g{#,0}(122,12,122) -> 10* a__g{#,0}(9,15,40) -> 9* a__g{#,0}(9,14,117) -> 9* a__g{#,0}(14,16,119) -> 9* a__g{#,0}(9,9,15) -> 9* a__g{#,0}(122,118,121) -> 16*,9,10 a__g{#,0}(122,40,118) -> 16*,10,9 a__g{#,0}(122,9,14) -> 9* a__g{#,0}(118,117,118) -> 16*,9,10 a__g{#,0}(40,14,122) -> 16*,9,10 a__g{#,0}(9,121,119) -> 9* a__g{#,0}(118,40,14) -> 9* a__g{#,0}(121,122,118) -> 16*,9,10 a__g{#,0}(16,119,118) -> 9* a__g{#,0}(13,12,117) -> 10* a__g{#,0}(118,119,14) -> 9* a__g{#,0}(16,121,16) -> 9* a__g{#,0}(13,117,121) -> 10* a__g{#,0}(40,122,14) -> 9* a__g{#,0}(13,12,15) -> 10* a__g{#,0}(121,15,14) -> 9* a__g{#,0}(15,117,121) -> 9* a__g{#,0}(40,12,118) -> 10* a__g{#,0}(119,121,121) -> 16*,10,9 a__g{#,0}(9,15,119) -> 9* a__g{#,0}(13,119,122) -> 10* a__g{#,0}(14,121,15) -> 16*,10,9 a__g{#,0}(119,119,11) -> 10* a__g{#,0}(40,40,16) -> 9* a__g{#,0}(122,119,16) -> 9* a__g{#,0}(122,118,40) -> 16*,10,9 a__g{#,0}(121,118,11) -> 10* a__g{#,0}(15,121,40) -> 9* a__g{#,0}(40,15,121) -> 9* a__g{#,0}(118,117,14) -> 9* a__g{#,0}(122,16,40) -> 9* a__g{#,0}(40,16,121) -> 9* a__g{#,0}(119,121,15) -> 16*,10,9 a__g{#,0}(121,121,11) -> 10* a__g{#,0}(13,117,117) -> 10* a__g{#,0}(119,122,9) -> 9* a__g{#,0}(122,16,117) -> 9* a__g{#,0}(15,40,118) -> 9* a__g{#,0}(9,118,119) -> 9* a__g{#,0}(118,12,15) -> 10* a__g{#,0}(117,117,122) -> 16*,9,10 a__g{#,0}(15,40,14) -> 9* a__g{#,0}(122,40,40) -> 16*,10,9 a__g{#,0}(118,121,15) -> 16*,10,9 a__g{#,0}(9,117,117) -> 9* a__g{#,0}(119,15,122) -> 9* a__g{#,0}(119,117,11) -> 10* a__g{#,0}(40,121,16) -> 9* a__g{#,0}(119,121,16) -> 9* a__g{#,0}(118,14,11) -> 10* a__g{#,0}(122,12,119) -> 10* a__g{#,0}(16,15,14) -> 9* a__g{#,0}(122,14,11) -> 10* a__g{#,0}(119,9,122) -> 9* a__g{#,0}(40,117,122) -> 16*,9,10 a__g{#,0}(16,9,118) -> 9* a__g{#,0}(121,117,15) -> 16*,9,10 a__g{#,0}(40,122,119) -> 16*,9,10 a__g{#,0}(122,40,15) -> 16*,10,9 a__g{#,0}(13,12,121) -> 10* a__g{#,0}(117,121,40) -> 16*,9,10 a__g{#,0}(122,40,9) -> 9* a__g{#,0}(118,40,122) -> 16*,10,9 a__g{#,0}(15,118,117) -> 9* a__g{#,0}(16,14,9) -> 9* a__g{#,0}(14,119,11) -> 10* a__g{#,0}(16,14,40) -> 9* a__g{#,0}(117,121,119) -> 16*,9,10 a__g{#,0}(16,122,15) -> 9* a__g{#,0}(40,9,122) -> 9* a__g{#,0}(9,16,40) -> 9* a__g{#,0}(121,12,118) -> 10* a__g{#,0}(13,122,122) -> 10* a__g{#,0}(15,15,15) -> 9* a__g{#,0}(40,15,118) -> 9* a__g{#,0}(121,9,40) -> 9* a__g{#,0}(117,9,118) -> 9* a__g{#,0}(117,119,122) -> 16*,9,10 a__g{#,0}(16,118,9) -> 9* a__g{#,0}(119,118,15) -> 16*,9,10 a__g{#,0}(118,9,16) -> 9* a__g{#,0}(14,12,117) -> 10* a__g{#,0}(118,118,11) -> 10* a__g{#,0}(16,122,122) -> 9* a__g{#,0}(40,117,40) -> 16*,10,9 a__g{#,0}(15,118,16) -> 9* a__g{#,0}(117,9,14) -> 9* a__g{#,0}(117,9,15) -> 9* a__g{#,0}(118,121,118) -> 16*,9,10 a__g{#,0}(122,14,15) -> 16*,10,9 a__g{#,0}(16,119,117) -> 9* a__g{#,0}(16,119,40) -> 9* a__g{#,0}(14,40,11) -> 10* a__g{#,0}(40,119,14) -> 9* a__g{#,0}(16,118,121) -> 9* a__g{#,0}(117,40,9) -> 9* a__g{#,0}(118,121,122) -> 16*,10,9 a__g{#,0}(15,9,119) -> 9* a__g{#,0}(14,9,14) -> 9* a__g{#,0}(14,121,118) -> 16*,9,10 a__g{#,0}(117,121,117) -> 16*,9,10 a__g{#,0}(117,15,9) -> 9* a__g{#,0}(119,122,118) -> 16*,9,10 a__g{#,0}(121,122,122) -> 16*,9,10 a__g{#,0}(14,15,118) -> 9* a__g{#,0}(121,12,15) -> 10* a__g{#,0}(121,12,122) -> 10* a__g{#,0}(118,122,122) -> 16*,9,10 a__g{#,0}(9,117,16) -> 9* a__g{#,0}(122,9,118) -> 9* a__g{#,0}(16,14,117) -> 9* a__g{#,0}(9,119,117) -> 9* a__g{#,0}(122,121,117) -> 16*,9,10 a__g{#,0}(117,121,121) -> 16*,9,10 a__g{#,0}(14,119,9) -> 9* a__g{#,0}(15,40,119) -> 9* a__g{#,0}(119,15,117) -> 9* a__g{#,0}(119,16,122) -> 9* a__g{#,0}(118,122,15) -> 16*,9,10 a__g{#,0}(117,122,15) -> 16*,9,10 a__g{#,0}(14,118,11) -> 10* a__g{#,0}(9,9,117) -> 9* a__g{#,0}(119,121,118) -> 16*,9,10 a__g{#,0}(14,9,119) -> 9* a__g{#,0}(9,117,14) -> 9* a__g{#,0}(118,40,9) -> 9* a__g{#,0}(40,9,14) -> 9* a__g{#,0}(122,118,16) -> 9* a__g{#,0}(122,121,122) -> 16*,9,10 a__g{#,0}(119,122,14) -> 9* a__g{#,0}(122,121,40) -> 16*,9,10 a__g{#,0}(118,9,15) -> 9* a__g{#,0}(9,14,122) -> 9* a__g{#,0}(118,15,9) -> 9* a__g{#,0}(122,16,118) -> 9* a__g{#,0}(121,118,122) -> 16*,9,10 a__g{#,0}(122,122,14) -> 9* a__g{#,0}(14,121,122) -> 16*,9,10 a__g{#,0}(118,12,121) -> 10* a__g{#,0}(121,15,9) -> 9* a__g{#,0}(15,119,118) -> 9* a__g{#,0}(40,118,118) -> 16*,9,10 a__g{#,0}(122,16,16) -> 9* a__g{#,0}(119,121,14) -> 9* a__g{#,0}(121,9,9) -> 9* a__g{#,0}(16,15,15) -> 9* a__g{#,0}(9,119,122) -> 9* a__g{#,0}(117,119,117) -> 16*,9,10 a__g{#,0}(118,14,117) -> 16*,9,10 a__g{#,0}(119,9,117) -> 9* a__g{#,0}(16,117,121) -> 9* a__g{#,0}(119,121,117) -> 16*,9,10 a__g{#,0}(119,117,40) -> 16*,10,9 a__g{#,0}(118,15,15) -> 9* a__g{#,0}(117,121,118) -> 16*,9,10 a__g{#,0}(16,121,14) -> 9* a__g{#,0}(117,121,9) -> 9* a__g{#,0}(121,119,11) -> 10* a__g{#,0}(9,40,16) -> 9* a__g{#,0}(117,15,119) -> 9* a__g{#,0}(14,119,122) -> 16*,9,10 a__g{#,0}(9,118,40) -> 9* a__g{#,0}(122,119,119) -> 16*,9,10 a__g{#,0}(121,14,16) -> 9* a__g{#,0}(121,40,11) -> 10* a__g{#,0}(119,119,118) -> 16*,9,10 a__g{#,0}(40,121,119) -> 16*,9,10 a__g{#,0}(15,15,117) -> 9* a__g{#,0}(14,119,117) -> 16*,9,10 a__g{#,0}(119,14,121) -> 16*,9,10 a__g{#,0}(13,40,40) -> 10* a__g{#,0}(40,119,11) -> 10* a__g{#,0}(117,16,122) -> 9* a__g{#,0}(118,9,119) -> 9* a__g{#,0}(13,122,118) -> 10* a__g{#,0}(119,118,118) -> 16*,9,10 a__g{#,0}(15,40,40) -> 9* a__g{#,0}(14,40,121) -> 16*,10,9 a__g{#,0}(119,40,14) -> 9* a__g{#,0}(122,119,117) -> 16*,10,9 a__g{#,0}(16,15,117) -> 9* a__g{#,0}(14,16,117) -> 9* a__g{#,0}(122,122,11) -> 10* a__g{#,0}(40,14,121) -> 16*,10,9 a__g{#,0}(40,118,122) -> 16*,10,9 a__g{#,0}(9,121,14) -> 9* a__g{#,0}(119,9,119) -> 9* a__g{#,0}(122,15,16) -> 9* a__g{#,0}(121,40,121) -> 16*,9,10 a__g{#,0}(13,117,15) -> 10* a__g{#,0}(118,118,9) -> 9* a__g{#,0}(121,40,119) -> 16*,9,10 a__g{#,0}(119,9,15) -> 9* a__g{#,0}(118,40,40) -> 16*,10,9 a__g{#,0}(121,122,117) -> 16*,9,10 a__g{#,0}(15,122,9) -> 9* a__g{#,0}(15,40,15) -> 9* a__g{#,0}(121,9,15) -> 9* a__g{#,0}(121,121,14) -> 9* a__g{#,0}(118,118,119) -> 16*,9,10 a__g{#,0}(14,119,15) -> 16*,9,10 a__g{#,0}(121,14,122) -> 16*,9,10 a__g{#,0}(118,40,119) -> 16*,9,10 a__g{#,0}(117,117,118) -> 16*,9,10 a__g{#,0}(117,122,9) -> 9* a__g{#,0}(40,117,11) -> 10* a__g{#,0}(40,15,9) -> 9* a__g{#,0}(15,16,15) -> 9* a__g{#,0}(119,16,121) -> 9* a__g{#,0}(13,117,11) -> 10* a__g{#,0}(122,117,11) -> 10* a__g{#,0}(16,14,15) -> 9* a__g{#,0}(13,40,119) -> 10* a__g{#,0}(121,40,117) -> 16*,9,10 a__g{#,0}(122,14,40) -> 16*,10,9 a__g{#,0}(122,15,119) -> 9* a__g{#,0}(122,122,9) -> 9* a__g{#,0}(117,14,11) -> 10* a__g{#,0}(119,119,121) -> 16*,10,9 a__g{#,0}(14,40,9) -> 9* a__g{#,0}(117,14,14) -> 9* a__g{#,0}(13,117,40) -> 10* a__g{#,0}(16,122,9) -> 9* a__g{#,0}(118,122,9) -> 9* a__g{#,0}(14,40,119) -> 16*,9,10 a__g{#,0}(121,14,11) -> 10* a__g{#,0}(118,9,118) -> 9* a__g{#,0}(122,117,15) -> 16*,10,9 a__g{#,0}(121,16,14) -> 9* a__g{#,0}(14,15,14) -> 9* a__g{#,0}(121,117,118) -> 16*,9,10 a__g{#,0}(16,16,121) -> 9* a__g{#,0}(118,12,118) -> 10* a__g{#,0}(9,117,9) -> 9* a__g{#,0}(122,40,14) -> 9* a__g{#,0}(9,119,16) -> 9* a__g{#,0}(40,117,118) -> 16*,9,10 a__g{#,0}(122,119,11) -> 10* a__g{#,0}(122,122,117) -> 16*,9,10 a__g{#,0}(15,14,119) -> 9* a__g{#,0}(119,15,15) -> 9* a__g{#,0}(13,40,117) -> 10* a__g{#,0}(122,15,14) -> 9* a__g{#,0}(117,16,118) -> 9* a__g{#,0}(15,9,16) -> 9* a__g{#,0}(122,118,9) -> 9* a__g{#,0}(14,117,15) -> 16*,10,9 a__g{#,0}(40,119,122) -> 16*,9,10 a__g{#,0}(14,14,122) -> 16*,9,10 a__g{#,0}(119,14,40) -> 16*,10,9 a__g{#,0}(117,14,118) -> 16*,9,10 a__g{#,0}(122,40,119) -> 16*,9,10 a__g{#,0}(16,119,14) -> 9* a__g{#,0}(117,40,122) -> 16*,10,9 a__g{#,0}(118,14,15) -> 16*,10,9 a__g{#,0}(117,122,118) -> 16*,9,10 a__g{#,0}(14,118,119) -> 16*,9,10 a__g{#,0}(16,9,122) -> 9* a__g{#,0}(40,122,122) -> 16*,9,10 a__g{#,0}(9,16,122) -> 9* a__g{#,0}(119,119,122) -> 16*,9,10 a__g{#,0}(40,118,117) -> 16*,10,9 a__g{#,0}(118,119,118) -> 16*,9,10 a__g{#,0}(121,117,121) -> 16*,10,9 a__g{#,0}(16,121,121) -> 9* a__g{#,0}(122,14,9) -> 9* a__g{#,0}(40,14,40) -> 16*,10,9 a__g{#,0}(118,16,40) -> 9* a__g{#,0}(121,40,118) -> 16*,9,10 a__g{#,0}(15,14,117) -> 9* a__g{#,0}(119,12,15) -> 10* a__g{#,0}(122,14,16) -> 9* a__g{#,0}(14,122,15) -> 16*,9,10 a__g{#,0}(14,122,118) -> 16*,9,10 a__g{#,0}(15,9,121) -> 9* a__g{#,0}(14,118,117) -> 16*,10,9 a__g{#,0}(117,9,121) -> 9* a__g{#,0}(119,40,15) -> 16*,10,9 a__g{#,0}(15,121,118) -> 9* a__g{#,0}(16,122,118) -> 9* a__g{#,0}(40,121,40) -> 16*,10,9 a__g{#,0}(40,119,118) -> 16*,9,10 a__g{#,0}(9,40,15) -> 9* a__g{#,0}(118,118,15) -> 16*,10,9 a__g{#,0}(15,119,16) -> 9* a__g{#,0}(14,122,122) -> 16*,9,10 a__g{#,0}(121,121,16) -> 9* a__g{#,0}(119,14,117) -> 16*,9,10 a__g{#,0}(40,16,40) -> 9* a__g{#,0}(122,40,117) -> 16*,10,9 a__g{#,0}(15,9,15) -> 9* a__g{#,0}(15,122,118) -> 9* a__g{#,0}(118,122,11) -> 10* a__g{#,0}(118,118,121) -> 16*,9,10 a__g{#,0}(15,9,40) -> 9* a__g{#,0}(121,122,11) -> 10* a__g{#,0}(122,118,11) -> 10* a__g{#,0}(122,9,40) -> 9* a__g{#,0}(117,122,122) -> 16*,9,10 a__g{#,0}(40,119,119) -> 16*,9,10 a__g{#,0}(121,16,15) -> 9* a__g{#,0}(14,16,15) -> 9* a__g{#,0}(122,16,121) -> 9* a__g{#,0}(13,40,122) -> 10* a__g{#,0}(121,121,117) -> 16*,9,10 a__g{#,0}(15,121,9) -> 9* a__g{#,0}(15,14,40) -> 9* a__g{#,0}(9,15,14) -> 9* a__g{#,0}(14,9,15) -> 9* a__g{#,0}(122,117,40) -> 16*,9,10 a__g{#,0}(118,14,118) -> 16*,9,10 a__g{#,0}(121,118,14) -> 9* a__g{#,0}(121,15,16) -> 9* a__g{#,0}(117,117,16) -> 9* a__g{#,0}(117,119,121) -> 16*,9,10 a__g{#,0}(119,122,16) -> 9* a__g{#,0}(40,118,16) -> 9* a__g{#,0}(15,122,40) -> 9* a__g{#,0}(15,119,119) -> 9* a__g{#,0}(122,122,118) -> 16*,9,10 a__g{#,0}(117,9,122) -> 9* a__g{#,0}(118,121,14) -> 9* a__g{#,0}(121,122,9) -> 9* a__g{#,0}(14,121,16) -> 9* a__g{#,0}(40,16,16) -> 9* a__g{#,0}(9,14,9) -> 9* a__g{#,0}(16,119,119) -> 9* a__g{#,0}(117,40,117) -> 16*,10,9 a__g{#,0}(15,122,121) -> 9* a__g{#,0}(13,118,15) -> 10* a__g{#,0}(121,15,122) -> 9* a__g{#,0}(15,119,122) -> 9* a__g{#,0}(9,122,122) -> 9* a__g{#,0}(13,121,15) -> 10* a__g{#,0}(117,15,16) -> 9* a__g{#,0}(40,12,15) -> 10* a__g{#,0}(14,118,14) -> 9* a__g{#,0}(121,121,119) -> 16*,9,10 a__g{#,0}(9,121,117) -> 9* a__g{#,0}(117,14,40) -> 16*,10,9 a__g{#,0}(40,122,121) -> 16*,10,9 a__g{#,0}(118,9,9) -> 9* a__g{#,0}(119,119,117) -> 16*,9,10 a__g{#,0}(117,9,9) -> 9* a__g{#,0}(119,122,122) -> 16*,9,10 a__g{#,0}(14,9,9) -> 9* a__g{#,0}(16,118,40) -> 9* a__g{#,0}(13,40,11) -> 10* a__g{#,0}(117,119,40) -> 16*,9,10 a__g{#,0}(121,121,122) -> 16*,9,10 a__g{#,0}(121,119,117) -> 16*,9,10 a__g{#,0}(14,14,9) -> 9* a__g{#,0}(40,12,117) -> 10* a__g{#,0}(15,119,121) -> 9* a__g{#,0}(118,121,16) -> 9* a__g{#,0}(15,16,121) -> 9* a__g{#,0}(117,14,122) -> 16*,9,10 a__g{#,0}(40,119,16) -> 9* a__g{#,0}(117,12,15) -> 10* a__g{#,0}(15,122,14) -> 9* a__g{#,0}(121,121,15) -> 16*,9,10 a__g{#,0}(14,119,16) -> 9* a__g{#,0}(117,121,122) -> 16*,9,10 a__g{#,0}(9,121,122) -> 9* a__g{#,0}(121,40,122) -> 16*,9,10 a__g{#,0}(15,121,14) -> 9* a__g{#,0}(122,119,14) -> 9* a__g{#,0}(14,121,40) -> 16*,9,10 a__g{#,0}(122,40,16) -> 9* a__g{#,0}(15,118,121) -> 9* a__g{#,0}(13,12,118) -> 10* a__g{#,0}(13,117,119) -> 10* a__g{#,0}(13,121,40) -> 10* a__g{#,0}(16,121,40) -> 9* a__g{#,0}(14,119,14) -> 9* a__g{#,0}(118,119,121) -> 16*,10,9 a__g{#,0}(118,119,40) -> 16*,9,10 a__g{#,0}(40,118,14) -> 9* a__g{#,0}(118,16,16) -> 9* a__g{#,0}(122,117,118) -> 16*,9,10 a__g{#,0}(117,14,15) -> 16*,10,9 a__g{#,0}(13,14,117) -> 10* a__g{#,0}(40,16,122) -> 9* a__g{#,0}(14,14,121) -> 16*,9,10 a__g{#,0}(9,15,118) -> 9* a__g{#,0}(117,117,9) -> 9* a__g{#,0}(118,40,118) -> 16*,10,9 a__g{#,0}(121,117,122) -> 16*,9,10 a__g{#,0}(121,14,119) -> 16*,9,10 a__g{#,0}(121,14,9) -> 9* a__g{#,0}(118,15,40) -> 9* a__g{#,0}(15,16,117) -> 9* a__g{#,0}(15,121,121) -> 9* a__g{#,0}(15,117,117) -> 9* a__g{#,0}(15,118,14) -> 9* a__g{#,0}(118,122,40) -> 16*,9,10 a__g{#,0}(16,118,118) -> 9* a__g{#,0}(122,9,15) -> 9* a__g{#,0}(121,40,16) -> 9* a__g{#,0}(14,12,15) -> 10* a__g{#,0}(15,16,119) -> 9* a__g{#,0}(122,119,9) -> 9* a__g{#,0}(121,12,40) -> 10* a__g{#,0}(117,15,122) -> 9* a__g{#,0}(14,121,11) -> 10* a__g{#,0}(15,119,40) -> 9* a__g{#,0}(9,40,14) -> 9* a__g{#,0}(122,121,121) -> 16*,9,10 a__g{#,0}(40,119,9) -> 9* a__g{#,0}(9,122,16) -> 9* a__g{#,0}(40,40,11) -> 10* a__g{#,0}(121,119,119) -> 16*,9,10 a__g{#,0}(9,16,14) -> 9* a__g{#,0}(121,15,15) -> 9* a__g{#,0}(16,16,15) -> 9* a__g{#,0}(122,15,118) -> 9* a__g{#,0}(117,118,119) -> 16*,9,10 a__g{#,0}(15,15,122) -> 9* a__g{#,0}(119,40,118) -> 16*,10,9 a__g{#,0}(121,14,118) -> 16*,9,10 a__g{#,0}(122,118,119) -> 16*,9,10 a__g{#,0}(15,15,9) -> 9* a__g{#,0}(117,16,119) -> 9* a__g{#,0}(117,122,11) -> 10* a__g{#,0}(118,122,119) -> 16*,9,10 a__g{#,0}(16,16,40) -> 9* a__g{#,0}(13,121,122) -> 10* a__g{#,0}(118,12,117) -> 10* a__g{#,0}(118,40,117) -> 16*,10,9 a__g{#,0}(119,121,11) -> 10* a__g{#,0}(122,15,122) -> 9* a__g{#,0}(122,118,122) -> 16*,10,9 a__g{#,0}(117,14,119) -> 16*,9,10 a__g{#,0}(16,15,40) -> 9* a__g{#,0}(118,119,11) -> 10* a__g{#,0}(15,14,16) -> 9* a__g{#,0}(119,15,9) -> 9* a__g{#,0}(118,118,122) -> 16*,10,9 a__g{#,0}(121,16,119) -> 9* a__g{#,0}(119,15,14) -> 9* a__g{#,0}(118,119,117) -> 16*,9,10 a__g{#,0}(13,14,15) -> 10* a__g{#,0}(14,9,121) -> 9* a__g{#,0}(14,14,16) -> 9* a__g{#,0}(117,14,16) -> 9* a__g{#,0}(14,121,9) -> 9* a__g{#,0}(15,9,117) -> 9* a__g{#,0}(40,15,122) -> 9* a__g{#,0}(15,117,9) -> 9* a__g{#,0}(9,40,119) -> 9* a__g{#,0}(117,40,11) -> 10* a__g{#,0}(16,16,118) -> 9* a__g{#,0}(118,40,11) -> 10* a__g{#,0}(122,117,117) -> 16*,10,9 a__g{#,0}(122,121,15) -> 16*,9,10 a__g{#,0}(40,14,119) -> 16*,9,10 a__g{#,0}(40,122,9) -> 9* a__g{#,0}(117,12,118) -> 10* a__g{#,0}(40,122,15) -> 16*,9,10 a__g{#,0}(14,118,118) -> 16*,9,10 a__g{#,0}(119,12,40) -> 10* a__g{#,0}(121,117,11) -> 10* a__g{#,0}(14,12,118) -> 10* a__g{#,0}(14,16,16) -> 9* a__g{#,0}(14,40,16) -> 9* a__g{#,0}(122,16,122) -> 9* a__g{#,0}(121,117,14) -> 9* a__g{#,0}(14,9,16) -> 9* a__g{#,0}(16,14,14) -> 9* a__g{#,0}(117,122,117) -> 16*,9,10 a__g{#,0}(40,119,15) -> 16*,9,10 a__g{#,0}(40,118,121) -> 16*,9,10 a__g{#,0}(40,40,40) -> 16*,10,9 a__g{#,0}(117,117,40) -> 16*,9,10 a__g{#,0}(40,117,119) -> 16*,9,10 a__g{#,0}(14,12,40) -> 10* a__g{#,0}(40,16,15) -> 9* a__g{#,0}(117,121,15) -> 16*,9,10 a__g{#,0}(119,117,14) -> 9* a__g{#,0}(14,16,122) -> 9* a__g{#,0}(13,118,40) -> 10* a__g{#,0}(14,15,9) -> 9* a__g{#,0}(14,9,40) -> 9* a__g{#,0}(119,16,15) -> 9* a__g{#,0}(13,122,15) -> 10* a__g{#,0}(118,119,9) -> 9* a__g{#,0}(119,119,14) -> 9* a__g{#,0}(121,15,118) -> 9* a__g{#,0}(122,15,40) -> 9* a__g{#,0}(118,12,122) -> 10* a__g{#,0}(9,15,121) -> 9* a__g{#,0}(122,122,121) -> 16*,10,9 a__g{#,0}(40,117,9) -> 9* a__g{#,0}(119,14,16) -> 9* a__g{#,0}(15,117,118) -> 9* a__g{#,0}(119,117,117) -> 16*,9,10 a__g{#,0}(117,117,11) -> 10* a__g{#,0}(16,40,15) -> 9* a__g{#,0}(117,119,118) -> 16*,9,10 a__g{#,0}(9,15,117) -> 9* a__g{#,0}(119,117,119) -> 16*,9,10 a__g{#,0}(9,122,118) -> 9* a__g{#,0}(121,119,122) -> 16*,9,10 a__g{#,0}(121,122,16) -> 9* a__g{#,0}(122,122,16) -> 9* a__g{#,0}(118,119,119) -> 16*,9,10 a__g{#,0}(9,9,40) -> 9* a__g{#,0}(119,9,9) -> 9* a__g{#,0}(16,16,117) -> 9* a__g{#,0}(16,40,9) -> 9* a__g{#,0}(119,118,117) -> 16*,9,10 a__g{#,0}(119,9,16) -> 9* a__g{#,0}(13,40,15) -> 10* a__g{#,0}(119,40,9) -> 9* a__g{#,0}(16,121,9) -> 9* a__g{#,0}(117,9,40) -> 9* a__g{#,0}(14,40,14) -> 9* a__g{#,0}(16,16,119) -> 9* a__g{#,0}(13,118,117) -> 10* a__g{#,0}(16,118,117) -> 9* a__g{#,0}(14,12,11) -> 10* a__g{#,0}(16,40,16) -> 9* a__g{#,0}(9,15,16) -> 9* a__g{#,0}(121,14,40) -> 16*,9,10 a__g{#,0}(119,12,121) -> 10* a__g{#,0}(40,9,117) -> 9* a__g{#,0}(119,40,117) -> 16*,10,9 a__g{#,0}(14,119,119) -> 16*,9,10 a__g{#,0}(121,16,121) -> 9* a__g{#,0}(122,14,117) -> 16*,10,9 a__g{#,0}(118,117,11) -> 10* a__g{#,0}(118,117,119) -> 16*,9,10 a__g{#,0}(16,118,14) -> 9* a__g{#,0}(40,16,9) -> 9* a__g{#,0}(15,118,15) -> 9* a__g{#,0}(14,117,14) -> 9* a__g{#,0}(16,119,122) -> 9* a__g{#,0}(119,14,9) -> 9* a__g{#,0}(15,16,16) -> 9* a__g{#,0}(117,122,40) -> 16*,9,10 a__g{#,0}(16,40,40) -> 9* a__g{#,0}(122,12,121) -> 10* a__g{#,0}(14,16,121) -> 9* a__g{#,0}(117,118,14) -> 9* a__g{#,0}(40,117,14) -> 9* a__g{#,0}(118,122,14) -> 9* a__g{#,0}(40,121,118) -> 16*,10,9 a__g{#,0}(121,9,16) -> 9* a__g{#,0}(117,121,14) -> 9* a__g{#,0}(15,40,121) -> 9* a__g{#,0}(9,117,40) -> 9* a__g{#,0}(15,16,14) -> 9* a__g{#,0}(13,121,117) -> 10* a__g{#,0}(13,14,40) -> 10* a__g{#,0}(9,119,119) -> 9* a__g{#,0}(15,119,15) -> 9* a__g{#,0}(118,117,117) -> 16*,10,9 a__g{#,0}(15,14,122) -> 9* a__g{#,0}(13,12,122) -> 10* a__g{#,0}(122,118,117) -> 16*,10,9 a__g{#,0}(122,9,121) -> 9* a__g{#,0}(118,40,16) -> 9* a__g{#,0}(15,118,9) -> 9* a__g{#,0}(117,122,14) -> 9* a__g{#,0}(40,12,40) -> 10* a__g{#,0}(9,118,118) -> 9* a__g{#,0}(117,118,121) -> 16*,9,10 a__g{#,0}(121,119,121) -> 16*,9,10 a__g{#,0}(16,40,118) -> 9* a__g{#,0}(9,121,40) -> 9* a__g{#,0}(119,14,14) -> 9* a__g{#,0}(15,9,14) -> 9* a__g{#,0}(14,117,119) -> 16*,9,10 a__g{#,0}(119,40,16) -> 9* a__g{#,0}(121,14,117) -> 16*,9,10 a__g{#,0}(118,118,16) -> 9* a__g{#,0}(119,15,40) -> 9* a__g{#,0}(9,119,40) -> 9* a__g{#,0}(117,118,15) -> 16*,10,9 a__g{#,0}(40,14,9) -> 9* a__g{#,0}(40,118,40) -> 16*,10,9 a__g{#,0}(117,15,121) -> 9* a__g{#,0}(9,14,16) -> 9* a__g{#,0}(40,122,118) -> 16*,9,10 a__g{#,0}(117,9,16) -> 9* a__g{#,0}(14,118,9) -> 9* a__g{#,0}(117,12,119) -> 10* a__g{#,0}(117,14,117) -> 16*,9,10 a__g{#,0}(119,119,9) -> 9* a__g{#,0}(121,117,117) -> 16*,9,10 a__g{#,0}(16,118,119) -> 9* a__g{#,0}(121,118,117) -> 16*,9,10 a__g{#,0}(118,121,40) -> 16*,10,9 a__g{#,0}(118,14,16) -> 9* a__g{#,0}(15,118,118) -> 9* a__g{#,0}(121,40,9) -> 9* a__g{#,0}(119,121,40) -> 16*,10,9 a__g{#,0}(40,117,16) -> 9* a__g{#,0}(121,119,118) -> 16*,9,10 a__g{#,0}(14,15,122) -> 9* a__g{#,0}(14,122,11) -> 10* a__g{#,0}(13,119,121) -> 10* a__g{#,0}(15,15,118) -> 9* a__g{#,0}(14,14,11) -> 10* a__g{#,0}(119,14,11) -> 10* a__g{#,0}(122,121,118) -> 16*,9,10 a__g{#,0}(16,16,14) -> 9* a__g{#,0}(121,15,40) -> 9* a__g{#,0}(118,12,119) -> 10* a__g{#,0}(14,40,122) -> 16*,10,9 a__g{#,0}(121,119,15) -> 16*,9,10 a__g{#,0}(40,122,16) -> 9* a__g{#,0}(16,121,122) -> 9* a__g{#,0}(15,117,122) -> 9* a__g{#,0}(117,15,14) -> 9* a__g{#,0}(117,9,117) -> 9* a__g{#,0}(117,118,16) -> 9* a__g{#,0}(118,16,122) -> 9* a__g{#,0}(121,119,14) -> 9* a__g{#,0}(122,122,15) -> 16*,9,10 a__g{#,0}(122,119,40) -> 16*,9,10 a__g{#,0}(9,14,14) -> 9* a__g{#,0}(15,40,122) -> 9* a__g{#,0}(9,117,118) -> 9* a__g{#,0}(16,14,122) -> 9* a__g{#,0}(121,117,119) -> 16*,9,10 a__g{#,0}(117,15,118) -> 9* a__g{#,0}(14,117,117) -> 16*,9,10 a__g{#,0}(13,117,122) -> 10* a__g{#,0}(119,121,119) -> 16*,9,10 a__g{#,0}(121,15,121) -> 9* a__g{#,0}(122,12,15) -> 10* a__g{#,0}(9,16,9) -> 9* a__g{#,0}(40,12,121) -> 10* a__g{#,0}(119,12,118) -> 10* a__g{#,0}(9,119,121) -> 9* a__g{#,0}(14,14,15) -> 16*,10,9 a__g{#,0}(9,118,15) -> 9* a__g{#,0}(9,118,14) -> 9* a__g{#,0}(117,16,15) -> 9* a__g{#,0}(14,117,16) -> 9* a__g{#,0}(14,122,14) -> 9* a__g{#,0}(118,15,14) -> 9* a__g{#,0}(117,40,119) -> 16*,9,10 a__g{#,0}(15,14,9) -> 9* a__g{#,0}(14,9,118) -> 9* a__g{#,0}(16,119,15) -> 9* a__g{#,0}(14,15,40) -> 9* a__g{#,0}(14,117,40) -> 16*,9,10 a__g{#,0}(119,118,119) -> 16*,9,10 a__g{#,0}(15,119,14) -> 9* a__g{#,0}(15,15,16) -> 9* a__g{#,0}(122,117,9) -> 9* a__g{#,0}(14,119,40) -> 16*,9,10 a__g{#,0}(15,15,121) -> 9* a__g{#,0}(121,14,14) -> 9* a__g{#,0}(16,117,117) -> 9* a__g{#,0}(15,117,15) -> 9* a__g{#,0}(122,117,16) -> 9* a__g{#,0}(119,119,119) -> 16*,9,10 a__g{#,0}(122,121,14) -> 9* a__g{#,0}(16,14,16) -> 9* a__g{#,0}(9,15,9) -> 9* a__g{#,0}(119,117,15) -> 16*,10,9 a__g{#,0}(122,122,122) -> 16*,9,10 a__g{#,0}(121,122,119) -> 16*,9,10 a__g{#,0}(121,121,9) -> 9* a__g{#,0}(40,122,40) -> 16*,10,9 a__g{#,0}(40,15,15) -> 9* a__g{#,0}(15,121,15) -> 9* a__g{#,0}(119,9,14) -> 9* a__g{#,0}(14,14,40) -> 16*,10,9 a__g{#,0}(122,15,121) -> 9* a__g{#,0}(16,122,16) -> 9* a__g{#,0}(118,121,11) -> 10* a__g{#,0}(9,40,40) -> 9* a__g{#,0}(122,12,11) -> 10* a__g{#,0}(15,122,15) -> 9* a__g{#,0}(9,16,119) -> 9* a__g{#,0}(121,118,118) -> 16*,9,10 a__g{#,0}(40,12,11) -> 10* a__g{#,0}(117,40,15) -> 16*,10,9 a__g{#,0}(119,40,40) -> 16*,10,9 a__g{#,0}(117,12,40) -> 10* a__g{#,0}(119,12,119) -> 10* a__g{#,0}(13,40,118) -> 10* a__g{#,0}(15,16,9) -> 9* a__g{#,0}(122,16,119) -> 9* a__g{#,0}(119,16,117) -> 9* a__g{#,0}(119,16,14) -> 9* a__g{#,0}(119,15,16) -> 9* a__g{#,0}(40,118,119) -> 16*,9,10 a__g{#,0}(14,14,119) -> 16*,9,10 a__g{#,0}(122,117,14) -> 9* a__g{#,0}(119,16,9) -> 9* a__g{#,0}(121,117,9) -> 9* a__g{#,0}(122,12,117) -> 10* a__g{#,0}(15,16,122) -> 9* a__g{#,0}(117,14,9) -> 9* a__g{#,0}(121,14,121) -> 16*,9,10 a__g{#,0}(9,121,118) -> 9* a__g{#,0}(118,16,119) -> 9* a__g{#,0}(15,122,117) -> 9* a__g{#,0}(118,9,117) -> 9* a__g{#,0}(13,121,11) -> 10* a__g{#,0}(15,122,16) -> 9* a__g{#,0}(16,121,118) -> 9* a__g{#,0}(119,117,122) -> 16*,9,10 a__g{#,0}(118,9,121) -> 9* a__g{#,0}(13,14,119) -> 10* a__g{#,0}(121,9,118) -> 9* a__g{#,0}(9,40,118) -> 9* a__g{#,0}(119,118,11) -> 10* a__g{#,0}(122,14,14) -> 9* a__g{#,0}(16,117,119) -> 9* a__g{#,0}(117,119,9) -> 9* a__g{#,0}(122,9,9) -> 9* a__g{#,0}(15,119,117) -> 9* a__g{#,0}(119,9,118) -> 9* a__g{#,0}(118,118,117) -> 16*,10,9 a__g{#,0}(14,117,11) -> 10* a__g{#,0}(117,16,121) -> 9* a__g{#,0}(14,122,121) -> 16*,10,9 a__g{#,0}(40,16,118) -> 9* a__g{#,0}(119,12,117) -> 10* a__g{#,0}(40,121,121) -> 16*,10,9 a__g{#,0}(9,119,118) -> 9* a__g{#,0}(121,9,119) -> 9* a__g{#,0}(9,9,118) -> 9* a__g{#,0}(117,12,11) -> 10* a__g{#,0}(13,14,11) -> 10* a__g{#,0}(119,117,16) -> 9* a__g{#,0}(119,16,118) -> 9* a__g{#,0}(16,15,122) -> 9* a__g{#,0}(13,121,118) -> 10* a__g{#,0}(40,9,121) -> 9* a__g{#,0}(119,118,16) -> 9* a__g{#,0}(13,119,119) -> 10* a__g{#,0}(122,119,121) -> 16*,9,10 a__g{#,0}(119,40,121) -> 16*,10,9 a__g{#,0}(16,118,122) -> 9* a__g{#,0}(118,14,122) -> 16*,9,10 a__g{#,0}(119,119,40) -> 16*,9,10 a__g{#,0}(122,14,121) -> 16*,9,10 a__g{#,0}(122,40,122) -> 16*,10,9 a__g{#,0}(118,121,121) -> 16*,10,9 a__g{#,0}(14,15,119) -> 9* a__g{#,0}(16,121,119) -> 9* a__g{#,0}(16,16,9) -> 9* a__g{#,0}(118,15,118) -> 9* a__g{#,0}(117,117,15) -> 16*,10,9 a__g{#,0}(119,119,15) -> 16*,9,10 a__g{#,0}(121,9,121) -> 9* a__g{#,0}(16,118,16) -> 9* a__g{#,0}(40,40,14) -> 9* a__g{#,0}(15,15,14) -> 9* a__g{#,0}(117,118,40) -> 16*,10,9 a__g{#,0}(117,118,9) -> 9* a__g{#,0}(14,15,16) -> 9* a__g{#,0}(119,122,117) -> 16*,9,10 a__g{#,0}(40,12,119) -> 10* a__g{#,0}(121,119,16) -> 9* a__g{#,0}(16,122,121) -> 9* a__g{#,0}(14,15,121) -> 9* a__g{#,0}(118,14,14) -> 9* a__g{#,0}(117,12,121) -> 10* a__g{#,0}(118,122,117) -> 16*,9,10 a__g{#,0}(15,117,119) -> 9* a__g{#,0}(9,40,122) -> 9* a__g{#,0}(9,121,16) -> 9* a__g{#,0}(118,9,40) -> 9* a__g{#,0}(16,40,121) -> 9* a__g{#,0}(40,121,11) -> 10* a__g{#,0}(9,118,16) -> 9* a__g{#,0}(16,15,16) -> 9* a__g{#,0}(14,121,117) -> 16*,9,10 a__g{#,0}(9,14,40) -> 9* a__g{#,0}(9,15,15) -> 9* a__g{#,0}(121,122,40) -> 16*,9,10 a__g{#,0}(13,121,119) -> 10* a__g{#,0}(16,122,14) -> 9* a__g{#,0}(118,117,40) -> 16*,10,9 a__g{#,0}(13,119,117) -> 10* a__g{#,0}(14,40,117) -> 16*,10,9 a__g{#,0}(40,118,9) -> 9* a__g{#,0}(14,40,15) -> 16*,10,9 a__g{#,0}(16,15,9) -> 9* a__g{#,0}(9,119,15) -> 9* a__g{#,0}(118,9,122) -> 9* a__g{#,0}(16,121,15) -> 9* a__g{#,0}(13,122,121) -> 10* a__g{#,0}(122,40,121) -> 16*,10,9 a__g{#,0}(119,122,15) -> 16*,9,10 a__g{#,0}(117,40,118) -> 16*,10,9 a__g{#,0}(16,117,14) -> 9* a__g{#,0}(15,9,9) -> 9* a__g{#,0}(121,117,40) -> 16*,9,10 a__g{#,0}(117,117,14) -> 9* a__g{#,0}(14,118,122) -> 16*,10,9 a__g{#,0}(14,16,14) -> 9* a__g{#,0}(9,14,15) -> 9* a__g{#,0}(121,15,117) -> 9* a__g{#,0}(9,16,117) -> 9* a__g{#,0}(9,117,15) -> 9* a__g{#,0}(121,122,14) -> 9* a__g{#,0}(14,117,121) -> 16*,10,9 a__g{#,0}(15,14,14) -> 9* a__g{#,0}(16,118,15) -> 9* a__g{#,0}(9,122,119) -> 9* a__g{#,0}(16,117,40) -> 9* a__g{#,0}(16,16,122) -> 9* a__g{#,0}(15,15,40) -> 9* a__g{#,0}(117,16,117) -> 9* a__g{#,0}(40,9,15) -> 9* a__g{#,0}(14,118,40) -> 16*,10,9 a__g{#,0}(119,15,118) -> 9* a__g{#,0}(14,119,121) -> 16*,10,9 a__g{#,0}(122,117,122) -> 16*,10,9 a__g{#,0}(9,118,121) -> 9* a__g{#,0}(9,122,15) -> 9* a__g{#,0}(15,14,118) -> 9* a__g{#,0}(14,16,40) -> 9* a__g{#,0}(119,16,40) -> 9* a__g{#,0}(16,9,119) -> 9* a__g{#,0}(15,121,117) -> 9* a__g{#,0}(15,15,119) -> 9* a__g{#,0}(40,122,117) -> 16*,9,10 a__g{#,0}(15,122,119) -> 9* a__g{#,0}(118,121,117) -> 16*,9,10 a__g{#,0}(15,40,117) -> 9* a__g{#,0}(13,119,15) -> 10* a__g{#,0}(40,12,122) -> 10* a__g{#,0}(117,16,9) -> 9* a__g{#,0}(117,119,119) -> 16*,9,10 a__g{#,0}(14,16,9) -> 9* a__g{#,0}(40,119,121) -> 16*,10,9 a__g{#,0}(119,9,40) -> 9* a__g{#,0}(13,118,119) -> 10* a__g{#,0}(122,118,118) -> 16*,9,10 a__g{#,0}(9,40,9) -> 9* a__g{#,0}(13,122,11) -> 10* a__g{#,0}(16,14,118) -> 9* a__g{#,0}(40,40,117) -> 16*,10,9 a__g{#,0}(40,15,14) -> 9* a__g{#,0}(122,9,117) -> 9* a__g{#,0}(40,14,118) -> 16*,9,10 a__g{#,0}(121,9,122) -> 9* a__g{#,0}(118,117,122) -> 16*,10,9 a__g{#,0}(122,119,122) -> 16*,10,9 a__g{#,0}(9,121,15) -> 9* a__g{#,0}(122,16,9) -> 9* a__g{#,0}(9,122,14) -> 9* a__g{#,0}(40,121,15) -> 16*,10,9 a__g{#,0}(118,118,14) -> 9* a__g{#,0}(14,16,118) -> 9* a__g{#,0}(9,122,117) -> 9* a__g{#,0}(14,118,121) -> 16*,9,10 a__g{#,0}(16,9,15) -> 9* a__g{#,0}(121,12,11) -> 10* a__g{#,0}(118,16,118) -> 9* a__g{#,0}(122,122,40) -> 16*,9,10 a__g{#,0}(13,122,117) -> 10* a__g{#,0}(14,118,15) -> 16*,10,9 a__g{#,0}(40,40,119) -> 16*,9,10 a__g{#,0}(15,14,121) -> 9* a__g{#,0}(117,9,119) -> 9* a__g{#,0}(122,117,121) -> 16*,10,9 a__g{#,0}(13,119,118) -> 10* a__g{#,0}(121,122,121) -> 16*,10,9 a__g{#,0}(118,117,121) -> 16*,10,9 a__g{#,0}(118,9,14) -> 9* a__g{#,0}(40,16,119) -> 9* a__g{#,0}(122,9,16) -> 9* a__g{#,0}(122,118,15) -> 16*,10,9 a__g{#,0}(15,118,122) -> 9* a__g{#,0}(9,117,121) -> 9* a__g{#,0}(121,15,119) -> 9* a__g{#,0}(14,12,119) -> 10* a__g{#,0}(122,121,119) -> 16*,9,10 a__g{#,0}(117,121,16) -> 9* a__g{#,0}(117,117,119) -> 16*,9,10 a__g{#,0}(121,117,16) -> 9* a__g{#,0}(121,40,14) -> 9* a__g{#,0}(15,117,16) -> 9* a__g{#,0}(117,40,14) -> 9* a__g{#,0}(13,118,121) -> 10* a__g{#,0}(117,118,117) -> 16*,10,9 a__g{#,0}(13,118,122) -> 10* a__g{#,0}(118,16,117) -> 9* a__g{#,0}(9,118,122) -> 9* a__g{#,0}(117,118,122) -> 16*,10,9 a__g{#,0}(13,118,118) -> 10* a__g{#,0}(119,14,118) -> 16*,9,10 a__g{#,0}(40,40,15) -> 16*,10,9 a__g{#,0}(14,118,16) -> 9* a__g{#,0}(40,15,16) -> 9* a__g{#,0}(40,117,15) -> 16*,10,9 a__g{#,0}(117,16,40) -> 9* a__g{#,0}(16,119,9) -> 9* a__g{#,0}(13,122,119) -> 10* a__g{#,0}(14,40,118) -> 16*,10,9 a__g{#,0}(13,117,118) -> 10* a__g{#,0}(15,121,122) -> 9* a__g{#,0}(9,121,121) -> 9* a__g{#,0}(40,121,9) -> 9* a__g{#,0}(13,14,122) -> 10* a__g{#,0}(121,12,117) -> 10* a__g{#,0}(117,121,11) -> 10* a__g{#,0}(15,16,40) -> 9* a__g{#,0}(121,16,40) -> 9* a__g{#,0}(40,9,40) -> 9* a__g{#,0}(13,12,119) -> 10* a__g{#,0}(13,119,40) -> 10* a__g{#,0}(122,121,16) -> 9* a__g{#,0}(121,40,15) -> 16*,9,10 a__g0(119,14,119) -> 9* a__g0(118,122,14) -> 9* a__g0(118,9,9) -> 9* a__g0(14,9,16) -> 9* a__g0(119,15,119) -> 9* a__g0(14,119,9) -> 9* a__g0(16,15,118) -> 9* a__g0(15,15,9) -> 9* a__g0(40,16,122) -> 9* a__g0(16,117,14) -> 9* a__g0(117,9,40) -> 9* a__g0(118,40,119) -> 9* a__g0(121,117,121) -> 9* a__g0(16,40,14) -> 9* a__g0(119,117,118) -> 9* a__g0(122,16,121) -> 9* a__g0(15,40,122) -> 9* a__g0(9,14,119) -> 9* a__g0(40,15,121) -> 9* a__g0(15,122,121) -> 9* a__g0(16,16,14) -> 9* a__g0(9,121,118) -> 9* a__g0(117,15,15) -> 9* a__g0(117,40,122) -> 9* a__g0(118,117,121) -> 9* a__g0(14,40,14) -> 9* a__g0(15,9,40) -> 9* a__g0(40,122,14) -> 9* a__g0(121,40,15) -> 9* a__g0(122,14,15) -> 9* a__g0(121,118,15) -> 9* a__g0(118,118,16) -> 9* a__g0(121,122,40) -> 9* a__g0(15,119,119) -> 9* a__g0(40,117,16) -> 9* a__g0(15,117,14) -> 9* a__g0(15,118,117) -> 9* a__g0(16,117,117) -> 9* a__g0(40,121,14) -> 9* a__g0(118,15,9) -> 9* a__g0(117,15,40) -> 9* a__g0(15,118,16) -> 9* a__g0(40,117,119) -> 9* a__g0(122,118,16) -> 9* a__g0(40,119,14) -> 9* a__g0(119,121,117) -> 9* a__g0(121,118,40) -> 9* a__g0(16,117,118) -> 9* a__g0(16,16,16) -> 9* a__g0(121,119,40) -> 9* a__g0(117,119,40) -> 9* a__g0(16,15,119) -> 9* a__g0(40,9,9) -> 9* a__g0(16,16,121) -> 9* a__g0(15,9,118) -> 9* a__g0(9,14,40) -> 9* a__g0(14,121,117) -> 9* a__g0(15,121,121) -> 9* a__g0(121,15,14) -> 9* a__g0(121,9,14) -> 9* a__g0(16,9,9) -> 9* a__g0(122,117,121) -> 9* a__g0(117,121,15) -> 9* a__g0(119,118,119) -> 9* a__g0(118,16,122) -> 9* a__g0(14,122,121) -> 9* a__g0(16,122,15) -> 9* a__g0(119,122,15) -> 9* a__g0(40,40,40) -> 9* a__g0(117,122,14) -> 9* a__g0(40,122,117) -> 9* a__g0(15,119,117) -> 9* a__g0(117,122,118) -> 9* a__g0(16,9,15) -> 9* a__g0(14,15,15) -> 9* a__g0(14,9,121) -> 9* a__g0(14,118,121) -> 9* a__g0(119,16,15) -> 9* a__g0(122,15,15) -> 9* a__g0(119,118,117) -> 9* a__g0(119,118,40) -> 9* a__g0(122,122,14) -> 9* a__g0(14,121,14) -> 9* a__g0(117,117,118) -> 9* a__g0(117,16,117) -> 9* a__g0(16,15,9) -> 9* a__g0(121,118,16) -> 9* a__g0(119,16,119) -> 9* a__g0(15,14,117) -> 9* a__g0(14,15,16) -> 9* a__g0(118,118,122) -> 9* a__g0(121,121,117) -> 9* a__g0(122,118,40) -> 9* a__g0(16,15,117) -> 9* a__g0(14,119,40) -> 9* a__g0(9,16,15) -> 9* a__g0(121,117,119) -> 9* a__g0(9,118,117) -> 9* a__g0(122,40,121) -> 9* a__g0(15,117,40) -> 9* a__g0(40,14,118) -> 9* a__g0(15,118,122) -> 9* a__g0(118,122,15) -> 9* a__g0(117,122,15) -> 9* a__g0(117,40,40) -> 9* a__g0(40,9,16) -> 9* a__g0(117,118,119) -> 9* a__g0(14,122,118) -> 9* a__g0(118,16,40) -> 9* a__g0(121,122,122) -> 9* a__g0(14,117,119) -> 9* a__g0(121,9,16) -> 9* a__g0(117,121,121) -> 9* a__g0(117,119,121) -> 9* a__g0(117,121,14) -> 9* a__g0(14,118,122) -> 9* a__g0(15,122,122) -> 9* a__g0(117,14,15) -> 9* a__g0(15,121,15) -> 9* a__g0(9,119,121) -> 9* a__g0(9,40,15) -> 9* a__g0(40,122,118) -> 9* a__g0(119,122,40) -> 9* a__g0(16,15,121) -> 9* a__g0(15,14,16) -> 9* a__g0(9,9,117) -> 9* a__g0(40,117,118) -> 9* a__g0(121,15,121) -> 9* a__g0(15,118,119) -> 9* a__g0(15,40,117) -> 9* a__g0(117,9,16) -> 9* a__g0(40,117,117) -> 9* a__g0(16,9,16) -> 9* a__g0(16,40,118) -> 9* a__g0(15,119,118) -> 9* a__g0(14,118,119) -> 9* a__g0(122,15,16) -> 9* a__g0(121,119,118) -> 9* a__g0(118,119,121) -> 9* a__g0(117,119,14) -> 9* a__g0(117,15,118) -> 9* a__g0(15,16,15) -> 9* a__g0(119,119,40) -> 9* a__g0(119,14,16) -> 9* a__g0(118,121,9) -> 9* a__g0(121,119,121) -> 9* a__g0(40,15,15) -> 9* a__g0(119,117,40) -> 9* a__g0(15,122,117) -> 9* a__g0(122,118,9) -> 9* a__g0(117,119,9) -> 9* a__g0(119,9,15) -> 9* a__g0(121,117,122) -> 9* a__g0(122,14,118) -> 9* a__g0(122,117,14) -> 9* a__g0(15,40,40) -> 9* a__g0(119,121,119) -> 9* a__g0(121,15,117) -> 9* a__g0(121,117,40) -> 9* a__g0(40,15,16) -> 9* a__g0(40,119,117) -> 9* a__g0(14,118,16) -> 9* a__g0(122,118,15) -> 9* a__g0(122,16,9) -> 9* a__g0(9,119,119) -> 9* a__g0(122,14,14) -> 9* a__g0(117,118,121) -> 9* a__g0(119,40,9) -> 9* a__g0(14,121,40) -> 9* a__g0(14,117,117) -> 9* a__g0(40,9,121) -> 9* a__g0(14,14,119) -> 9* a__g0(15,14,119) -> 9* a__g0(16,16,117) -> 9* a__g0(117,118,117) -> 9* a__g0(122,121,121) -> 9* a__g0(40,122,15) -> 9* a__g0(119,117,14) -> 9* a__g0(122,122,16) -> 9* a__g0(14,15,119) -> 9* a__g0(14,16,117) -> 9* a__g0(16,40,40) -> 9* a__g0(16,118,117) -> 9* a__g0(117,117,40) -> 9* a__g0(119,119,16) -> 9* a__g0(119,117,15) -> 9* a__g0(122,14,40) -> 9* a__g0(9,122,9) -> 9* a__g0(40,9,14) -> 9* a__g0(118,119,16) -> 9* a__g0(122,15,122) -> 9* a__g0(117,14,118) -> 9* a__g0(118,119,119) -> 9* a__g0(40,119,16) -> 9* a__g0(122,121,15) -> 9* a__g0(122,40,118) -> 9* a__g0(121,119,15) -> 9* a__g0(119,15,117) -> 9* a__g0(118,9,121) -> 9* a__g0(122,119,118) -> 9* a__g0(118,119,40) -> 9* a__g0(118,15,122) -> 9* a__g0(122,122,121) -> 9* a__g0(121,9,122) -> 9* a__g0(118,117,122) -> 9* a__g0(121,119,16) -> 9* a__g0(119,119,122) -> 9* a__g0(121,117,117) -> 9* a__g0(40,15,119) -> 9* a__g0(16,15,14) -> 9* a__g0(117,119,118) -> 9* a__g0(122,117,40) -> 9* a__g0(14,15,121) -> 9* a__g0(14,40,16) -> 9* a__g0(15,9,14) -> 9* a__g0(118,122,40) -> 9* a__g0(15,40,121) -> 9* a__g0(16,118,15) -> 9* a__g0(15,9,9) -> 9* a__g0(117,40,14) -> 9* a__g0(15,121,117) -> 9* a__g0(119,121,122) -> 9* a__g0(118,15,118) -> 9* a__g0(16,40,9) -> 9* a__g0(118,119,9) -> 9* a__g0(119,14,122) -> 9* a__g0(117,16,15) -> 9* a__g0(121,118,9) -> 9* a__g0(117,15,9) -> 9* a__g0(40,40,15) -> 9* a__g0(117,9,117) -> 9* a__g0(122,9,119) -> 9* a__g0(119,16,40) -> 9* a__g0(40,119,9) -> 9* a__g0(9,121,122) -> 9* a__g0(15,121,122) -> 9* a__g0(121,117,9) -> 9* a__g0(118,9,40) -> 9* a__g0(15,122,40) -> 9* a__g0(40,121,118) -> 9* a__g0(40,15,14) -> 9* a__g0(16,16,40) -> 9* a__g0(16,15,16) -> 9* a__g0(14,119,14) -> 9* a__g0(16,9,117) -> 9* a__g0(40,121,16) -> 9* a__g0(118,117,40) -> 9* a__g0(118,40,118) -> 9* a__g0(40,40,14) -> 9* a__g0(14,9,119) -> 9* a__g0(118,40,40) -> 9* a__g0(119,118,14) -> 9* a__g0(40,119,40) -> 9* a__g0(16,117,121) -> 9* a__g0(122,16,40) -> 9* a__g0(117,16,40) -> 9* a__g0(119,14,15) -> 9* a__g0(122,9,9) -> 9* a__g0(122,14,121) -> 9* a__g0(121,14,9) -> 9* a__g0(117,122,16) -> 9* a__g0(122,9,40) -> 9* a__g0(119,9,117) -> 9* a__g0(14,15,14) -> 9* a__g0(122,9,14) -> 9* a__g0(121,9,15) -> 9* a__g0(119,122,14) -> 9* a__g0(118,40,122) -> 9* a__g0(16,117,40) -> 9* a__g0(9,117,14) -> 9* a__g0(117,117,16) -> 9* a__g0(40,117,121) -> 9* a__g0(16,118,118) -> 9* a__g0(117,119,117) -> 9* a__g0(119,122,122) -> 9* a__g0(122,14,16) -> 9* a__g0(121,119,14) -> 9* a__g0(118,14,119) -> 9* a__g0(122,16,16) -> 9* a__g0(121,9,118) -> 9* a__g0(16,14,117) -> 9* a__g0(15,40,14) -> 9* a__g0(14,40,119) -> 9* a__g0(121,122,117) -> 9* a__g0(119,122,121) -> 9* a__g0(122,121,122) -> 9* a__g0(122,15,119) -> 9* a__g0(119,121,9) -> 9* a__g0(117,117,9) -> 9* a__g0(40,40,122) -> 9* a__g0(122,122,117) -> 9* a__g0(117,117,14) -> 9* a__g0(14,40,15) -> 9* a__g0(121,121,40) -> 9* a__g0(15,15,117) -> 9* a__g0(118,15,117) -> 9* a__g0(40,16,117) -> 9* a__g0(9,9,121) -> 9* a__g0(121,118,14) -> 9* a__g0(14,122,9) -> 9* a__g0(16,40,117) -> 9* a__g0(15,117,16) -> 9* a__g0(122,122,118) -> 9* a__g0(16,16,122) -> 9* a__g0(121,16,117) -> 9* a__g0(15,14,15) -> 9* a__g0(122,122,15) -> 9* a__g0(9,16,9) -> 9* a__g0(9,119,9) -> 9* a__g0(14,122,117) -> 9* a__g0(122,118,122) -> 9* a__g0(16,122,122) -> 9* a__g0(40,119,121) -> 9* a__g0(16,118,9) -> 9* a__g0(118,122,122) -> 9* a__g0(9,40,122) -> 9* a__g0(15,122,9) -> 9* a__g0(16,121,9) -> 9* a__g0(118,14,9) -> 9* a__g0(15,117,117) -> 9* a__g0(119,119,15) -> 9* a__g0(16,14,14) -> 9* a__g0(119,9,40) -> 9* a__g0(9,119,118) -> 9* a__g0(16,9,122) -> 9* a__g0(9,15,14) -> 9* a__g0(122,121,117) -> 9* a__g0(40,121,9) -> 9* a__g0(15,118,121) -> 9* a__g0(117,14,40) -> 9* a__g0(14,121,121) -> 9* a__g0(117,40,16) -> 9* a__g0(117,119,15) -> 9* a__g0(16,122,121) -> 9* a__g0(122,40,9) -> 9* a__g0(121,14,119) -> 9* a__g0(9,16,122) -> 9* a__g0(9,14,117) -> 9* a__g0(15,16,14) -> 9* a__g0(118,122,117) -> 9* a__g0(14,117,14) -> 9* a__g0(121,118,117) -> 9* a__g0(118,117,119) -> 9* a__g0(119,119,121) -> 9* a__g0(9,121,119) -> 9* a__g0(9,16,40) -> 9* a__g0(16,14,9) -> 9* a__g0(118,122,118) -> 9* a__g0(118,118,118) -> 9* a__g0(14,40,40) -> 9* a__g0(16,122,16) -> 9* a__g0(122,121,40) -> 9* a__g0(121,16,14) -> 9* a__g0(16,40,15) -> 9* a__g0(118,14,15) -> 9* a__g0(14,40,9) -> 9* a__g0(119,40,119) -> 9* a__g0(122,15,118) -> 9* a__g0(40,15,117) -> 9* a__g0(9,9,40) -> 9* a__g0(40,40,119) -> 9* a__g0(118,40,14) -> 9* a__g0(117,14,9) -> 9* a__g0(122,40,117) -> 9* a__g0(118,119,118) -> 9* a__g0(119,119,117) -> 9* a__g0(16,14,121) -> 9* a__g0(121,121,118) -> 9* a__g0(117,117,119) -> 9* a__g0(16,15,40) -> 9* a__g0(119,9,9) -> 9* a__g0(14,14,122) -> 9* a__g0(118,117,9) -> 9* a__g0(40,118,15) -> 9* a__g0(121,15,118) -> 9* a__g0(40,9,119) -> 9* a__g0(14,122,16) -> 9* a__g0(14,14,117) -> 9* a__g0(118,16,14) -> 9* a__g0(119,118,118) -> 9* a__g0(14,16,119) -> 9* a__g0(9,118,9) -> 9* a__g0(122,119,16) -> 9* a__g0(9,16,14) -> 9* a__g0(119,9,118) -> 9* a__g0(117,118,9) -> 9* a__g0(16,121,118) -> 9* a__g0(121,14,16) -> 9* a__g0(9,118,118) -> 9* a__g0(15,16,122) -> 9* a__g0(16,15,15) -> 9* a__g0(121,121,16) -> 9* a__g0(15,118,40) -> 9* a__g0(15,40,15) -> 9* a__g0(118,15,40) -> 9* a__g0(40,9,118) -> 9* a__g0(119,121,15) -> 9* a__g0(117,121,40) -> 9* a__g0(14,117,16) -> 9* a__g0(118,16,121) -> 9* a__g0(40,118,16) -> 9* a__g0(14,16,121) -> 9* a__g0(14,122,14) -> 9* a__g0(14,121,122) -> 9* a__g0(121,15,40) -> 9* a__g0(118,16,16) -> 9* a__g0(15,15,121) -> 9* a__g0(117,122,40) -> 9* a__g0(117,9,122) -> 9* a__g0(15,9,16) -> 9* a__g0(117,16,122) -> 9* a__g0(40,15,9) -> 9* a__g0(9,16,121) -> 9* a__g0(117,122,122) -> 9* a__g0(14,122,122) -> 9* a__g0(121,40,119) -> 9* a__g0(119,117,9) -> 9* a__g0(121,14,14) -> 9* a__g0(9,40,118) -> 9* a__g0(15,118,9) -> 9* a__g0(40,9,15) -> 9* a__g0(15,15,16) -> 9* a__g0(16,14,16) -> 9* a__g0(40,118,9) -> 9* a__g0(122,16,119) -> 9* a__g0(40,118,40) -> 9* a__g0(15,117,119) -> 9* a__g0(119,40,14) -> 9* a__g0(118,119,14) -> 9* a__g0(122,16,15) -> 9* a__g0(40,16,9) -> 9* a__g0(16,122,117) -> 9* a__g0(122,14,122) -> 9* a__g0(121,121,9) -> 9* a__g0(15,40,16) -> 9* a__g0(119,117,121) -> 9* a__g0(118,118,9) -> 9* a__g0(40,117,40) -> 9* a__g0(9,15,9) -> 9* a__g0(9,117,122) -> 9* a__g0(118,121,118) -> 9* a__g0(9,122,118) -> 9* a__g0(15,9,121) -> 9* a__g0(9,117,15) -> 9* a__g0(9,15,117) -> 9* a__g0(117,118,40) -> 9* a__g0(119,14,117) -> 9* a__g0(14,118,9) -> 9* a__g0(118,14,16) -> 9* a__g0(14,9,122) -> 9* a__g0(15,121,14) -> 9* a__g0(14,119,15) -> 9* a__g0(119,9,122) -> 9* a__g0(121,9,117) -> 9* a__g0(9,118,40) -> 9* a__g0(15,121,16) -> 9* a__g0(14,121,119) -> 9* a__g0(15,16,117) -> 9* a__g0(118,9,119) -> 9* a__g0(121,118,122) -> 9* a__g0(15,122,16) -> 9* a__g0(16,119,121) -> 9* a__g0(122,118,119) -> 9* a__g0(117,119,119) -> 9* a__g0(121,121,122) -> 9* a__g0(15,15,40) -> 9* a__g0(117,40,9) -> 9* a__g0(121,40,122) -> 9* a__g0(40,9,122) -> 9* a__g0(119,121,121) -> 9* a__g0(117,121,16) -> 9* a__g0(16,121,119) -> 9* a__g0(118,40,121) -> 9* a__g0(14,14,40) -> 9* a__g0(40,14,14) -> 9* a__g0(9,15,15) -> 9* a__g0(14,9,118) -> 9* a__g0(16,119,118) -> 9* a__g0(119,16,122) -> 9* a__g0(119,14,40) -> 9* a__g0(14,16,122) -> 9* a__g0(16,9,40) -> 9* a__g0(117,16,16) -> 9* a__g0(117,118,122) -> 9* a__g0(117,40,117) -> 9* a__g0(14,119,16) -> 9* a__g0(122,119,9) -> 9* a__g0(15,40,9) -> 9* a__g0(9,14,9) -> 9* a__g0(121,9,9) -> 9* a__g0(119,119,118) -> 9* a__g0(15,40,118) -> 9* a__g0(40,121,119) -> 9* a__g0(40,118,118) -> 9* a__g0(118,119,117) -> 9* a__g0(122,40,119) -> 9* a__g0(118,117,16) -> 9* a__g0(122,117,118) -> 9* a__g0(119,118,121) -> 9* a__g0(40,14,122) -> 9* a__g0(121,122,118) -> 9* a__g0(9,122,40) -> 9* a__g0(16,119,15) -> 9* a__g0(9,122,119) -> 9* a__g0(16,121,122) -> 9* a__g0(119,15,121) -> 9* a__g0(121,16,122) -> 9* a__g0(15,40,119) -> 9* a__g0(9,122,16) -> 9* a__g0(16,121,16) -> 9* a__g0(40,40,121) -> 9* a__g0(40,14,15) -> 9* a__g0(16,40,121) -> 9* a__g0(122,9,15) -> 9* a__g0(40,16,121) -> 9* a__g0(15,122,14) -> 9* a__g0(117,14,122) -> 9* a__g0(119,9,16) -> 9* a__g0(122,15,14) -> 9* a__g0(121,40,14) -> 9* a__g0(14,14,14) -> 9* a__g0(119,119,119) -> 9* a__g0(14,14,9) -> 9* a__g0(9,9,122) -> 9* a__g0(121,40,16) -> 9* a__g0(16,40,16) -> 9* a__g0(16,121,121) -> 9* a__g0(118,16,119) -> 9* a__g0(122,121,119) -> 9* a__g0(40,16,119) -> 9* a__g0(9,121,40) -> 9* a__g0(118,121,119) -> 9* a__g0(122,9,118) -> 9* a__g0(117,15,16) -> 9* a__g0(118,118,14) -> 9* a__g0(9,118,119) -> 9* a__g0(14,15,118) -> 9* a__g0(14,9,40) -> 9* a__g0(117,117,121) -> 9* a__g0(122,118,118) -> 9* a__g0(121,40,117) -> 9* a__g0(40,121,15) -> 9* a__g0(9,122,15) -> 9* a__g0(121,15,15) -> 9* a__g0(122,121,118) -> 9* a__g0(119,9,121) -> 9* a__g0(117,118,118) -> 9* a__g0(40,14,9) -> 9* a__g0(117,121,9) -> 9* a__g0(117,9,121) -> 9* a__g0(9,16,118) -> 9* a__g0(40,118,14) -> 9* a__g0(14,15,40) -> 9* a__g0(121,14,40) -> 9* a__g0(117,9,118) -> 9* a__g0(40,14,16) -> 9* a__g0(9,40,117) -> 9* a__g0(121,15,9) -> 9* a__g0(117,121,118) -> 9* a__g0(9,14,118) -> 9* a__g0(40,121,122) -> 9* a__g0(16,14,118) -> 9* a__g0(15,122,15) -> 9* a__g0(117,16,121) -> 9* a__g0(16,16,118) -> 9* a__g0(119,14,14) -> 9* a__g0(119,14,121) -> 9* a__g0(122,9,122) -> 9* a__g0(14,121,16) -> 9* a__g0(119,16,117) -> 9* a__g0(117,118,16) -> 9* a__g0(119,16,118) -> 9* a__g0(9,14,121) -> 9* a__g0(122,14,117) -> 9* a__g0(118,118,119) -> 9* a__g0(117,118,14) -> 9* a__g0(119,122,16) -> 9* a__g0(14,117,40) -> 9* a__g0(117,117,117) -> 9* a__g0(16,119,122) -> 9* a__g0(16,122,14) -> 9* a__g0(9,118,121) -> 9* a__g0(121,16,15) -> 9* a__g0(119,9,14) -> 9* a__g0(121,14,15) -> 9* a__g0(121,40,118) -> 9* a__g0(117,117,15) -> 9* a__g0(40,117,14) -> 9* a__g0(122,117,15) -> 9* a__g0(40,122,40) -> 9* a__g0(9,15,118) -> 9* a__g0(118,16,118) -> 9* a__g0(14,40,122) -> 9* a__g0(117,14,16) -> 9* a__g0(121,16,121) -> 9* a__g0(9,15,122) -> 9* a__g0(119,15,122) -> 9* a__g0(16,118,16) -> 9* a__g0(118,15,16) -> 9* a__g0(40,118,117) -> 9* a__g0(119,40,16) -> 9* a__g0(119,118,9) -> 9* a__g0(121,119,122) -> 9* a__g0(122,117,16) -> 9* a__g0(15,14,40) -> 9* a__g0(118,122,16) -> 9* a__g0(9,121,121) -> 9* a__g0(118,9,117) -> 9* a__g0(16,16,119) -> 9* a__g0(121,122,119) -> 9* a__g0(117,14,121) -> 9* a__g0(118,14,122) -> 9* a__g0(121,118,118) -> 9* a__g0(118,119,122) -> 9* a__g0(14,40,121) -> 9* a__g0(121,119,9) -> 9* a__g0(40,122,121) -> 9* a__g0(118,40,15) -> 9* a__g0(118,9,118) -> 9* a__g0(121,122,14) -> 9* a__g0(40,15,40) -> 9* a__g0(122,119,119) -> 9* a__g0(40,122,122) -> 9* a__g0(15,9,15) -> 9* a__g0(14,16,118) -> 9* a__g0(40,15,122) -> 9* a__g0(121,15,16) -> 9* a__g0(119,121,118) -> 9* a__g0(119,117,117) -> 9* a__g0(9,40,14) -> 9* a__g0(9,14,15) -> 9* a__g0(15,119,121) -> 9* a__g0(9,9,118) -> 9* a__g0(9,119,16) -> 9* a__g0(15,121,119) -> 9* a__g0(9,14,14) -> 9* a__g0(9,117,119) -> 9* a__g0(15,121,9) -> 9* a__g0(122,40,122) -> 9* a__g0(9,122,121) -> 9* a__g0(14,14,16) -> 9* a__g0(15,16,119) -> 9* a__g0(121,118,119) -> 9* a__g0(15,15,14) -> 9* a__g0(119,117,122) -> 9* a__g0(118,15,14) -> 9* a__g0(15,117,118) -> 9* a__g0(118,118,40) -> 9* a__g0(9,121,117) -> 9* a__g0(14,9,15) -> 9* a__g0(117,122,119) -> 9* a__g0(16,118,121) -> 9* a__g0(14,117,121) -> 9* a__g0(9,118,16) -> 9* a__g0(122,117,119) -> 9* a__g0(40,16,118) -> 9* a__g0(15,119,9) -> 9* a__g0(121,121,14) -> 9* a__g0(15,117,15) -> 9* a__g0(9,9,16) -> 9* a__g0(117,121,122) -> 9* a__g0(122,9,16) -> 9* a__g0(40,121,40) -> 9* a__g0(117,119,122) -> 9* a__g0(16,9,119) -> 9* a__g0(14,15,122) -> 9* a__g0(16,119,119) -> 9* a__g0(9,118,14) -> 9* a__g0(118,14,14) -> 9* a__g0(117,40,118) -> 9* a__g0(122,122,9) -> 9* a__g0(122,14,119) -> 9* a__g0(121,119,119) -> 9* a__g0(9,118,122) -> 9* a__g0(121,16,119) -> 9* a__g0(121,40,9) -> 9* a__g0(122,9,121) -> 9* a__g0(14,117,15) -> 9* a__g0(118,121,16) -> 9* a__g0(117,9,119) -> 9* a__g0(122,121,14) -> 9* a__g0(121,117,16) -> 9* a__g0(119,122,119) -> 9* a__g0(9,121,15) -> 9* a__g0(118,9,16) -> 9* a__g0(121,14,118) -> 9* a__g0(117,14,117) -> 9* a__g0(122,16,122) -> 9* a__g0(122,16,14) -> 9* a__g0(14,9,9) -> 9* a__g0(15,9,119) -> 9* a__g0(15,14,118) -> 9* a__g0(14,117,122) -> 9* a__g0(14,16,14) -> 9* a__g0(40,14,40) -> 9* a__g0(122,117,117) -> 9* a__g0(16,14,119) -> 9* a__g0(121,14,117) -> 9* a__g0(15,119,16) -> 9* a__g0(40,119,118) -> 9* a__g0(9,122,14) -> 9* a__g0(122,16,118) -> 9* a__g0(118,14,118) -> 9* a__g0(14,16,15) -> 9* a__g0(15,16,118) -> 9* a__g0(118,16,117) -> 9* a__g0(118,14,121) -> 9* a__g0(15,121,118) -> 9* a__g0(119,16,9) -> 9* a__g0(119,40,117) -> 9* a__g0(117,16,119) -> 9* a__g0(121,122,9) -> 9* a__g0(121,9,119) -> 9* a__g0(118,121,122) -> 9* a__g0(118,118,117) -> 9* a__g0(40,14,121) -> 9* a__g0(119,15,16) -> 9* a__g0(14,121,15) -> 9* a__g0(9,117,117) -> 9* a__g0(9,9,15) -> 9* a__g0(40,40,118) -> 9* a__g0(118,117,117) -> 9* a__g0(118,16,9) -> 9* a__g0(16,118,14) -> 9* a__g0(14,16,40) -> 9* a__g0(117,9,15) -> 9* a__g0(16,14,122) -> 9* a__g0(117,40,15) -> 9* a__g0(122,118,14) -> 9* a__g0(122,122,40) -> 9* a__g0(117,9,9) -> 9* a__g0(119,117,119) -> 9* a__g0(15,16,40) -> 9* a__g0(14,14,121) -> 9* a__g0(40,117,9) -> 9* a__g0(122,9,117) -> 9* a__g0(118,9,122) -> 9* a__g0(118,118,121) -> 9* a__g0(16,14,40) -> 9* a__g0(122,117,122) -> 9* a__g0(14,119,119) -> 9* a__g0(117,9,14) -> 9* a__g0(40,16,16) -> 9* a__g0(118,14,40) -> 9* a__g0(40,40,9) -> 9* a__g0(119,15,15) -> 9* a__g0(9,15,121) -> 9* a__g0(118,117,15) -> 9* a__g0(9,16,16) -> 9* a__g0(14,9,14) -> 9* a__g0(118,15,15) -> 9* a__g0(16,15,122) -> 9* a__g0(9,40,121) -> 9* a__g0(117,40,121) -> 9* a__g0(122,119,14) -> 9* a__g0(15,119,122) -> 9* a__g0(40,117,15) -> 9* a__g0(122,15,40) -> 9* a__g0(16,117,16) -> 9* a__g0(14,16,9) -> 9* a__g0(16,16,9) -> 9* a__g0(40,119,15) -> 9* a__g0(16,121,117) -> 9* a__g0(14,14,118) -> 9* a__g0(118,121,121) -> 9* a__g0(16,40,119) -> 9* a__g0(117,16,118) -> 9* a__g0(122,118,117) -> 9* a__g0(119,117,16) -> 9* a__g0(15,117,121) -> 9* a__g0(14,9,117) -> 9* a__g0(119,16,16) -> 9* a__g0(122,122,122) -> 9* a__g0(16,117,122) -> 9* a__g0(119,15,9) -> 9* a__g0(15,14,121) -> 9* a__g0(121,16,9) -> 9* a__g0(119,121,40) -> 9* a__g0(14,119,122) -> 9* a__g0(117,15,117) -> 9* a__g0(121,118,121) -> 9* a__g0(121,14,121) -> 9* a__g0(119,118,122) -> 9* a__g0(119,40,40) -> 9* a__g0(14,119,121) -> 9* a__g0(117,15,119) -> 9* a__g0(117,122,117) -> 9* a__g0(9,122,122) -> 9* a__g0(9,117,118) -> 9* a__g0(40,15,118) -> 9* a__g0(122,122,119) -> 9* a__g0(118,122,121) -> 9* a__g0(118,16,15) -> 9* a__g0(9,119,40) -> 9* a__g0(15,117,9) -> 9* a__g0(16,40,122) -> 9* a__g0(119,14,9) -> 9* a__g0(122,40,14) -> 9* a__g0(122,118,121) -> 9* a__g0(15,14,9) -> 9* a__g0(119,119,14) -> 9* a__g0(121,117,118) -> 9* a__g0(15,118,15) -> 9* a__g0(118,117,118) -> 9* a__g0(119,40,122) -> 9* a__g0(122,40,40) -> 9* a__g0(118,118,15) -> 9* a__g0(9,119,122) -> 9* a__g0(118,122,119) -> 9* a__g0(15,119,15) -> 9* a__g0(9,9,9) -> 9* a__g0(15,122,118) -> 9* a__g0(119,121,14) -> 9* a__g0(40,118,122) -> 9* a__g0(9,121,16) -> 9* a__g0(14,117,118) -> 9* a__g0(122,15,121) -> 9* a__g0(16,14,15) -> 9* a__g0(122,15,9) -> 9* a__g0(9,15,119) -> 9* a__g0(117,15,121) -> 9* a__g0(16,121,14) -> 9* a__g0(9,117,121) -> 9* a__g0(14,16,16) -> 9* a__g0(118,15,121) -> 9* a__g0(40,16,40) -> 9* a__g0(117,121,117) -> 9* a__g0(119,15,40) -> 9* a__g0(15,15,122) -> 9* a__g0(117,15,122) -> 9* a__g0(40,118,121) -> 9* a__g0(14,118,14) -> 9* a__g0(121,119,117) -> 9* a__g0(9,40,16) -> 9* a__g0(121,121,121) -> 9* a__g0(118,9,14) -> 9* a__g0(40,119,119) -> 9* a__g0(9,15,16) -> 9* a__g0(16,118,40) -> 9* a__g0(118,121,40) -> 9* a__g0(16,16,15) -> 9* a__g0(16,9,14) -> 9* a__g0(121,9,40) -> 9* a__g0(40,121,117) -> 9* a__g0(40,40,16) -> 9* a__g0(15,119,14) -> 9* a__g0(119,16,14) -> 9* a__g0(15,15,119) -> 9* a__g0(15,121,40) -> 9* a__g0(14,14,15) -> 9* a__g0(117,119,16) -> 9* a__g0(14,118,40) -> 9* a__g0(16,118,119) -> 9* a__g0(118,40,16) -> 9* a__g0(16,9,118) -> 9* a__g0(14,117,9) -> 9* a__g0(119,15,118) -> 9* a__g0(40,122,16) -> 9* a__g0(9,14,122) -> 9* a__g0(119,9,119) -> 9* a__g0(16,119,14) -> 9* a__g0(119,14,118) -> 9* a__g0(122,119,121) -> 9* a__g0(9,117,9) -> 9* a__g0(9,40,119) -> 9* a__g0(118,15,119) -> 9* a__g0(9,15,40) -> 9* a__g0(40,16,14) -> 9* a__g0(119,40,118) -> 9* a__g0(121,122,15) -> 9* a__g0(118,117,14) -> 9* a__g0(14,118,118) -> 9* a__g0(14,121,118) -> 9* a__g0(9,119,117) -> 9* a__g0(40,122,119) -> 9* a__g0(122,121,16) -> 9* a__g0(9,118,15) -> 9* a__g0(9,16,119) -> 9* a__g0(14,15,117) -> 9* a__g0(117,14,119) -> 9* a__g0(16,122,119) -> 9* a__g0(15,118,14) -> 9* a__g0(117,122,9) -> 9* a__g0(121,16,40) -> 9* a__g0(122,15,117) -> 9* a__g0(118,121,15) -> 9* a__g0(9,14,16) -> 9* a__g0(14,40,117) -> 9* a__g0(9,40,9) -> 9* a__g0(15,16,121) -> 9* a__g0(122,119,122) -> 9* a__g0(15,16,9) -> 9* a__g0(121,40,40) -> 9* a__g0(122,117,9) -> 9* a__g0(117,15,14) -> 9* a__g0(118,121,14) -> 9* a__g0(121,121,15) -> 9* a__g0(14,122,119) -> 9* a__g0(122,119,117) -> 9* a__g0(9,9,14) -> 9* a__g0(14,15,9) -> 9* a__g0(119,119,9) -> 9* a__g0(16,117,119) -> 9* a__g0(119,40,15) -> 9* a__g0(14,119,118) -> 9* a__g0(16,119,16) -> 9* a__g0(15,9,117) -> 9* a__g0(119,118,16) -> 9* a__g0(121,122,16) -> 9* a__g0(121,117,15) -> 9* a__g0(9,9,119) -> 9* a__g0(16,118,122) -> 9* a__g0(121,16,16) -> 9* a__g0(40,122,9) -> 9* a__g0(15,14,122) -> 9* a__g0(121,15,122) -> 9* a__g0(117,40,119) -> 9* a__g0(16,122,40) -> 9* a__g0(14,40,118) -> 9* a__g0(119,121,16) -> 9* a__g0(122,121,9) -> 9* a__g0(9,121,14) -> 9* a__g0(121,40,121) -> 9* a__g0(117,16,9) -> 9* a__g0(9,122,117) -> 9* a__g0(118,14,117) -> 9* a__g0(119,122,117) -> 9* a__g0(40,121,121) -> 9* a__g0(16,9,121) -> 9* a__g0(119,122,118) -> 9* a__g0(118,119,15) -> 9* a__g0(117,122,121) -> 9* a__g0(16,121,15) -> 9* a__g0(40,9,117) -> 9* a__g0(122,119,15) -> 9* a__g0(40,119,122) -> 9* a__g0(121,15,119) -> 9* a__g0(16,117,9) -> 9* a__g0(14,118,117) -> 9* a__g0(16,121,40) -> 9* a__g0(15,122,119) -> 9* a__g0(121,117,14) -> 9* a__g0(40,118,119) -> 9* a__g0(16,119,40) -> 9* a__g0(9,121,9) -> 9* a__g0(14,122,15) -> 9* a__g0(118,121,117) -> 9* a__g0(9,117,16) -> 9* a__g0(40,16,15) -> 9* a__g0(119,122,9) -> 9* a__g0(122,40,16) -> 9* a__g0(16,119,9) -> 9* a__g0(117,118,15) -> 9* a__g0(119,16,121) -> 9* a__g0(15,118,118) -> 9* a__g0(9,119,14) -> 9* a__g0(14,119,117) -> 9* a__g0(15,9,122) -> 9* a__g0(119,15,14) -> 9* a__g0(15,117,122) -> 9* a__g0(9,40,40) -> 9* a__g0(15,16,16) -> 9* a__g0(14,118,15) -> 9* a__g0(15,15,15) -> 9* a__g0(117,117,122) -> 9* a__g0(40,117,122) -> 9* a__g0(16,117,15) -> 9* a__g0(16,122,118) -> 9* a__g0(118,40,9) -> 9* a__g0(121,121,119) -> 9* a__g0(15,14,14) -> 9* a__g0(40,14,117) -> 9* a__g0(121,122,121) -> 9* a__g0(9,119,15) -> 9* a__g0(117,16,14) -> 9* a__g0(14,122,40) -> 9* a__g0(117,121,119) -> 9* a__g0(121,9,121) -> 9* a__g0(15,119,40) -> 9* a__g0(122,119,40) -> 9* a__g0(121,14,122) -> 9* a__g0(119,118,15) -> 9* a__g0(15,15,118) -> 9* a__g0(14,121,9) -> 9* a__g0(118,40,117) -> 9* a__g0(40,40,117) -> 9* a__g0(16,119,117) -> 9* a__g0(118,122,9) -> 9* a__g0(16,122,9) -> 9* a__g0(118,9,15) -> 9* a__g0(9,16,117) -> 9* a__g0(119,40,121) -> 9* a__g0(117,14,14) -> 9* a__g0(122,14,9) -> 9* a__g0(122,16,117) -> 9* a__g0(9,117,40) -> 9* a__g0(40,9,40) -> 9* a__g0(40,14,119) -> 9* a__g0(121,16,118) -> 9* a__g0(122,40,15) -> 9* l2() -> 117,40,14,121,122*,9 f1(122) -> 40* f1(118) -> 40* f1(9) -> 15,40*,9 f1(117) -> 40* f1(14) -> 15,40*,9 f1(40) -> 15,40*,9 f1(16) -> 15,40*,9 f1(121) -> 40* f1(15) -> 15,40*,9 f1(119) -> 40* a__k2() -> 117,40,14,121,122*,9,109 k2() -> 117,40,14,122*,9 a__z1(16,118) -> 14* a__z1(15,117) -> 14* a__z1(119,15) -> 40* a__z1(40,14) -> 15,40*,9 a__z1(9,122) -> 14* a__z1(117,121) -> 40* a__z1(9,117) -> 14* a__z1(122,9) -> 40* a__z1(121,15) -> 40* a__z1(118,40) -> 40* a__z1(16,40) -> 9,14* a__z1(14,9) -> 15,14,40*,9 a__z1(119,14) -> 40* a__z1(14,15) -> 15,14,40*,9 a__z1(119,122) -> 40* a__z1(40,16) -> 15,40*,9 a__z1(16,14) -> 9,14* a__z1(9,118) -> 14* a__z1(9,14) -> 9,14* a__z1(40,121) -> 40* a__z1(118,122) -> 40* a__z1(9,15) -> 9,14* a__z1(121,14) -> 40* a__z1(121,117) -> 40* a__z1(9,121) -> 14* a__z1(122,118) -> 40* a__z1(118,15) -> 40* a__z1(40,119) -> 40* a__z1(40,15) -> 9,40* a__z1(16,121) -> 14* a__z1(119,118) -> 40* a__z1(14,14) -> 15,14,40*,9 a__z1(15,40) -> 9,14* a__z1(118,14) -> 40* a__z1(14,16) -> 15,14,40*,9 a__z1(118,9) -> 40* a__z1(117,16) -> 40* a__z1(16,117) -> 14* a__z1(119,9) -> 40* a__z1(117,122) -> 40* a__z1(15,14) -> 9,14* a__z1(40,40) -> 9,40* a__z1(14,122) -> 40* a__z1(122,16) -> 40* a__z1(40,117) -> 40* a__z1(117,119) -> 40* a__z1(40,122) -> 40* a__z1(118,16) -> 40* a__z1(14,117) -> 40* a__z1(15,16) -> 9,14* a__z1(15,121) -> 14* a__z1(121,119) -> 40* a__z1(122,15) -> 40* a__z1(14,118) -> 40* a__z1(119,117) -> 40* a__z1(9,40) -> 9,14* a__z1(16,119) -> 14* a__z1(121,9) -> 40* a__z1(119,16) -> 40* a__z1(118,119) -> 40* a__z1(122,40) -> 40* a__z1(15,9) -> 9,14* a__z1(122,121) -> 40* a__z1(15,118) -> 14* a__z1(122,122) -> 40* a__z1(118,121) -> 40* a__z1(122,119) -> 40* a__z1(14,121) -> 40* a__z1(40,118) -> 40* a__z1(121,118) -> 40* a__z1(121,122) -> 40* a__z1(9,9) -> 9,14* a__z1(15,122) -> 14* a__z1(14,40) -> 14,9,40* a__z1(117,15) -> 40* a__z1(118,117) -> 40* a__z1(117,117) -> 40* a__z1(122,117) -> 40* a__z1(16,16) -> 9,14* a__z1(14,119) -> 40* a__z1(9,16) -> 9,14* a__z1(117,9) -> 40* a__z1(119,119) -> 40* a__z1(121,121) -> 40* a__z1(16,15) -> 9,14* a__z1(40,9) -> 15,40*,9 a__z1(15,15) -> 9,14* a__z1(121,40) -> 40* a__z1(16,9) -> 9,14* a__z1(121,16) -> 40* a__z1(119,121) -> 40* a__z1(118,118) -> 40* a__z1(122,14) -> 40* a__z1(117,40) -> 40* a__z1(117,118) -> 40* a__z1(15,119) -> 14* a__z1(117,14) -> 40* a__z1(119,40) -> 40* a__z1(9,119) -> 14* a__z1(16,122) -> 14* b1() -> 14,40*,9 a__a1() -> 14,40*,9 a__c1() -> 14,40*,9 z1(40,122) -> 40* z1(16,16) -> 9,14* z1(117,40) -> 40* z1(15,40) -> 9,14* z1(40,15) -> 14,40*,9 z1(15,16) -> 9,14* z1(117,15) -> 40* z1(15,122) -> 14* z1(118,15) -> 40* z1(117,118) -> 40* z1(15,15) -> 9,14* z1(121,117) -> 40* z1(121,15) -> 40* z1(117,9) -> 40* z1(16,14) -> 9,14* z1(118,117) -> 40* z1(9,121) -> 14* z1(40,14) -> 14,40*,9 z1(16,119) -> 14* z1(15,118) -> 14* z1(122,121) -> 40* z1(14,117) -> 40* z1(118,40) -> 40* z1(119,117) -> 40* z1(122,40) -> 40* z1(14,118) -> 40* z1(119,121) -> 40* z1(118,118) -> 40* z1(121,40) -> 40* z1(14,15) -> 14,40*,9 z1(121,14) -> 40* z1(117,16) -> 40* z1(117,119) -> 40* z1(118,9) -> 40* z1(117,122) -> 40* z1(40,16) -> 14,40*,9 z1(121,16) -> 40* z1(119,9) -> 40* z1(16,117) -> 14* z1(118,14) -> 40* z1(119,16) -> 40* z1(14,121) -> 40* z1(117,117) -> 40* z1(118,121) -> 40* z1(121,9) -> 40* z1(9,14) -> 9,14* z1(121,118) -> 40* z1(14,16) -> 14,40*,9 z1(119,15) -> 40* z1(122,9) -> 40* z1(118,122) -> 40* z1(9,118) -> 14* z1(122,122) -> 40* z1(9,117) -> 14* z1(14,122) -> 40* z1(122,118) -> 40* z1(119,14) -> 40* z1(9,16) -> 9,14* z1(9,15) -> 9,14* z1(14,119) -> 40* z1(117,14) -> 40* z1(9,122) -> 14* z1(122,15) -> 40* z1(122,119) -> 40* z1(118,16) -> 40* z1(15,14) -> 9,14* z1(16,121) -> 14* z1(16,9) -> 9,14* z1(40,9) -> 14,40*,9 z1(119,40) -> 40* z1(122,117) -> 40* z1(16,40) -> 9,14* z1(14,40) -> 14,40*,9 z1(119,119) -> 40* z1(117,121) -> 40* z1(9,119) -> 14* z1(119,118) -> 40* z1(40,40) -> 14,40*,9 z1(121,121) -> 40* z1(16,118) -> 14* z1(40,118) -> 40* z1(121,122) -> 40* z1(122,14) -> 40* z1(9,40) -> 9,14* z1(40,119) -> 40* z1(15,119) -> 14* z1(122,16) -> 40* z1(15,117) -> 14* z1(14,9) -> 14,40*,9 z1(118,119) -> 40* z1(40,117) -> 40* z1(119,122) -> 40* z1(14,14) -> 14,40*,9 z1(40,121) -> 40* z1(16,122) -> 14* z1(15,9) -> 9,14* z1(121,119) -> 40* z1(15,121) -> 14* z1(16,15) -> 9,14* z1(9,9) -> 9,14* a1() -> 14,40*,9 mark2(117) -> 40,121*,120 mark2(15) -> 14,40,118*,9,112,111 mark2(109) -> 120* mark2(122) -> 40,121*,120 a__A{#,1}() -> 9,16* a__b1() -> 14,40*,9 c1() -> 14,40*,9 d1() -> 14,40*,9 a__d1() -> 14,40*,9 f2(122) -> 40,110,119* f2(109) -> 110* f2(117) -> 40,119*,110 m2() -> 117,40,14,121,122*,9 a__f1(40) -> 15,40* a__f1(15) -> 15,40* a__f1(122) -> 40* a__f1(119) -> 40* a__f1(117) -> 40* a__f1(121) -> 40* a__f1(16) -> 15,40* a__f1(14) -> 15,14,40* a__f1(118) -> 40* a__f1(9) -> 15,14,40* a__h{#,0}(15,117) -> 9* a__h{#,0}(40,121) -> 9* a__h{#,0}(9,15) -> 9* a__h{#,0}(121,118) -> 9* a__h{#,0}(40,118) -> 9* a__h{#,0}(122,119) -> 9* a__h{#,0}(122,122) -> 9* a__h{#,0}(122,117) -> 9* a__h{#,0}(121,9) -> 9* a__h{#,0}(16,9) -> 9* a__h{#,0}(16,15) -> 9* a__h{#,0}(118,9) -> 9* a__h{#,0}(15,122) -> 9* a__h{#,0}(14,117) -> 9* a__h{#,0}(121,121) -> 9* a__h{#,0}(122,9) -> 9* a__h{#,0}(9,121) -> 9* a__h{#,0}(14,15) -> 9* a__h{#,0}(117,40) -> 9* a__h{#,0}(119,119) -> 9* a__h{#,0}(15,40) -> 9* a__h{#,0}(16,40) -> 9* a__h{#,0}(122,16) -> 9* a__h{#,0}(117,14) -> 9* a__h{#,0}(16,122) -> 9* a__h{#,0}(118,119) -> 9* a__h{#,0}(15,118) -> 9* a__h{#,0}(14,119) -> 9* a__h{#,0}(122,40) -> 9* a__h{#,0}(117,9) -> 9* a__h{#,0}(117,121) -> 9* a__h{#,0}(15,16) -> 9* a__h{#,0}(9,16) -> 9* a__h{#,0}(9,117) -> 9* a__h{#,0}(9,9) -> 9* a__h{#,0}(118,118) -> 9* a__h{#,0}(16,118) -> 9* a__h{#,0}(15,14) -> 9* a__h{#,0}(40,122) -> 9* a__h{#,0}(117,117) -> 9* a__h{#,0}(121,40) -> 9* a__h{#,0}(117,122) -> 9* a__h{#,0}(122,118) -> 9* a__h{#,0}(119,122) -> 9* a__h{#,0}(14,40) -> 9* a__h{#,0}(15,15) -> 9* a__h{#,0}(40,16) -> 9* a__h{#,0}(119,40) -> 9* a__h{#,0}(14,16) -> 9* a__h{#,0}(118,121) -> 9* a__h{#,0}(119,121) -> 9* a__h{#,0}(40,119) -> 9* a__h{#,0}(118,15) -> 9* a__h{#,0}(117,118) -> 9* a__h{#,0}(14,122) -> 9* a__h{#,0}(16,16) -> 9* a__h{#,0}(122,15) -> 9* a__h{#,0}(117,16) -> 9* a__h{#,0}(40,15) -> 9* a__h{#,0}(121,119) -> 9* a__h{#,0}(119,14) -> 9* a__h{#,0}(121,117) -> 9* a__h{#,0}(118,16) -> 9* a__h{#,0}(117,119) -> 9* a__h{#,0}(40,9) -> 9* a__h{#,0}(118,14) -> 9* a__h{#,0}(117,15) -> 9* a__h{#,0}(9,119) -> 9* a__h{#,0}(40,40) -> 9* a__h{#,0}(122,121) -> 9* a__h{#,0}(14,9) -> 9* a__h{#,0}(16,14) -> 9* a__h{#,0}(121,122) -> 9* a__h{#,0}(118,122) -> 9* a__h{#,0}(40,14) -> 9* a__h{#,0}(119,15) -> 9* a__h{#,0}(9,118) -> 9* a__h{#,0}(15,9) -> 9* a__h{#,0}(16,119) -> 9* a__h{#,0}(16,117) -> 9* a__h{#,0}(9,14) -> 9* a__h{#,0}(119,16) -> 9* a__h{#,0}(118,117) -> 9* a__h{#,0}(14,121) -> 9* a__h{#,0}(119,117) -> 9* a__h{#,0}(40,117) -> 9* a__h{#,0}(118,40) -> 9* a__h{#,0}(14,14) -> 9* a__h{#,0}(14,118) -> 9* a__h{#,0}(9,122) -> 9* a__h{#,0}(121,16) -> 9* a__h{#,0}(16,121) -> 9* a__h{#,0}(9,40) -> 9* a__h{#,0}(119,9) -> 9* a__h{#,0}(121,14) -> 9* a__h{#,0}(15,121) -> 9* a__h{#,0}(15,119) -> 9* a__h{#,0}(121,15) -> 9* a__h{#,0}(122,14) -> 9* a__h{#,0}(119,118) -> 9* a__h{#,1}(15,15) -> 9,16* z2(120,109) -> 110* z2(122,122) -> 40,119*,110 z2(121,122) -> 40,119*,110 z2(122,109) -> 110* z2(120,117) -> 110* z2(122,117) -> 40,119*,110 z2(121,117) -> 40,110,119* z2(120,122) -> 110* z2(121,109) -> 110* a__f2(117) -> 40,119*,110 a__f2(109) -> 110* a__f2(122) -> 40,119*,110 a__g{#,1}(121,122,122) -> 10,9,16* a__g{#,1}(122,14,15) -> 10,9,16* a__g{#,1}(119,119,122) -> 10,9,16* a__g{#,1}(121,14,15) -> 9,10,16* a__g{#,1}(122,119,40) -> 10,9,16* a__g{#,1}(122,119,117) -> 10,9,16* a__g{#,1}(118,119,40) -> 9,10,16* a__g{#,1}(119,121,121) -> 9,10,16* a__g{#,1}(117,119,122) -> 10,9,16* a__g{#,1}(121,14,118) -> 10,9,16* a__g{#,1}(121,40,15) -> 9,10,16* a__g{#,1}(117,121,117) -> 9,10,16* a__g{#,1}(118,121,117) -> 9,10,16* a__g{#,1}(119,40,117) -> 9,10,16* a__g{#,1}(117,14,122) -> 10,9,16* a__g{#,1}(119,117,15) -> 9,10,16* a__g{#,1}(118,121,40) -> 9,10,16* a__g{#,1}(118,122,118) -> 10,9,16* a__g{#,1}(14,40,15) -> 10,9,16* a__g{#,1}(40,117,119) -> 9,10,16* a__g{#,1}(119,40,40) -> 9,10,16* a__g{#,1}(40,122,15) -> 9,10,16* a__g{#,1}(118,119,118) -> 9,10,16* a__g{#,1}(40,122,121) -> 9,10,16* a__g{#,1}(122,121,121) -> 10,9,16* a__g{#,1}(118,117,121) -> 9,10,16* a__g{#,1}(122,119,119) -> 10,9,16* a__g{#,1}(119,14,121) -> 9,10,16* a__g{#,1}(117,14,40) -> 9,10,16* a__g{#,1}(121,117,119) -> 10,9,16* a__g{#,1}(121,121,117) -> 9,10,16* a__g{#,1}(119,40,15) -> 9,10,16* a__g{#,1}(40,14,119) -> 9,10,16* a__g{#,1}(122,117,118) -> 10,9,16* a__g{#,1}(14,121,117) -> 9,10,16* a__g{#,1}(40,117,40) -> 9,10,16* a__g{#,1}(119,14,117) -> 10,9,16* a__g{#,1}(122,121,40) -> 10,9,16* a__g{#,1}(40,14,117) -> 9,10,16* a__g{#,1}(117,117,121) -> 10,9,16* a__g{#,1}(121,40,122) -> 10,9,16* a__g{#,1}(40,117,15) -> 9,10,16* a__g{#,1}(119,122,117) -> 10,9,16* a__g{#,1}(119,118,121) -> 9,10,16* a__g{#,1}(122,40,117) -> 10,9,16* a__g{#,1}(40,40,40) -> 10,9,16* a__g{#,1}(121,117,122) -> 10,9,16* a__g{#,1}(118,14,122) -> 10,9,16* a__g{#,1}(118,40,119) -> 9,10,16* a__g{#,1}(14,122,40) -> 10,9,16* a__g{#,1}(121,40,117) -> 9,10,16* a__g{#,1}(121,119,117) -> 10,9,16* a__g{#,1}(40,121,122) -> 9,10,16* a__g{#,1}(14,122,118) -> 10,9,16* a__g{#,1}(122,40,122) -> 10,9,16* a__g{#,1}(119,119,118) -> 9,10,16* a__g{#,1}(121,122,118) -> 10,9,16* a__g{#,1}(121,118,40) -> 9,10,16* a__g{#,1}(118,117,119) -> 9,10,16* a__g{#,1}(14,118,15) -> 9,10,16* a__g{#,1}(40,121,119) -> 10,9,16* a__g{#,1}(40,40,118) -> 9,10,16* a__g{#,1}(40,118,15) -> 9,10,16* a__g{#,1}(122,40,118) -> 10,9,16* a__g{#,1}(117,122,118) -> 10,9,16* a__g{#,1}(119,14,122) -> 10,9,16* a__g{#,1}(121,14,117) -> 10,9,16* a__g{#,1}(117,40,122) -> 9,10,16* a__g{#,1}(122,122,15) -> 10,9,16* a__g{#,1}(122,122,119) -> 10,9,16* a__g{#,1}(40,122,119) -> 10,9,16* a__g{#,1}(122,121,117) -> 10,9,16* a__g{#,1}(117,119,121) -> 10,9,16* a__g{#,1}(117,119,15) -> 9,10,16* a__g{#,1}(122,14,122) -> 10,9,16* a__g{#,1}(119,122,15) -> 9,10,16* a__g{#,1}(117,122,40) -> 10,9,16* a__g{#,1}(122,117,122) -> 10,9,16* a__g{#,1}(118,122,122) -> 9,10,16* a__g{#,1}(40,119,119) -> 9,10,16* a__g{#,1}(121,117,40) -> 9,10,16* a__g{#,1}(14,117,40) -> 9,10,16* a__g{#,1}(118,122,40) -> 9,10,16* a__g{#,1}(14,119,121) -> 10,9,16* a__g{#,1}(14,119,117) -> 9,10,16* a__g{#,1}(14,40,40) -> 10,9,16* a__g{#,1}(121,14,122) -> 10,9,16* a__g{#,1}(14,121,122) -> 9,10,16* a__g{#,1}(14,119,122) -> 10,9,16* a__g{#,1}(122,118,122) -> 10,9,16* a__g{#,1}(117,40,15) -> 9,10,16* a__g{#,1}(119,117,122) -> 9,10,16* a__g{#,1}(122,118,119) -> 10,9,16* a__g{#,1}(117,40,117) -> 9,10,16* a__g{#,1}(122,119,15) -> 10,9,16* a__g{#,1}(117,117,118) -> 9,10,16* a__g{#,1}(40,14,15) -> 10,9,16* a__g{#,1}(121,121,119) -> 10,9,16* a__g{#,1}(14,14,119) -> 9,10,16* a__g{#,1}(14,119,119) -> 9,10,16* a__g{#,1}(14,118,118) -> 9,10,16* a__g{#,1}(119,118,40) -> 9,10,16* a__g{#,1}(119,122,119) -> 10,9,16* a__g{#,1}(119,118,117) -> 9,10,16* a__g{#,1}(118,117,118) -> 9,10,16* a__g{#,1}(118,14,40) -> 9,10,16* a__g{#,1}(117,117,119) -> 10,9,16* a__g{#,1}(122,117,117) -> 10,9,16* a__g{#,1}(117,117,117) -> 9,10,16* a__g{#,1}(14,14,40) -> 10,9,16* a__g{#,1}(14,119,40) -> 9,10,16* a__g{#,1}(122,122,121) -> 10,9,16* a__g{#,1}(121,121,40) -> 9,10,16* a__g{#,1}(122,122,40) -> 10,9,16* a__g{#,1}(118,122,119) -> 10,9,16* a__g{#,1}(122,121,15) -> 10,9,16* a__g{#,1}(121,119,118) -> 10,9,16* a__g{#,1}(121,40,40) -> 9,10,16* a__g{#,1}(118,118,122) -> 10,9,16* a__g{#,1}(40,117,117) -> 9,10,16* a__g{#,1}(40,118,40) -> 9,10,16* a__g{#,1}(14,122,119) -> 10,9,16* a__g{#,1}(121,118,117) -> 9,10,16* a__g{#,1}(122,117,121) -> 9,10,16* a__g{#,1}(117,40,119) -> 9,10,16* a__g{#,1}(119,40,119) -> 9,10,16* a__g{#,1}(14,40,121) -> 9,10,16* a__g{#,1}(118,122,15) -> 9,10,16* a__g{#,1}(122,119,122) -> 10,9,16* a__g{#,1}(122,118,117) -> 10,9,16* a__g{#,1}(118,118,40) -> 9,10,16* a__g{#,1}(121,40,121) -> 9,10,16* a__g{#,1}(121,121,118) -> 9,10,16* a__g{#,1}(118,119,117) -> 9,10,16* a__g{#,1}(14,117,121) -> 10,9,16* a__g{#,1}(117,117,122) -> 9,10,16* a__g{#,1}(40,119,15) -> 9,10,16* a__g{#,1}(40,121,118) -> 9,10,16* a__g{#,1}(121,14,40) -> 9,10,16* a__g{#,1}(119,121,117) -> 9,10,16* a__g{#,1}(14,14,15) -> 16*,10,9 a__g{#,1}(118,14,117) -> 9,10,16* a__g{#,1}(14,118,122) -> 10,9,16* a__g{#,1}(118,121,121) -> 9,10,16* a__g{#,1}(119,117,40) -> 9,10,16* a__g{#,1}(14,118,40) -> 9,10,16* a__g{#,1}(40,14,40) -> 10,9,16* a__g{#,1}(117,118,117) -> 9,10,16* a__g{#,1}(121,122,15) -> 10,9,16* a__g{#,1}(118,14,119) -> 9,10,16* a__g{#,1}(40,40,15) -> 10,9,16* a__g{#,1}(122,14,121) -> 10,9,16* a__g{#,1}(14,117,119) -> 10,9,16* a__g{#,1}(121,117,15) -> 9,10,16* a__g{#,1}(40,118,118) -> 9,10,16* a__g{#,1}(122,119,121) -> 10,9,16* a__g{#,1}(121,119,121) -> 10,9,16* a__g{#,1}(40,121,117) -> 9,10,16* a__g{#,1}(117,14,121) -> 9,10,16* a__g{#,1}(119,40,118) -> 9,10,16* a__g{#,1}(117,118,121) -> 9,10,16* a__g{#,1}(118,118,15) -> 9,10,16* a__g{#,1}(122,14,40) -> 10,9,16* a__g{#,1}(40,118,119) -> 9,10,16* a__g{#,1}(121,122,119) -> 10,9,16* a__g{#,1}(119,121,122) -> 9,10,16* a__g{#,1}(40,118,117) -> 9,10,16* a__g{#,1}(119,118,118) -> 10,9,16* a__g{#,1}(40,122,122) -> 9,10,16* a__g{#,1}(117,117,40) -> 9,10,16* a__g{#,1}(118,40,15) -> 9,10,16* a__g{#,1}(121,118,122) -> 10,9,16* a__g{#,1}(14,118,119) -> 9,10,16* a__g{#,1}(118,40,122) -> 9,10,16* a__g{#,1}(118,14,15) -> 9,10,16* a__g{#,1}(122,118,118) -> 10,9,16* a__g{#,1}(40,119,122) -> 10,9,16* a__g{#,1}(122,14,118) -> 10,9,16* a__g{#,1}(119,122,121) -> 9,10,16* a__g{#,1}(121,118,119) -> 10,9,16* a__g{#,1}(122,14,117) -> 10,9,16* a__g{#,1}(119,118,15) -> 9,10,16* a__g{#,1}(117,117,15) -> 9,10,16* a__g{#,1}(40,40,117) -> 9,10,16* a__g{#,1}(118,121,119) -> 10,9,16* a__g{#,1}(118,117,40) -> 9,10,16* a__g{#,1}(119,121,119) -> 10,9,16* a__g{#,1}(117,121,118) -> 9,10,16* a__g{#,1}(119,121,118) -> 9,10,16* a__g{#,1}(14,117,117) -> 9,10,16* a__g{#,1}(118,119,15) -> 9,10,16* a__g{#,1}(122,121,119) -> 10,9,16* a__g{#,1}(118,122,117) -> 10,9,16* a__g{#,1}(14,117,15) -> 9,10,16* a__g{#,1}(121,119,40) -> 10,9,16* a__g{#,1}(119,122,40) -> 9,10,16* a__g{#,1}(118,117,117) -> 9,10,16* a__g{#,1}(122,40,15) -> 10,9,16* a__g{#,1}(117,122,122) -> 10,9,16* a__g{#,1}(122,121,122) -> 10,9,16* a__g{#,1}(121,121,122) -> 10,9,16* a__g{#,1}(117,40,121) -> 9,10,16* a__g{#,1}(118,118,118) -> 9,10,16* a__g{#,1}(118,40,117) -> 9,10,16* a__g{#,1}(122,14,119) -> 10,9,16* a__g{#,1}(118,121,118) -> 9,10,16* a__g{#,1}(118,119,119) -> 9,10,16* a__g{#,1}(121,122,40) -> 10,9,16* a__g{#,1}(119,14,119) -> 9,10,16* a__g{#,1}(122,118,121) -> 10,9,16* a__g{#,1}(14,122,122) -> 9,10,16* a__g{#,1}(14,121,15) -> 9,10,16* a__g{#,1}(117,14,117) -> 9,10,16* a__g{#,1}(118,117,15) -> 9,10,16* a__g{#,1}(121,40,118) -> 9,10,16* a__g{#,1}(118,122,121) -> 9,10,16* a__g{#,1}(119,119,40) -> 9,10,16* a__g{#,1}(40,117,121) -> 9,10,16* a__g{#,1}(119,14,40) -> 9,10,16* a__g{#,1}(40,122,117) -> 9,10,16* a__g{#,1}(119,119,121) -> 10,9,16* a__g{#,1}(40,121,40) -> 9,10,16* a__g{#,1}(117,40,118) -> 9,10,16* a__g{#,1}(118,14,118) -> 9,10,16* a__g{#,1}(119,119,119) -> 9,10,16* a__g{#,1}(14,119,118) -> 9,10,16* a__g{#,1}(40,119,118) -> 9,10,16* a__g{#,1}(122,40,121) -> 10,9,16* a__g{#,1}(122,40,119) -> 10,9,16* a__g{#,1}(118,14,121) -> 9,10,16* a__g{#,1}(117,118,40) -> 9,10,16* a__g{#,1}(118,118,121) -> 9,10,16* a__g{#,1}(121,118,118) -> 10,9,16* a__g{#,1}(119,119,117) -> 9,10,16* a__g{#,1}(121,122,121) -> 9,10,16* a__g{#,1}(40,14,118) -> 9,10,16* a__g{#,1}(40,14,122) -> 9,10,16* a__g{#,1}(119,122,122) -> 9,10,16* a__g{#,1}(117,121,40) -> 9,10,16* a__g{#,1}(119,121,40) -> 9,10,16* a__g{#,1}(119,122,118) -> 10,9,16* a__g{#,1}(122,117,40) -> 10,9,16* a__g{#,1}(117,119,118) -> 9,10,16* a__g{#,1}(14,14,122) -> 10,9,16* a__g{#,1}(122,119,118) -> 10,9,16* a__g{#,1}(14,121,118) -> 9,10,16* a__g{#,1}(117,118,119) -> 9,10,16* a__g{#,1}(40,122,40) -> 9,10,16* a__g{#,1}(118,119,122) -> 10,9,16* a__g{#,1}(119,117,119) -> 9,10,16* a__g{#,1}(40,40,121) -> 9,10,16* a__g{#,1}(40,121,15) -> 9,10,16* a__g{#,1}(14,40,117) -> 9,10,16* a__g{#,1}(14,40,118) -> 9,10,16* a__g{#,1}(40,14,121) -> 9,10,16* a__g{#,1}(117,14,119) -> 9,10,16* a__g{#,1}(40,122,118) -> 9,10,16* a__g{#,1}(119,14,15) -> 9,10,16* a__g{#,1}(14,118,117) -> 9,10,16* a__g{#,1}(121,117,118) -> 10,9,16* a__g{#,1}(119,117,121) -> 9,10,16* a__g{#,1}(14,122,15) -> 9,10,16* a__g{#,1}(14,40,119) -> 9,10,16* a__g{#,1}(40,40,122) -> 9,10,16* a__g{#,1}(117,14,118) -> 9,10,16* a__g{#,1}(121,119,119) -> 10,9,16* a__g{#,1}(117,119,119) -> 9,10,16* a__g{#,1}(40,119,117) -> 9,10,16* a__g{#,1}(119,119,15) -> 9,10,16* a__g{#,1}(14,121,40) -> 9,10,16* a__g{#,1}(122,118,15) -> 10,9,16* a__g{#,1}(14,118,121) -> 9,10,16* a__g{#,1}(122,122,118) -> 10,9,16* a__g{#,1}(119,121,15) -> 9,10,16* a__g{#,1}(122,122,122) -> 10,9,16* a__g{#,1}(119,14,118) -> 9,10,16* a__g{#,1}(121,121,15) -> 9,10,16* a__g{#,1}(122,122,117) -> 10,9,16* a__g{#,1}(122,117,15) -> 10,9,16* a__g{#,1}(121,117,117) -> 10,9,16* a__g{#,1}(40,118,121) -> 9,10,16* a__g{#,1}(117,121,119) -> 10,9,16* a__g{#,1}(121,119,122) -> 10,9,16* a__g{#,1}(40,117,122) -> 9,10,16* a__g{#,1}(14,117,118) -> 9,10,16* a__g{#,1}(14,119,15) -> 9,10,16* a__g{#,1}(122,40,40) -> 10,9,16* a__g{#,1}(40,118,122) -> 10,9,16* a__g{#,1}(14,117,122) -> 9,10,16* a__g{#,1}(14,14,118) -> 9,10,16* a__g{#,1}(119,40,122) -> 9,10,16* a__g{#,1}(121,122,117) -> 10,9,16* a__g{#,1}(121,117,121) -> 9,10,16* a__g{#,1}(117,121,122) -> 10,9,16* a__g{#,1}(14,121,121) -> 9,10,16* a__g{#,1}(121,121,121) -> 9,10,16* a__g{#,1}(40,119,40) -> 9,10,16* a__g{#,1}(117,118,122) -> 10,9,16* a__g{#,1}(121,40,119) -> 10,9,16* a__g{#,1}(117,121,121) -> 9,10,16* a__g{#,1}(118,121,122) -> 9,10,16* a__g{#,1}(40,117,118) -> 9,10,16* a__g{#,1}(118,121,15) -> 9,10,16* a__g{#,1}(119,117,117) -> 10,9,16* a__g{#,1}(118,118,117) -> 9,10,16* a__g{#,1}(121,119,15) -> 10,9,16* a__g{#,1}(14,121,119) -> 10,9,16* a__g{#,1}(118,40,121) -> 9,10,16* a__g{#,1}(117,121,15) -> 9,10,16* a__g{#,1}(117,118,15) -> 9,10,16* a__g{#,1}(119,118,122) -> 10,9,16* a__g{#,1}(14,122,121) -> 9,10,16* a__g{#,1}(119,117,118) -> 10,9,16* a__g{#,1}(118,119,121) -> 10,9,16* a__g{#,1}(117,122,121) -> 10,9,16* a__g{#,1}(118,40,40) -> 9,10,16* a__g{#,1}(117,122,119) -> 10,9,16* a__g{#,1}(14,40,122) -> 9,10,16* a__g{#,1}(117,119,117) -> 9,10,16* a__g{#,1}(121,14,119) -> 10,9,16* a__g{#,1}(117,119,40) -> 9,10,16* a__g{#,1}(40,121,121) -> 9,10,16* a__g{#,1}(119,40,121) -> 9,10,16* a__g{#,1}(117,118,118) -> 9,10,16* a__g{#,1}(122,121,118) -> 10,9,16* a__g{#,1}(121,118,15) -> 9,10,16* a__g{#,1}(14,14,117) -> 9,10,16* a__g{#,1}(40,119,121) -> 10,9,16* a__g{#,1}(119,118,119) -> 9,10,16* a__g{#,1}(121,118,121) -> 9,10,16* a__g{#,1}(40,40,119) -> 9,10,16* a__g{#,1}(118,117,122) -> 9,10,16* a__g{#,1}(117,122,15) -> 10,9,16* a__g{#,1}(117,40,40) -> 9,10,16* a__g{#,1}(14,122,117) -> 10,9,16* a__g{#,1}(117,122,117) -> 10,9,16* a__g{#,1}(117,14,15) -> 9,10,16* a__g{#,1}(14,14,121) -> 9,10,16* a__g{#,1}(118,40,118) -> 9,10,16* a__g{#,1}(122,118,40) -> 10,9,16* a__g{#,1}(122,117,119) -> 10,9,16* a__g{#,1}(121,14,121) -> 9,10,16* mark1(121) -> 40* mark1(40) -> 14,40* mark1(122) -> 40* mark1(119) -> 40* mark1(118) -> 40* mark1(14) -> 14,40*,9 mark1(9) -> 14,40*,9 mark1(117) -> 40* mark1(15) -> 40* mark1(16) -> 14,40*,9 a__A0() -> 9* e1() -> 14,40*,9 a__h0(9,15) -> 9* a__h0(16,16) -> 9* a__h0(121,14) -> 9* a__h0(9,14) -> 9* a__h0(119,117) -> 9* a__h0(9,122) -> 9* a__h0(15,16) -> 9* a__h0(14,15) -> 9* a__h0(15,119) -> 9* a__h0(121,15) -> 9* a__h0(122,118) -> 9* a__h0(119,121) -> 9* a__h0(40,118) -> 9* a__h0(117,122) -> 9* a__h0(121,117) -> 9* a__h0(117,117) -> 9* a__h0(9,16) -> 9* a__h0(117,40) -> 9* a__h0(9,119) -> 9* a__h0(15,40) -> 9* a__h0(119,122) -> 9* a__h0(118,40) -> 9* a__h0(117,119) -> 9* a__h0(117,9) -> 9* a__h0(40,40) -> 9* a__h0(14,119) -> 9* a__h0(40,122) -> 9* a__h0(16,14) -> 9* a__h0(117,14) -> 9* a__h0(122,14) -> 9* a__h0(121,118) -> 9* a__h0(118,9) -> 9* a__h0(9,118) -> 9* a__h0(122,121) -> 9* a__h0(121,16) -> 9* a__h0(9,9) -> 9* a__h0(9,117) -> 9* a__h0(121,119) -> 9* a__h0(117,15) -> 9* a__h0(40,121) -> 9* a__h0(9,121) -> 9* a__h0(119,14) -> 9* a__h0(15,121) -> 9* a__h0(119,16) -> 9* a__h0(122,40) -> 9* a__h0(122,119) -> 9* a__h0(119,40) -> 9* a__h0(122,117) -> 9* a__h0(16,119) -> 9* a__h0(14,121) -> 9* a__h0(122,15) -> 9* a__h0(122,16) -> 9* a__h0(16,118) -> 9* a__h0(117,121) -> 9* a__h0(15,118) -> 9* a__h0(40,15) -> 9* a__h0(117,118) -> 9* a__h0(16,121) -> 9* a__h0(118,118) -> 9* a__h0(118,117) -> 9* a__h0(9,40) -> 9* a__h0(14,9) -> 9* a__h0(16,9) -> 9* a__h0(121,121) -> 9* a__h0(118,16) -> 9* a__h0(121,9) -> 9* a__h0(15,122) -> 9* a__h0(118,14) -> 9* a__h0(121,40) -> 9* a__h0(40,14) -> 9* a__h0(117,16) -> 9* a__h0(119,118) -> 9* a__h0(16,122) -> 9* a__h0(14,16) -> 9* a__h0(15,117) -> 9* a__h0(14,117) -> 9* a__h0(121,122) -> 9* a__h0(119,15) -> 9* a__h0(16,40) -> 9* a__h0(40,9) -> 9* a__h0(40,119) -> 9* a__h0(15,15) -> 9* a__h0(122,122) -> 9* a__h0(16,117) -> 9* a__h0(15,9) -> 9* a__h0(14,122) -> 9* a__h0(16,15) -> 9* a__h0(118,15) -> 9* a__h0(14,40) -> 9* a__h0(122,9) -> 9* a__h0(40,16) -> 9* a__h0(118,119) -> 9* a__h0(15,14) -> 9* a__h0(118,121) -> 9* a__h0(14,14) -> 9* a__h0(119,119) -> 9* a__h0(118,122) -> 9* a__h0(119,9) -> 9* a__h0(14,118) -> 9* a__h0(40,117) -> 9* a__g{#,2}(118,111,110) -> 16* a__g{#,2}(112,118,110) -> 16* a__g{#,2}(118,111,119) -> 16* a__g{#,2}(112,111,110) -> 16* a__g{#,2}(112,118,119) -> 16* a__g{#,2}(118,118,110) -> 16* a__g{#,2}(112,111,119) -> 16* a__g{#,2}(118,118,119) -> 10,9,16* problem: DPs: a__g#(d(),X,X) -> a__A#() a__A#() -> a__h#(a__f(a__a()),a__f(a__b())) 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(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(e()) -> e() mark(l()) -> l() mark(m()) -> m() 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) SCC Processor: #sccs: 0 #rules: 0 #arcs: 3/4 DPs: a__z#(e(),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) -> mark#(X) a__f#(X) -> a__z#(mark(X),X) 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(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(e()) -> e() mark(l()) -> l() mark(m()) -> m() 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) Usable Rule Processor: DPs: a__z#(e(),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) -> mark#(X) a__f#(X) -> a__z#(mark(X),X) TRS: 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(e()) -> e() mark(l()) -> l() mark(m()) -> m() a__a() -> a__c() a__a() -> a__d() a__a() -> a() a__c() -> e() a__c() -> l() a__c() -> c() a__d() -> m() a__d() -> d() a__b() -> a__c() a__b() -> a__d() a__b() -> b() a__k() -> l() a__k() -> m() a__k() -> k() a__z(e(),X) -> mark(X) a__z(X1,X2) -> z(X1,X2) a__f(X) -> a__z(mark(X),X) a__f(X) -> f(X) Arctic Interpretation Processor: dimension: 1 usable rules: 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(e()) -> e() mark(l()) -> l() mark(m()) -> m() a__a() -> a__c() a__a() -> a__d() a__a() -> a() a__c() -> e() a__c() -> l() a__c() -> c() a__d() -> m() a__d() -> d() a__b() -> a__c() a__b() -> a__d() a__b() -> b() a__k() -> l() a__k() -> m() a__k() -> k() a__z(e(),X) -> mark(X) a__z(X1,X2) -> z(X1,X2) a__f(X) -> a__z(mark(X),X) a__f(X) -> f(X) interpretation: [c] = 0, [a__k] = 0, [a__c] = 0, [e] = 0, [a] = 4, [f](x0) = 7x0 + 0, [k] = 0, [mark#](x0) = x0, [b] = 0, [a__z#](x0, x1) = x0 + x1, [l] = 0, [a__a] = 4, [m] = 0, [z](x0, x1) = x0 + 7x1 + 0, [a__f#](x0) = 7x0, [a__z](x0, x1) = x0 + 7x1 + 0, [mark](x0) = x0, [a__f](x0) = 7x0 + 0, [d] = 0, [a__d] = 0, [a__b] = 0 orientation: a__z#(e(),X) = X + 0 >= X = mark#(X) mark#(z(X1,X2)) = X1 + 7X2 + 0 >= X1 = mark#(X1) mark#(z(X1,X2)) = X1 + 7X2 + 0 >= X1 + X2 = a__z#(mark(X1),X2) mark#(f(X)) = 7X + 0 >= X = mark#(X) mark#(f(X)) = 7X + 0 >= 7X = a__f#(mark(X)) a__f#(X) = 7X >= X = mark#(X) a__f#(X) = 7X >= X = a__z#(mark(X),X) mark(a()) = 4 >= 4 = a__a() mark(b()) = 0 >= 0 = a__b() mark(c()) = 0 >= 0 = a__c() mark(d()) = 0 >= 0 = a__d() mark(k()) = 0 >= 0 = a__k() mark(z(X1,X2)) = X1 + 7X2 + 0 >= X1 + 7X2 + 0 = a__z(mark(X1),X2) mark(f(X)) = 7X + 0 >= 7X + 0 = a__f(mark(X)) mark(e()) = 0 >= 0 = e() mark(l()) = 0 >= 0 = l() mark(m()) = 0 >= 0 = m() a__a() = 4 >= 0 = a__c() a__a() = 4 >= 0 = a__d() a__a() = 4 >= 4 = a() a__c() = 0 >= 0 = e() a__c() = 0 >= 0 = l() a__c() = 0 >= 0 = c() a__d() = 0 >= 0 = m() a__d() = 0 >= 0 = d() a__b() = 0 >= 0 = a__c() a__b() = 0 >= 0 = a__d() a__b() = 0 >= 0 = b() a__k() = 0 >= 0 = l() a__k() = 0 >= 0 = m() a__k() = 0 >= 0 = k() a__z(e(),X) = 7X + 0 >= X = mark(X) a__z(X1,X2) = X1 + 7X2 + 0 >= X1 + 7X2 + 0 = z(X1,X2) a__f(X) = 7X + 0 >= 7X + 0 = a__z(mark(X),X) a__f(X) = 7X + 0 >= 7X + 0 = f(X) problem: DPs: a__z#(e(),X) -> mark#(X) mark#(z(X1,X2)) -> mark#(X1) mark#(z(X1,X2)) -> a__z#(mark(X1),X2) mark#(f(X)) -> a__f#(mark(X)) TRS: 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(e()) -> e() mark(l()) -> l() mark(m()) -> m() a__a() -> a__c() a__a() -> a__d() a__a() -> a() a__c() -> e() a__c() -> l() a__c() -> c() a__d() -> m() a__d() -> d() a__b() -> a__c() a__b() -> a__d() a__b() -> b() a__k() -> l() a__k() -> m() a__k() -> k() a__z(e(),X) -> mark(X) a__z(X1,X2) -> z(X1,X2) a__f(X) -> a__z(mark(X),X) a__f(X) -> f(X) Restore Modifier: DPs: a__z#(e(),X) -> mark#(X) mark#(z(X1,X2)) -> mark#(X1) mark#(z(X1,X2)) -> a__z#(mark(X1),X2) mark#(f(X)) -> a__f#(mark(X)) 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(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(e()) -> e() mark(l()) -> l() mark(m()) -> m() 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) SCC Processor: #sccs: 1 #rules: 3 #arcs: 20/16 DPs: a__z#(e(),X) -> mark#(X) mark#(z(X1,X2)) -> mark#(X1) mark#(z(X1,X2)) -> a__z#(mark(X1),X2) 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(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(e()) -> e() mark(l()) -> l() mark(m()) -> m() 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) Size-Change Termination Processor: DPs: 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(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(e()) -> e() mark(l()) -> l() mark(m()) -> m() 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) The DP: a__z#(e(),X) -> mark#(X) has the edges: 1 >= 0 The DP: mark#(z(X1,X2)) -> mark#(X1) has the edges: 0 > 0 The DP: mark#(z(X1,X2)) -> a__z#(mark(X1),X2) has the edges: 0 > 1 Qed