MAYBE
TRS:
 {                                                            g1(x, a()) -> h2(x),
                                                              g1(a(), x) -> h1(x),
                                                              f1(x, a()) -> g2(x, x),
                                                              f1(a(), x) -> g1(x, x),
                                                              g2(x, a()) -> h2(x),
                                                              g2(a(), x) -> h1(x),
                                                              f2(x, a()) -> g2(x, x),
                                                              f2(a(), x) -> g1(x, x),
                                                                 h1(a()) -> i(),
                                                                 h2(a()) -> i(),
                                                  e2(x, x, y, z, z, a()) -> e6(x, y, z),
                                      e2(f1(w, w), x, y, z, f2(w, w), w) -> e3(x, y, x, y, y, z, y, z, x, y, z, w),
                                              e2(i(), x, y, z, i(), a()) -> e6(x, y, z),
                                                e1(x1, x1, x, y, z, a()) -> e5(x1, x, y, z),
                                            e1(h1(w), h2(w), x, y, z, w) -> e2(x, x, y, z, z, w),
                                                        e5(i(), x, y, z) -> e6(x, y, z),
                                e3(x, y, x, y, y, z, y, z, x, y, z, a()) -> e6(x, y, z),
                          e3(x1, x1, x2, x2, x3, x3, x4, x4, x, y, z, w) -> e4(x1, x1, x2, x2, x3, x3, x4, x4, x, y, z, w),
                                e4(x, x, x, x, x, x, x, x, x, x, x, a()) -> e6(x, x, x),
  e4(g1(w, w), x1, g2(w, w), x1, g1(w, w), x1, g2(w, w), x1, x, y, z, w) -> e1(x1, x1, x, y, z, w),
                    e4(i(), x1, i(), x1, i(), x1, i(), x1, x, y, z, a()) -> e5(x1, x, y, z)}
 DP:
  Strict:
   {                                                            g1#(x, a()) -> h2#(x),
                                                                g1#(a(), x) -> h1#(x),
                                                                f1#(x, a()) -> g2#(x, x),
                                                                f1#(a(), x) -> g1#(x, x),
                                                                g2#(x, a()) -> h2#(x),
                                                                g2#(a(), x) -> h1#(x),
                                                                f2#(x, a()) -> g2#(x, x),
                                                                f2#(a(), x) -> g1#(x, x),
                                        e2#(f1(w, w), x, y, z, f2(w, w), w) -> e3#(x, y, x, y, y, z, y, z, x, y, z, w),
                                                  e1#(x1, x1, x, y, z, a()) -> e5#(x1, x, y, z),
                                              e1#(h1(w), h2(w), x, y, z, w) -> e2#(x, x, y, z, z, w),
                            e3#(x1, x1, x2, x2, x3, x3, x4, x4, x, y, z, w) -> e4#(x1, x1, x2, x2, x3, x3, x4, x4, x, y, z, w),
    e4#(g1(w, w), x1, g2(w, w), x1, g1(w, w), x1, g2(w, w), x1, x, y, z, w) -> e1#(x1, x1, x, y, z, w),
                      e4#(i(), x1, i(), x1, i(), x1, i(), x1, x, y, z, a()) -> e5#(x1, x, y, z)}
  Weak:
  {                                                            g1(x, a()) -> h2(x),
                                                               g1(a(), x) -> h1(x),
                                                               f1(x, a()) -> g2(x, x),
                                                               f1(a(), x) -> g1(x, x),
                                                               g2(x, a()) -> h2(x),
                                                               g2(a(), x) -> h1(x),
                                                               f2(x, a()) -> g2(x, x),
                                                               f2(a(), x) -> g1(x, x),
                                                                  h1(a()) -> i(),
                                                                  h2(a()) -> i(),
                                                   e2(x, x, y, z, z, a()) -> e6(x, y, z),
                                       e2(f1(w, w), x, y, z, f2(w, w), w) -> e3(x, y, x, y, y, z, y, z, x, y, z, w),
                                               e2(i(), x, y, z, i(), a()) -> e6(x, y, z),
                                                 e1(x1, x1, x, y, z, a()) -> e5(x1, x, y, z),
                                             e1(h1(w), h2(w), x, y, z, w) -> e2(x, x, y, z, z, w),
                                                         e5(i(), x, y, z) -> e6(x, y, z),
                                 e3(x, y, x, y, y, z, y, z, x, y, z, a()) -> e6(x, y, z),
                           e3(x1, x1, x2, x2, x3, x3, x4, x4, x, y, z, w) -> e4(x1, x1, x2, x2, x3, x3, x4, x4, x, y, z, w),
                                 e4(x, x, x, x, x, x, x, x, x, x, x, a()) -> e6(x, x, x),
   e4(g1(w, w), x1, g2(w, w), x1, g1(w, w), x1, g2(w, w), x1, x, y, z, w) -> e1(x1, x1, x, y, z, w),
                     e4(i(), x1, i(), x1, i(), x1, i(), x1, x, y, z, a()) -> e5(x1, x, y, z)}
  EDG:
   {(f1#(a(), x) -> g1#(x, x), g1#(a(), x) -> h1#(x))
    (f1#(a(), x) -> g1#(x, x), g1#(x, a()) -> h2#(x))
    (f2#(a(), x) -> g1#(x, x), g1#(a(), x) -> h1#(x))
    (f2#(a(), x) -> g1#(x, x), g1#(x, a()) -> h2#(x))
    (e1#(h1(w), h2(w), x, y, z, w) -> e2#(x, x, y, z, z, w), e2#(f1(w, w), x, y, z, f2(w, w), w) -> e3#(x, y, x, y, y, z, y, z, x, y, z, w))
    (e4#(g1(w, w), x1, g2(w, w), x1, g1(w, w), x1, g2(w, w), x1, x, y, z, w) -> e1#(x1, x1, x, y, z, w), e1#(h1(w), h2(w), x, y, z, w) -> e2#(x, x, y, z, z, w))
    (e4#(g1(w, w), x1, g2(w, w), x1, g1(w, w), x1, g2(w, w), x1, x, y, z, w) -> e1#(x1, x1, x, y, z, w), e1#(x1, x1, x, y, z, a()) -> e5#(x1, x, y, z))
    (e3#(x1, x1, x2, x2, x3, x3, x4, x4, x, y, z, w) -> e4#(x1, x1, x2, x2, x3, x3, x4, x4, x, y, z, w), e4#(g1(w, w), x1, g2(w, w), x1, g1(w, w), x1, g2(w, w), x1, x, y, z, w) -> e1#(x1, x1, x, y, z, w))
    (e3#(x1, x1, x2, x2, x3, x3, x4, x4, x, y, z, w) -> e4#(x1, x1, x2, x2, x3, x3, x4, x4, x, y, z, w), e4#(i(), x1, i(), x1, i(), x1, i(), x1, x, y, z, a()) -> e5#(x1, x, y, z))
    (e2#(f1(w, w), x, y, z, f2(w, w), w) -> e3#(x, y, x, y, y, z, y, z, x, y, z, w), e3#(x1, x1, x2, x2, x3, x3, x4, x4, x, y, z, w) -> e4#(x1, x1, x2, x2, x3, x3, x4, x4, x, y, z, w))
    (f2#(x, a()) -> g2#(x, x), g2#(x, a()) -> h2#(x))
    (f2#(x, a()) -> g2#(x, x), g2#(a(), x) -> h1#(x))
    (f1#(x, a()) -> g2#(x, x), g2#(x, a()) -> h2#(x))
    (f1#(x, a()) -> g2#(x, x), g2#(a(), x) -> h1#(x))}
   SCCS:
    Scc:
     {                                    e2#(f1(w, w), x, y, z, f2(w, w), w) -> e3#(x, y, x, y, y, z, y, z, x, y, z, w),
                                                e1#(h1(w), h2(w), x, y, z, w) -> e2#(x, x, y, z, z, w),
                              e3#(x1, x1, x2, x2, x3, x3, x4, x4, x, y, z, w) -> e4#(x1, x1, x2, x2, x3, x3, x4, x4, x, y, z, w),
      e4#(g1(w, w), x1, g2(w, w), x1, g1(w, w), x1, g2(w, w), x1, x, y, z, w) -> e1#(x1, x1, x, y, z, w)}
    SCC:
     Strict:
      {                                    e2#(f1(w, w), x, y, z, f2(w, w), w) -> e3#(x, y, x, y, y, z, y, z, x, y, z, w),
                                                 e1#(h1(w), h2(w), x, y, z, w) -> e2#(x, x, y, z, z, w),
                               e3#(x1, x1, x2, x2, x3, x3, x4, x4, x, y, z, w) -> e4#(x1, x1, x2, x2, x3, x3, x4, x4, x, y, z, w),
       e4#(g1(w, w), x1, g2(w, w), x1, g1(w, w), x1, g2(w, w), x1, x, y, z, w) -> e1#(x1, x1, x, y, z, w)}
     Weak:
     {                                                            g1(x, a()) -> h2(x),
                                                                  g1(a(), x) -> h1(x),
                                                                  f1(x, a()) -> g2(x, x),
                                                                  f1(a(), x) -> g1(x, x),
                                                                  g2(x, a()) -> h2(x),
                                                                  g2(a(), x) -> h1(x),
                                                                  f2(x, a()) -> g2(x, x),
                                                                  f2(a(), x) -> g1(x, x),
                                                                     h1(a()) -> i(),
                                                                     h2(a()) -> i(),
                                                      e2(x, x, y, z, z, a()) -> e6(x, y, z),
                                          e2(f1(w, w), x, y, z, f2(w, w), w) -> e3(x, y, x, y, y, z, y, z, x, y, z, w),
                                                  e2(i(), x, y, z, i(), a()) -> e6(x, y, z),
                                                    e1(x1, x1, x, y, z, a()) -> e5(x1, x, y, z),
                                                e1(h1(w), h2(w), x, y, z, w) -> e2(x, x, y, z, z, w),
                                                            e5(i(), x, y, z) -> e6(x, y, z),
                                    e3(x, y, x, y, y, z, y, z, x, y, z, a()) -> e6(x, y, z),
                              e3(x1, x1, x2, x2, x3, x3, x4, x4, x, y, z, w) -> e4(x1, x1, x2, x2, x3, x3, x4, x4, x, y, z, w),
                                    e4(x, x, x, x, x, x, x, x, x, x, x, a()) -> e6(x, x, x),
      e4(g1(w, w), x1, g2(w, w), x1, g1(w, w), x1, g2(w, w), x1, x, y, z, w) -> e1(x1, x1, x, y, z, w),
                        e4(i(), x1, i(), x1, i(), x1, i(), x1, x, y, z, a()) -> e5(x1, x, y, z)}
     Fail