YES(?,O(n^1))
TRS:
 {    a X -> e(),
      b X -> e(),
      c X -> e(),
  c b a X -> a a b b c c X}
 DUP: We consider a non-duplicating system.
  Trs:
   {    a X -> e(),
        b X -> e(),
        c X -> e(),
    c b a X -> a a b b c c X}
  BOUND:
   Bound: match(-raise)-bounded by 2
   Automaton:
    {
       e_2() -> 10*
       e_1() -> 2*
       e_0() -> 1*
     c_1(11) -> 12*
      c_1(4) -> 5*
      c_1(3) -> 4*
      c_0(1) -> 1*
      b_1(6) -> 7*
      b_1(5) -> 6*
      b_0(1) -> 1*
      a_1(8) -> 9*
      a_1(7) -> 8*
      a_0(1) -> 1*
        12 -> 4*
        10 -> 12 | 9 | 8 | 7 | 6 | 5 | 4
         9 -> 4 | 1
         8 -> 11*
         2 -> 1*
         1 -> 3*
    }
   Strict:
    {}
   Qed