YES
Time: 0.000819
TRS:
 {    a X -> e(),
      b X -> e(),
      c X -> e(),
  c b a X -> a a b b c c X}
 DP:
  DP:
   {c# b a X -> a# a b b c c X,
    c# b a X -> a# b b c c X,
    c# b a X -> b# b c c X,
    c# b a X -> b# c c X,
    c# b a X -> c# X,
    c# b a X -> c# c X}
  TRS:
  {    a X -> e(),
       b X -> e(),
       c X -> e(),
   c b a X -> a a b b c c X}
  EDG:
   {(c# b a X -> c# X, c# b a X -> c# c X)
    (c# b a X -> c# X, c# b a X -> c# X)
    (c# b a X -> c# X, c# b a X -> b# c c X)
    (c# b a X -> c# X, c# b a X -> b# b c c X)
    (c# b a X -> c# X, c# b a X -> a# b b c c X)
    (c# b a X -> c# X, c# b a X -> a# a b b c c X)}
   SCCS (1):
    Scc:
     {c# b a X -> c# X}
    SCC (1):
     Strict:
      {c# b a X -> c# X}
     Weak:
     {    a X -> e(),
          b X -> e(),
          c X -> e(),
      c b a X -> a a b b c c X}
     SPSC:
      Simple Projection:
       pi(c#) = 0
      Strict:
       {}
      Qed