YES
TRS:
 {          g(x, x) -> g(a(), b()),
  g(e(), g(e(), x)) -> g(d(), g(c(), x)),
  g(d(), g(d(), x)) -> g(c(), g(e(), x)),
  g(c(), g(c(), x)) -> g(e(), g(d(), x)),
         f(g(x, y)) -> g(y, g(f(f(x)), a()))}
 DP:
  Strict:
   {          g#(x, x) -> g#(a(), b()),
    g#(e(), g(e(), x)) -> g#(d(), g(c(), x)),
    g#(e(), g(e(), x)) -> g#(c(), x),
    g#(d(), g(d(), x)) -> g#(e(), x),
    g#(d(), g(d(), x)) -> g#(c(), g(e(), x)),
    g#(c(), g(c(), x)) -> g#(e(), g(d(), x)),
    g#(c(), g(c(), x)) -> g#(d(), x),
           f#(g(x, y)) -> g#(y, g(f(f(x)), a())),
           f#(g(x, y)) -> g#(f(f(x)), a()),
           f#(g(x, y)) -> f#(x),
           f#(g(x, y)) -> f#(f(x))}
  Weak:
  {          g(x, x) -> g(a(), b()),
   g(e(), g(e(), x)) -> g(d(), g(c(), x)),
   g(d(), g(d(), x)) -> g(c(), g(e(), x)),
   g(c(), g(c(), x)) -> g(e(), g(d(), x)),
          f(g(x, y)) -> g(y, g(f(f(x)), a()))}
  EDG:
   {(g#(e(), g(e(), x)) -> g#(d(), g(c(), x)), g#(d(), g(d(), x)) -> g#(c(), g(e(), x)))
    (g#(e(), g(e(), x)) -> g#(d(), g(c(), x)), g#(d(), g(d(), x)) -> g#(e(), x))
    (g#(e(), g(e(), x)) -> g#(d(), g(c(), x)), g#(x, x) -> g#(a(), b()))
    (g#(c(), g(c(), x)) -> g#(e(), g(d(), x)), g#(e(), g(e(), x)) -> g#(c(), x))
    (g#(c(), g(c(), x)) -> g#(e(), g(d(), x)), g#(e(), g(e(), x)) -> g#(d(), g(c(), x)))
    (g#(c(), g(c(), x)) -> g#(e(), g(d(), x)), g#(x, x) -> g#(a(), b()))
    (g#(e(), g(e(), x)) -> g#(c(), x), g#(c(), g(c(), x)) -> g#(d(), x))
    (g#(e(), g(e(), x)) -> g#(c(), x), g#(c(), g(c(), x)) -> g#(e(), g(d(), x)))
    (g#(e(), g(e(), x)) -> g#(c(), x), g#(x, x) -> g#(a(), b()))
    (g#(c(), g(c(), x)) -> g#(d(), x), g#(d(), g(d(), x)) -> g#(c(), g(e(), x)))
    (g#(c(), g(c(), x)) -> g#(d(), x), g#(d(), g(d(), x)) -> g#(e(), x))
    (g#(c(), g(c(), x)) -> g#(d(), x), g#(x, x) -> g#(a(), b()))
    (f#(g(x, y)) -> g#(f(f(x)), a()), g#(x, x) -> g#(a(), b()))
    (f#(g(x, y)) -> f#(f(x)), f#(g(x, y)) -> g#(y, g(f(f(x)), a())))
    (f#(g(x, y)) -> f#(f(x)), f#(g(x, y)) -> g#(f(f(x)), a()))
    (f#(g(x, y)) -> f#(f(x)), f#(g(x, y)) -> f#(x))
    (f#(g(x, y)) -> f#(f(x)), f#(g(x, y)) -> f#(f(x)))
    (g#(d(), g(d(), x)) -> g#(e(), x), g#(x, x) -> g#(a(), b()))
    (g#(d(), g(d(), x)) -> g#(e(), x), g#(e(), g(e(), x)) -> g#(d(), g(c(), x)))
    (g#(d(), g(d(), x)) -> g#(e(), x), g#(e(), g(e(), x)) -> g#(c(), x))
    (f#(g(x, y)) -> g#(y, g(f(f(x)), a())), g#(x, x) -> g#(a(), b()))
    (f#(g(x, y)) -> g#(y, g(f(f(x)), a())), g#(e(), g(e(), x)) -> g#(d(), g(c(), x)))
    (f#(g(x, y)) -> g#(y, g(f(f(x)), a())), g#(e(), g(e(), x)) -> g#(c(), x))
    (f#(g(x, y)) -> g#(y, g(f(f(x)), a())), g#(d(), g(d(), x)) -> g#(e(), x))
    (f#(g(x, y)) -> g#(y, g(f(f(x)), a())), g#(d(), g(d(), x)) -> g#(c(), g(e(), x)))
    (f#(g(x, y)) -> g#(y, g(f(f(x)), a())), g#(c(), g(c(), x)) -> g#(e(), g(d(), x)))
    (f#(g(x, y)) -> g#(y, g(f(f(x)), a())), g#(c(), g(c(), x)) -> g#(d(), x))
    (g#(d(), g(d(), x)) -> g#(c(), g(e(), x)), g#(x, x) -> g#(a(), b()))
    (g#(d(), g(d(), x)) -> g#(c(), g(e(), x)), g#(c(), g(c(), x)) -> g#(e(), g(d(), x)))
    (g#(d(), g(d(), x)) -> g#(c(), g(e(), x)), g#(c(), g(c(), x)) -> g#(d(), x))
    (f#(g(x, y)) -> f#(x), f#(g(x, y)) -> g#(y, g(f(f(x)), a())))
    (f#(g(x, y)) -> f#(x), f#(g(x, y)) -> g#(f(f(x)), a()))
    (f#(g(x, y)) -> f#(x), f#(g(x, y)) -> f#(x))
    (f#(g(x, y)) -> f#(x), f#(g(x, y)) -> f#(f(x)))}
   SCCS:
    Scc:
     {f#(g(x, y)) -> f#(x),
      f#(g(x, y)) -> f#(f(x))}
    Scc:
     {g#(e(), g(e(), x)) -> g#(d(), g(c(), x)),
      g#(e(), g(e(), x)) -> g#(c(), x),
      g#(d(), g(d(), x)) -> g#(e(), x),
      g#(d(), g(d(), x)) -> g#(c(), g(e(), x)),
      g#(c(), g(c(), x)) -> g#(e(), g(d(), x)),
      g#(c(), g(c(), x)) -> g#(d(), x)}
    SCC:
     Strict:
      {f#(g(x, y)) -> f#(x),
       f#(g(x, y)) -> f#(f(x))}
     Weak:
     {          g(x, x) -> g(a(), b()),
      g(e(), g(e(), x)) -> g(d(), g(c(), x)),
      g(d(), g(d(), x)) -> g(c(), g(e(), x)),
      g(c(), g(c(), x)) -> g(e(), g(d(), x)),
             f(g(x, y)) -> g(y, g(f(f(x)), a()))}
     BOUND:
      Bound: match(-raise)-bounded by 2
      Automaton:
       {      h_0() -> 2*
           f#_1(44) -> 24*
           f#_1(34) -> 24*
           f#_1(33) -> 24*
           f#_1(30) -> 24*
            f#_1(5) -> 24*
            f#_1(2) -> 24*
           f#_0(48) -> 24*
           f#_0(47) -> 24*
           f#_0(46) -> 24*
           f#_0(44) -> 24*
           f#_0(42) -> 24*
           f#_0(36) -> 24*
           f#_0(34) -> 24*
           f#_0(33) -> 24*
           f#_0(30) -> 24*
           f#_0(26) -> 24*
           f#_0(23) -> 24*
            f#_0(5) -> 24*
            f#_0(3) -> 24*
            f#_0(2) -> 24*
            f_1(44) -> 5*
            f_1(34) -> 5*
            f_1(33) -> 5*
            f_1(30) -> 34* | 5 | 4
             f_1(5) -> 5*
             f_1(2) -> 30* | 5 | 3
            f_0(48) -> 4*
            f_0(47) -> 4*
            f_0(46) -> 4*
            f_0(44) -> 5*
            f_0(42) -> 4*
            f_0(36) -> 4*
            f_0(34) -> 5*
            f_0(33) -> 5*
            f_0(30) -> 34* | 5 | 4
            f_0(26) -> 4*
            f_0(23) -> 4*
             f_0(5) -> 5*
             f_0(3) -> 4*
             f_0(2) -> 3*
              c_0() -> 14*
              d_0() -> 11*
              e_0() -> 10*
              b_2() -> 43* | 41 | 32 | 28 | 8
              b_1() -> 32* | 28 | 8
              b_0() -> 8*
              a_2() -> 44* | 40 | 33 | 27 | 5
              a_1() -> 33* | 27 | 5
              a_0() -> 5*
        g_2(44, 43) -> 48* | 47 | 46 | 45 | 42 | 37 | 36 | 35 | 31 | 23 | 20 | 4
        g_2(44, 41) -> 45* | 35 | 4
        g_2(40, 43) -> 45* | 35 | 4
        g_2(40, 41) -> 45* | 35 | 4
        g_1(48, 48) -> 4*
        g_1(48, 47) -> 4*
        g_1(48, 45) -> 4*
        g_1(48, 39) -> 4*
        g_1(48, 38) -> 4*
        g_1(48, 35) -> 4*
        g_1(48, 29) -> 4*
        g_1(47, 48) -> 4*
        g_1(47, 47) -> 4*
        g_1(47, 45) -> 4*
        g_1(47, 39) -> 4*
        g_1(47, 38) -> 4*
        g_1(47, 35) -> 4*
        g_1(47, 29) -> 4*
        g_1(46, 48) -> 4*
        g_1(46, 47) -> 4*
        g_1(46, 45) -> 4*
        g_1(46, 39) -> 4*
        g_1(46, 38) -> 4*
        g_1(46, 35) -> 4*
        g_1(46, 29) -> 4*
        g_1(44, 44) -> 35* | 29 | 20
        g_1(44, 43) -> 46* | 42 | 37 | 36 | 31 | 23 | 20 | 4
        g_1(44, 33) -> 35* | 29 | 20
        g_1(44, 32) -> 46* | 42 | 37 | 36 | 31 | 23 | 20 | 4
        g_1(44, 28) -> 31* | 20 | 4
        g_1(44, 27) -> 29*
         g_1(44, 8) -> 42* | 37 | 23
        g_1(43, 48) -> 4*
        g_1(43, 47) -> 4*
        g_1(43, 45) -> 4*
        g_1(43, 39) -> 4*
        g_1(43, 38) -> 4*
        g_1(43, 35) -> 4*
        g_1(43, 29) -> 4*
        g_1(42, 48) -> 4*
        g_1(42, 47) -> 4*
        g_1(42, 45) -> 4*
        g_1(42, 39) -> 4*
        g_1(42, 38) -> 4*
        g_1(42, 35) -> 4*
        g_1(42, 29) -> 4*
        g_1(39, 48) -> 4*
        g_1(39, 47) -> 4*
        g_1(39, 45) -> 4*
        g_1(39, 39) -> 4*
        g_1(39, 38) -> 4*
        g_1(39, 35) -> 4*
        g_1(39, 29) -> 4*
        g_1(38, 48) -> 4*
        g_1(38, 47) -> 4*
        g_1(38, 45) -> 4*
        g_1(38, 39) -> 4*
        g_1(38, 38) -> 4*
        g_1(38, 35) -> 4*
        g_1(38, 29) -> 4*
        g_1(37, 48) -> 4*
        g_1(37, 47) -> 4*
        g_1(37, 45) -> 4*
        g_1(37, 39) -> 4*
        g_1(37, 38) -> 4*
        g_1(37, 35) -> 4*
        g_1(37, 29) -> 4*
        g_1(36, 48) -> 4*
        g_1(36, 47) -> 4*
        g_1(36, 45) -> 4*
        g_1(36, 39) -> 4*
        g_1(36, 38) -> 4*
        g_1(36, 35) -> 4*
        g_1(36, 29) -> 4*
        g_1(34, 44) -> 39* | 38 | 37 | 35 | 29 | 20 | 6
        g_1(34, 43) -> 42* | 37 | 23
        g_1(34, 33) -> 39* | 38 | 37 | 35 | 29 | 20 | 6
        g_1(34, 32) -> 42* | 37 | 23
        g_1(34, 27) -> 29*
         g_1(34, 8) -> 42* | 37 | 23
        g_1(33, 44) -> 35* | 29 | 20
        g_1(33, 43) -> 46* | 42 | 37 | 36 | 31 | 23 | 20 | 4
        g_1(33, 33) -> 35* | 29 | 20
        g_1(33, 32) -> 46* | 42 | 37 | 36 | 31 | 23 | 20 | 4
        g_1(33, 28) -> 31* | 20 | 4
        g_1(33, 27) -> 29*
         g_1(33, 8) -> 42* | 37 | 23
        g_1(32, 48) -> 4*
        g_1(32, 47) -> 4*
        g_1(32, 45) -> 4*
        g_1(32, 39) -> 4*
        g_1(32, 38) -> 4*
        g_1(32, 35) -> 4*
        g_1(32, 29) -> 4*
        g_1(30, 44) -> 35* | 29 | 20
        g_1(30, 43) -> 42* | 37 | 23
        g_1(30, 33) -> 35* | 29 | 20
        g_1(30, 32) -> 42* | 37 | 23
        g_1(30, 27) -> 29*
         g_1(30, 8) -> 42* | 37 | 23
        g_1(27, 43) -> 31* | 20 | 4
        g_1(27, 32) -> 31* | 20 | 4
        g_1(27, 28) -> 31* | 20 | 4
        g_1(23, 48) -> 4*
        g_1(23, 47) -> 4*
        g_1(23, 45) -> 4*
        g_1(23, 39) -> 4*
        g_1(23, 38) -> 4*
        g_1(23, 35) -> 4*
        g_1(23, 29) -> 4*
         g_1(8, 48) -> 4*
         g_1(8, 47) -> 4*
         g_1(8, 45) -> 4*
         g_1(8, 39) -> 4*
         g_1(8, 38) -> 4*
         g_1(8, 35) -> 4*
         g_1(8, 29) -> 4*
         g_1(6, 48) -> 4*
         g_1(6, 47) -> 4*
         g_1(6, 45) -> 4*
         g_1(6, 39) -> 4*
         g_1(6, 38) -> 4*
         g_1(6, 35) -> 4*
         g_1(6, 29) -> 4*
         g_1(5, 44) -> 35* | 29 | 20
         g_1(5, 43) -> 42* | 37 | 23
         g_1(5, 33) -> 35* | 29 | 20
         g_1(5, 32) -> 42* | 37 | 23
         g_1(5, 27) -> 29*
          g_1(5, 8) -> 42* | 37 | 23
        g_0(48, 48) -> 4*
        g_0(48, 47) -> 4*
        g_0(48, 46) -> 4*
        g_0(48, 44) -> 6*
        g_0(48, 42) -> 4*
        g_0(48, 39) -> 4*
        g_0(48, 38) -> 4*
        g_0(48, 37) -> 4*
        g_0(48, 36) -> 4*
        g_0(48, 34) -> 6*
        g_0(48, 33) -> 6*
        g_0(48, 30) -> 6*
        g_0(48, 23) -> 4*
         g_0(48, 6) -> 4*
         g_0(48, 5) -> 6*
        g_0(47, 48) -> 4*
        g_0(47, 47) -> 4*
        g_0(47, 46) -> 4*
        g_0(47, 44) -> 6*
        g_0(47, 42) -> 4*
        g_0(47, 39) -> 4*
        g_0(47, 38) -> 4*
        g_0(47, 37) -> 4*
        g_0(47, 36) -> 4*
        g_0(47, 34) -> 6*
        g_0(47, 33) -> 6*
        g_0(47, 30) -> 6*
        g_0(47, 23) -> 4*
         g_0(47, 6) -> 4*
         g_0(47, 5) -> 6*
        g_0(46, 48) -> 4*
        g_0(46, 47) -> 4*
        g_0(46, 46) -> 4*
        g_0(46, 44) -> 6*
        g_0(46, 42) -> 4*
        g_0(46, 39) -> 4*
        g_0(46, 38) -> 4*
        g_0(46, 37) -> 4*
        g_0(46, 36) -> 4*
        g_0(46, 34) -> 6*
        g_0(46, 33) -> 6*
        g_0(46, 30) -> 6*
        g_0(46, 23) -> 4*
         g_0(46, 6) -> 4*
         g_0(46, 5) -> 6*
        g_0(45, 44) -> 6*
        g_0(45, 34) -> 6*
        g_0(45, 33) -> 6*
        g_0(45, 30) -> 6*
         g_0(45, 5) -> 6*
        g_0(44, 44) -> 20*
        g_0(44, 43) -> 23*
        g_0(44, 34) -> 20*
        g_0(44, 33) -> 20*
        g_0(44, 32) -> 23*
        g_0(44, 30) -> 20*
         g_0(44, 8) -> 23*
         g_0(44, 5) -> 20*
        g_0(43, 48) -> 4*
        g_0(43, 47) -> 4*
        g_0(43, 46) -> 4*
        g_0(43, 45) -> 4*
        g_0(43, 42) -> 4*
        g_0(43, 39) -> 4*
        g_0(43, 38) -> 4*
        g_0(43, 37) -> 4*
        g_0(43, 36) -> 4*
        g_0(43, 35) -> 4*
        g_0(43, 31) -> 4*
        g_0(43, 23) -> 4*
        g_0(43, 20) -> 4*
        g_0(42, 48) -> 4*
        g_0(42, 47) -> 4*
        g_0(42, 46) -> 4*
        g_0(42, 44) -> 6*
        g_0(42, 42) -> 4*
        g_0(42, 39) -> 4*
        g_0(42, 38) -> 4*
        g_0(42, 37) -> 4*
        g_0(42, 36) -> 4*
        g_0(42, 34) -> 6*
        g_0(42, 33) -> 6*
        g_0(42, 30) -> 6*
        g_0(42, 23) -> 4*
         g_0(42, 6) -> 4*
         g_0(42, 5) -> 6*
        g_0(39, 48) -> 4*
        g_0(39, 47) -> 4*
        g_0(39, 46) -> 4*
        g_0(39, 42) -> 4*
        g_0(39, 39) -> 4*
        g_0(39, 38) -> 4*
        g_0(39, 37) -> 4*
        g_0(39, 36) -> 4*
        g_0(39, 23) -> 4*
         g_0(39, 6) -> 4*
        g_0(38, 48) -> 4*
        g_0(38, 47) -> 4*
        g_0(38, 46) -> 4*
        g_0(38, 42) -> 4*
        g_0(38, 39) -> 4*
        g_0(38, 38) -> 4*
        g_0(38, 37) -> 4*
        g_0(38, 36) -> 4*
        g_0(38, 23) -> 4*
         g_0(38, 6) -> 4*
        g_0(37, 48) -> 4*
        g_0(37, 47) -> 4*
        g_0(37, 46) -> 4*
        g_0(37, 42) -> 4*
        g_0(37, 39) -> 4*
        g_0(37, 38) -> 4*
        g_0(37, 37) -> 4*
        g_0(37, 36) -> 4*
        g_0(37, 23) -> 4*
         g_0(37, 6) -> 4*
        g_0(36, 48) -> 4*
        g_0(36, 47) -> 4*
        g_0(36, 46) -> 4*
        g_0(36, 44) -> 6*
        g_0(36, 42) -> 4*
        g_0(36, 39) -> 4*
        g_0(36, 38) -> 4*
        g_0(36, 37) -> 4*
        g_0(36, 36) -> 4*
        g_0(36, 34) -> 6*
        g_0(36, 33) -> 6*
        g_0(36, 30) -> 6*
        g_0(36, 23) -> 4*
         g_0(36, 6) -> 4*
         g_0(36, 5) -> 6*
        g_0(34, 44) -> 37* | 20 | 6
        g_0(34, 43) -> 23*
        g_0(34, 34) -> 37* | 20 | 6
        g_0(34, 33) -> 37* | 20 | 6
        g_0(34, 32) -> 23*
        g_0(34, 30) -> 37* | 20 | 6
         g_0(34, 8) -> 23*
         g_0(34, 5) -> 37* | 20 | 6
        g_0(33, 44) -> 20*
        g_0(33, 43) -> 23*
        g_0(33, 34) -> 20*
        g_0(33, 33) -> 20*
        g_0(33, 32) -> 23*
        g_0(33, 30) -> 20*
         g_0(33, 8) -> 23*
         g_0(33, 5) -> 20*
        g_0(32, 48) -> 4*
        g_0(32, 47) -> 4*
        g_0(32, 46) -> 4*
        g_0(32, 45) -> 4*
        g_0(32, 42) -> 4*
        g_0(32, 39) -> 4*
        g_0(32, 38) -> 4*
        g_0(32, 37) -> 4*
        g_0(32, 36) -> 4*
        g_0(32, 35) -> 4*
        g_0(32, 31) -> 4*
        g_0(32, 23) -> 4*
        g_0(32, 20) -> 4*
        g_0(31, 44) -> 6*
        g_0(31, 34) -> 6*
        g_0(31, 33) -> 6*
        g_0(31, 30) -> 6*
         g_0(31, 5) -> 6*
        g_0(30, 44) -> 20*
        g_0(30, 43) -> 23*
        g_0(30, 34) -> 20*
        g_0(30, 33) -> 20*
        g_0(30, 32) -> 23*
        g_0(30, 30) -> 20*
         g_0(30, 8) -> 23*
         g_0(30, 5) -> 20*
        g_0(23, 48) -> 4*
        g_0(23, 47) -> 4*
        g_0(23, 46) -> 4*
        g_0(23, 44) -> 6*
        g_0(23, 42) -> 4*
        g_0(23, 39) -> 4*
        g_0(23, 38) -> 4*
        g_0(23, 37) -> 4*
        g_0(23, 36) -> 4*
        g_0(23, 34) -> 6*
        g_0(23, 33) -> 6*
        g_0(23, 30) -> 6*
        g_0(23, 23) -> 4*
         g_0(23, 6) -> 4*
         g_0(23, 5) -> 6*
        g_0(14, 48) -> 21*
        g_0(14, 47) -> 21*
        g_0(14, 46) -> 21*
        g_0(14, 42) -> 21*
        g_0(14, 36) -> 21*
        g_0(14, 25) -> 21*
        g_0(14, 23) -> 21*
        g_0(14, 17) -> 21*
         g_0(14, 2) -> 15*
        g_0(11, 48) -> 25*
        g_0(11, 47) -> 25*
        g_0(11, 46) -> 25*
        g_0(11, 42) -> 25*
        g_0(11, 36) -> 25*
        g_0(11, 23) -> 25*
        g_0(11, 22) -> 25*
        g_0(11, 15) -> 25*
         g_0(11, 2) -> 12*
        g_0(10, 48) -> 22*
        g_0(10, 47) -> 22*
        g_0(10, 46) -> 22*
        g_0(10, 42) -> 22*
        g_0(10, 36) -> 22*
        g_0(10, 23) -> 22*
        g_0(10, 21) -> 22*
        g_0(10, 12) -> 22*
         g_0(10, 2) -> 17*
         g_0(8, 48) -> 4*
         g_0(8, 47) -> 4*
         g_0(8, 46) -> 4*
         g_0(8, 45) -> 4*
         g_0(8, 42) -> 4*
         g_0(8, 39) -> 4*
         g_0(8, 38) -> 4*
         g_0(8, 37) -> 4*
         g_0(8, 36) -> 4*
         g_0(8, 35) -> 4*
         g_0(8, 31) -> 4*
         g_0(8, 23) -> 4*
         g_0(8, 20) -> 4*
         g_0(6, 48) -> 4*
         g_0(6, 47) -> 4*
         g_0(6, 46) -> 4*
         g_0(6, 42) -> 4*
         g_0(6, 39) -> 4*
         g_0(6, 38) -> 4*
         g_0(6, 37) -> 4*
         g_0(6, 36) -> 4*
         g_0(6, 23) -> 4*
          g_0(6, 6) -> 4*
         g_0(5, 44) -> 20*
         g_0(5, 43) -> 23*
         g_0(5, 34) -> 20*
         g_0(5, 33) -> 20*
         g_0(5, 32) -> 23*
         g_0(5, 30) -> 20*
          g_0(5, 8) -> 23*
          g_0(5, 5) -> 20*
         g_0(4, 44) -> 6*
         g_0(4, 34) -> 6*
         g_0(4, 33) -> 6*
         g_0(4, 30) -> 6*
          g_0(4, 5) -> 6*
         g_0(2, 48) -> 26*
         g_0(2, 47) -> 26*
         g_0(2, 46) -> 26*
         g_0(2, 42) -> 26*
         g_0(2, 39) -> 26*
         g_0(2, 38) -> 26*
         g_0(2, 37) -> 26*
         g_0(2, 36) -> 26*
         g_0(2, 23) -> 26*
          g_0(2, 6) -> 26*}
      Strict:
       {}
      Qed
    SCC:
     Strict:
      {g#(e(), g(e(), x)) -> g#(d(), g(c(), x)),
       g#(e(), g(e(), x)) -> g#(c(), x),
       g#(d(), g(d(), x)) -> g#(e(), x),
       g#(d(), g(d(), x)) -> g#(c(), g(e(), x)),
       g#(c(), g(c(), x)) -> g#(e(), g(d(), x)),
       g#(c(), g(c(), x)) -> g#(d(), x)}
     Weak:
     {          g(x, x) -> g(a(), b()),
      g(e(), g(e(), x)) -> g(d(), g(c(), x)),
      g(d(), g(d(), x)) -> g(c(), g(e(), x)),
      g(c(), g(c(), x)) -> g(e(), g(d(), x)),
             f(g(x, y)) -> g(y, g(f(f(x)), a()))}
     POLY:
      Argument Filtering:
       pi(f) = [], pi(c) = [], pi(d) = [], pi(e) = [], pi(b) = [], pi(a) = [], pi(g#) = 1, pi(g) = [0,1]
      Usable Rules:
       {}
      Interpretation:
       [g](x0, x1) = x0 + x1,
       [c] = 1,
       [d] = 1,
       [e] = 1
      Strict:
       {g#(e(), g(e(), x)) -> g#(d(), g(c(), x)),
        g#(d(), g(d(), x)) -> g#(c(), g(e(), x)),
        g#(c(), g(c(), x)) -> g#(e(), g(d(), x))}
      Weak:
       {          g(x, x) -> g(a(), b()),
        g(e(), g(e(), x)) -> g(d(), g(c(), x)),
        g(d(), g(d(), x)) -> g(c(), g(e(), x)),
        g(c(), g(c(), x)) -> g(e(), g(d(), x)),
               f(g(x, y)) -> g(y, g(f(f(x)), a()))}
      EDG:
       {(g#(d(), g(d(), x)) -> g#(c(), g(e(), x)), g#(c(), g(c(), x)) -> g#(e(), g(d(), x)))
        (g#(c(), g(c(), x)) -> g#(e(), g(d(), x)), g#(e(), g(e(), x)) -> g#(d(), g(c(), x)))
        (g#(e(), g(e(), x)) -> g#(d(), g(c(), x)), g#(d(), g(d(), x)) -> g#(c(), g(e(), x)))}
       SCCS:
        Scc:
         {g#(e(), g(e(), x)) -> g#(d(), g(c(), x)),
          g#(d(), g(d(), x)) -> g#(c(), g(e(), x)),
          g#(c(), g(c(), x)) -> g#(e(), g(d(), x))}
        SCC:
         Strict:
          {g#(e(), g(e(), x)) -> g#(d(), g(c(), x)),
           g#(d(), g(d(), x)) -> g#(c(), g(e(), x)),
           g#(c(), g(c(), x)) -> g#(e(), g(d(), x))}
         Weak:
         {          g(x, x) -> g(a(), b()),
          g(e(), g(e(), x)) -> g(d(), g(c(), x)),
          g(d(), g(d(), x)) -> g(c(), g(e(), x)),
          g(c(), g(c(), x)) -> g(e(), g(d(), x)),
                 f(g(x, y)) -> g(y, g(f(f(x)), a()))}
         BOUND:
          Bound: match(-raise)-bounded by 2
          Automaton:
           {       i_0() -> 2*
                 f_1(49) -> 38* | 34 | 21
                 f_1(40) -> 38* | 34 | 21
                 f_1(38) -> 43* | 35 | 22
                 f_1(37) -> 42* | 32 | 4
                 f_1(34) -> 35*
                 f_1(31) -> 32*
                  f_1(5) -> 38* | 34 | 21
                  f_1(2) -> 37* | 31 | 3
                 f_0(49) -> 21*
                 f_0(41) -> 4*
                 f_0(40) -> 21*
                 f_0(38) -> 22*
                 f_0(37) -> 4*
                 f_0(28) -> 4*
                 f_0(26) -> 4*
                 f_0(21) -> 22*
                  f_0(5) -> 21*
                  f_0(3) -> 4*
                  f_0(2) -> 3*
                   c_0() -> 14*
                   d_0() -> 11*
                   e_0() -> 10*
                   b_2() -> 48* | 47 | 39 | 30 | 8
                   b_1() -> 39* | 30 | 8
                   b_0() -> 8*
                   a_2() -> 49* | 46 | 40 | 29 | 5
                   a_1() -> 40* | 29 | 5
                   a_0() -> 5*
            g#_0(14, 41) -> 20*
            g#_0(14, 27) -> 20*
            g#_0(14, 26) -> 20*
            g#_0(14, 17) -> 20*
            g#_0(11, 41) -> 19*
            g#_0(11, 26) -> 19*
            g#_0(11, 25) -> 19*
            g#_0(11, 15) -> 19*
            g#_0(10, 41) -> 18*
            g#_0(10, 26) -> 18*
            g#_0(10, 24) -> 18*
            g#_0(10, 12) -> 18*
             g_2(49, 48) -> 41* | 26 | 4
             g_2(49, 47) -> 4*
             g_2(46, 48) -> 4*
             g_2(46, 47) -> 4*
             g_1(49, 48) -> 41* | 26 | 4
             g_1(49, 39) -> 41* | 26 | 4
             g_1(49, 30) -> 4*
             g_1(48, 45) -> 4*
             g_1(48, 36) -> 4*
             g_1(44, 44) -> 4*
             g_1(44, 33) -> 4*
             g_1(43, 49) -> 45* | 36 | 23
             g_1(43, 40) -> 45* | 36 | 23
             g_1(43, 29) -> 36*
             g_1(42, 49) -> 44* | 33 | 6
             g_1(42, 40) -> 44* | 33 | 6
             g_1(42, 29) -> 33*
             g_1(41, 44) -> 4*
             g_1(41, 33) -> 4*
             g_1(40, 48) -> 41* | 26 | 4
             g_1(40, 39) -> 41* | 26 | 4
             g_1(40, 30) -> 4*
             g_1(39, 45) -> 4*
             g_1(39, 36) -> 4*
             g_1(35, 49) -> 36*
             g_1(35, 40) -> 36*
             g_1(35, 29) -> 36*
             g_1(32, 49) -> 33*
             g_1(32, 40) -> 33*
             g_1(32, 29) -> 33*
             g_1(29, 48) -> 4*
             g_1(29, 39) -> 4*
             g_1(29, 30) -> 4*
             g_1(26, 44) -> 4*
             g_1(26, 33) -> 4*
              g_1(8, 45) -> 4*
              g_1(8, 36) -> 4*
              g_1(6, 44) -> 4*
              g_1(6, 33) -> 4*
             g_0(49, 48) -> 26*
             g_0(49, 39) -> 26*
              g_0(49, 8) -> 26*
             g_0(48, 45) -> 4*
             g_0(48, 41) -> 4*
             g_0(48, 26) -> 4*
             g_0(48, 23) -> 4*
             g_0(44, 44) -> 4*
             g_0(44, 41) -> 4*
             g_0(44, 26) -> 4*
              g_0(44, 6) -> 4*
             g_0(43, 49) -> 23*
             g_0(43, 40) -> 23*
              g_0(43, 5) -> 23*
             g_0(42, 49) -> 6*
             g_0(42, 40) -> 6*
              g_0(42, 5) -> 6*
             g_0(41, 49) -> 6*
             g_0(41, 44) -> 4*
             g_0(41, 41) -> 4*
             g_0(41, 40) -> 6*
             g_0(41, 26) -> 4*
              g_0(41, 6) -> 4*
              g_0(41, 5) -> 6*
             g_0(40, 48) -> 26*
             g_0(40, 39) -> 26*
              g_0(40, 8) -> 26*
             g_0(39, 45) -> 4*
             g_0(39, 41) -> 4*
             g_0(39, 26) -> 4*
             g_0(39, 23) -> 4*
             g_0(26, 49) -> 6*
             g_0(26, 44) -> 4*
             g_0(26, 41) -> 4*
             g_0(26, 40) -> 6*
             g_0(26, 26) -> 4*
              g_0(26, 6) -> 4*
              g_0(26, 5) -> 6*
             g_0(22, 49) -> 23*
             g_0(22, 40) -> 23*
              g_0(22, 5) -> 23*
             g_0(14, 41) -> 24*
             g_0(14, 27) -> 24*
             g_0(14, 26) -> 24*
             g_0(14, 17) -> 24*
              g_0(14, 2) -> 15*
             g_0(11, 41) -> 27*
             g_0(11, 26) -> 27*
             g_0(11, 25) -> 27*
             g_0(11, 15) -> 27*
              g_0(11, 2) -> 12*
             g_0(10, 41) -> 25*
             g_0(10, 26) -> 25*
             g_0(10, 24) -> 25*
             g_0(10, 12) -> 25*
              g_0(10, 2) -> 17*
              g_0(8, 45) -> 4*
              g_0(8, 41) -> 4*
              g_0(8, 26) -> 4*
              g_0(8, 23) -> 4*
              g_0(6, 44) -> 4*
              g_0(6, 41) -> 4*
              g_0(6, 26) -> 4*
               g_0(6, 6) -> 4*
              g_0(5, 48) -> 26*
              g_0(5, 39) -> 26*
               g_0(5, 8) -> 26*
              g_0(4, 49) -> 6*
              g_0(4, 40) -> 6*
               g_0(4, 5) -> 6*
              g_0(2, 44) -> 28*
              g_0(2, 41) -> 28*
              g_0(2, 26) -> 28*
               g_0(2, 6) -> 28*}
          Strict:
           {}
          Qed