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: [g](x0, x1, x2) = x0 + x1 + 4x2 + 2, [h](x0, x1) = 4x0 + x1 + 1, [f](x0) = 4x0, [z](x0, x1) = x0 + x1, [k] = 0, [c] = 0, [b] = 0, [a] = 0, [A] = 1, [a__z](x0, x1) = x0 + 2x1, [d] = 0, [a__g](x0, x1, x2) = x0 + x1 + 4x2 + 2, [mark](x0) = 2x0, [a__h](x0, x1) = 4x0 + x1 + 2, [a__f](x0) = 4x0, [a__A] = 2, [m] = 0, [a__d] = 0, [l] = 0, [a__k] = 0, [e] = 0, [a__b] = 0, [a__c] = 0, [a__a] = 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) = 5X + 2 >= 4X + 2 = a__g(mark(X),mark(X),a__f(a__k())) a__g(d(),X,X) = 5X + 2 >= 2 = a__A() a__f(X) = 4X >= 4X = a__z(mark(X),X) a__z(e(),X) = 2X >= 2X = mark(X) mark(A()) = 2 >= 2 = 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)) = 8X1 + 2X2 + 2 >= 8X1 + 2X2 + 2 = a__h(mark(X1),mark(X2)) mark(g(X1,X2,X3)) = 2X1 + 2X2 + 8X3 + 4 >= 2X1 + 2X2 + 8X3 + 2 = 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() = 2 >= 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) = 4X1 + X2 + 2 >= 4X1 + X2 + 1 = h(X1,X2) a__g(X1,X2,X3) = X1 + X2 + 4X3 + 2 >= X1 + X2 + 4X3 + 2 = 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(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(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__g(X1,X2,X3) -> g(X1,X2,X3) Matrix Interpretation Processor: dim=1 interpretation: [g](x0, x1, x2) = 5x0 + 2x1 + x2, [h](x0, x1) = 4x0 + 3x1 + 2, [f](x0) = 2x0, [z](x0, x1) = x0 + x1, [k] = 0, [c] = 0, [b] = 0, [a] = 0, [A] = 1, [a__z](x0, x1) = x0 + x1, [d] = 0, [a__g](x0, x1, x2) = 5x0 + 2x1 + 2x2, [mark](x0) = x0, [a__h](x0, x1) = 4x0 + 3x1, [a__f](x0) = 2x0, [a__A] = 0, [m] = 0, [a__d] = 0, [l] = 0, [a__k] = 0, [e] = 0, [a__b] = 0, [a__c] = 0, [a__a] = 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() = 0 >= 0 = a__h(a__f(a__a()),a__f(a__b())) a__h(X,X) = 7X >= 7X = a__g(mark(X),mark(X),a__f(a__k())) a__g(d(),X,X) = 4X >= 0 = a__A() a__f(X) = 2X >= 2X = a__z(mark(X),X) a__z(e(),X) = X >= X = mark(X) mark(A()) = 1 >= 0 = 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)) = X1 + X2 >= X1 + X2 = a__z(mark(X1),X2) mark(f(X)) = 2X >= 2X = a__f(mark(X)) mark(h(X1,X2)) = 4X1 + 3X2 + 2 >= 4X1 + 3X2 = a__h(mark(X1),mark(X2)) 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) = X1 + X2 >= X1 + X2 = z(X1,X2) a__f(X) = 2X >= 2X = f(X) a__g(X1,X2,X3) = 5X1 + 2X2 + 2X3 >= 5X1 + 2X2 + X3 = 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__b() -> b() a__c() -> c() a__d() -> d() a__k() -> k() a__z(X1,X2) -> z(X1,X2) a__f(X) -> f(X) a__g(X1,X2,X3) -> g(X1,X2,X3) Matrix Interpretation Processor: dim=1 interpretation: [g](x0, x1, x2) = 4x0 + x1 + x2, [f](x0) = 4x0, [z](x0, x1) = 2x0 + 2x1, [k] = 0, [c] = 0, [b] = 0, [a] = 0, [a__z](x0, x1) = 2x0 + 2x1, [d] = 0, [a__g](x0, x1, x2) = 4x0 + x1 + x2 + 6, [mark](x0) = x0, [a__h](x0, x1) = x0 + 4x1 + 6, [a__f](x0) = 4x0, [a__A] = 6, [m] = 0, [a__d] = 0, [l] = 0, [a__k] = 0, [e] = 0, [a__b] = 0, [a__c] = 0, [a__a] = 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() = 6 >= 6 = a__h(a__f(a__a()),a__f(a__b())) a__h(X,X) = 5X + 6 >= 5X + 6 = a__g(mark(X),mark(X),a__f(a__k())) a__g(d(),X,X) = 2X + 6 >= 6 = a__A() a__f(X) = 4X >= 4X = a__z(mark(X),X) a__z(e(),X) = 2X >= 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 + 2X2 >= 2X1 + 2X2 = 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() = 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 + 2X2 >= 2X1 + 2X2 = z(X1,X2) a__f(X) = 4X >= 4X = f(X) a__g(X1,X2,X3) = 4X1 + X2 + X3 + 6 >= 4X1 + X2 + X3 = 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__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: e1() -> 15,41*,9 a__z1(125,129) -> 41* a__z1(9,126) -> 15* a__z1(14,128) -> 15* a__z1(9,128) -> 15* a__z1(128,9) -> 41* a__z1(128,15) -> 41* a__z1(41,41) -> 9,41* a__z1(126,124) -> 41* a__z1(126,126) -> 41* a__z1(15,125) -> 41* a__z1(16,41) -> 9,15* a__z1(126,128) -> 41* a__z1(15,129) -> 41* a__z1(129,14) -> 41* a__z1(124,14) -> 41* a__z1(129,16) -> 41* a__z1(41,124) -> 41* a__z1(124,16) -> 41* a__z1(41,126) -> 41* a__z1(41,128) -> 41* a__z1(128,41) -> 41* a__z1(16,124) -> 15* a__z1(16,126) -> 15* a__z1(16,128) -> 15* a__z1(125,9) -> 41* a__z1(125,15) -> 41* a__z1(14,14) -> 9,15* a__z1(9,14) -> 9,15* a__z1(14,16) -> 9,15* a__z1(128,124) -> 41* a__z1(9,16) -> 9,15* a__z1(128,126) -> 41* a__z1(128,128) -> 41* a__z1(15,9) -> 14,15,41*,9 a__z1(126,14) -> 41* a__z1(126,16) -> 41* a__z1(15,15) -> 14,15,41*,9 a__z1(129,125) -> 41* a__z1(124,125) -> 41* a__z1(125,41) -> 41* a__z1(129,129) -> 41* a__z1(124,129) -> 41* a__z1(41,14) -> 9,41* a__z1(41,16) -> 14,41*,9 a__z1(16,14) -> 9,15* a__z1(16,16) -> 9,15* a__z1(125,124) -> 41* a__z1(125,126) -> 41* a__z1(14,125) -> 15* a__z1(15,41) -> 15,9,41* a__z1(125,128) -> 41* a__z1(9,125) -> 15* a__z1(14,129) -> 15* a__z1(9,129) -> 15* a__z1(128,14) -> 41* a__z1(128,16) -> 41* a__z1(126,125) -> 41* a__z1(15,124) -> 41* a__z1(15,126) -> 41* a__z1(126,129) -> 41* a__z1(15,128) -> 41* a__z1(129,9) -> 41* a__z1(124,9) -> 41* a__z1(129,15) -> 41* a__z1(124,15) -> 41* a__z1(41,125) -> 41* a__z1(41,129) -> 41* a__z1(16,125) -> 15* a__z1(16,129) -> 15* a__z1(14,9) -> 9,15* a__z1(9,9) -> 9,15* a__z1(125,14) -> 41* a__z1(125,16) -> 41* a__z1(14,15) -> 9,15* a__z1(9,15) -> 9,15* a__z1(128,125) -> 41* a__z1(129,41) -> 41* a__z1(124,41) -> 41* a__z1(128,129) -> 41* a__z1(126,9) -> 41* a__z1(126,15) -> 41* a__z1(15,14) -> 14,15,41*,9 a__z1(15,16) -> 14,15,41*,9 a__z1(129,124) -> 41* a__z1(124,124) -> 41* a__z1(129,126) -> 41* a__z1(124,126) -> 41* a__z1(129,128) -> 41* a__z1(14,41) -> 9,15* a__z1(124,128) -> 41* a__z1(9,41) -> 9,15* a__z1(41,9) -> 14,41*,9 a__z1(16,9) -> 9,15* a__z1(41,15) -> 14,41*,9 a__z1(16,15) -> 9,15* a__z1(125,125) -> 41* a__z1(126,41) -> 41* a__z1(14,124) -> 15* a__z1(9,124) -> 15* a__z1(14,126) -> 15* a__d1() -> 15,41*,9 a__c1() -> 15,41*,9 a__b1() -> 15,41*,9 a__a1() -> 15,41*,9 z1(14,126) -> 15* z1(125,129) -> 41* z1(9,126) -> 15* z1(14,128) -> 15* z1(9,128) -> 15* z1(128,9) -> 41* z1(128,15) -> 41* z1(41,41) -> 15,41*,9 z1(126,124) -> 41* z1(126,126) -> 41* z1(15,125) -> 41* z1(16,41) -> 9,15* z1(126,128) -> 41* z1(15,129) -> 41* z1(129,14) -> 41* z1(124,14) -> 41* z1(129,16) -> 41* z1(41,124) -> 41* z1(124,16) -> 41* z1(41,126) -> 41* z1(41,128) -> 41* z1(128,41) -> 41* z1(16,124) -> 15* z1(16,126) -> 15* z1(16,128) -> 15* z1(125,9) -> 41* z1(125,15) -> 41* z1(14,14) -> 9,15* z1(9,14) -> 9,15* z1(14,16) -> 9,15* z1(128,124) -> 41* z1(9,16) -> 9,15* z1(128,126) -> 41* z1(128,128) -> 41* z1(15,9) -> 15,41*,9 z1(126,14) -> 41* z1(126,16) -> 41* z1(15,15) -> 15,41*,9 z1(129,125) -> 41* z1(124,125) -> 41* z1(125,41) -> 41* z1(129,129) -> 41* z1(124,129) -> 41* z1(41,14) -> 15,41*,9 z1(41,16) -> 15,41*,9 z1(16,14) -> 9,15* z1(16,16) -> 9,15* z1(125,124) -> 41* z1(125,126) -> 41* z1(14,125) -> 15* z1(15,41) -> 15,41*,9 z1(125,128) -> 41* z1(9,125) -> 15* z1(14,129) -> 15* z1(9,129) -> 15* z1(128,14) -> 41* z1(128,16) -> 41* z1(126,125) -> 41* z1(15,124) -> 41* z1(15,126) -> 41* z1(126,129) -> 41* z1(15,128) -> 41* z1(129,9) -> 41* z1(124,9) -> 41* z1(129,15) -> 41* z1(124,15) -> 41* z1(41,125) -> 41* z1(41,129) -> 41* z1(16,125) -> 15* z1(16,129) -> 15* z1(14,9) -> 9,15* z1(9,9) -> 9,15* z1(125,14) -> 41* z1(125,16) -> 41* z1(14,15) -> 9,15* z1(9,15) -> 9,15* z1(128,125) -> 41* z1(129,41) -> 41* z1(124,41) -> 41* z1(128,129) -> 41* z1(126,9) -> 41* z1(126,15) -> 41* z1(15,14) -> 15,41*,9 z1(15,16) -> 15,41*,9 z1(129,124) -> 41* z1(124,124) -> 41* z1(129,126) -> 41* z1(124,126) -> 41* z1(129,128) -> 41* z1(14,41) -> 9,15* z1(124,128) -> 41* z1(9,41) -> 9,15* z1(41,9) -> 15,41*,9 z1(16,9) -> 9,15* z1(41,15) -> 15,41*,9 z1(16,15) -> 9,15* z1(125,125) -> 41* z1(126,41) -> 41* z1(14,124) -> 15* z1(9,124) -> 15* d1() -> 15,41*,9 c1() -> 15,41*,9 b1() -> 15,41*,9 a1() -> 15,41*,9 a__A{#,1}() -> 9,16* a__h{#,1}(14,14) -> 9,16* a__g{#,2}(123,122,126) -> 16* a__g{#,2}(123,124,126) -> 16* a__g{#,2}(124,122,121) -> 16* a__g{#,2}(124,124,121) -> 16* a__g{#,2}(123,122,121) -> 16* a__g{#,2}(123,124,121) -> 16* a__g{#,2}(124,122,126) -> 16* a__g{#,2}(124,124,126) -> 10,9,16* mark2(125) -> 41,128*,127 mark2(120) -> 127* mark2(129) -> 41,128*,127 mark2(14) -> 15,41,124*,9,123,122 a__f2(125) -> 41,126*,121 a__f2(120) -> 121* a__f2(129) -> 41,126*,121 a__k2() -> 125,41,15,128,129*,9,120 f2(125) -> 41,126*,121 f2(120) -> 121* f2(129) -> 41,126*,121 k2() -> 125,41,15,129*,9 a__z2(127,125) -> 121* a__z2(127,129) -> 121* a__z2(128,120) -> 121* a__z2(129,125) -> 41,121,126* a__z2(129,129) -> 41,121,126* a__z2(127,120) -> 121* a__z2(128,125) -> 41,126*,121 a__z2(128,129) -> 41,121,126* a__z2(129,120) -> 121* m2() -> 125,41,15,128,129*,9 l2() -> 125,41,15,128,129*,9 z2(127,125) -> 121* z2(127,129) -> 121* z2(128,120) -> 121* z2(129,125) -> 41,126*,121 z2(129,129) -> 41,126*,121 z2(127,120) -> 121* z2(128,125) -> 41,121,126* z2(128,129) -> 41,126*,121 z2(129,120) -> 121* a__g{#,0}(126,124,126) -> 16*,10,9 a__g{#,0}(15,16,16) -> 9* a__g{#,0}(129,15,124) -> 16*,10,9 a__g{#,0}(9,16,125) -> 9* a__g{#,0}(9,41,126) -> 9* a__g{#,0}(129,9,14) -> 9* a__g{#,0}(13,12,124) -> 10* a__g{#,0}(129,14,9) -> 9* a__g{#,0}(124,15,124) -> 16*,10,9 a__g{#,0}(124,9,14) -> 9* a__g{#,0}(128,126,125) -> 16*,9,10 a__g{#,0}(124,14,9) -> 9* a__g{#,0}(126,126,126) -> 16*,10,9 a__g{#,0}(15,9,128) -> 9* a__g{#,0}(14,9,41) -> 9* a__g{#,0}(41,9,126) -> 9* a__g{#,0}(125,15,15) -> 9* a__g{#,0}(126,125,11) -> 10* a__g{#,0}(126,12,128) -> 10* a__g{#,0}(125,12,41) -> 10* a__g{#,0}(129,16,9) -> 9* a__g{#,0}(16,15,129) -> 9* a__g{#,0}(9,9,41) -> 9* a__g{#,0}(41,125,124) -> 16*,9,10 a__g{#,0}(15,125,126) -> 16*,9,10 a__g{#,0}(14,14,15) -> 9* a__g{#,0}(15,9,9) -> 9* a__g{#,0}(15,124,11) -> 10* a__g{#,0}(128,128,125) -> 16*,10,9 a__g{#,0}(124,16,9) -> 9* a__g{#,0}(126,128,126) -> 16*,10,9 a__g{#,0}(9,14,15) -> 9* a__g{#,0}(13,41,125) -> 10* a__g{#,0}(126,14,128) -> 9* a__g{#,0}(125,14,41) -> 9* a__g{#,0}(14,41,16) -> 9* a__g{#,0}(14,16,15) -> 9* a__g{#,0}(15,126,11) -> 10* a__g{#,0}(128,124,15) -> 9* a__g{#,0}(126,124,16) -> 9* a__g{#,0}(125,125,129) -> 16*,10,9 a__g{#,0}(129,15,14) -> 16*,10,9 a__g{#,0}(9,41,16) -> 9* a__g{#,0}(9,16,15) -> 9* a__g{#,0}(126,129,11) -> 10* a__g{#,0}(13,12,14) -> 10* a__g{#,0}(126,41,129) -> 16*,10,9 a__g{#,0}(126,16,128) -> 9* a__g{#,0}(125,16,41) -> 9* a__g{#,0}(16,9,126) -> 9* a__g{#,0}(41,129,124) -> 16*,10,9 a__g{#,0}(15,129,126) -> 16*,9,10 a__g{#,0}(124,15,14) -> 16*,10,9 a__g{#,0}(14,124,129) -> 9* a__g{#,0}(15,128,11) -> 10* a__g{#,0}(128,126,15) -> 9* a__g{#,0}(15,15,128) -> 16*,9,10 a__g{#,0}(41,15,126) -> 16*,10,9 a__g{#,0}(128,41,9) -> 9* a__g{#,0}(14,15,41) -> 9* a__g{#,0}(41,9,16) -> 9* a__g{#,0}(126,126,16) -> 9* a__g{#,0}(16,125,124) -> 9* a__g{#,0}(9,124,129) -> 9* a__g{#,0}(9,15,41) -> 9* a__g{#,0}(41,125,14) -> 16*,10,9 a__g{#,0}(15,125,16) -> 9* a__g{#,0}(14,126,129) -> 9* a__g{#,0}(128,128,15) -> 9* a__g{#,0}(126,128,16) -> 9* a__g{#,0}(125,129,129) -> 16*,9,10 a__g{#,0}(129,125,128) -> 16*,10,9 a__g{#,0}(128,125,41) -> 16*,9,10 a__g{#,0}(9,126,129) -> 9* a__g{#,0}(129,41,41) -> 16*,9,10 a__g{#,0}(124,125,128) -> 16*,9,10 a__g{#,0}(14,128,129) -> 9* a__g{#,0}(129,125,9) -> 9* a__g{#,0}(124,41,41) -> 16*,9,10 a__g{#,0}(125,41,128) -> 16*,9,10 a__g{#,0}(15,9,125) -> 9* a__g{#,0}(16,129,124) -> 9* a__g{#,0}(9,128,129) -> 9* a__g{#,0}(13,124,128) -> 10* a__g{#,0}(124,125,9) -> 9* a__g{#,0}(16,9,16) -> 9* a__g{#,0}(126,12,125) -> 10* a__g{#,0}(16,15,126) -> 9* a__g{#,0}(41,129,14) -> 16*,10,9 a__g{#,0}(15,129,16) -> 9* a__g{#,0}(41,15,16) -> 9* a__g{#,0}(16,125,14) -> 9* a__g{#,0}(129,129,128) -> 16*,10,9 a__g{#,0}(128,129,41) -> 16*,9,10 a__g{#,0}(128,9,129) -> 9* a__g{#,0}(13,126,128) -> 10* a__g{#,0}(126,14,125) -> 9* a__g{#,0}(124,129,128) -> 16*,9,10 a__g{#,0}(129,129,9) -> 9* a__g{#,0}(13,128,128) -> 10* a__g{#,0}(129,15,11) -> 10* a__g{#,0}(13,12,11) -> 10* a__g{#,0}(124,129,9) -> 9* a__g{#,0}(41,124,126) -> 16*,10,9 a__g{#,0}(126,41,126) -> 16*,10,9 a__g{#,0}(126,16,125) -> 9* a__g{#,0}(14,9,124) -> 9* a__g{#,0}(124,15,11) -> 10* a__g{#,0}(15,15,125) -> 16*,9,10 a__g{#,0}(125,12,124) -> 10* a__g{#,0}(15,9,15) -> 9* a__g{#,0}(16,129,14) -> 9* a__g{#,0}(9,9,124) -> 9* a__g{#,0}(41,126,126) -> 16*,10,9 a__g{#,0}(16,15,16) -> 9* a__g{#,0}(41,125,11) -> 10* a__g{#,0}(126,9,41) -> 9* a__g{#,0}(41,12,128) -> 10* a__g{#,0}(125,14,124) -> 9* a__g{#,0}(128,15,129) -> 16*,9,10 a__g{#,0}(129,125,125) -> 16*,10,9 a__g{#,0}(41,128,126) -> 16*,10,9 a__g{#,0}(126,14,15) -> 9* a__g{#,0}(124,125,125) -> 16*,9,10 a__g{#,0}(41,14,128) -> 9* a__g{#,0}(16,124,126) -> 9* a__g{#,0}(125,41,125) -> 16*,10,9 a__g{#,0}(125,16,124) -> 9* a__g{#,0}(125,15,9) -> 9* a__g{#,0}(13,124,125) -> 10* a__g{#,0}(41,124,16) -> 9* a__g{#,0}(126,41,16) -> 9* a__g{#,0}(126,16,15) -> 9* a__g{#,0}(14,15,124) -> 9* a__g{#,0}(14,9,14) -> 9* a__g{#,0}(41,129,11) -> 10* a__g{#,0}(41,41,129) -> 16*,10,9 a__g{#,0}(41,16,128) -> 9* a__g{#,0}(14,14,9) -> 9* a__g{#,0}(16,126,126) -> 9* a__g{#,0}(125,12,14) -> 10* a__g{#,0}(15,15,15) -> 9* a__g{#,0}(9,15,124) -> 9* a__g{#,0}(9,9,14) -> 9* a__g{#,0}(129,129,125) -> 16*,10,9 a__g{#,0}(128,9,126) -> 9* a__g{#,0}(15,12,41) -> 10* a__g{#,0}(9,14,9) -> 9* a__g{#,0}(13,126,125) -> 10* a__g{#,0}(126,124,129) -> 16*,10,9 a__g{#,0}(41,126,16) -> 9* a__g{#,0}(124,129,125) -> 16*,9,10 a__g{#,0}(126,15,41) -> 16*,9,10 a__g{#,0}(128,125,124) -> 16*,9,10 a__g{#,0}(14,16,9) -> 9* a__g{#,0}(16,128,126) -> 9* a__g{#,0}(125,14,14) -> 9* a__g{#,0}(129,41,124) -> 16*,10,9 a__g{#,0}(129,125,15) -> 9* a__g{#,0}(13,128,125) -> 10* a__g{#,0}(16,14,128) -> 9* a__g{#,0}(15,14,41) -> 9* a__g{#,0}(9,16,9) -> 9* a__g{#,0}(126,126,129) -> 16*,10,9 a__g{#,0}(41,128,16) -> 9* a__g{#,0}(124,41,124) -> 16*,10,9 a__g{#,0}(124,125,15) -> 9* a__g{#,0}(16,124,16) -> 9* a__g{#,0}(15,125,129) -> 16*,9,10 a__g{#,0}(125,16,14) -> 9* a__g{#,0}(125,41,15) -> 9* a__g{#,0}(16,16,128) -> 9* a__g{#,0}(15,16,41) -> 9* a__g{#,0}(16,41,129) -> 9* a__g{#,0}(126,128,129) -> 16*,10,9 a__g{#,0}(129,124,41) -> 16*,9,10 a__g{#,0}(14,15,14) -> 9* a__g{#,0}(128,129,124) -> 16*,9,10 a__g{#,0}(41,12,125) -> 10* a__g{#,0}(16,126,16) -> 9* a__g{#,0}(125,124,128) -> 16*,9,10 a__g{#,0}(124,124,41) -> 16*,9,10 a__g{#,0}(9,15,14) -> 9* a__g{#,0}(128,15,126) -> 16*,9,10 a__g{#,0}(128,9,16) -> 9* a__g{#,0}(129,129,15) -> 9* a__g{#,0}(129,126,41) -> 16*,9,10 a__g{#,0}(125,124,9) -> 9* a__g{#,0}(124,129,15) -> 9* a__g{#,0}(128,125,14) -> 16*,9,10 a__g{#,0}(16,128,16) -> 9* a__g{#,0}(41,14,125) -> 9* a__g{#,0}(125,126,128) -> 16*,9,10 a__g{#,0}(124,126,41) -> 16*,9,10 a__g{#,0}(15,129,129) -> 16*,9,10 a__g{#,0}(129,41,14) -> 16*,10,9 a__g{#,0}(129,128,41) -> 16*,9,10 a__g{#,0}(124,41,14) -> 16*,10,9 a__g{#,0}(14,125,128) -> 9* a__g{#,0}(13,125,41) -> 10* a__g{#,0}(125,126,9) -> 9* a__g{#,0}(41,41,126) -> 16*,10,9 a__g{#,0}(15,41,128) -> 16*,9,10 a__g{#,0}(41,16,125) -> 9* a__g{#,0}(14,41,41) -> 9* a__g{#,0}(124,128,41) -> 16*,9,10 a__g{#,0}(125,128,128) -> 16*,9,10 a__g{#,0}(9,125,128) -> 9* a__g{#,0}(125,12,11) -> 10* a__g{#,0}(14,125,9) -> 9* a__g{#,0}(9,41,41) -> 9* a__g{#,0}(126,9,124) -> 9* a__g{#,0}(125,128,9) -> 9* a__g{#,0}(128,129,14) -> 16*,9,10 a__g{#,0}(9,125,9) -> 9* a__g{#,0}(128,15,16) -> 9* a__g{#,0}(41,9,41) -> 9* a__g{#,0}(16,14,125) -> 9* a__g{#,0}(129,12,129) -> 10* a__g{#,0}(13,129,41) -> 10* a__g{#,0}(14,129,128) -> 9* a__g{#,0}(41,14,15) -> 9* a__g{#,0}(124,12,129) -> 10* a__g{#,0}(9,129,128) -> 9* a__g{#,0}(14,129,9) -> 9* a__g{#,0}(16,16,125) -> 9* a__g{#,0}(16,41,126) -> 9* a__g{#,0}(129,14,129) -> 9* a__g{#,0}(128,124,126) -> 16*,9,10 a__g{#,0}(9,129,9) -> 9* a__g{#,0}(41,16,15) -> 9* a__g{#,0}(41,41,16) -> 9* a__g{#,0}(15,12,124) -> 10* a__g{#,0}(124,14,129) -> 9* a__g{#,0}(125,124,125) -> 16*,10,9 a__g{#,0}(126,15,124) -> 16*,9,10 a__g{#,0}(126,9,14) -> 9* a__g{#,0}(129,16,129) -> 9* a__g{#,0}(126,14,9) -> 9* a__g{#,0}(128,126,126) -> 16*,9,10 a__g{#,0}(16,9,41) -> 9* a__g{#,0}(41,124,129) -> 16*,10,9 a__g{#,0}(128,125,11) -> 10* a__g{#,0}(15,14,124) -> 9* a__g{#,0}(124,16,129) -> 9* a__g{#,0}(125,126,125) -> 16*,10,9 a__g{#,0}(128,12,128) -> 10* a__g{#,0}(41,15,41) -> 16*,9,10 a__g{#,0}(129,41,11) -> 10* a__g{#,0}(16,14,15) -> 9* a__g{#,0}(126,16,9) -> 9* a__g{#,0}(13,15,129) -> 10* a__g{#,0}(128,128,126) -> 16*,10,9 a__g{#,0}(14,125,125) -> 9* a__g{#,0}(124,41,11) -> 10* a__g{#,0}(41,126,129) -> 16*,10,9 a__g{#,0}(15,41,125) -> 16*,9,10 a__g{#,0}(15,16,124) -> 9* a__g{#,0}(125,128,125) -> 16*,10,9 a__g{#,0}(128,14,128) -> 9* a__g{#,0}(129,124,124) -> 16*,10,9 a__g{#,0}(9,125,125) -> 9* a__g{#,0}(15,15,9) -> 9* a__g{#,0}(16,41,16) -> 9* a__g{#,0}(16,16,15) -> 9* a__g{#,0}(124,124,124) -> 16*,10,9 a__g{#,0}(128,124,16) -> 9* a__g{#,0}(41,128,129) -> 16*,10,9 a__g{#,0}(128,129,11) -> 10* a__g{#,0}(15,12,14) -> 10* a__g{#,0}(128,41,129) -> 16*,9,10 a__g{#,0}(128,16,128) -> 9* a__g{#,0}(125,124,15) -> 9* a__g{#,0}(129,126,124) -> 16*,10,9 a__g{#,0}(126,15,14) -> 16*,9,10 a__g{#,0}(16,124,129) -> 9* a__g{#,0}(129,12,126) -> 10* a__g{#,0}(124,126,124) -> 16*,10,9 a__g{#,0}(128,126,16) -> 9* a__g{#,0}(16,15,41) -> 9* a__g{#,0}(14,129,125) -> 9* a__g{#,0}(15,14,14) -> 9* a__g{#,0}(125,126,15) -> 9* a__g{#,0}(124,12,126) -> 10* a__g{#,0}(129,128,124) -> 16*,10,9 a__g{#,0}(125,41,9) -> 9* a__g{#,0}(9,129,125) -> 9* a__g{#,0}(13,125,124) -> 10* a__g{#,0}(16,126,129) -> 9* a__g{#,0}(14,41,124) -> 9* a__g{#,0}(129,14,126) -> 9* a__g{#,0}(124,128,124) -> 16*,10,9 a__g{#,0}(128,128,16) -> 9* a__g{#,0}(14,125,15) -> 9* a__g{#,0}(15,41,15) -> 9* a__g{#,0}(15,16,14) -> 9* a__g{#,0}(125,128,15) -> 9* a__g{#,0}(9,41,124) -> 9* a__g{#,0}(124,14,126) -> 9* a__g{#,0}(129,124,14) -> 16*,9,10 a__g{#,0}(9,125,15) -> 9* a__g{#,0}(126,125,128) -> 16*,9,10 a__g{#,0}(125,125,41) -> 16*,9,10 a__g{#,0}(16,128,129) -> 9* a__g{#,0}(129,16,126) -> 9* a__g{#,0}(124,124,14) -> 16*,9,10 a__g{#,0}(126,41,41) -> 16*,9,10 a__g{#,0}(41,9,124) -> 9* a__g{#,0}(15,124,128) -> 16*,9,10 a__g{#,0}(14,124,41) -> 9* a__g{#,0}(124,16,126) -> 9* a__g{#,0}(126,125,9) -> 9* a__g{#,0}(129,126,14) -> 16*,9,10 a__g{#,0}(128,12,125) -> 10* a__g{#,0}(13,129,124) -> 10* a__g{#,0}(9,124,41) -> 9* a__g{#,0}(124,126,14) -> 16*,9,10 a__g{#,0}(15,124,9) -> 9* a__g{#,0}(13,15,126) -> 10* a__g{#,0}(14,129,15) -> 9* a__g{#,0}(15,126,128) -> 16*,9,10 a__g{#,0}(14,126,41) -> 9* a__g{#,0}(129,128,14) -> 16*,9,10 a__g{#,0}(128,14,125) -> 9* a__g{#,0}(9,129,15) -> 9* a__g{#,0}(13,125,14) -> 10* a__g{#,0}(126,129,128) -> 16*,9,10 a__g{#,0}(125,129,41) -> 16*,9,10 a__g{#,0}(125,9,129) -> 9* a__g{#,0}(9,126,41) -> 9* a__g{#,0}(14,41,14) -> 9* a__g{#,0}(129,14,16) -> 9* a__g{#,0}(124,128,14) -> 16*,9,10 a__g{#,0}(15,126,9) -> 9* a__g{#,0}(15,128,128) -> 16*,9,10 a__g{#,0}(14,128,41) -> 9* a__g{#,0}(124,14,16) -> 9* a__g{#,0}(9,41,14) -> 9* a__g{#,0}(15,12,11) -> 10* a__g{#,0}(126,129,9) -> 9* a__g{#,0}(128,41,126) -> 16*,9,10 a__g{#,0}(128,16,125) -> 9* a__g{#,0}(16,9,124) -> 9* a__g{#,0}(9,128,41) -> 9* a__g{#,0}(126,15,11) -> 10* a__g{#,0}(129,16,16) -> 9* a__g{#,0}(15,128,9) -> 9* a__g{#,0}(41,15,124) -> 16*,9,10 a__g{#,0}(41,9,14) -> 9* a__g{#,0}(124,16,16) -> 9* a__g{#,0}(41,14,9) -> 9* a__g{#,0}(13,129,14) -> 10* a__g{#,0}(128,9,41) -> 9* a__g{#,0}(129,9,128) -> 9* a__g{#,0}(124,9,128) -> 9* a__g{#,0}(129,125,126) -> 16*,10,9 a__g{#,0}(41,16,9) -> 9* a__g{#,0}(128,14,15) -> 9* a__g{#,0}(129,9,9) -> 9* a__g{#,0}(129,124,11) -> 10* a__g{#,0}(125,15,129) -> 16*,10,9 a__g{#,0}(126,125,125) -> 16*,9,10 a__g{#,0}(124,125,126) -> 16*,10,9 a__g{#,0}(124,9,9) -> 9* a__g{#,0}(124,124,11) -> 10* a__g{#,0}(14,14,129) -> 9* a__g{#,0}(15,124,125) -> 16*,9,10 a__g{#,0}(128,16,15) -> 9* a__g{#,0}(128,41,16) -> 9* a__g{#,0}(13,124,126) -> 10* a__g{#,0}(129,126,11) -> 10* a__g{#,0}(16,15,124) -> 9* a__g{#,0}(16,9,14) -> 9* a__g{#,0}(9,14,129) -> 9* a__g{#,0}(16,14,9) -> 9* a__g{#,0}(124,126,11) -> 10* a__g{#,0}(41,15,14) -> 16*,9,10 a__g{#,0}(14,16,129) -> 9* a__g{#,0}(15,126,125) -> 16*,9,10 a__g{#,0}(129,129,126) -> 16*,10,9 a__g{#,0}(128,124,129) -> 16*,9,10 a__g{#,0}(13,126,126) -> 10* a__g{#,0}(129,128,11) -> 10* a__g{#,0}(13,125,11) -> 10* a__g{#,0}(126,129,125) -> 16*,9,10 a__g{#,0}(129,15,128) -> 16*,10,9 a__g{#,0}(128,15,41) -> 16*,9,10 a__g{#,0}(125,9,126) -> 9* a__g{#,0}(9,16,129) -> 9* a__g{#,0}(124,129,126) -> 16*,10,9 a__g{#,0}(13,12,128) -> 10* a__g{#,0}(16,16,9) -> 9* a__g{#,0}(124,128,11) -> 10* a__g{#,0}(124,15,128) -> 16*,9,10 a__g{#,0}(15,128,125) -> 16*,9,10 a__g{#,0}(125,125,124) -> 16*,10,9 a__g{#,0}(129,125,16) -> 9* a__g{#,0}(128,126,129) -> 16*,9,10 a__g{#,0}(13,128,126) -> 10* a__g{#,0}(126,41,124) -> 16*,10,9 a__g{#,0}(126,125,15) -> 9* a__g{#,0}(124,125,16) -> 9* a__g{#,0}(14,124,124) -> 9* a__g{#,0}(41,125,128) -> 16*,9,10 a__g{#,0}(15,124,15) -> 9* a__g{#,0}(41,41,41) -> 16*,10,9 a__g{#,0}(128,128,129) -> 16*,10,9 a__g{#,0}(9,124,124) -> 9* a__g{#,0}(16,15,14) -> 9* a__g{#,0}(13,129,11) -> 10* a__g{#,0}(41,125,9) -> 9* a__g{#,0}(13,41,129) -> 10* a__g{#,0}(129,9,125) -> 9* a__g{#,0}(14,126,124) -> 9* a__g{#,0}(126,124,41) -> 16*,9,10 a__g{#,0}(125,129,124) -> 16*,10,9 a__g{#,0}(124,9,125) -> 9* a__g{#,0}(15,126,15) -> 9* a__g{#,0}(129,129,16) -> 9* a__g{#,0}(15,41,9) -> 9* a__g{#,0}(9,126,124) -> 9* a__g{#,0}(125,15,126) -> 16*,10,9 a__g{#,0}(125,9,16) -> 9* a__g{#,0}(126,129,15) -> 9* a__g{#,0}(124,129,16) -> 9* a__g{#,0}(14,128,124) -> 9* a__g{#,0}(126,126,41) -> 16*,9,10 a__g{#,0}(41,129,128) -> 16*,9,10 a__g{#,0}(125,125,14) -> 16*,10,9 a__g{#,0}(15,128,15) -> 9* a__g{#,0}(14,14,126) -> 9* a__g{#,0}(9,128,124) -> 9* a__g{#,0}(126,41,14) -> 16*,10,9 a__g{#,0}(15,125,41) -> 16*,9,10 a__g{#,0}(16,125,128) -> 9* a__g{#,0}(9,14,126) -> 9* a__g{#,0}(41,129,9) -> 9* a__g{#,0}(14,124,14) -> 9* a__g{#,0}(16,41,41) -> 9* a__g{#,0}(126,128,41) -> 16*,9,10 a__g{#,0}(41,15,11) -> 10* a__g{#,0}(16,125,9) -> 9* a__g{#,0}(14,16,126) -> 9* a__g{#,0}(128,9,124) -> 9* a__g{#,0}(9,124,14) -> 9* a__g{#,0}(129,15,125) -> 16*,10,9 a__g{#,0}(9,16,126) -> 9* a__g{#,0}(129,9,15) -> 9* a__g{#,0}(13,12,125) -> 10* a__g{#,0}(14,126,14) -> 9* a__g{#,0}(124,15,125) -> 16*,9,10 a__g{#,0}(125,129,14) -> 16*,10,9 a__g{#,0}(124,9,15) -> 9* a__g{#,0}(9,126,14) -> 9* a__g{#,0}(15,129,41) -> 16*,9,10 a__g{#,0}(16,129,128) -> 9* a__g{#,0}(15,9,129) -> 9* a__g{#,0}(125,15,16) -> 9* a__g{#,0}(14,128,14) -> 9* a__g{#,0}(126,12,129) -> 10* a__g{#,0}(41,125,125) -> 16*,9,10 a__g{#,0}(14,14,16) -> 9* a__g{#,0}(16,129,9) -> 9* a__g{#,0}(9,128,14) -> 9* a__g{#,0}(9,14,16) -> 9* a__g{#,0}(13,41,126) -> 10* a__g{#,0}(126,14,129) -> 9* a__g{#,0}(125,124,126) -> 16*,10,9 a__g{#,0}(14,16,16) -> 9* a__g{#,0}(128,15,124) -> 16*,9,10 a__g{#,0}(128,9,14) -> 9* a__g{#,0}(128,14,9) -> 9* a__g{#,0}(9,16,16) -> 9* a__g{#,0}(129,15,15) -> 9* a__g{#,0}(126,16,129) -> 9* a__g{#,0}(129,12,41) -> 10* a__g{#,0}(41,129,125) -> 16*,9,10 a__g{#,0}(125,126,126) -> 16*,10,9 a__g{#,0}(14,9,128) -> 9* a__g{#,0}(124,15,15) -> 9* a__g{#,0}(125,125,11) -> 10* a__g{#,0}(15,15,129) -> 16*,9,10 a__g{#,0}(128,16,9) -> 9* a__g{#,0}(125,12,128) -> 10* a__g{#,0}(124,12,41) -> 10* a__g{#,0}(9,9,128) -> 9* a__g{#,0}(16,125,125) -> 9* a__g{#,0}(126,41,11) -> 10* a__g{#,0}(14,125,126) -> 9* a__g{#,0}(14,9,9) -> 9* a__g{#,0}(41,41,124) -> 16*,10,9 a__g{#,0}(129,14,41) -> 9* a__g{#,0}(125,128,126) -> 16*,10,9 a__g{#,0}(41,125,15) -> 9* a__g{#,0}(9,125,126) -> 9* a__g{#,0}(9,9,9) -> 9* a__g{#,0}(125,14,128) -> 9* a__g{#,0}(124,14,41) -> 9* a__g{#,0}(126,124,124) -> 16*,9,10 a__g{#,0}(129,125,129) -> 16*,10,9 a__g{#,0}(129,16,41) -> 9* a__g{#,0}(125,124,16) -> 9* a__g{#,0}(124,125,129) -> 16*,9,10 a__g{#,0}(128,15,14) -> 16*,9,10 a__g{#,0}(125,129,11) -> 10* a__g{#,0}(41,124,41) -> 16*,9,10 a__g{#,0}(125,41,129) -> 16*,10,9 a__g{#,0}(125,16,128) -> 9* a__g{#,0}(124,16,41) -> 9* a__g{#,0}(126,126,124) -> 16*,9,10 a__g{#,0}(15,9,126) -> 9* a__g{#,0}(16,129,125) -> 9* a__g{#,0}(14,129,126) -> 9* a__g{#,0}(13,124,129) -> 10* a__g{#,0}(126,12,126) -> 10* a__g{#,0}(14,15,128) -> 9* a__g{#,0}(13,15,41) -> 10* a__g{#,0}(125,126,16) -> 9* a__g{#,0}(41,129,15) -> 9* a__g{#,0}(15,125,124) -> 16*,10,9 a__g{#,0}(9,129,126) -> 9* a__g{#,0}(41,126,41) -> 16*,9,10 a__g{#,0}(16,41,124) -> 9* a__g{#,0}(126,128,124) -> 16*,9,10 a__g{#,0}(9,15,128) -> 9* a__g{#,0}(16,125,15) -> 9* a__g{#,0}(129,129,129) -> 16*,9,10 a__g{#,0}(14,125,16) -> 9* a__g{#,0}(13,126,129) -> 10* a__g{#,0}(41,41,14) -> 16*,10,9 a__g{#,0}(126,14,126) -> 9* a__g{#,0}(125,128,16) -> 9* a__g{#,0}(124,129,129) -> 16*,9,10 a__g{#,0}(9,125,16) -> 9* a__g{#,0}(128,125,128) -> 16*,9,10 a__g{#,0}(41,128,41) -> 16*,9,10 a__g{#,0}(126,124,14) -> 16*,9,10 a__g{#,0}(128,41,41) -> 16*,9,10 a__g{#,0}(129,41,128) -> 16*,9,10 a__g{#,0}(13,128,129) -> 10* a__g{#,0}(16,124,41) -> 9* a__g{#,0}(128,125,9) -> 9* a__g{#,0}(126,16,126) -> 9* a__g{#,0}(124,41,128) -> 16*,9,10 a__g{#,0}(15,129,124) -> 16*,10,9 a__g{#,0}(14,9,125) -> 9* a__g{#,0}(126,126,14) -> 16*,9,10 a__g{#,0}(15,15,126) -> 16*,9,10 a__g{#,0}(125,12,125) -> 10* a__g{#,0}(15,9,16) -> 9* a__g{#,0}(16,129,15) -> 9* a__g{#,0}(9,9,125) -> 9* a__g{#,0}(14,129,16) -> 9* a__g{#,0}(16,126,41) -> 9* a__g{#,0}(15,125,14) -> 16*,10,9 a__g{#,0}(9,129,16) -> 9* a__g{#,0}(128,129,128) -> 16*,9,10 a__g{#,0}(41,12,129) -> 10* a__g{#,0}(16,41,14) -> 9* a__g{#,0}(126,128,14) -> 16*,9,10 a__g{#,0}(125,14,125) -> 9* a__g{#,0}(16,128,41) -> 9* a__g{#,0}(126,14,16) -> 9* a__g{#,0}(128,129,9) -> 9* a__g{#,0}(128,15,11) -> 10* a__g{#,0}(41,14,129) -> 9* a__g{#,0}(125,41,126) -> 16*,10,9 a__g{#,0}(125,16,125) -> 9* a__g{#,0}(129,12,124) -> 10* a__g{#,0}(126,16,16) -> 9* a__g{#,0}(15,129,14) -> 16*,10,9 a__g{#,0}(14,15,125) -> 9* a__g{#,0}(124,12,124) -> 10* a__g{#,0}(14,9,15) -> 9* a__g{#,0}(41,16,129) -> 9* a__g{#,0}(15,15,16) -> 9* a__g{#,0}(9,15,125) -> 9* a__g{#,0}(9,9,15) -> 9* a__g{#,0}(129,14,124) -> 9* a__g{#,0}(126,9,128) -> 9* a__g{#,0}(125,9,41) -> 9* a__g{#,0}(41,41,11) -> 10* a__g{#,0}(124,14,124) -> 9* a__g{#,0}(128,125,125) -> 16*,9,10 a__g{#,0}(126,125,126) -> 16*,10,9 a__g{#,0}(125,14,15) -> 9* a__g{#,0}(126,9,9) -> 9* a__g{#,0}(129,41,125) -> 16*,10,9 a__g{#,0}(126,124,11) -> 10* a__g{#,0}(129,16,124) -> 9* a__g{#,0}(16,14,129) -> 9* a__g{#,0}(129,15,9) -> 9* a__g{#,0}(41,124,124) -> 16*,9,10 a__g{#,0}(15,124,126) -> 16*,9,10 a__g{#,0}(124,41,125) -> 16*,9,10 a__g{#,0}(124,16,124) -> 9* a__g{#,0}(124,15,9) -> 9* a__g{#,0}(125,16,15) -> 9* a__g{#,0}(125,41,16) -> 9* a__g{#,0}(126,126,11) -> 10* a__g{#,0}(129,12,14) -> 10* a__g{#,0}(13,15,124) -> 10* a__g{#,0}(16,16,129) -> 9* a__g{#,0}(41,126,124) -> 16*,9,10 a__g{#,0}(15,126,126) -> 16*,9,10 a__g{#,0}(124,12,14) -> 10* a__g{#,0}(14,15,15) -> 9* a__g{#,0}(15,125,11) -> 10* a__g{#,0}(128,129,125) -> 16*,9,10 a__g{#,0}(126,129,126) -> 16*,10,9 a__g{#,0}(15,12,128) -> 10* a__g{#,0}(41,12,126) -> 10* a__g{#,0}(125,124,129) -> 16*,10,9 a__g{#,0}(126,128,11) -> 10* a__g{#,0}(9,15,15) -> 9* a__g{#,0}(129,14,14) -> 9* a__g{#,0}(126,15,128) -> 16*,9,10 a__g{#,0}(125,15,41) -> 16*,9,10 a__g{#,0}(41,128,124) -> 16*,10,9 a__g{#,0}(15,128,126) -> 16*,9,10 a__g{#,0}(124,14,14) -> 9* a__g{#,0}(128,41,124) -> 16*,9,10 a__g{#,0}(128,125,15) -> 9* a__g{#,0}(15,14,128) -> 9* a__g{#,0}(14,14,41) -> 9* a__g{#,0}(126,125,16) -> 9* a__g{#,0}(41,14,126) -> 9* a__g{#,0}(125,126,129) -> 16*,10,9 a__g{#,0}(16,124,124) -> 9* a__g{#,0}(129,41,15) -> 9* a__g{#,0}(129,16,14) -> 9* a__g{#,0}(9,14,41) -> 9* a__g{#,0}(41,124,14) -> 16*,9,10 a__g{#,0}(15,124,16) -> 9* a__g{#,0}(124,16,14) -> 9* a__g{#,0}(124,41,15) -> 9* a__g{#,0}(14,125,129) -> 9* a__g{#,0}(15,129,11) -> 10* a__g{#,0}(15,41,129) -> 16*,10,9 a__g{#,0}(15,16,128) -> 9* a__g{#,0}(14,16,41) -> 9* a__g{#,0}(41,16,126) -> 9* a__g{#,0}(125,128,129) -> 16*,10,9 a__g{#,0}(16,126,124) -> 9* a__g{#,0}(129,124,128) -> 16*,9,10 a__g{#,0}(128,124,41) -> 16*,9,10 a__g{#,0}(9,125,129) -> 9* a__g{#,0}(13,15,14) -> 10* a__g{#,0}(9,16,41) -> 9* a__g{#,0}(126,9,125) -> 9* a__g{#,0}(41,126,14) -> 16*,9,10 a__g{#,0}(15,126,16) -> 9* a__g{#,0}(124,124,128) -> 16*,9,10 a__g{#,0}(128,129,15) -> 9* a__g{#,0}(129,124,9) -> 9* a__g{#,0}(126,129,16) -> 9* a__g{#,0}(16,128,124) -> 9* a__g{#,0}(129,126,128) -> 16*,9,10 a__g{#,0}(128,126,41) -> 16*,9,10 a__g{#,0}(124,124,9) -> 9* a__g{#,0}(16,14,126) -> 9* a__g{#,0}(41,128,14) -> 16*,10,9 a__g{#,0}(15,128,16) -> 9* a__g{#,0}(124,126,128) -> 16*,9,10 a__g{#,0}(14,129,129) -> 9* a__g{#,0}(128,41,14) -> 16*,9,10 a__g{#,0}(129,126,9) -> 9* a__g{#,0}(41,14,16) -> 9* a__g{#,0}(16,124,14) -> 9* a__g{#,0}(129,128,128) -> 16*,9,10 a__g{#,0}(128,128,41) -> 16*,10,9 a__g{#,0}(9,129,129) -> 9* a__g{#,0}(13,125,128) -> 10* a__g{#,0}(129,12,11) -> 10* a__g{#,0}(124,126,9) -> 9* a__g{#,0}(16,16,126) -> 9* a__g{#,0}(14,41,128) -> 9* a__g{#,0}(13,41,41) -> 10* a__g{#,0}(124,128,128) -> 16*,9,10 a__g{#,0}(124,12,11) -> 10* a__g{#,0}(129,128,9) -> 9* a__g{#,0}(41,16,16) -> 9* a__g{#,0}(9,41,128) -> 9* a__g{#,0}(125,9,124) -> 9* a__g{#,0}(15,12,125) -> 10* a__g{#,0}(16,126,14) -> 9* a__g{#,0}(124,128,9) -> 9* a__g{#,0}(126,15,125) -> 16*,9,10 a__g{#,0}(126,9,15) -> 9* a__g{#,0}(41,9,128) -> 9* a__g{#,0}(16,128,14) -> 9* a__g{#,0}(15,14,125) -> 9* a__g{#,0}(128,12,129) -> 10* a__g{#,0}(13,129,128) -> 10* a__g{#,0}(41,125,126) -> 16*,9,10 a__g{#,0}(16,14,16) -> 9* a__g{#,0}(41,9,9) -> 9* a__g{#,0}(41,124,11) -> 10* a__g{#,0}(15,41,126) -> 16*,9,10 a__g{#,0}(15,16,125) -> 9* a__g{#,0}(128,14,129) -> 9* a__g{#,0}(129,124,125) -> 16*,10,9 a__g{#,0}(13,15,11) -> 10* a__g{#,0}(16,16,16) -> 9* a__g{#,0}(41,126,11) -> 10* a__g{#,0}(124,124,125) -> 16*,9,10 a__g{#,0}(125,15,124) -> 16*,10,9 a__g{#,0}(125,9,14) -> 9* a__g{#,0}(128,16,129) -> 9* a__g{#,0}(129,126,125) -> 16*,10,9 a__g{#,0}(125,14,9) -> 9* a__g{#,0}(16,9,128) -> 9* a__g{#,0}(15,9,41) -> 9* a__g{#,0}(41,129,126) -> 16*,9,10 a__g{#,0}(126,15,15) -> 9* a__g{#,0}(41,128,11) -> 10* a__g{#,0}(14,14,124) -> 9* a__g{#,0}(124,126,125) -> 16*,9,10 a__g{#,0}(126,12,41) -> 10* a__g{#,0}(41,15,128) -> 16*,9,10 a__g{#,0}(128,41,11) -> 10* a__g{#,0}(16,125,126) -> 9* a__g{#,0}(16,9,9) -> 9* a__g{#,0}(15,14,15) -> 9* a__g{#,0}(9,14,124) -> 9* a__g{#,0}(129,128,125) -> 16*,10,9 a__g{#,0}(125,16,9) -> 9* a__g{#,0}(13,125,125) -> 10* a__g{#,0}(41,125,16) -> 9* a__g{#,0}(14,16,124) -> 9* a__g{#,0}(14,41,125) -> 9* a__g{#,0}(124,128,125) -> 16*,9,10 a__g{#,0}(126,14,41) -> 9* a__g{#,0}(128,124,124) -> 16*,9,10 a__g{#,0}(14,15,9) -> 9* a__g{#,0}(15,41,16) -> 9* a__g{#,0}(15,16,15) -> 9* a__g{#,0}(9,16,124) -> 9* a__g{#,0}(9,41,125) -> 9* a__g{#,0}(129,124,15) -> 9* a__g{#,0}(9,15,9) -> 9* a__g{#,0}(126,125,129) -> 16*,9,10 a__g{#,0}(124,124,15) -> 9* a__g{#,0}(126,16,41) -> 9* a__g{#,0}(128,126,124) -> 16*,9,10 a__g{#,0}(41,9,125) -> 9* a__g{#,0}(16,129,126) -> 9* a__g{#,0}(15,124,129) -> 16*,9,10 a__g{#,0}(125,15,14) -> 16*,10,9 a__g{#,0}(128,12,126) -> 10* a__g{#,0}(129,126,15) -> 9* a__g{#,0}(15,15,41) -> 16*,9,10 a__g{#,0}(16,15,128) -> 9* a__g{#,0}(129,41,9) -> 9* a__g{#,0}(13,129,125) -> 10* a__g{#,0}(41,129,16) -> 9* a__g{#,0}(14,14,14) -> 9* a__g{#,0}(124,126,15) -> 9* a__g{#,0}(128,128,124) -> 16*,10,9 a__g{#,0}(124,41,9) -> 9* a__g{#,0}(16,125,16) -> 9* a__g{#,0}(15,126,129) -> 16*,9,10 a__g{#,0}(9,14,14) -> 9* a__g{#,0}(128,14,126) -> 9* a__g{#,0}(13,41,124) -> 10* a__g{#,0}(129,128,15) -> 9* a__g{#,0}(126,129,129) -> 16*,9,10 a__g{#,0}(129,125,41) -> 16*,9,10 a__g{#,0}(14,41,15) -> 9* a__g{#,0}(14,16,14) -> 9* a__g{#,0}(124,128,15) -> 9* a__g{#,0}(128,124,14) -> 16*,9,10 a__g{#,0}(15,128,129) -> 16*,9,10 a__g{#,0}(125,125,128) -> 16*,10,9 a__g{#,0}(124,125,41) -> 16*,9,10 a__g{#,0}(9,41,15) -> 9* a__g{#,0}(9,16,14) -> 9* a__g{#,0}(128,16,126) -> 9* a__g{#,0}(125,41,41) -> 16*,9,10 a__g{#,0}(126,41,128) -> 16*,9,10 a__g{#,0}(16,9,125) -> 9* a__g{#,0}(14,124,128) -> 9* a__g{#,0}(13,124,41) -> 10* a__g{#,0}(125,125,9) -> 9* a__g{#,0}(128,126,14) -> 16*,9,10 a__g{#,0}(41,15,125) -> 16*,9,10 a__g{#,0}(41,9,15) -> 9* a__g{#,0}(16,129,16) -> 9* a__g{#,0}(9,124,128) -> 9* a__g{#,0}(14,124,9) -> 9* a__g{#,0}(129,129,41) -> 16*,9,10 a__g{#,0}(129,9,129) -> 9* a__g{#,0}(14,126,128) -> 9* a__g{#,0}(13,126,41) -> 10* a__g{#,0}(128,128,14) -> 16*,10,9 a__g{#,0}(9,124,9) -> 9* a__g{#,0}(125,129,128) -> 16*,10,9 a__g{#,0}(124,129,41) -> 16*,9,10 a__g{#,0}(124,9,129) -> 9* a__g{#,0}(9,126,128) -> 9* a__g{#,0}(128,14,16) -> 9* a__g{#,0}(13,41,14) -> 10* a__g{#,0}(14,126,9) -> 9* a__g{#,0}(14,128,128) -> 9* a__g{#,0}(13,128,41) -> 10* a__g{#,0}(125,129,9) -> 9* a__g{#,0}(9,126,9) -> 9* a__g{#,0}(15,9,124) -> 9* a__g{#,0}(9,128,128) -> 9* a__g{#,0}(125,15,11) -> 10* a__g{#,0}(128,16,16) -> 9* a__g{#,0}(14,128,9) -> 9* a__g{#,0}(16,15,125) -> 9* a__g{#,0}(16,9,15) -> 9* a__g{#,0}(126,12,124) -> 10* a__g{#,0}(9,128,9) -> 9* a__g{#,0}(41,15,15) -> 9* a__g{#,0}(128,9,128) -> 9* a__g{#,0}(41,12,41) -> 10* a__g{#,0}(126,14,124) -> 9* a__g{#,0}(129,15,129) -> 16*,10,9 a__g{#,0}(13,12,129) -> 10* a__g{#,0}(128,125,126) -> 16*,9,10 a__g{#,0}(128,9,9) -> 9* a__g{#,0}(128,124,11) -> 10* a__g{#,0}(124,15,129) -> 16*,9,10 a__g{#,0}(125,125,125) -> 16*,10,9 a__g{#,0}(41,14,41) -> 9* a__g{#,0}(126,41,125) -> 16*,10,9 a__g{#,0}(126,16,124) -> 9* a__g{#,0}(126,15,9) -> 9* a__g{#,0}(14,124,125) -> 9* a__g{#,0}(41,125,129) -> 16*,10,9 a__g{#,0}(128,126,11) -> 10* a__g{#,0}(15,15,124) -> 16*,9,10 a__g{#,0}(15,9,14) -> 9* a__g{#,0}(9,124,125) -> 9* a__g{#,0}(41,16,41) -> 9* a__g{#,0}(15,14,9) -> 9* a__g{#,0}(16,15,15) -> 9* a__g{#,0}(126,12,14) -> 10* a__g{#,0}(129,9,126) -> 9* a__g{#,0}(128,129,126) -> 16*,9,10 a__g{#,0}(14,126,125) -> 9* a__g{#,0}(128,128,11) -> 10* a__g{#,0}(125,129,125) -> 16*,10,9 a__g{#,0}(128,15,128) -> 16*,9,10 a__g{#,0}(124,9,126) -> 9* a__g{#,0}(129,125,124) -> 16*,10,9 a__g{#,0}(15,16,9) -> 9* a__g{#,0}(9,126,125) -> 9* a__g{#,0}(13,41,11) -> 10* a__g{#,0}(126,14,14) -> 9* a__g{#,0}(124,125,124) -> 16*,10,9 a__g{#,0}(14,128,125) -> 9* a__g{#,0}(128,125,16) -> 9* a__g{#,0}(16,14,41) -> 9* a__g{#,0}(41,129,129) -> 16*,9,10 a__g{#,0}(125,41,124) -> 16*,10,9 a__g{#,0}(125,125,15) -> 9* a__g{#,0}(9,128,125) -> 9* a__g{#,0}(13,124,124) -> 10* a__g{#,0}(126,41,15) -> 9* a__g{#,0}(126,16,14) -> 9* a__g{#,0}(16,125,129) -> 9* a__g{#,0}(14,124,15) -> 9* a__g{#,0}(16,16,41) -> 9* a__g{#,0}(41,41,128) -> 16*,9,10 a__g{#,0}(15,15,14) -> 16*,9,10 a__g{#,0}(129,129,124) -> 16*,10,9 a__g{#,0}(128,9,125) -> 9* a__g{#,0}(9,124,15) -> 9* a__g{#,0}(13,126,124) -> 10* a__g{#,0}(126,124,128) -> 16*,9,10 a__g{#,0}(125,124,41) -> 16*,9,10 a__g{#,0}(129,15,126) -> 16*,10,9 a__g{#,0}(129,9,16) -> 9* a__g{#,0}(124,129,124) -> 16*,10,9 a__g{#,0}(13,12,126) -> 10* a__g{#,0}(14,126,15) -> 9* a__g{#,0}(128,129,16) -> 9* a__g{#,0}(14,41,9) -> 9* a__g{#,0}(124,15,126) -> 16*,10,9 a__g{#,0}(124,9,16) -> 9* a__g{#,0}(126,124,9) -> 9* a__g{#,0}(125,129,15) -> 9* a__g{#,0}(129,125,14) -> 16*,10,9 a__g{#,0}(9,126,15) -> 9* a__g{#,0}(13,128,124) -> 10* a__g{#,0}(9,41,9) -> 9* a__g{#,0}(126,126,128) -> 16*,9,10 a__g{#,0}(125,126,41) -> 16*,9,10 a__g{#,0}(16,129,129) -> 9* a__g{#,0}(124,125,14) -> 16*,10,9 a__g{#,0}(14,128,15) -> 9* a__g{#,0}(15,125,128) -> 16*,10,9 a__g{#,0}(125,41,14) -> 16*,10,9 a__g{#,0}(14,125,41) -> 9* a__g{#,0}(126,126,9) -> 9* a__g{#,0}(9,128,15) -> 9* a__g{#,0}(15,41,41) -> 16*,9,10 a__g{#,0}(16,41,128) -> 9* a__g{#,0}(13,124,14) -> 10* a__g{#,0}(126,128,128) -> 16*,9,10 a__g{#,0}(125,128,41) -> 16*,9,10 a__g{#,0}(9,125,41) -> 9* a__g{#,0}(126,12,11) -> 10* a__g{#,0}(15,125,9) -> 9* a__g{#,0}(41,12,124) -> 10* a__g{#,0}(126,128,9) -> 9* a__g{#,0}(129,129,14) -> 16*,10,9 a__g{#,0}(128,15,125) -> 16*,9,10 a__g{#,0}(128,9,15) -> 9* a__g{#,0}(13,126,14) -> 10* a__g{#,0}(129,15,16) -> 9* a__g{#,0}(124,129,14) -> 16*,10,9 a__g{#,0}(41,14,124) -> 9* a__g{#,0}(15,129,128) -> 16*,10,9 a__g{#,0}(14,129,41) -> 9* a__g{#,0}(14,9,129) -> 9* a__g{#,0}(124,15,16) -> 9* a__g{#,0}(13,128,14) -> 10* a__g{#,0}(125,12,129) -> 10* a__g{#,0}(9,129,41) -> 9* a__g{#,0}(9,9,129) -> 9* a__g{#,0}(15,129,9) -> 9* a__g{#,0}(41,41,125) -> 16*,10,9 a__g{#,0}(41,16,124) -> 9* a__g{#,0}(129,124,126) -> 16*,10,9 a__g{#,0}(41,15,9) -> 9* a__g{#,0}(15,15,11) -> 10* a__g{#,0}(125,14,129) -> 9* a__g{#,0}(126,124,125) -> 16*,9,10 a__g{#,0}(124,124,126) -> 16*,10,9 a__g{#,0}(41,12,14) -> 10* a__g{#,0}(129,126,126) -> 16*,10,9 a__g{#,0}(128,15,15) -> 9* a__g{#,0}(129,125,11) -> 10* a__g{#,0}(16,14,124) -> 9* a__g{#,0}(125,16,129) -> 9* a__g{#,0}(126,126,125) -> 16*,9,10 a__g{#,0}(128,12,41) -> 10* a__g{#,0}(129,12,128) -> 10* a__g{#,0}(124,126,126) -> 16*,10,9 a__g{#,0}(124,125,11) -> 10* a__g{#,0}(41,14,14) -> 9* a__g{#,0}(124,12,128) -> 10* a__g{#,0}(14,15,129) -> 9* a__g{#,0}(15,125,125) -> 16*,10,9 a__g{#,0}(129,128,126) -> 16*,10,9 a__g{#,0}(125,41,11) -> 10* a__g{#,0}(13,125,126) -> 10* a__g{#,0}(13,124,11) -> 10* a__g{#,0}(16,16,124) -> 9* a__g{#,0}(16,41,125) -> 9* a__g{#,0}(126,128,125) -> 16*,9,10 a__g{#,0}(128,14,41) -> 9* a__g{#,0}(129,14,128) -> 9* a__g{#,0}(9,15,129) -> 9* a__g{#,0}(124,128,126) -> 16*,10,9 a__g{#,0}(16,15,9) -> 9* a__g{#,0}(41,41,15) -> 9* a__g{#,0}(41,16,14) -> 9* a__g{#,0}(124,14,128) -> 9* a__g{#,0}(125,124,124) -> 16*,9,10 a__g{#,0}(129,124,16) -> 9* a__g{#,0}(128,125,129) -> 16*,9,10 a__g{#,0}(129,129,11) -> 10* a__g{#,0}(13,126,11) -> 10* a__g{#,0}(129,41,129) -> 16*,10,9 a__g{#,0}(128,16,41) -> 9* a__g{#,0}(126,124,15) -> 9* a__g{#,0}(129,16,128) -> 9* a__g{#,0}(124,124,16) -> 9* a__g{#,0}(124,129,11) -> 10* a__g{#,0}(41,124,128) -> 16*,9,10 a__g{#,0}(124,41,129) -> 16*,10,9 a__g{#,0}(124,16,128) -> 9* a__g{#,0}(15,129,125) -> 16*,10,9 a__g{#,0}(125,126,124) -> 16*,9,10 a__g{#,0}(14,9,126) -> 9* a__g{#,0}(129,126,16) -> 9* a__g{#,0}(13,129,126) -> 10* a__g{#,0}(13,128,11) -> 10* a__g{#,0}(16,14,14) -> 9* a__g{#,0}(126,126,15) -> 9* a__g{#,0}(125,12,126) -> 10* a__g{#,0}(13,15,128) -> 10* a__g{#,0}(41,124,9) -> 9* a__g{#,0}(126,41,9) -> 9* a__g{#,0}(124,126,16) -> 9* a__g{#,0}(9,9,126) -> 9* a__g{#,0}(14,125,124) -> 9* a__g{#,0}(41,126,128) -> 16*,9,10 a__g{#,0}(15,41,124) -> 16*,9,10 a__g{#,0}(125,128,124) -> 16*,9,10 a__g{#,0}(15,125,15) -> 9* a__g{#,0}(129,128,16) -> 9* a__g{#,0}(128,129,129) -> 16*,9,10 a__g{#,0}(9,125,124) -> 9* a__g{#,0}(16,41,15) -> 9* a__g{#,0}(16,16,14) -> 9* a__g{#,0}(126,128,15) -> 9* a__g{#,0}(125,14,126) -> 9* a__g{#,0}(124,128,16) -> 9* a__g{#,0}(41,126,9) -> 9* a__g{#,0}(126,125,41) -> 16*,9,10 a__g{#,0}(41,128,128) -> 16*,10,9 a__g{#,0}(41,12,11) -> 10* a__g{#,0}(125,124,14) -> 16*,9,10 a__g{#,0}(128,41,128) -> 16*,9,10 a__g{#,0}(15,124,41) -> 16*,9,10 a__g{#,0}(16,124,128) -> 9* a__g{#,0}(125,16,126) -> 9* a__g{#,0}(41,128,9) -> 9* a__g{#,0}(129,12,125) -> 10* a__g{#,0}(14,129,124) -> 9* a__g{#,0}(125,126,14) -> 16*,9,10 a__g{#,0}(124,12,125) -> 10* a__g{#,0}(16,124,9) -> 9* a__g{#,0}(14,9,16) -> 9* a__g{#,0}(14,15,126) -> 9* a__g{#,0}(15,129,15) -> 9* a__g{#,0}(9,129,124) -> 9* a__g{#,0}(15,126,41) -> 16*,9,10 a__g{#,0}(16,126,128) -> 9* a__g{#,0}(9,9,16) -> 9* a__g{#,0}(9,15,126) -> 9* a__g{#,0}(129,14,125) -> 9* a__g{#,0}(14,125,14) -> 9* a__g{#,0}(126,129,41) -> 16*,9,10 a__g{#,0}(126,9,129) -> 9* a__g{#,0}(15,41,14) -> 16*,9,10 a__g{#,0}(125,128,14) -> 16*,9,10 a__g{#,0}(124,14,125) -> 9* a__g{#,0}(16,126,9) -> 9* a__g{#,0}(9,125,14) -> 9* a__g{#,0}(15,128,41) -> 16*,9,10 a__g{#,0}(16,128,128) -> 9* a__g{#,0}(125,14,16) -> 9* a__g{#,0}(129,41,126) -> 16*,10,9 a__g{#,0}(129,16,125) -> 9* a__g{#,0}(41,124,125) -> 16*,9,10 a__g{#,0}(124,41,126) -> 16*,10,9 a__g{#,0}(16,128,9) -> 9* a__g{#,0}(124,16,125) -> 9* a__g{#,0}(128,12,124) -> 10* a__g{#,0}(125,16,16) -> 9* a__g{#,0}(13,15,125) -> 10* a__g{#,0}(14,129,14) -> 9* a__g{#,0}(129,9,41) -> 9* a__g{#,0}(41,126,125) -> 16*,9,10 a__g{#,0}(14,15,16) -> 9* a__g{#,0}(128,14,124) -> 9* a__g{#,0}(9,129,14) -> 9* a__g{#,0}(125,9,128) -> 9* a__g{#,0}(124,9,41) -> 9* a__g{#,0}(15,12,129) -> 10* a__g{#,0}(9,15,16) -> 9* a__g{#,0}(129,14,15) -> 9* a__g{#,0}(126,15,129) -> 16*,9,10 a__g{#,0}(41,128,125) -> 16*,10,9 a__g{#,0}(125,125,126) -> 16*,10,9 a__g{#,0}(125,9,9) -> 9* a__g{#,0}(124,14,15) -> 9* a__g{#,0}(128,41,125) -> 16*,9,10 a__g{#,0}(128,16,124) -> 9* a__g{#,0}(125,124,11) -> 10* a__g{#,0}(128,15,9) -> 9* a__g{#,0}(15,14,129) -> 9* a__g{#,0}(16,124,125) -> 9* a__g{#,0}(14,124,126) -> 9* a__g{#,0}(129,16,15) -> 9* a__g{#,0}(129,41,16) -> 9* a__g{#,0}(41,124,15) -> 9* a__g{#,0}(124,16,15) -> 9* a__g{#,0}(124,41,16) -> 9* a__g{#,0}(9,124,126) -> 9* a__g{#,0}(128,12,14) -> 10* a__g{#,0}(125,126,11) -> 10* a__g{#,0}(15,16,129) -> 9* a__g{#,0}(16,126,125) -> 9* a__g{#,0}(129,124,129) -> 16*,10,9 a__g{#,0}(14,126,126) -> 9* a__g{#,0}(129,15,41) -> 16*,9,10 a__g{#,0}(126,9,126) -> 9* a__g{#,0}(125,129,126) -> 16*,10,9 a__g{#,0}(13,12,41) -> 10* a__g{#,0}(41,126,15) -> 9* a__g{#,0}(124,124,129) -> 16*,9,10 a__g{#,0}(41,41,9) -> 9* a__g{#,0}(15,41,11) -> 10* a__g{#,0}(9,126,126) -> 9* a__g{#,0}(128,14,14) -> 9* a__g{#,0}(125,128,11) -> 10* a__g{#,0}(125,15,128) -> 16*,10,9 a__g{#,0}(124,15,41) -> 16*,9,10 a__g{#,0}(126,125,124) -> 16*,10,9 a__g{#,0}(16,128,125) -> 9* a__g{#,0}(129,126,129) -> 16*,10,9 a__g{#,0}(14,128,126) -> 9* a__g{#,0}(14,14,128) -> 9* a__g{#,0}(41,128,15) -> 9* a__g{#,0}(125,125,16) -> 9* a__g{#,0}(15,124,124) -> 16*,9,10 a__g{#,0}(124,126,129) -> 16*,9,10 a__g{#,0}(9,128,126) -> 9* a__g{#,0}(128,16,14) -> 9* a__g{#,0}(128,41,15) -> 9* a__g{#,0}(41,125,41) -> 16*,9,10 a__g{#,0}(9,14,128) -> 9* a__g{#,0}(16,124,15) -> 9* a__g{#,0}(129,128,129) -> 16*,10,9 a__g{#,0}(14,124,16) -> 9* a__g{#,0}(13,125,129) -> 10* a__g{#,0}(14,16,128) -> 9* a__g{#,0}(14,41,129) -> 9* a__g{#,0}(15,126,124) -> 16*,9,10 a__g{#,0}(124,128,129) -> 16*,9,10 a__g{#,0}(9,124,16) -> 9* a__g{#,0}(128,124,128) -> 16*,9,10 a__g{#,0}(126,129,124) -> 16*,10,9 a__g{#,0}(9,16,128) -> 9* a__g{#,0}(125,9,125) -> 9* a__g{#,0}(16,126,15) -> 9* a__g{#,0}(15,12,126) -> 10* a__g{#,0}(9,41,129) -> 9* a__g{#,0}(16,41,9) -> 9* a__g{#,0}(14,126,16) -> 9* a__g{#,0}(126,15,126) -> 16*,10,9 a__g{#,0}(128,124,9) -> 9* a__g{#,0}(126,9,16) -> 9* a__g{#,0}(125,129,16) -> 9* a__g{#,0}(15,128,124) -> 16*,9,10 a__g{#,0}(9,126,16) -> 9* a__g{#,0}(128,126,128) -> 16*,9,10 a__g{#,0}(41,129,41) -> 16*,9,10 a__g{#,0}(41,9,129) -> 9* a__g{#,0}(126,125,14) -> 16*,10,9 a__g{#,0}(16,128,15) -> 9* a__g{#,0}(15,14,126) -> 9* a__g{#,0}(14,128,16) -> 9* a__g{#,0}(13,129,129) -> 10* a__g{#,0}(16,125,41) -> 9* a__g{#,0}(128,126,9) -> 9* a__g{#,0}(15,124,14) -> 16*,9,10 a__g{#,0}(9,128,16) -> 9* a__g{#,0}(128,128,128) -> 16*,10,9 a__g{#,0}(128,12,11) -> 10* a__g{#,0}(15,16,126) -> 9* a__g{#,0}(13,41,128) -> 10* a__g{#,0}(129,9,124) -> 9* a__g{#,0}(128,128,9) -> 9* a__g{#,0}(15,126,14) -> 16*,9,10 a__g{#,0}(124,9,124) -> 9* a__g{#,0}(126,129,14) -> 16*,10,9 a__g{#,0}(125,15,125) -> 16*,10,9 a__g{#,0}(125,9,15) -> 9* a__g{#,0}(16,129,41) -> 9* a__g{#,0}(16,9,129) -> 9* a__g{#,0}(126,15,16) -> 9* a__g{#,0}(15,128,14) -> 16*,9,10 a__g{#,0}(14,14,125) -> 9* a__g{#,0}(41,15,129) -> 16*,10,9 a__g{#,0}(15,14,16) -> 9* a__g{#,0}(9,14,125) -> 9* a__g{#,0}(14,16,125) -> 9* a__g{#,0}(14,41,126) -> 9* a__g{#,0}(128,124,125) -> 16*,9,10 a__h{#,0}(128,15) -> 9* a__h{#,0}(41,41) -> 9* a__h{#,0}(126,124) -> 9* a__h{#,0}(126,126) -> 9* a__h{#,0}(15,125) -> 9* a__h{#,0}(16,41) -> 9* a__h{#,0}(126,128) -> 9* a__h{#,0}(15,129) -> 9* a__h{#,0}(129,14) -> 9* a__h{#,0}(124,14) -> 9* a__h{#,0}(129,16) -> 9* a__h{#,0}(41,124) -> 9* a__h{#,0}(124,16) -> 9* a__h{#,0}(41,126) -> 9* a__h{#,0}(41,128) -> 9* a__h{#,0}(128,41) -> 9* a__h{#,0}(16,124) -> 9* a__h{#,0}(16,126) -> 9* a__h{#,0}(16,128) -> 9* a__h{#,0}(125,9) -> 9* a__h{#,0}(125,15) -> 9* a__h{#,0}(14,14) -> 9* a__h{#,0}(9,14) -> 9* a__h{#,0}(14,16) -> 9* a__h{#,0}(128,124) -> 9* a__h{#,0}(9,16) -> 9* a__h{#,0}(128,126) -> 9* a__h{#,0}(128,128) -> 9* a__h{#,0}(15,9) -> 9* a__h{#,0}(126,14) -> 9* a__h{#,0}(126,16) -> 9* a__h{#,0}(15,15) -> 9* a__h{#,0}(129,125) -> 9* a__h{#,0}(124,125) -> 9* a__h{#,0}(125,41) -> 9* a__h{#,0}(129,129) -> 9* a__h{#,0}(124,129) -> 9* a__h{#,0}(41,14) -> 9* a__h{#,0}(41,16) -> 9* a__h{#,0}(16,14) -> 9* a__h{#,0}(16,16) -> 9* a__h{#,0}(125,124) -> 9* a__h{#,0}(125,126) -> 9* a__h{#,0}(14,125) -> 9* a__h{#,0}(15,41) -> 9* a__h{#,0}(125,128) -> 9* a__h{#,0}(9,125) -> 9* a__h{#,0}(14,129) -> 9* a__h{#,0}(9,129) -> 9* a__h{#,0}(128,14) -> 9* a__h{#,0}(128,16) -> 9* a__h{#,0}(126,125) -> 9* a__h{#,0}(15,124) -> 9* a__h{#,0}(15,126) -> 9* a__h{#,0}(126,129) -> 9* a__h{#,0}(15,128) -> 9* a__h{#,0}(129,9) -> 9* a__h{#,0}(124,9) -> 9* a__h{#,0}(129,15) -> 9* a__h{#,0}(124,15) -> 9* a__h{#,0}(41,125) -> 9* a__h{#,0}(41,129) -> 9* a__h{#,0}(16,125) -> 9* a__h{#,0}(16,129) -> 9* a__h{#,0}(14,9) -> 9* a__h{#,0}(9,9) -> 9* a__h{#,0}(125,14) -> 9* a__h{#,0}(125,16) -> 9* a__h{#,0}(14,15) -> 9* a__h{#,0}(9,15) -> 9* a__h{#,0}(128,125) -> 9* a__h{#,0}(129,41) -> 9* a__h{#,0}(124,41) -> 9* a__h{#,0}(128,129) -> 9* a__h{#,0}(126,9) -> 9* a__h{#,0}(126,15) -> 9* a__h{#,0}(15,14) -> 9* a__h{#,0}(15,16) -> 9* a__h{#,0}(129,124) -> 9* a__h{#,0}(124,124) -> 9* a__h{#,0}(129,126) -> 9* a__h{#,0}(124,126) -> 9* a__h{#,0}(129,128) -> 9* a__h{#,0}(14,41) -> 9* a__h{#,0}(124,128) -> 9* a__h{#,0}(9,41) -> 9* a__h{#,0}(41,9) -> 9* a__h{#,0}(16,9) -> 9* a__h{#,0}(41,15) -> 9* a__h{#,0}(16,15) -> 9* a__h{#,0}(125,125) -> 9* a__h{#,0}(126,41) -> 9* a__h{#,0}(14,124) -> 9* a__h{#,0}(9,124) -> 9* a__h{#,0}(14,126) -> 9* a__h{#,0}(125,129) -> 9* a__h{#,0}(9,126) -> 9* a__h{#,0}(14,128) -> 9* a__h{#,0}(9,128) -> 9* a__h{#,0}(128,9) -> 9* a__A0() -> 9* a__h0(128,9) -> 9* a__h0(128,15) -> 9* a__h0(41,41) -> 9* a__h0(126,124) -> 9* a__h0(126,126) -> 9* a__h0(15,125) -> 9* a__h0(16,41) -> 9* a__h0(126,128) -> 9* a__h0(15,129) -> 9* a__h0(129,14) -> 9* a__h0(124,14) -> 9* a__h0(129,16) -> 9* a__h0(41,124) -> 9* a__h0(124,16) -> 9* a__h0(41,126) -> 9* a__h0(41,128) -> 9* a__h0(128,41) -> 9* a__h0(16,124) -> 9* a__h0(16,126) -> 9* a__h0(16,128) -> 9* a__h0(125,9) -> 9* a__h0(125,15) -> 9* a__h0(14,14) -> 9* a__h0(9,14) -> 9* a__h0(14,16) -> 9* a__h0(128,124) -> 9* a__h0(9,16) -> 9* a__h0(128,126) -> 9* a__h0(128,128) -> 9* a__h0(15,9) -> 9* a__h0(126,14) -> 9* a__h0(126,16) -> 9* a__h0(15,15) -> 9* a__h0(129,125) -> 9* a__h0(124,125) -> 9* a__h0(125,41) -> 9* a__h0(129,129) -> 9* a__h0(124,129) -> 9* a__h0(41,14) -> 9* a__h0(41,16) -> 9* a__h0(16,14) -> 9* a__h0(16,16) -> 9* a__h0(125,124) -> 9* a__h0(125,126) -> 9* a__h0(14,125) -> 9* a__h0(15,41) -> 9* a__h0(125,128) -> 9* a__h0(9,125) -> 9* a__h0(14,129) -> 9* a__h0(9,129) -> 9* a__h0(128,14) -> 9* a__h0(128,16) -> 9* a__h0(126,125) -> 9* a__h0(15,124) -> 9* a__h0(15,126) -> 9* a__h0(126,129) -> 9* a__h0(15,128) -> 9* a__h0(129,9) -> 9* a__h0(124,9) -> 9* a__h0(129,15) -> 9* a__h0(124,15) -> 9* a__h0(41,125) -> 9* a__h0(41,129) -> 9* a__h0(16,125) -> 9* a__h0(16,129) -> 9* a__h0(14,9) -> 9* a__h0(9,9) -> 9* a__h0(125,14) -> 9* a__h0(125,16) -> 9* a__h0(14,15) -> 9* a__h0(9,15) -> 9* a__h0(128,125) -> 9* a__h0(129,41) -> 9* a__h0(124,41) -> 9* a__h0(128,129) -> 9* a__h0(126,9) -> 9* a__h0(126,15) -> 9* a__h0(15,14) -> 9* a__h0(15,16) -> 9* a__h0(129,124) -> 9* a__h0(124,124) -> 9* a__h0(129,126) -> 9* a__h0(124,126) -> 9* a__h0(129,128) -> 9* a__h0(14,41) -> 9* a__h0(124,128) -> 9* a__h0(9,41) -> 9* a__h0(41,9) -> 9* a__h0(16,9) -> 9* a__h0(41,15) -> 9* a__h0(16,15) -> 9* a__h0(125,125) -> 9* a__h0(126,41) -> 9* a__h0(14,124) -> 9* a__h0(9,124) -> 9* a__h0(14,126) -> 9* a__h0(125,129) -> 9* a__h0(9,126) -> 9* a__h0(14,128) -> 9* a__h0(9,128) -> 9* a__g0(16,129,41) -> 9* a__g0(16,9,129) -> 9* a__g0(126,15,16) -> 9* a__g0(15,128,14) -> 9* a__g0(14,14,125) -> 9* a__g0(41,15,129) -> 9* a__g0(15,14,16) -> 9* a__g0(9,14,125) -> 9* a__g0(14,16,125) -> 9* a__g0(14,41,126) -> 9* a__g0(128,124,125) -> 9* a__g0(126,124,126) -> 9* a__g0(15,16,16) -> 9* a__g0(9,16,125) -> 9* a__g0(9,41,126) -> 9* a__g0(129,15,124) -> 9* a__g0(129,9,14) -> 9* a__g0(129,14,9) -> 9* a__g0(124,9,14) -> 9* a__g0(124,15,124) -> 9* a__g0(128,126,125) -> 9* a__g0(124,14,9) -> 9* a__g0(15,9,128) -> 9* a__g0(14,9,41) -> 9* a__g0(126,126,126) -> 9* a__g0(41,9,126) -> 9* a__g0(125,15,15) -> 9* a__g0(129,16,9) -> 9* a__g0(16,15,129) -> 9* a__g0(9,9,41) -> 9* a__g0(41,125,124) -> 9* a__g0(15,125,126) -> 9* a__g0(14,14,15) -> 9* a__g0(15,9,9) -> 9* a__g0(128,128,125) -> 9* a__g0(124,16,9) -> 9* a__g0(126,128,126) -> 9* a__g0(9,14,15) -> 9* a__g0(126,14,128) -> 9* a__g0(125,14,41) -> 9* a__g0(14,41,16) -> 9* a__g0(14,16,15) -> 9* a__g0(128,124,15) -> 9* a__g0(126,124,16) -> 9* a__g0(125,125,129) -> 9* a__g0(9,41,16) -> 9* a__g0(9,16,15) -> 9* a__g0(129,15,14) -> 9* a__g0(126,16,128) -> 9* a__g0(125,16,41) -> 9* a__g0(126,41,129) -> 9* a__g0(16,9,126) -> 9* a__g0(15,129,126) -> 9* a__g0(41,129,124) -> 9* a__g0(124,15,14) -> 9* a__g0(14,124,129) -> 9* a__g0(128,126,15) -> 9* a__g0(15,15,128) -> 9* a__g0(128,41,9) -> 9* a__g0(14,15,41) -> 9* a__g0(41,9,16) -> 9* a__g0(126,126,16) -> 9* a__g0(41,15,126) -> 9* a__g0(16,125,124) -> 9* a__g0(9,124,129) -> 9* a__g0(9,15,41) -> 9* a__g0(15,125,16) -> 9* a__g0(41,125,14) -> 9* a__g0(14,126,129) -> 9* a__g0(128,128,15) -> 9* a__g0(126,128,16) -> 9* a__g0(125,129,129) -> 9* a__g0(128,125,41) -> 9* a__g0(129,125,128) -> 9* a__g0(9,126,129) -> 9* a__g0(129,41,41) -> 9* a__g0(124,125,128) -> 9* a__g0(14,128,129) -> 9* a__g0(129,125,9) -> 9* a__g0(125,41,128) -> 9* a__g0(124,41,41) -> 9* a__g0(15,9,125) -> 9* a__g0(16,129,124) -> 9* a__g0(9,128,129) -> 9* a__g0(124,125,9) -> 9* a__g0(16,9,16) -> 9* a__g0(16,15,126) -> 9* a__g0(15,129,16) -> 9* a__g0(41,129,14) -> 9* a__g0(41,15,16) -> 9* a__g0(16,125,14) -> 9* a__g0(129,129,128) -> 9* a__g0(128,129,41) -> 9* a__g0(128,9,129) -> 9* a__g0(126,14,125) -> 9* a__g0(124,129,128) -> 9* a__g0(129,129,9) -> 9* a__g0(124,129,9) -> 9* a__g0(126,41,126) -> 9* a__g0(41,124,126) -> 9* a__g0(126,16,125) -> 9* a__g0(14,9,124) -> 9* a__g0(15,15,125) -> 9* a__g0(15,9,15) -> 9* a__g0(16,129,14) -> 9* a__g0(9,9,124) -> 9* a__g0(16,15,16) -> 9* a__g0(41,126,126) -> 9* a__g0(126,9,41) -> 9* a__g0(125,14,124) -> 9* a__g0(128,15,129) -> 9* a__g0(129,125,125) -> 9* a__g0(41,128,126) -> 9* a__g0(126,14,15) -> 9* a__g0(124,125,125) -> 9* a__g0(41,14,128) -> 9* a__g0(16,124,126) -> 9* a__g0(125,16,124) -> 9* a__g0(125,41,125) -> 9* a__g0(125,15,9) -> 9* a__g0(41,124,16) -> 9* a__g0(126,41,16) -> 9* a__g0(126,16,15) -> 9* a__g0(14,15,124) -> 9* a__g0(14,9,14) -> 9* a__g0(41,16,128) -> 9* a__g0(14,14,9) -> 9* a__g0(41,41,129) -> 9* a__g0(16,126,126) -> 9* a__g0(15,15,15) -> 9* a__g0(9,15,124) -> 9* a__g0(9,9,14) -> 9* a__g0(128,9,126) -> 9* a__g0(129,129,125) -> 9* a__g0(9,14,9) -> 9* a__g0(41,126,16) -> 9* a__g0(126,124,129) -> 9* a__g0(126,15,41) -> 9* a__g0(124,129,125) -> 9* a__g0(128,125,124) -> 9* a__g0(14,16,9) -> 9* a__g0(16,128,126) -> 9* a__g0(125,14,14) -> 9* a__g0(129,41,124) -> 9* a__g0(129,125,15) -> 9* a__g0(16,14,128) -> 9* a__g0(15,14,41) -> 9* a__g0(9,16,9) -> 9* a__g0(41,128,16) -> 9* a__g0(126,126,129) -> 9* a__g0(124,41,124) -> 9* a__g0(124,125,15) -> 9* a__g0(16,124,16) -> 9* a__g0(125,16,14) -> 9* a__g0(125,41,15) -> 9* a__g0(15,125,129) -> 9* a__g0(16,16,128) -> 9* a__g0(15,16,41) -> 9* a__g0(16,41,129) -> 9* a__g0(126,128,129) -> 9* a__g0(129,124,41) -> 9* a__g0(14,15,14) -> 9* a__g0(128,129,124) -> 9* a__g0(16,126,16) -> 9* a__g0(125,124,128) -> 9* a__g0(124,124,41) -> 9* a__g0(9,15,14) -> 9* a__g0(128,9,16) -> 9* a__g0(128,15,126) -> 9* a__g0(129,129,15) -> 9* a__g0(129,126,41) -> 9* a__g0(125,124,9) -> 9* a__g0(124,129,15) -> 9* a__g0(128,125,14) -> 9* a__g0(16,128,16) -> 9* a__g0(41,14,125) -> 9* a__g0(125,126,128) -> 9* a__g0(124,126,41) -> 9* a__g0(15,129,129) -> 9* a__g0(129,41,14) -> 9* a__g0(129,128,41) -> 9* a__g0(14,125,128) -> 9* a__g0(124,41,14) -> 9* a__g0(125,126,9) -> 9* a__g0(15,41,128) -> 9* a__g0(41,16,125) -> 9* a__g0(14,41,41) -> 9* a__g0(41,41,126) -> 9* a__g0(124,128,41) -> 9* a__g0(125,128,128) -> 9* a__g0(9,125,128) -> 9* a__g0(14,125,9) -> 9* a__g0(9,41,41) -> 9* a__g0(126,9,124) -> 9* a__g0(125,128,9) -> 9* a__g0(9,125,9) -> 9* a__g0(128,129,14) -> 9* a__g0(128,15,16) -> 9* a__g0(41,9,41) -> 9* a__g0(16,14,125) -> 9* a__g0(14,129,128) -> 9* a__g0(41,14,15) -> 9* a__g0(9,129,128) -> 9* a__g0(14,129,9) -> 9* a__g0(16,16,125) -> 9* a__g0(16,41,126) -> 9* a__g0(129,14,129) -> 9* a__g0(128,124,126) -> 9* a__g0(9,129,9) -> 9* a__g0(41,16,15) -> 9* a__g0(41,41,16) -> 9* a__g0(124,14,129) -> 9* a__g0(125,124,125) -> 9* a__g0(126,15,124) -> 9* a__g0(126,9,14) -> 9* a__g0(129,16,129) -> 9* a__g0(126,14,9) -> 9* a__g0(128,126,126) -> 9* a__g0(16,9,41) -> 9* a__g0(41,124,129) -> 9* a__g0(15,14,124) -> 9* a__g0(124,16,129) -> 9* a__g0(125,126,125) -> 9* a__g0(41,15,41) -> 9* a__g0(16,14,15) -> 9* a__g0(126,16,9) -> 9* a__g0(128,128,126) -> 9* a__g0(14,125,125) -> 9* a__g0(41,126,129) -> 9* a__g0(15,16,124) -> 9* a__g0(15,41,125) -> 9* a__g0(128,14,128) -> 9* a__g0(125,128,125) -> 9* a__g0(9,125,125) -> 9* a__g0(15,15,9) -> 9* a__g0(129,124,124) -> 9* a__g0(16,41,16) -> 9* a__g0(16,16,15) -> 9* a__g0(128,124,16) -> 9* a__g0(124,124,124) -> 9* a__g0(41,128,129) -> 9* a__g0(128,16,128) -> 9* a__g0(125,124,15) -> 9* a__g0(128,41,129) -> 9* a__g0(129,126,124) -> 9* a__g0(126,15,14) -> 9* a__g0(16,124,129) -> 9* a__g0(128,126,16) -> 9* a__g0(16,15,41) -> 9* a__g0(124,126,124) -> 9* a__g0(14,129,125) -> 9* a__g0(15,14,14) -> 9* a__g0(125,126,15) -> 9* a__g0(125,41,9) -> 9* a__g0(129,128,124) -> 9* a__g0(9,129,125) -> 9* a__g0(16,126,129) -> 9* a__g0(14,41,124) -> 9* a__g0(129,14,126) -> 9* a__g0(128,128,16) -> 9* a__g0(124,128,124) -> 9* a__g0(14,125,15) -> 9* a__g0(15,41,15) -> 9* a__g0(15,16,14) -> 9* a__g0(125,128,15) -> 9* a__g0(9,41,124) -> 9* a__g0(124,14,126) -> 9* a__g0(9,125,15) -> 9* a__g0(129,124,14) -> 9* a__g0(126,125,128) -> 9* a__g0(125,125,41) -> 9* a__g0(16,128,129) -> 9* a__g0(129,16,126) -> 9* a__g0(124,124,14) -> 9* a__g0(126,41,41) -> 9* a__g0(41,9,124) -> 9* a__g0(15,124,128) -> 9* a__g0(14,124,41) -> 9* a__g0(124,16,126) -> 9* a__g0(126,125,9) -> 9* a__g0(129,126,14) -> 9* a__g0(9,124,41) -> 9* a__g0(15,124,9) -> 9* a__g0(124,126,14) -> 9* a__g0(14,129,15) -> 9* a__g0(15,126,128) -> 9* a__g0(14,126,41) -> 9* a__g0(128,14,125) -> 9* a__g0(129,128,14) -> 9* a__g0(9,129,15) -> 9* a__g0(125,9,129) -> 9* a__g0(125,129,41) -> 9* a__g0(126,129,128) -> 9* a__g0(9,126,41) -> 9* a__g0(14,41,14) -> 9* a__g0(129,14,16) -> 9* a__g0(124,128,14) -> 9* a__g0(15,126,9) -> 9* a__g0(14,128,41) -> 9* a__g0(15,128,128) -> 9* a__g0(124,14,16) -> 9* a__g0(9,41,14) -> 9* a__g0(126,129,9) -> 9* a__g0(128,16,125) -> 9* a__g0(128,41,126) -> 9* a__g0(16,9,124) -> 9* a__g0(9,128,41) -> 9* a__g0(129,16,16) -> 9* a__g0(15,128,9) -> 9* a__g0(41,15,124) -> 9* a__g0(41,9,14) -> 9* a__g0(124,16,16) -> 9* a__g0(41,14,9) -> 9* a__g0(128,9,41) -> 9* a__g0(129,9,128) -> 9* a__g0(124,9,128) -> 9* a__g0(41,16,9) -> 9* a__g0(129,125,126) -> 9* a__g0(128,14,15) -> 9* a__g0(129,9,9) -> 9* a__g0(125,15,129) -> 9* a__g0(126,125,125) -> 9* a__g0(124,125,126) -> 9* a__g0(124,9,9) -> 9* a__g0(14,14,129) -> 9* a__g0(15,124,125) -> 9* a__g0(128,16,15) -> 9* a__g0(128,41,16) -> 9* a__g0(16,15,124) -> 9* a__g0(16,9,14) -> 9* a__g0(9,14,129) -> 9* a__g0(16,14,9) -> 9* a__g0(41,15,14) -> 9* a__g0(14,16,129) -> 9* a__g0(15,126,125) -> 9* a__g0(129,129,126) -> 9* a__g0(128,124,129) -> 9* a__g0(128,15,41) -> 9* a__g0(125,9,126) -> 9* a__g0(9,16,129) -> 9* a__g0(129,15,128) -> 9* a__g0(126,129,125) -> 9* a__g0(16,16,9) -> 9* a__g0(124,129,126) -> 9* a__g0(124,15,128) -> 9* a__g0(15,128,125) -> 9* a__g0(125,125,124) -> 9* a__g0(129,125,16) -> 9* a__g0(128,126,129) -> 9* a__g0(126,41,124) -> 9* a__g0(126,125,15) -> 9* a__g0(124,125,16) -> 9* a__g0(14,124,124) -> 9* a__g0(41,125,128) -> 9* a__g0(15,124,15) -> 9* a__g0(9,124,124) -> 9* a__g0(41,41,41) -> 9* a__g0(128,128,129) -> 9* a__g0(16,15,14) -> 9* a__g0(41,125,9) -> 9* a__g0(129,9,125) -> 9* a__g0(14,126,124) -> 9* a__g0(126,124,41) -> 9* a__g0(124,9,125) -> 9* a__g0(15,126,15) -> 9* a__g0(129,129,16) -> 9* a__g0(125,129,124) -> 9* a__g0(15,41,9) -> 9* a__g0(9,126,124) -> 9* a__g0(125,9,16) -> 9* a__g0(125,15,126) -> 9* a__g0(126,129,15) -> 9* a__g0(124,129,16) -> 9* a__g0(14,128,124) -> 9* a__g0(126,126,41) -> 9* a__g0(41,129,128) -> 9* a__g0(15,128,15) -> 9* a__g0(125,125,14) -> 9* a__g0(14,14,126) -> 9* a__g0(9,128,124) -> 9* a__g0(16,125,128) -> 9* a__g0(15,125,41) -> 9* a__g0(126,41,14) -> 9* a__g0(9,14,126) -> 9* a__g0(41,129,9) -> 9* a__g0(14,124,14) -> 9* a__g0(16,41,41) -> 9* a__g0(126,128,41) -> 9* a__g0(16,125,9) -> 9* a__g0(14,16,126) -> 9* a__g0(128,9,124) -> 9* a__g0(9,124,14) -> 9* a__g0(9,16,126) -> 9* a__g0(129,9,15) -> 9* a__g0(129,15,125) -> 9* a__g0(14,126,14) -> 9* a__g0(124,9,15) -> 9* a__g0(124,15,125) -> 9* a__g0(125,129,14) -> 9* a__g0(9,126,14) -> 9* a__g0(16,129,128) -> 9* a__g0(15,129,41) -> 9* a__g0(15,9,129) -> 9* a__g0(125,15,16) -> 9* a__g0(14,128,14) -> 9* a__g0(41,125,125) -> 9* a__g0(14,14,16) -> 9* a__g0(16,129,9) -> 9* a__g0(9,128,14) -> 9* a__g0(9,14,16) -> 9* a__g0(126,14,129) -> 9* a__g0(125,124,126) -> 9* a__g0(14,16,16) -> 9* a__g0(128,9,14) -> 9* a__g0(128,15,124) -> 9* a__g0(128,14,9) -> 9* a__g0(9,16,16) -> 9* a__g0(129,15,15) -> 9* a__g0(126,16,129) -> 9* a__g0(14,9,128) -> 9* a__g0(125,126,126) -> 9* a__g0(41,129,125) -> 9* a__g0(124,15,15) -> 9* a__g0(128,16,9) -> 9* a__g0(15,15,129) -> 9* a__g0(9,9,128) -> 9* a__g0(16,125,125) -> 9* a__g0(14,125,126) -> 9* a__g0(14,9,9) -> 9* a__g0(41,41,124) -> 9* a__g0(129,14,41) -> 9* a__g0(125,128,126) -> 9* a__g0(41,125,15) -> 9* a__g0(9,125,126) -> 9* a__g0(9,9,9) -> 9* a__g0(125,14,128) -> 9* a__g0(124,14,41) -> 9* a__g0(126,124,124) -> 9* a__g0(129,125,129) -> 9* a__g0(129,16,41) -> 9* a__g0(125,124,16) -> 9* a__g0(124,125,129) -> 9* a__g0(128,15,14) -> 9* a__g0(41,124,41) -> 9* a__g0(125,16,128) -> 9* a__g0(124,16,41) -> 9* a__g0(125,41,129) -> 9* a__g0(126,126,124) -> 9* a__g0(15,9,126) -> 9* a__g0(16,129,125) -> 9* a__g0(14,129,126) -> 9* a__g0(14,15,128) -> 9* a__g0(125,126,16) -> 9* a__g0(41,129,15) -> 9* a__g0(15,125,124) -> 9* a__g0(9,129,126) -> 9* a__g0(41,126,41) -> 9* a__g0(16,41,124) -> 9* a__g0(9,15,128) -> 9* a__g0(126,128,124) -> 9* a__g0(16,125,15) -> 9* a__g0(14,125,16) -> 9* a__g0(129,129,129) -> 9* a__g0(41,41,14) -> 9* a__g0(126,14,126) -> 9* a__g0(125,128,16) -> 9* a__g0(9,125,16) -> 9* a__g0(124,129,129) -> 9* a__g0(128,125,128) -> 9* a__g0(41,128,41) -> 9* a__g0(128,41,41) -> 9* a__g0(126,124,14) -> 9* a__g0(129,41,128) -> 9* a__g0(16,124,41) -> 9* a__g0(128,125,9) -> 9* a__g0(126,16,126) -> 9* a__g0(124,41,128) -> 9* a__g0(14,9,125) -> 9* a__g0(15,129,124) -> 9* a__g0(15,9,16) -> 9* a__g0(126,126,14) -> 9* a__g0(15,15,126) -> 9* a__g0(16,129,15) -> 9* a__g0(9,9,125) -> 9* a__g0(14,129,16) -> 9* a__g0(16,126,41) -> 9* a__g0(15,125,14) -> 9* a__g0(9,129,16) -> 9* a__g0(128,129,128) -> 9* a__g0(16,41,14) -> 9* a__g0(126,128,14) -> 9* a__g0(125,14,125) -> 9* a__g0(16,128,41) -> 9* a__g0(126,14,16) -> 9* a__g0(128,129,9) -> 9* a__g0(41,14,129) -> 9* a__g0(125,16,125) -> 9* a__g0(125,41,126) -> 9* a__g0(126,16,16) -> 9* a__g0(14,15,125) -> 9* a__g0(14,9,15) -> 9* a__g0(15,129,14) -> 9* a__g0(41,16,129) -> 9* a__g0(15,15,16) -> 9* a__g0(9,15,125) -> 9* a__g0(9,9,15) -> 9* a__g0(129,14,124) -> 9* a__g0(126,9,128) -> 9* a__g0(125,9,41) -> 9* a__g0(124,14,124) -> 9* a__g0(128,125,125) -> 9* a__g0(126,125,126) -> 9* a__g0(125,14,15) -> 9* a__g0(126,9,9) -> 9* a__g0(129,41,125) -> 9* a__g0(129,16,124) -> 9* a__g0(16,14,129) -> 9* a__g0(129,15,9) -> 9* a__g0(41,124,124) -> 9* a__g0(15,124,126) -> 9* a__g0(124,16,124) -> 9* a__g0(124,41,125) -> 9* a__g0(124,15,9) -> 9* a__g0(125,16,15) -> 9* a__g0(125,41,16) -> 9* a__g0(16,16,129) -> 9* a__g0(41,126,124) -> 9* a__g0(15,126,126) -> 9* a__g0(14,15,15) -> 9* a__g0(128,129,125) -> 9* a__g0(126,129,126) -> 9* a__g0(125,124,129) -> 9* a__g0(9,15,15) -> 9* a__g0(129,14,14) -> 9* a__g0(126,15,128) -> 9* a__g0(125,15,41) -> 9* a__g0(15,128,126) -> 9* a__g0(41,128,124) -> 9* a__g0(124,14,14) -> 9* a__g0(128,41,124) -> 9* a__g0(128,125,15) -> 9* a__g0(15,14,128) -> 9* a__g0(14,14,41) -> 9* a__g0(126,125,16) -> 9* a__g0(41,14,126) -> 9* a__g0(16,124,124) -> 9* a__g0(125,126,129) -> 9* a__g0(129,41,15) -> 9* a__g0(129,16,14) -> 9* a__g0(9,14,41) -> 9* a__g0(15,124,16) -> 9* a__g0(41,124,14) -> 9* a__g0(124,16,14) -> 9* a__g0(124,41,15) -> 9* a__g0(14,125,129) -> 9* a__g0(15,16,128) -> 9* a__g0(14,16,41) -> 9* a__g0(41,16,126) -> 9* a__g0(15,41,129) -> 9* a__g0(16,126,124) -> 9* a__g0(125,128,129) -> 9* a__g0(128,124,41) -> 9* a__g0(129,124,128) -> 9* a__g0(9,125,129) -> 9* a__g0(9,16,41) -> 9* a__g0(126,9,125) -> 9* a__g0(41,126,14) -> 9* a__g0(15,126,16) -> 9* a__g0(124,124,128) -> 9* a__g0(128,129,15) -> 9* a__g0(129,124,9) -> 9* a__g0(126,129,16) -> 9* a__g0(16,128,124) -> 9* a__g0(128,126,41) -> 9* a__g0(129,126,128) -> 9* a__g0(124,124,9) -> 9* a__g0(16,14,126) -> 9* a__g0(15,128,16) -> 9* a__g0(41,128,14) -> 9* a__g0(124,126,128) -> 9* a__g0(14,129,129) -> 9* a__g0(128,41,14) -> 9* a__g0(129,126,9) -> 9* a__g0(41,14,16) -> 9* a__g0(16,124,14) -> 9* a__g0(128,128,41) -> 9* a__g0(129,128,128) -> 9* a__g0(9,129,129) -> 9* a__g0(124,126,9) -> 9* a__g0(16,16,126) -> 9* a__g0(14,41,128) -> 9* a__g0(124,128,128) -> 9* a__g0(129,128,9) -> 9* a__g0(41,16,16) -> 9* a__g0(9,41,128) -> 9* a__g0(125,9,124) -> 9* a__g0(16,126,14) -> 9* a__g0(124,128,9) -> 9* a__g0(126,15,125) -> 9* a__g0(126,9,15) -> 9* a__g0(41,9,128) -> 9* a__g0(16,128,14) -> 9* a__g0(15,14,125) -> 9* a__g0(16,14,16) -> 9* a__g0(41,125,126) -> 9* a__g0(41,9,9) -> 9* a__g0(15,16,125) -> 9* a__g0(15,41,126) -> 9* a__g0(128,14,129) -> 9* a__g0(129,124,125) -> 9* a__g0(16,16,16) -> 9* a__g0(124,124,125) -> 9* a__g0(125,9,14) -> 9* a__g0(125,15,124) -> 9* a__g0(128,16,129) -> 9* a__g0(125,14,9) -> 9* a__g0(129,126,125) -> 9* a__g0(16,9,128) -> 9* a__g0(15,9,41) -> 9* a__g0(126,15,15) -> 9* a__g0(41,129,126) -> 9* a__g0(14,14,124) -> 9* a__g0(124,126,125) -> 9* a__g0(41,15,128) -> 9* a__g0(16,125,126) -> 9* a__g0(16,9,9) -> 9* a__g0(15,14,15) -> 9* a__g0(9,14,124) -> 9* a__g0(125,16,9) -> 9* a__g0(129,128,125) -> 9* a__g0(41,125,16) -> 9* a__g0(14,16,124) -> 9* a__g0(14,41,125) -> 9* a__g0(124,128,125) -> 9* a__g0(126,14,41) -> 9* a__g0(128,124,124) -> 9* a__g0(14,15,9) -> 9* a__g0(15,41,16) -> 9* a__g0(15,16,15) -> 9* a__g0(9,16,124) -> 9* a__g0(9,41,125) -> 9* a__g0(129,124,15) -> 9* a__g0(9,15,9) -> 9* a__g0(126,125,129) -> 9* a__g0(124,124,15) -> 9* a__g0(126,16,41) -> 9* a__g0(128,126,124) -> 9* a__g0(41,9,125) -> 9* a__g0(16,129,126) -> 9* a__g0(125,15,14) -> 9* a__g0(15,124,129) -> 9* a__g0(129,126,15) -> 9* a__g0(16,15,128) -> 9* a__g0(15,15,41) -> 9* a__g0(129,41,9) -> 9* a__g0(41,129,16) -> 9* a__g0(14,14,14) -> 9* a__g0(124,126,15) -> 9* a__g0(128,128,124) -> 9* a__g0(124,41,9) -> 9* a__g0(16,125,16) -> 9* a__g0(15,126,129) -> 9* a__g0(9,14,14) -> 9* a__g0(128,14,126) -> 9* a__g0(129,128,15) -> 9* a__g0(126,129,129) -> 9* a__g0(129,125,41) -> 9* a__g0(14,41,15) -> 9* a__g0(14,16,14) -> 9* a__g0(124,128,15) -> 9* a__g0(128,124,14) -> 9* a__g0(125,125,128) -> 9* a__g0(124,125,41) -> 9* a__g0(15,128,129) -> 9* a__g0(9,41,15) -> 9* a__g0(9,16,14) -> 9* a__g0(128,16,126) -> 9* a__g0(126,41,128) -> 9* a__g0(125,41,41) -> 9* a__g0(16,9,125) -> 9* a__g0(14,124,128) -> 9* a__g0(125,125,9) -> 9* a__g0(128,126,14) -> 9* a__g0(41,15,125) -> 9* a__g0(41,9,15) -> 9* a__g0(16,129,16) -> 9* a__g0(9,124,128) -> 9* a__g0(14,124,9) -> 9* a__g0(129,129,41) -> 9* a__g0(129,9,129) -> 9* a__g0(14,126,128) -> 9* a__g0(128,128,14) -> 9* a__g0(9,124,9) -> 9* a__g0(125,129,128) -> 9* a__g0(124,129,41) -> 9* a__g0(124,9,129) -> 9* a__g0(9,126,128) -> 9* a__g0(128,14,16) -> 9* a__g0(14,126,9) -> 9* a__g0(14,128,128) -> 9* a__g0(125,129,9) -> 9* a__g0(9,126,9) -> 9* a__g0(15,9,124) -> 9* a__g0(9,128,128) -> 9* a__g0(128,16,16) -> 9* a__g0(14,128,9) -> 9* a__g0(16,15,125) -> 9* a__g0(16,9,15) -> 9* a__g0(9,128,9) -> 9* a__g0(41,15,15) -> 9* a__g0(128,9,128) -> 9* a__g0(126,14,124) -> 9* a__g0(129,15,129) -> 9* a__g0(128,125,126) -> 9* a__g0(128,9,9) -> 9* a__g0(124,15,129) -> 9* a__g0(125,125,125) -> 9* a__g0(41,14,41) -> 9* a__g0(126,41,125) -> 9* a__g0(126,16,124) -> 9* a__g0(126,15,9) -> 9* a__g0(14,124,125) -> 9* a__g0(41,125,129) -> 9* a__g0(15,15,124) -> 9* a__g0(15,9,14) -> 9* a__g0(9,124,125) -> 9* a__g0(41,16,41) -> 9* a__g0(15,14,9) -> 9* a__g0(16,15,15) -> 9* a__g0(129,9,126) -> 9* a__g0(14,126,125) -> 9* a__g0(128,129,126) -> 9* a__g0(128,15,128) -> 9* a__g0(124,9,126) -> 9* a__g0(125,129,125) -> 9* a__g0(15,16,9) -> 9* a__g0(9,126,125) -> 9* a__g0(129,125,124) -> 9* a__g0(126,14,14) -> 9* a__g0(14,128,125) -> 9* a__g0(128,125,16) -> 9* a__g0(124,125,124) -> 9* a__g0(16,14,41) -> 9* a__g0(41,129,129) -> 9* a__g0(125,41,124) -> 9* a__g0(125,125,15) -> 9* a__g0(9,128,125) -> 9* a__g0(126,41,15) -> 9* a__g0(126,16,14) -> 9* a__g0(16,125,129) -> 9* a__g0(14,124,15) -> 9* a__g0(16,16,41) -> 9* a__g0(41,41,128) -> 9* a__g0(15,15,14) -> 9* a__g0(128,9,125) -> 9* a__g0(9,124,15) -> 9* a__g0(129,129,124) -> 9* a__g0(126,124,128) -> 9* a__g0(125,124,41) -> 9* a__g0(129,15,126) -> 9* a__g0(129,9,16) -> 9* a__g0(14,126,15) -> 9* a__g0(124,129,124) -> 9* a__g0(128,129,16) -> 9* a__g0(14,41,9) -> 9* a__g0(124,9,16) -> 9* a__g0(124,15,126) -> 9* a__g0(126,124,9) -> 9* a__g0(125,129,15) -> 9* a__g0(9,126,15) -> 9* a__g0(129,125,14) -> 9* a__g0(9,41,9) -> 9* a__g0(126,126,128) -> 9* a__g0(125,126,41) -> 9* a__g0(16,129,129) -> 9* a__g0(14,128,15) -> 9* a__g0(124,125,14) -> 9* a__g0(15,125,128) -> 9* a__g0(14,125,41) -> 9* a__g0(125,41,14) -> 9* a__g0(126,126,9) -> 9* a__g0(9,128,15) -> 9* a__g0(16,41,128) -> 9* a__g0(15,41,41) -> 9* a__g0(126,128,128) -> 9* a__g0(125,128,41) -> 9* a__g0(9,125,41) -> 9* a__g0(15,125,9) -> 9* a__g0(126,128,9) -> 9* a__g0(128,9,15) -> 9* a__g0(128,15,125) -> 9* a__g0(129,129,14) -> 9* a__g0(129,15,16) -> 9* a__g0(124,129,14) -> 9* a__g0(41,14,124) -> 9* a__g0(15,129,128) -> 9* a__g0(14,129,41) -> 9* a__g0(14,9,129) -> 9* a__g0(124,15,16) -> 9* a__g0(9,129,41) -> 9* a__g0(9,9,129) -> 9* a__g0(15,129,9) -> 9* a__g0(41,16,124) -> 9* a__g0(41,41,125) -> 9* a__g0(41,15,9) -> 9* a__g0(129,124,126) -> 9* a__g0(125,14,129) -> 9* a__g0(126,124,125) -> 9* a__g0(124,124,126) -> 9* a__g0(129,126,126) -> 9* a__g0(128,15,15) -> 9* a__g0(16,14,124) -> 9* a__g0(125,16,129) -> 9* a__g0(126,126,125) -> 9* a__g0(124,126,126) -> 9* a__g0(41,14,14) -> 9* a__g0(14,15,129) -> 9* a__g0(15,125,125) -> 9* a__g0(129,128,126) -> 9* a__g0(16,16,124) -> 9* a__g0(16,41,125) -> 9* a__g0(128,14,41) -> 9* a__g0(126,128,125) -> 9* a__g0(129,14,128) -> 9* a__g0(9,15,129) -> 9* a__g0(124,128,126) -> 9* a__g0(16,15,9) -> 9* a__g0(41,41,15) -> 9* a__g0(41,16,14) -> 9* a__g0(124,14,128) -> 9* a__g0(125,124,124) -> 9* a__g0(129,124,16) -> 9* a__g0(128,125,129) -> 9* a__g0(128,16,41) -> 9* a__g0(126,124,15) -> 9* a__g0(129,16,128) -> 9* a__g0(129,41,129) -> 9* a__g0(124,124,16) -> 9* a__g0(41,124,128) -> 9* a__g0(124,16,128) -> 9* a__g0(124,41,129) -> 9* a__g0(125,126,124) -> 9* a__g0(14,9,126) -> 9* a__g0(129,126,16) -> 9* a__g0(15,129,125) -> 9* a__g0(16,14,14) -> 9* a__g0(126,126,15) -> 9* a__g0(41,124,9) -> 9* a__g0(126,41,9) -> 9* a__g0(124,126,16) -> 9* a__g0(9,9,126) -> 9* a__g0(14,125,124) -> 9* a__g0(41,126,128) -> 9* a__g0(15,41,124) -> 9* a__g0(125,128,124) -> 9* a__g0(15,125,15) -> 9* a__g0(129,128,16) -> 9* a__g0(9,125,124) -> 9* a__g0(128,129,129) -> 9* a__g0(16,41,15) -> 9* a__g0(16,16,14) -> 9* a__g0(126,128,15) -> 9* a__g0(125,14,126) -> 9* a__g0(124,128,16) -> 9* a__g0(41,126,9) -> 9* a__g0(126,125,41) -> 9* a__g0(41,128,128) -> 9* a__g0(128,41,128) -> 9* a__g0(125,124,14) -> 9* a__g0(16,124,128) -> 9* a__g0(15,124,41) -> 9* a__g0(125,16,126) -> 9* a__g0(41,128,9) -> 9* a__g0(14,129,124) -> 9* a__g0(16,124,9) -> 9* a__g0(14,9,16) -> 9* a__g0(125,126,14) -> 9* a__g0(14,15,126) -> 9* a__g0(15,129,15) -> 9* a__g0(9,129,124) -> 9* a__g0(16,126,128) -> 9* a__g0(15,126,41) -> 9* a__g0(9,9,16) -> 9* a__g0(9,15,126) -> 9* a__g0(129,14,125) -> 9* a__g0(14,125,14) -> 9* a__g0(126,129,41) -> 9* a__g0(126,9,129) -> 9* a__g0(15,41,14) -> 9* a__g0(125,128,14) -> 9* a__g0(124,14,125) -> 9* a__g0(16,126,9) -> 9* a__g0(9,125,14) -> 9* a__g0(15,128,41) -> 9* a__g0(16,128,128) -> 9* a__g0(125,14,16) -> 9* a__g0(129,16,125) -> 9* a__g0(129,41,126) -> 9* a__g0(41,124,125) -> 9* a__g0(16,128,9) -> 9* a__g0(124,16,125) -> 9* a__g0(124,41,126) -> 9* a__g0(125,16,16) -> 9* a__g0(14,129,14) -> 9* a__g0(129,9,41) -> 9* a__g0(41,126,125) -> 9* a__g0(14,15,16) -> 9* a__g0(128,14,124) -> 9* a__g0(9,129,14) -> 9* a__g0(125,9,128) -> 9* a__g0(124,9,41) -> 9* a__g0(9,15,16) -> 9* a__g0(129,14,15) -> 9* a__g0(126,15,129) -> 9* a__g0(41,128,125) -> 9* a__g0(125,125,126) -> 9* a__g0(125,9,9) -> 9* a__g0(124,14,15) -> 9* a__g0(128,16,124) -> 9* a__g0(128,41,125) -> 9* a__g0(128,15,9) -> 9* a__g0(15,14,129) -> 9* a__g0(16,124,125) -> 9* a__g0(14,124,126) -> 9* a__g0(129,16,15) -> 9* a__g0(129,41,16) -> 9* a__g0(41,124,15) -> 9* a__g0(124,16,15) -> 9* a__g0(124,41,16) -> 9* a__g0(9,124,126) -> 9* a__g0(15,16,129) -> 9* a__g0(16,126,125) -> 9* a__g0(14,126,126) -> 9* a__g0(129,124,129) -> 9* a__g0(126,9,126) -> 9* a__g0(129,15,41) -> 9* a__g0(41,126,15) -> 9* a__g0(125,129,126) -> 9* a__g0(41,41,9) -> 9* a__g0(9,126,126) -> 9* a__g0(124,124,129) -> 9* a__g0(128,14,14) -> 9* a__g0(125,15,128) -> 9* a__g0(124,15,41) -> 9* a__g0(16,128,125) -> 9* a__g0(126,125,124) -> 9* a__g0(14,128,126) -> 9* a__g0(129,126,129) -> 9* a__g0(14,14,128) -> 9* a__g0(41,128,15) -> 9* a__g0(125,125,16) -> 9* a__g0(9,128,126) -> 9* a__g0(15,124,124) -> 9* a__g0(124,126,129) -> 9* a__g0(128,16,14) -> 9* a__g0(128,41,15) -> 9* a__g0(41,125,41) -> 9* a__g0(9,14,128) -> 9* a__g0(16,124,15) -> 9* a__g0(14,124,16) -> 9* a__g0(129,128,129) -> 9* a__g0(14,16,128) -> 9* a__g0(14,41,129) -> 9* a__g0(9,124,16) -> 9* a__g0(15,126,124) -> 9* a__g0(124,128,129) -> 9* a__g0(128,124,128) -> 9* a__g0(9,16,128) -> 9* a__g0(125,9,125) -> 9* a__g0(16,126,15) -> 9* a__g0(126,129,124) -> 9* a__g0(9,41,129) -> 9* a__g0(16,41,9) -> 9* a__g0(14,126,16) -> 9* a__g0(128,124,9) -> 9* a__g0(126,9,16) -> 9* a__g0(126,15,126) -> 9* a__g0(125,129,16) -> 9* a__g0(15,128,124) -> 9* a__g0(9,126,16) -> 9* a__g0(128,126,128) -> 9* a__g0(41,129,41) -> 9* a__g0(41,9,129) -> 9* a__g0(16,128,15) -> 9* a__g0(126,125,14) -> 9* a__g0(15,14,126) -> 9* a__g0(14,128,16) -> 9* a__g0(16,125,41) -> 9* a__g0(128,126,9) -> 9* a__g0(9,128,16) -> 9* a__g0(15,124,14) -> 9* a__g0(128,128,128) -> 9* a__g0(15,16,126) -> 9* a__g0(129,9,124) -> 9* a__g0(128,128,9) -> 9* a__g0(124,9,124) -> 9* a__g0(15,126,14) -> 9* a__g0(125,9,15) -> 9* a__g0(125,15,125) -> 9* a__g0(126,129,14) -> 9* a__g{#,1}(15,126,14) -> 10,9,16* a__g{#,1}(125,15,125) -> 10,9,16* a__g{#,1}(126,129,14) -> 9,10,16* a__g{#,1}(15,128,14) -> 10,9,16* a__g{#,1}(41,15,129) -> 10,9,16* a__g{#,1}(128,124,125) -> 10,9,16* a__g{#,1}(126,124,126) -> 10,9,16* a__g{#,1}(129,15,124) -> 10,9,16* a__g{#,1}(124,15,124) -> 10,9,16* a__g{#,1}(128,126,125) -> 10,9,16* a__g{#,1}(126,126,126) -> 9,10,16* a__g{#,1}(41,125,124) -> 9,10,16* a__g{#,1}(15,125,126) -> 10,9,16* a__g{#,1}(128,128,125) -> 9,10,16* a__g{#,1}(126,128,126) -> 9,10,16* a__g{#,1}(125,125,129) -> 9,10,16* a__g{#,1}(129,15,14) -> 10,9,16* a__g{#,1}(126,41,129) -> 10,9,16* a__g{#,1}(41,129,124) -> 9,10,16* a__g{#,1}(15,129,126) -> 10,9,16* a__g{#,1}(124,15,14) -> 10,9,16* a__g{#,1}(15,15,128) -> 10,9,16* a__g{#,1}(41,15,126) -> 10,9,16* a__g{#,1}(41,125,14) -> 9,10,16* a__g{#,1}(125,129,129) -> 9,10,16* a__g{#,1}(128,125,41) -> 10,9,16* a__g{#,1}(129,125,128) -> 10,9,16* a__g{#,1}(129,41,41) -> 10,9,16* a__g{#,1}(124,125,128) -> 10,9,16* a__g{#,1}(125,41,128) -> 10,9,16* a__g{#,1}(124,41,41) -> 10,9,16* a__g{#,1}(41,129,14) -> 9,10,16* a__g{#,1}(129,129,128) -> 9,10,16* a__g{#,1}(128,129,41) -> 9,10,16* a__g{#,1}(124,129,128) -> 10,9,16* a__g{#,1}(41,124,126) -> 10,9,16* a__g{#,1}(126,41,126) -> 9,10,16* a__g{#,1}(15,15,125) -> 10,9,16* a__g{#,1}(41,126,126) -> 9,10,16* a__g{#,1}(128,15,129) -> 10,9,16* a__g{#,1}(129,125,125) -> 10,9,16* a__g{#,1}(41,128,126) -> 9,10,16* a__g{#,1}(124,125,125) -> 10,9,16* a__g{#,1}(125,41,125) -> 10,9,16* a__g{#,1}(41,41,129) -> 10,9,16* a__g{#,1}(129,129,125) -> 9,10,16* a__g{#,1}(126,124,129) -> 10,9,16* a__g{#,1}(126,15,41) -> 10,9,16* a__g{#,1}(124,129,125) -> 10,9,16* a__g{#,1}(128,125,124) -> 10,9,16* a__g{#,1}(129,41,124) -> 10,9,16* a__g{#,1}(126,126,129) -> 10,9,16* a__g{#,1}(124,41,124) -> 10,9,16* a__g{#,1}(15,125,129) -> 9,10,16* a__g{#,1}(126,128,129) -> 10,9,16* a__g{#,1}(129,124,41) -> 10,9,16* a__g{#,1}(128,129,124) -> 9,10,16* a__g{#,1}(125,124,128) -> 10,9,16* a__g{#,1}(124,124,41) -> 10,9,16* a__g{#,1}(128,15,126) -> 9,10,16* a__g{#,1}(129,126,41) -> 10,9,16* a__g{#,1}(128,125,14) -> 9,10,16* a__g{#,1}(125,126,128) -> 10,9,16* a__g{#,1}(124,126,41) -> 10,9,16* a__g{#,1}(15,129,129) -> 10,9,16* a__g{#,1}(129,41,14) -> 10,9,16* a__g{#,1}(129,128,41) -> 9,10,16* a__g{#,1}(124,41,14) -> 10,9,16* a__g{#,1}(15,41,128) -> 10,9,16* a__g{#,1}(41,41,126) -> 9,10,16* a__g{#,1}(124,128,41) -> 10,9,16* a__g{#,1}(125,128,128) -> 10,9,16* a__g{#,1}(128,129,14) -> 9,10,16* a__g{#,1}(128,124,126) -> 9,10,16* a__g{#,1}(125,124,125) -> 10,9,16* a__g{#,1}(126,15,124) -> 10,9,16* a__g{#,1}(128,126,126) -> 9,10,16* a__g{#,1}(41,124,129) -> 10,9,16* a__g{#,1}(125,126,125) -> 9,10,16* a__g{#,1}(41,15,41) -> 10,9,16* a__g{#,1}(128,128,126) -> 9,10,16* a__g{#,1}(41,126,129) -> 10,9,16* a__g{#,1}(15,41,125) -> 10,9,16* a__g{#,1}(125,128,125) -> 9,10,16* a__g{#,1}(129,124,124) -> 10,9,16* a__g{#,1}(124,124,124) -> 10,9,16* a__g{#,1}(41,128,129) -> 9,10,16* a__g{#,1}(128,41,129) -> 10,9,16* a__g{#,1}(129,126,124) -> 10,9,16* a__g{#,1}(126,15,14) -> 10,9,16* a__g{#,1}(124,126,124) -> 9,10,16* a__g{#,1}(129,128,124) -> 9,10,16* a__g{#,1}(124,128,124) -> 9,10,16* a__g{#,1}(129,124,14) -> 10,9,16* a__g{#,1}(126,125,128) -> 10,9,16* a__g{#,1}(125,125,41) -> 10,9,16* a__g{#,1}(124,124,14) -> 10,9,16* a__g{#,1}(126,41,41) -> 9,10,16* a__g{#,1}(15,124,128) -> 10,9,16* a__g{#,1}(129,126,14) -> 10,9,16* a__g{#,1}(124,126,14) -> 9,10,16* a__g{#,1}(15,126,128) -> 10,9,16* a__g{#,1}(129,128,14) -> 9,10,16* a__g{#,1}(126,129,128) -> 10,9,16* a__g{#,1}(125,129,41) -> 10,9,16* a__g{#,1}(124,128,14) -> 9,10,16* a__g{#,1}(15,128,128) -> 10,9,16* a__g{#,1}(128,41,126) -> 9,10,16* a__g{#,1}(41,15,124) -> 10,9,16* a__g{#,1}(129,125,126) -> 10,9,16* a__g{#,1}(125,15,129) -> 9,10,16* a__g{#,1}(126,125,125) -> 10,9,16* a__g{#,1}(124,125,126) -> 10,9,16* a__g{#,1}(15,124,125) -> 10,9,16* a__g{#,1}(41,15,14) -> 10,9,16* a__g{#,1}(15,126,125) -> 10,9,16* a__g{#,1}(129,129,126) -> 9,10,16* a__g{#,1}(128,124,129) -> 10,9,16* a__g{#,1}(128,15,41) -> 10,9,16* a__g{#,1}(129,15,128) -> 10,9,16* a__g{#,1}(126,129,125) -> 10,9,16* a__g{#,1}(124,129,126) -> 9,10,16* a__g{#,1}(124,15,128) -> 10,9,16* a__g{#,1}(15,128,125) -> 10,9,16* a__g{#,1}(125,125,124) -> 10,9,16* a__g{#,1}(128,126,129) -> 10,9,16* a__g{#,1}(126,41,124) -> 9,10,16* a__g{#,1}(41,125,128) -> 10,9,16* a__g{#,1}(41,41,41) -> 10,9,16* a__g{#,1}(128,128,129) -> 9,10,16* a__g{#,1}(126,124,41) -> 10,9,16* a__g{#,1}(125,129,124) -> 10,9,16* a__g{#,1}(125,15,126) -> 10,9,16* a__g{#,1}(126,126,41) -> 9,10,16* a__g{#,1}(41,129,128) -> 9,10,16* a__g{#,1}(125,125,14) -> 10,9,16* a__g{#,1}(15,125,41) -> 10,9,16* a__g{#,1}(126,41,14) -> 9,10,16* a__g{#,1}(126,128,41) -> 10,9,16* a__g{#,1}(129,15,125) -> 10,9,16* a__g{#,1}(124,15,125) -> 10,9,16* a__g{#,1}(125,129,14) -> 10,9,16* a__g{#,1}(15,129,41) -> 10,9,16* a__g{#,1}(41,125,125) -> 9,10,16* a__g{#,1}(125,124,126) -> 10,9,16* a__g{#,1}(128,15,124) -> 10,9,16* a__g{#,1}(125,126,126) -> 10,9,16* a__g{#,1}(41,129,125) -> 9,10,16* a__g{#,1}(15,15,129) -> 10,9,16* a__g{#,1}(41,41,124) -> 9,10,16* a__g{#,1}(125,128,126) -> 9,10,16* a__g{#,1}(126,124,124) -> 10,9,16* a__g{#,1}(129,125,129) -> 10,9,16* a__g{#,1}(124,125,129) -> 10,9,16* a__g{#,1}(128,15,14) -> 10,9,16* a__g{#,1}(41,124,41) -> 9,10,16* a__g{#,1}(125,41,129) -> 10,9,16* a__g{#,1}(126,126,124) -> 9,10,16* a__g{#,1}(15,125,124) -> 10,9,16* a__g{#,1}(41,126,41) -> 9,10,16* a__g{#,1}(126,128,124) -> 9,10,16* a__g{#,1}(129,129,129) -> 9,10,16* a__g{#,1}(41,41,14) -> 10,9,16* a__g{#,1}(124,129,129) -> 10,9,16* a__g{#,1}(128,125,128) -> 10,9,16* a__g{#,1}(41,128,41) -> 9,10,16* a__g{#,1}(128,41,41) -> 9,10,16* a__g{#,1}(126,124,14) -> 10,9,16* a__g{#,1}(129,41,128) -> 10,9,16* a__g{#,1}(124,41,128) -> 10,9,16* a__g{#,1}(15,129,124) -> 9,10,16* a__g{#,1}(15,15,126) -> 10,9,16* a__g{#,1}(126,126,14) -> 9,10,16* a__g{#,1}(15,125,14) -> 10,9,16* a__g{#,1}(128,129,128) -> 9,10,16* a__g{#,1}(126,128,14) -> 9,10,16* a__g{#,1}(125,41,126) -> 10,9,16* a__g{#,1}(15,129,14) -> 9,10,16* a__g{#,1}(128,125,125) -> 10,9,16* a__g{#,1}(126,125,126) -> 10,9,16* a__g{#,1}(129,41,125) -> 10,9,16* a__g{#,1}(41,124,124) -> 9,10,16* a__g{#,1}(15,124,126) -> 10,9,16* a__g{#,1}(124,41,125) -> 10,9,16* a__g{#,1}(15,126,126) -> 10,9,16* a__g{#,1}(41,126,124) -> 9,10,16* a__g{#,1}(128,129,125) -> 9,10,16* a__g{#,1}(126,129,126) -> 9,10,16* a__g{#,1}(125,124,129) -> 9,10,16* a__g{#,1}(126,15,128) -> 10,9,16* a__g{#,1}(125,15,41) -> 10,9,16* a__g{#,1}(41,128,124) -> 9,10,16* a__g{#,1}(15,128,126) -> 10,9,16* a__g{#,1}(128,41,124) -> 9,10,16* a__g{#,1}(125,126,129) -> 9,10,16* a__g{#,1}(41,124,14) -> 9,10,16* a__g{#,1}(15,41,129) -> 10,9,16* a__g{#,1}(125,128,129) -> 9,10,16* a__g{#,1}(128,124,41) -> 10,9,16* a__g{#,1}(129,124,128) -> 10,9,16* a__g{#,1}(41,126,14) -> 9,10,16* a__g{#,1}(124,124,128) -> 10,9,16* a__g{#,1}(128,126,41) -> 10,9,16* a__g{#,1}(129,126,128) -> 10,9,16* a__g{#,1}(41,128,14) -> 9,10,16* a__g{#,1}(124,126,128) -> 10,9,16* a__g{#,1}(128,41,14) -> 9,10,16* a__g{#,1}(128,128,41) -> 9,10,16* a__g{#,1}(129,128,128) -> 9,10,16* a__g{#,1}(124,128,128) -> 10,9,16* a__g{#,1}(126,15,125) -> 10,9,16* a__g{#,1}(41,125,126) -> 10,9,16* a__g{#,1}(15,41,126) -> 10,9,16* a__g{#,1}(129,124,125) -> 10,9,16* a__g{#,1}(124,124,125) -> 10,9,16* a__g{#,1}(125,15,124) -> 10,9,16* a__g{#,1}(129,126,125) -> 10,9,16* a__g{#,1}(41,129,126) -> 9,10,16* a__g{#,1}(124,126,125) -> 10,9,16* a__g{#,1}(41,15,128) -> 10,9,16* a__g{#,1}(129,128,125) -> 9,10,16* a__g{#,1}(124,128,125) -> 10,9,16* a__g{#,1}(128,124,124) -> 10,9,16* a__g{#,1}(126,125,129) -> 10,9,16* a__g{#,1}(128,126,124) -> 10,9,16* a__g{#,1}(125,15,14) -> 10,9,16* a__g{#,1}(15,124,129) -> 10,9,16* a__g{#,1}(15,15,41) -> 10,9,16* a__g{#,1}(128,128,124) -> 9,10,16* a__g{#,1}(15,126,129) -> 10,9,16* a__g{#,1}(126,129,129) -> 10,9,16* a__g{#,1}(129,125,41) -> 10,9,16* a__g{#,1}(128,124,14) -> 10,9,16* a__g{#,1}(125,125,128) -> 10,9,16* a__g{#,1}(124,125,41) -> 10,9,16* a__g{#,1}(15,128,129) -> 10,9,16* a__g{#,1}(126,41,128) -> 10,9,16* a__g{#,1}(125,41,41) -> 10,9,16* a__g{#,1}(128,126,14) -> 10,9,16* a__g{#,1}(41,15,125) -> 10,9,16* a__g{#,1}(129,129,41) -> 9,10,16* a__g{#,1}(128,128,14) -> 9,10,16* a__g{#,1}(125,129,128) -> 10,9,16* a__g{#,1}(124,129,41) -> 10,9,16* a__g{#,1}(129,15,129) -> 10,9,16* a__g{#,1}(128,125,126) -> 10,9,16* a__g{#,1}(124,15,129) -> 10,9,16* a__g{#,1}(125,125,125) -> 10,9,16* a__g{#,1}(126,41,125) -> 9,10,16* a__g{#,1}(41,125,129) -> 10,9,16* a__g{#,1}(15,15,124) -> 10,9,16* a__g{#,1}(128,129,126) -> 9,10,16* a__g{#,1}(128,15,128) -> 10,9,16* a__g{#,1}(125,129,125) -> 9,10,16* a__g{#,1}(129,125,124) -> 10,9,16* a__g{#,1}(124,125,124) -> 10,9,16* a__g{#,1}(41,129,129) -> 9,10,16* a__g{#,1}(125,41,124) -> 10,9,16* a__g{#,1}(41,41,128) -> 9,10,16* a__g{#,1}(15,15,14) -> 16*,10,9 a__g{#,1}(129,129,124) -> 9,10,16* a__g{#,1}(126,124,128) -> 10,9,16* a__g{#,1}(125,124,41) -> 10,9,16* a__g{#,1}(129,15,126) -> 10,9,16* a__g{#,1}(124,129,124) -> 9,10,16* a__g{#,1}(124,15,126) -> 10,9,16* a__g{#,1}(129,125,14) -> 10,9,16* a__g{#,1}(126,126,128) -> 10,9,16* a__g{#,1}(125,126,41) -> 10,9,16* a__g{#,1}(124,125,14) -> 10,9,16* a__g{#,1}(15,125,128) -> 10,9,16* a__g{#,1}(125,41,14) -> 10,9,16* a__g{#,1}(15,41,41) -> 10,9,16* a__g{#,1}(126,128,128) -> 10,9,16* a__g{#,1}(125,128,41) -> 10,9,16* a__g{#,1}(128,15,125) -> 10,9,16* a__g{#,1}(129,129,14) -> 9,10,16* a__g{#,1}(124,129,14) -> 9,10,16* a__g{#,1}(15,129,128) -> 10,9,16* a__g{#,1}(41,41,125) -> 9,10,16* a__g{#,1}(129,124,126) -> 10,9,16* a__g{#,1}(126,124,125) -> 10,9,16* a__g{#,1}(129,126,126) -> 10,9,16* a__g{#,1}(126,126,125) -> 9,10,16* a__g{#,1}(124,126,126) -> 10,9,16* a__g{#,1}(15,125,125) -> 10,9,16* a__g{#,1}(129,128,126) -> 9,10,16* a__g{#,1}(126,128,125) -> 9,10,16* a__g{#,1}(124,128,126) -> 9,10,16* a__g{#,1}(125,124,124) -> 10,9,16* a__g{#,1}(128,125,129) -> 10,9,16* a__g{#,1}(129,41,129) -> 10,9,16* a__g{#,1}(41,124,128) -> 10,9,16* a__g{#,1}(124,41,129) -> 10,9,16* a__g{#,1}(125,126,124) -> 9,10,16* a__g{#,1}(15,129,125) -> 10,9,16* a__g{#,1}(41,126,128) -> 10,9,16* a__g{#,1}(15,41,124) -> 10,9,16* a__g{#,1}(125,128,124) -> 9,10,16* a__g{#,1}(128,129,129) -> 9,10,16* a__g{#,1}(126,125,41) -> 10,9,16* a__g{#,1}(41,128,128) -> 9,10,16* a__g{#,1}(128,41,128) -> 9,10,16* a__g{#,1}(125,124,14) -> 10,9,16* a__g{#,1}(15,124,41) -> 10,9,16* a__g{#,1}(125,126,14) -> 9,10,16* a__g{#,1}(15,126,41) -> 10,9,16* a__g{#,1}(126,129,41) -> 10,9,16* a__g{#,1}(15,41,14) -> 10,9,16* a__g{#,1}(125,128,14) -> 9,10,16* a__g{#,1}(15,128,41) -> 10,9,16* a__g{#,1}(129,41,126) -> 10,9,16* a__g{#,1}(41,124,125) -> 9,10,16* a__g{#,1}(124,41,126) -> 10,9,16* a__g{#,1}(41,126,125) -> 9,10,16* a__g{#,1}(126,15,129) -> 10,9,16* a__g{#,1}(41,128,125) -> 9,10,16* a__g{#,1}(125,125,126) -> 10,9,16* a__g{#,1}(128,41,125) -> 9,10,16* a__g{#,1}(129,124,129) -> 10,9,16* a__g{#,1}(129,15,41) -> 10,9,16* a__g{#,1}(125,129,126) -> 9,10,16* a__g{#,1}(124,124,129) -> 10,9,16* a__g{#,1}(125,15,128) -> 10,9,16* a__g{#,1}(124,15,41) -> 10,9,16* a__g{#,1}(126,125,124) -> 10,9,16* a__g{#,1}(129,126,129) -> 10,9,16* a__g{#,1}(15,124,124) -> 10,9,16* a__g{#,1}(124,126,129) -> 10,9,16* a__g{#,1}(41,125,41) -> 9,10,16* a__g{#,1}(129,128,129) -> 9,10,16* a__g{#,1}(15,126,124) -> 10,9,16* a__g{#,1}(124,128,129) -> 10,9,16* a__g{#,1}(128,124,128) -> 10,9,16* a__g{#,1}(126,129,124) -> 9,10,16* a__g{#,1}(126,15,126) -> 10,9,16* a__g{#,1}(15,128,124) -> 10,9,16* a__g{#,1}(128,126,128) -> 10,9,16* a__g{#,1}(41,129,41) -> 10,9,16* a__g{#,1}(126,125,14) -> 9,10,16* a__g{#,1}(15,124,14) -> 10,9,16* a__g{#,1}(128,128,128) -> 9,10,16* mark1(125) -> 41* mark1(15) -> 15,41*,9 mark1(129) -> 41* mark1(124) -> 41* mark1(14) -> 41* mark1(9) -> 15,41*,9 mark1(126) -> 41* mark1(41) -> 15,41* mark1(16) -> 15,41*,9 mark1(128) -> 41* a__f1(125) -> 41* a__f1(15) -> 14,15,41* a__f1(129) -> 41* a__f1(124) -> 41* a__f1(14) -> 14,41* a__f1(9) -> 14,15,41* a__f1(126) -> 41* a__f1(41) -> 14,41* a__f1(16) -> 14,41* a__f1(128) -> 41* f1(125) -> 41* f1(15) -> 14,41*,9 f1(129) -> 41* f1(124) -> 41* f1(14) -> 14,41*,9 f1(9) -> 14,41*,9 f1(126) -> 41* f1(41) -> 14,41*,9 f1(16) -> 14,41*,9 f1(128) -> 41* 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: [a__z#](x0, x1) = x1, [mark#](x0) = x0, [a__f#](x0) = 1x0 + -4, [f](x0) = 6x0 + -4, [z](x0, x1) = x0 + x1, [k] = 2, [c] = 1, [b] = 1, [a] = 1, [a__z](x0, x1) = x0 + x1, [d] = 1, [mark](x0) = x0, [a__f](x0) = 6x0 + -4, [m] = 1, [a__d] = 1, [l] = 1, [a__k] = 2, [e] = 0, [a__b] = 1, [a__c] = 1, [a__a] = 1 orientation: a__z#(e(),X) = X >= X = mark#(X) mark#(z(X1,X2)) = X1 + X2 >= X1 = mark#(X1) mark#(z(X1,X2)) = X1 + X2 >= X2 = a__z#(mark(X1),X2) mark#(f(X)) = 6X + -4 >= X = mark#(X) mark#(f(X)) = 6X + -4 >= 1X + -4 = a__f#(mark(X)) a__f#(X) = 1X + -4 >= X = mark#(X) a__f#(X) = 1X + -4 >= X = a__z#(mark(X),X) mark(a()) = 1 >= 1 = a__a() mark(b()) = 1 >= 1 = a__b() mark(c()) = 1 >= 1 = a__c() mark(d()) = 1 >= 1 = a__d() mark(k()) = 2 >= 2 = a__k() mark(z(X1,X2)) = X1 + X2 >= X1 + X2 = a__z(mark(X1),X2) mark(f(X)) = 6X + -4 >= 6X + -4 = a__f(mark(X)) mark(e()) = 0 >= 0 = e() mark(l()) = 1 >= 1 = l() mark(m()) = 1 >= 1 = m() a__a() = 1 >= 1 = a__c() a__a() = 1 >= 1 = a__d() a__a() = 1 >= 1 = a() a__c() = 1 >= 0 = e() a__c() = 1 >= 1 = l() a__c() = 1 >= 1 = c() a__d() = 1 >= 1 = m() a__d() = 1 >= 1 = d() a__b() = 1 >= 1 = a__c() a__b() = 1 >= 1 = a__d() a__b() = 1 >= 1 = b() a__k() = 2 >= 1 = l() a__k() = 2 >= 1 = m() a__k() = 2 >= 2 = k() a__z(e(),X) = X + 0 >= X = mark(X) a__z(X1,X2) = X1 + X2 >= X1 + X2 = z(X1,X2) a__f(X) = 6X + -4 >= X = a__z(mark(X),X) a__f(X) = 6X + -4 >= 6X + -4 = 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