MAYBE
Time: 0.000674
TRS:
 {  f f X -> f g f g f X,
  f g f X -> f g X}
 DP:
  DP:
   {  f# f X -> f# g f X,
      f# f X -> f# g f g f X,
    f# g f X -> f# g X}
  TRS:
  {  f f X -> f g f g f X,
   f g f X -> f g X}
  UR:
   {  f f X -> f g f g f X,
    f g f X -> f g X}
   EDG:
    {(f# g f X -> f# g X, f# g f X -> f# g X)
     (f# f X -> f# g f g f X, f# g f X -> f# g X)
     (f# f X -> f# g f X, f# g f X -> f# g X)}
    STATUS:
     arrows: 0.666667
     SCCS (1):
      Scc:
       {f# g f X -> f# g X}
      
      
      
      SCC (1):
       Strict:
        {f# g f X -> f# g X}
       Weak:
       {  f f X -> f g f g f X,
        f g f X -> f g X}
       Open