MAYBE
Time: 0.019621
TRS:
 {      c ok X -> ok c X,
      f mark X -> mark f X,
        f ok X -> ok f X,
        g ok X -> ok g X,
    active c X -> mark d X,
    active f X -> f active X,
  active f f X -> mark c f g f X,
    active h X -> mark c d X,
    active h X -> h active X,
        d ok X -> ok d X,
      h mark X -> mark h X,
        h ok X -> ok h X,
    proper c X -> c proper X,
    proper f X -> f proper X,
    proper g X -> g proper X,
    proper d X -> d proper X,
    proper h X -> h proper X,
    top mark X -> top proper X,
      top ok X -> top active X}
 DP:
  DP:
   {      c# ok X -> c# X,
        f# mark X -> f# X,
          f# ok X -> f# X,
          g# ok X -> g# X,
      active# c X -> d# X,
      active# f X -> f# active X,
      active# f X -> active# 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 -> c# d X,
      active# h X -> active# X,
      active# h X -> d# X,
      active# h X -> h# active X,
          d# ok X -> d# X,
        h# mark X -> h# X,
          h# ok X -> h# X,
      proper# c X -> c# proper X,
      proper# c X -> proper# X,
      proper# f X -> f# proper X,
      proper# f X -> proper# X,
      proper# g X -> g# proper X,
      proper# g X -> proper# X,
      proper# d X -> d# proper X,
      proper# d X -> proper# X,
      proper# h X -> h# proper X,
      proper# h X -> proper# X,
      top# mark X -> proper# X,
      top# mark X -> top# proper X,
        top# ok X -> active# X,
        top# ok X -> top# active X}
  TRS:
  {      c ok X -> ok c X,
       f mark X -> mark f X,
         f ok X -> ok f X,
         g ok X -> ok g X,
     active c X -> mark d X,
     active f X -> f active X,
   active f f X -> mark c f g f X,
     active h X -> mark c d X,
     active h X -> h active X,
         d ok X -> ok d X,
       h mark X -> mark h X,
         h ok X -> ok h X,
     proper c X -> c proper X,
     proper f X -> f proper X,
     proper g X -> g proper X,
     proper d X -> d proper X,
     proper h X -> h proper X,
     top mark X -> top proper X,
       top ok X -> top active X}
  EDG:
   {(active# f f X -> f# g f X, f# ok X -> f# X)
    (f# mark X -> f# X, f# ok X -> f# X)
    (f# mark X -> f# X, f# mark X -> f# X)
    (g# ok X -> g# X, g# ok X -> g# X)
    (active# f X -> active# X, active# h X -> h# active X)
    (active# f X -> active# X, active# h X -> d# X)
    (active# f X -> active# X, active# h X -> active# X)
    (active# f X -> active# X, active# h X -> c# d X)
    (active# f X -> active# X, active# f f X -> g# f X)
    (active# f X -> active# X, active# f f X -> f# g f X)
    (active# f X -> active# X, active# f f X -> c# f g f X)
    (active# f X -> active# X, active# f X -> active# X)
    (active# f X -> active# X, active# f X -> f# active X)
    (active# f X -> active# X, active# c X -> d# X)
    (active# h X -> d# X, d# ok X -> d# X)
    (h# mark X -> h# X, h# ok X -> h# X)
    (h# mark X -> h# X, h# mark X -> h# X)
    (proper# c X -> proper# X, proper# h X -> proper# X)
    (proper# c X -> proper# X, proper# h X -> h# proper X)
    (proper# c X -> proper# X, proper# d X -> proper# X)
    (proper# c X -> proper# X, proper# d X -> d# proper X)
    (proper# c X -> proper# X, proper# g X -> proper# X)
    (proper# c X -> proper# X, proper# g X -> g# proper X)
    (proper# c X -> proper# X, proper# f X -> proper# X)
    (proper# c X -> proper# X, proper# f X -> f# proper X)
    (proper# c X -> proper# X, proper# c X -> proper# X)
    (proper# c X -> proper# X, proper# c X -> c# proper X)
    (proper# g X -> proper# X, proper# h X -> proper# X)
    (proper# g X -> proper# X, proper# h X -> h# proper X)
    (proper# g X -> proper# X, proper# d X -> proper# X)
    (proper# g X -> proper# X, proper# d X -> d# proper X)
    (proper# g X -> proper# X, proper# g X -> proper# X)
    (proper# g X -> proper# X, proper# g X -> g# proper X)
    (proper# g X -> proper# X, proper# f X -> proper# X)
    (proper# g X -> proper# X, proper# f X -> f# proper X)
    (proper# g X -> proper# X, proper# c X -> proper# X)
    (proper# g X -> proper# X, proper# c X -> c# proper X)
    (proper# h X -> proper# X, proper# h X -> proper# X)
    (proper# h X -> proper# X, proper# h X -> h# proper X)
    (proper# h X -> proper# X, proper# d X -> proper# X)
    (proper# h X -> proper# X, proper# d X -> d# proper X)
    (proper# h X -> proper# X, proper# g X -> proper# X)
    (proper# h X -> proper# X, proper# g X -> g# proper X)
    (proper# h X -> proper# X, proper# f X -> proper# X)
    (proper# h X -> proper# X, proper# f X -> f# proper X)
    (proper# h X -> proper# X, proper# c X -> proper# X)
    (proper# h X -> proper# X, proper# c X -> c# proper X)
    (top# ok X -> active# X, active# h X -> h# active X)
    (top# ok X -> active# X, active# h X -> d# X)
    (top# ok X -> active# X, active# h X -> active# X)
    (top# ok X -> active# X, active# h X -> c# d X)
    (top# ok X -> active# X, active# f f X -> g# f X)
    (top# ok X -> active# X, active# f f X -> f# g f X)
    (top# ok X -> active# X, active# f f X -> c# f g f X)
    (top# ok X -> active# X, active# f X -> active# X)
    (top# ok X -> active# X, active# f X -> f# active X)
    (top# ok X -> active# X, active# c X -> d# X)
    (active# f f X -> g# f X, g# ok X -> g# X)
    (active# h X -> h# active X, h# ok X -> h# X)
    (active# h X -> h# active X, h# mark X -> h# X)
    (proper# f X -> f# proper X, f# ok X -> f# X)
    (proper# f X -> f# proper X, f# mark X -> f# X)
    (proper# d X -> d# proper X, d# ok X -> d# X)
    (top# mark X -> top# proper X, top# ok X -> top# active X)
    (top# mark X -> top# proper X, top# ok X -> active# X)
    (top# mark X -> top# proper X, top# mark X -> top# proper X)
    (top# mark X -> top# proper X, top# mark X -> proper# X)
    (top# ok X -> top# active X, top# mark X -> proper# X)
    (top# ok X -> top# active X, top# mark X -> top# proper X)
    (top# ok X -> top# active X, top# ok X -> active# X)
    (top# ok X -> top# active X, top# ok X -> top# active X)
    (proper# h X -> h# proper X, h# mark X -> h# X)
    (proper# h X -> h# proper X, h# ok X -> h# X)
    (proper# g X -> g# proper X, g# ok X -> g# X)
    (proper# c X -> c# proper X, c# ok X -> c# X)
    (active# h X -> c# d X, c# ok X -> c# X)
    (active# f X -> f# active X, f# mark X -> f# X)
    (active# f X -> f# active X, f# ok X -> f# X)
    (top# mark X -> proper# X, proper# c X -> c# proper X)
    (top# mark X -> proper# X, proper# c X -> proper# X)
    (top# mark X -> proper# X, proper# f X -> f# proper X)
    (top# mark X -> proper# X, proper# f X -> proper# X)
    (top# mark X -> proper# X, proper# g X -> g# proper X)
    (top# mark X -> proper# X, proper# g X -> proper# X)
    (top# mark X -> proper# X, proper# d X -> d# proper X)
    (top# mark X -> proper# X, proper# d X -> proper# X)
    (top# mark X -> proper# X, proper# h X -> h# proper X)
    (top# mark X -> proper# X, proper# h X -> proper# X)
    (proper# d X -> proper# X, proper# c X -> c# proper X)
    (proper# d X -> proper# X, proper# c X -> proper# X)
    (proper# d X -> proper# X, proper# f X -> f# proper X)
    (proper# d X -> proper# X, proper# f X -> proper# X)
    (proper# d X -> proper# X, proper# g X -> g# proper X)
    (proper# d X -> proper# X, proper# g X -> proper# X)
    (proper# d X -> proper# X, proper# d X -> d# proper X)
    (proper# d X -> proper# X, proper# d X -> proper# X)
    (proper# d X -> proper# X, proper# h X -> h# proper X)
    (proper# d X -> proper# X, proper# h X -> proper# X)
    (proper# f X -> proper# X, proper# c X -> c# proper X)
    (proper# f X -> proper# X, proper# c X -> proper# X)
    (proper# f X -> proper# X, proper# f X -> f# proper X)
    (proper# f X -> proper# X, proper# f X -> proper# X)
    (proper# f X -> proper# X, proper# g X -> g# proper X)
    (proper# f X -> proper# X, proper# g X -> proper# X)
    (proper# f X -> proper# X, proper# d X -> d# proper X)
    (proper# f X -> proper# X, proper# d X -> proper# X)
    (proper# f X -> proper# X, proper# h X -> h# proper X)
    (proper# f X -> proper# X, proper# h X -> proper# X)
    (h# ok X -> h# X, h# mark X -> h# X)
    (h# ok X -> h# X, h# ok X -> h# X)
    (d# ok X -> d# X, d# ok X -> d# X)
    (active# h X -> active# X, active# c X -> d# X)
    (active# h X -> active# X, active# f X -> f# active X)
    (active# h X -> active# X, active# f X -> active# X)
    (active# h X -> active# X, active# f f X -> c# f g f X)
    (active# h X -> active# X, active# f f X -> f# g f X)
    (active# h X -> active# X, active# f f X -> g# f X)
    (active# h X -> active# X, active# h X -> c# d X)
    (active# h X -> active# X, active# h X -> active# X)
    (active# h X -> active# X, active# h X -> d# X)
    (active# h X -> active# X, active# h X -> h# active X)
    (active# c X -> d# X, d# ok X -> d# X)
    (f# ok X -> f# X, f# mark X -> f# X)
    (f# ok X -> f# X, f# ok X -> f# X)
    (c# ok X -> c# X, c# ok X -> c# X)
    (active# f f X -> c# f g f X, c# ok X -> c# X)}
   STATUS:
    arrows: 0.868887
    SCCS (8):
     Scc:
      {top# mark X -> top# proper X,
         top# ok X -> top# active X}
     Scc:
      {proper# c X -> proper# X,
       proper# f X -> proper# X,
       proper# g X -> proper# X,
       proper# d X -> proper# X,
       proper# h X -> proper# X}
     Scc:
      {active# f X -> active# X,
       active# h X -> active# X}
     Scc:
      {h# mark X -> h# X,
         h# ok X -> h# X}
     Scc:
      {d# ok X -> d# X}
     Scc:
      {g# ok X -> g# X}
     Scc:
      {f# mark X -> f# X,
         f# ok X -> f# X}
     Scc:
      {c# ok X -> c# X}
     
     SCC (2):
      Strict:
       {top# mark X -> top# proper X,
          top# ok X -> top# active X}
      Weak:
      {      c ok X -> ok c X,
           f mark X -> mark f X,
             f ok X -> ok f X,
             g ok X -> ok g X,
         active c X -> mark d X,
         active f X -> f active X,
       active f f X -> mark c f g f X,
         active h X -> mark c d X,
         active h X -> h active X,
             d ok X -> ok d X,
           h mark X -> mark h X,
             h ok X -> ok h X,
         proper c X -> c proper X,
         proper f X -> f proper X,
         proper g X -> g proper X,
         proper d X -> d proper X,
         proper h X -> h proper X,
         top mark X -> top proper X,
           top ok X -> top active X}
      Open
     
     
     SCC (5):
      Strict:
       {proper# c X -> proper# X,
        proper# f X -> proper# X,
        proper# g X -> proper# X,
        proper# d X -> proper# X,
        proper# h X -> proper# X}
      Weak:
      {      c ok X -> ok c X,
           f mark X -> mark f X,
             f ok X -> ok f X,
             g ok X -> ok g X,
         active c X -> mark d X,
         active f X -> f active X,
       active f f X -> mark c f g f X,
         active h X -> mark c d X,
         active h X -> h active X,
             d ok X -> ok d X,
           h mark X -> mark h X,
             h ok X -> ok h X,
         proper c X -> c proper X,
         proper f X -> f proper X,
         proper g X -> g proper X,
         proper d X -> d proper X,
         proper h X -> h proper X,
         top mark X -> top proper X,
           top ok X -> top active X}
      Open
     
     
     
     
     
     SCC (2):
      Strict:
       {active# f X -> active# X,
        active# h X -> active# X}
      Weak:
      {      c ok X -> ok c X,
           f mark X -> mark f X,
             f ok X -> ok f X,
             g ok X -> ok g X,
         active c X -> mark d X,
         active f X -> f active X,
       active f f X -> mark c f g f X,
         active h X -> mark c d X,
         active h X -> h active X,
             d ok X -> ok d X,
           h mark X -> mark h X,
             h ok X -> ok h X,
         proper c X -> c proper X,
         proper f X -> f proper X,
         proper g X -> g proper X,
         proper d X -> d proper X,
         proper h X -> h proper X,
         top mark X -> top proper X,
           top ok X -> top active X}
      Open
     
     SCC (2):
      Strict:
       {h# mark X -> h# X,
          h# ok X -> h# X}
      Weak:
      {      c ok X -> ok c X,
           f mark X -> mark f X,
             f ok X -> ok f X,
             g ok X -> ok g X,
         active c X -> mark d X,
         active f X -> f active X,
       active f f X -> mark c f g f X,
         active h X -> mark c d X,
         active h X -> h active X,
             d ok X -> ok d X,
           h mark X -> mark h X,
             h ok X -> ok h X,
         proper c X -> c proper X,
         proper f X -> f proper X,
         proper g X -> g proper X,
         proper d X -> d proper X,
         proper h X -> h proper X,
         top mark X -> top proper X,
           top ok X -> top active X}
      Open
     
     
     
     
     
     SCC (1):
      Strict:
       {d# ok X -> d# X}
      Weak:
      {      c ok X -> ok c X,
           f mark X -> mark f X,
             f ok X -> ok f X,
             g ok X -> ok g X,
         active c X -> mark d X,
         active f X -> f active X,
       active f f X -> mark c f g f X,
         active h X -> mark c d X,
         active h X -> h active X,
             d ok X -> ok d X,
           h mark X -> mark h X,
             h ok X -> ok h X,
         proper c X -> c proper X,
         proper f X -> f proper X,
         proper g X -> g proper X,
         proper d X -> d proper X,
         proper h X -> h proper X,
         top mark X -> top proper X,
           top ok X -> top active X}
      Open
     SCC (1):
      Strict:
       {g# ok X -> g# X}
      Weak:
      {      c ok X -> ok c X,
           f mark X -> mark f X,
             f ok X -> ok f X,
             g ok X -> ok g X,
         active c X -> mark d X,
         active f X -> f active X,
       active f f X -> mark c f g f X,
         active h X -> mark c d X,
         active h X -> h active X,
             d ok X -> ok d X,
           h mark X -> mark h X,
             h ok X -> ok h X,
         proper c X -> c proper X,
         proper f X -> f proper X,
         proper g X -> g proper X,
         proper d X -> d proper X,
         proper h X -> h proper X,
         top mark X -> top proper X,
           top ok X -> top active X}
      Open
     
     SCC (2):
      Strict:
       {f# mark X -> f# X,
          f# ok X -> f# X}
      Weak:
      {      c ok X -> ok c X,
           f mark X -> mark f X,
             f ok X -> ok f X,
             g ok X -> ok g X,
         active c X -> mark d X,
         active f X -> f active X,
       active f f X -> mark c f g f X,
         active h X -> mark c d X,
         active h X -> h active X,
             d ok X -> ok d X,
           h mark X -> mark h X,
             h ok X -> ok h X,
         proper c X -> c proper X,
         proper f X -> f proper X,
         proper g X -> g proper X,
         proper d X -> d proper X,
         proper h X -> h proper X,
         top mark X -> top proper X,
           top ok X -> top active X}
      Open
     
     SCC (1):
      Strict:
       {c# ok X -> c# X}
      Weak:
      {      c ok X -> ok c X,
           f mark X -> mark f X,
             f ok X -> ok f X,
             g ok X -> ok g X,
         active c X -> mark d X,
         active f X -> f active X,
       active f f X -> mark c f g f X,
         active h X -> mark c d X,
         active h X -> h active X,
             d ok X -> ok d X,
           h mark X -> mark h X,
             h ok X -> ok h X,
         proper c X -> c proper X,
         proper f X -> f proper X,
         proper g X -> g proper X,
         proper d X -> d proper X,
         proper h X -> h proper X,
         top mark X -> top proper X,
           top ok X -> top active X}
      Open