YES
Time: 0.046192
TRS:
 {    mark c X -> active c X,
      mark f X -> active f mark X,
      mark g X -> active g X,
      mark d X -> active d X,
      mark h X -> active h mark X,
      c mark X -> c X,
    c active X -> c X,
      f mark X -> f X,
    f active X -> f X,
      g mark X -> g X,
    g active X -> g X,
    active c X -> mark d X,
  active f f X -> mark c f g f X,
    active h X -> mark c d X,
      d mark X -> d X,
    d active X -> d X,
      h mark X -> h X,
    h active X -> h X}
 DP:
  DP:
   {    mark# c X -> active# c X,
        mark# f X -> mark# X,
        mark# f X -> f# mark X,
        mark# f X -> active# f mark X,
        mark# g X -> active# g X,
        mark# d X -> active# d X,
        mark# h X -> mark# X,
        mark# h X -> active# h mark X,
        mark# h X -> h# mark X,
        c# mark X -> c# X,
      c# active X -> c# X,
        f# mark X -> f# X,
      f# active X -> f# X,
        g# mark X -> g# X,
      g# active X -> g# X,
      active# c X -> mark# d X,
      active# c X -> d# X,
    active# f f X -> mark# c f g f X,
    active# f f X -> c# f g f X,
    active# f f X -> f# g f X,
    active# f f X -> g# f X,
      active# h X -> mark# c d X,
      active# h X -> c# d X,
      active# h X -> d# X,
        d# mark X -> d# X,
      d# active X -> d# X,
        h# mark X -> h# X,
      h# active X -> h# X}
  TRS:
  {    mark c X -> active c X,
       mark f X -> active f mark X,
       mark g X -> active g X,
       mark d X -> active d X,
       mark h X -> active h mark X,
       c mark X -> c X,
     c active X -> c X,
       f mark X -> f X,
     f active X -> f X,
       g mark X -> g X,
     g active X -> g X,
     active c X -> mark d X,
   active f f X -> mark c f g f X,
     active h X -> mark c d X,
       d mark X -> d X,
     d active X -> d X,
       h mark X -> h X,
     h active X -> h X}
  EDG:
   {(mark# h X -> active# h mark X, active# h X -> d# X)
    (mark# h X -> active# h mark X, active# h X -> c# d X)
    (mark# h X -> active# h mark X, active# h X -> mark# c d X)
    (mark# h X -> active# h mark X, active# c X -> d# X)
    (mark# h X -> active# h mark X, active# c X -> mark# d X)
    (active# h X -> mark# c d X, mark# d X -> active# d X)
    (active# h X -> mark# c d X, mark# c X -> active# c X)
    (mark# h X -> mark# X, mark# d X -> active# d X)
    (mark# h X -> mark# X, mark# c X -> active# c X)
    (mark# f X -> f# mark X, f# active X -> f# X)
    (mark# f X -> f# mark X, f# mark X -> f# X)
    (active# c X -> mark# d X, mark# d X -> active# d X)
    (active# f f X -> mark# c f g f X, mark# c X -> active# c X)
    (active# f f X -> mark# c f g f X, mark# d X -> active# d X)
    (mark# h X -> h# mark X, h# mark X -> h# X)
    (mark# h X -> h# mark X, h# active X -> h# X)
    (mark# c X -> active# c X, active# c X -> mark# d X)
    (mark# c X -> active# c X, active# c X -> d# X)
    (mark# f X -> mark# X, mark# c X -> active# c X)
    (mark# f X -> mark# X, mark# d X -> active# d X)
    (mark# f X -> active# f mark X, active# c X -> mark# d X)
    (mark# f X -> active# f mark X, active# c X -> d# X)
    (mark# f X -> active# f mark X, active# f f X -> mark# c f g f X)
    (mark# f X -> active# f mark X, active# f f X -> c# f g f X)
    (mark# f X -> active# f mark X, active# f f X -> f# g f X)
    (mark# f X -> active# f mark X, active# f f X -> g# f X)
    (mark# f X -> active# f mark X, active# h X -> mark# c d X)
    (mark# f X -> active# f mark X, active# h X -> c# d X)
    (mark# f X -> active# f mark X, active# h X -> d# X)}
   STATUS:
    arrows: 0.963010
    SCCS (0):