MAYBE
Time: 0.046652
TRS:
 {f(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))))}
 DP:
  DP:
   {f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(a(), f(b(), x)))),
    f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), x))),
    f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))),
    f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), x)),
    f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))),
    f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))),
    f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), x),
    f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(a(), f(b(), x))))),
    f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))}
  TRS:
  {f(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))))}
  UR:
   {f(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))))}
   EDG:
    {
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), x))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), x))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(a(), f(b(), x))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), x))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), x))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), x))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), x))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), x))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), x)))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), x))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), x))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), x))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), x))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(a(), f(b(), x)))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(a(), f(b(), x))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), x))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), x)))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), x))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(a(), f(b(), x)))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(a(), f(b(), x))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(a(), f(b(), x))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(a(), f(b(), x))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(a(), f(b(), x))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), x))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(a(), f(b(), x))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(a(), f(b(), x))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(a(), f(b(), x))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), x)))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(a(), f(b(), x))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(a(), f(b(), x))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), x))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(a(), f(b(), x))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(a(), f(b(), x)))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), x)), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), x)), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(a(), f(b(), x))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), x)), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), x))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), x)), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), x)), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), x)), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), x)))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), x)), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), x)), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), x))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), x)), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(a(), f(b(), x)))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), x), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(a(), f(b(), x)))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), x), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), x))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), x), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), x), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), x)))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), x), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), x), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), x), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), x))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), x), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(a(), f(b(), x))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), x), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(a(), f(b(), x)))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), x))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), x)))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), x))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(a(), f(b(), x))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(a(), f(b(), x)))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), x))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), x)))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), x))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(a(), f(b(), x))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(a(), f(b(), x)))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), x))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), x)))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), x))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(a(), f(b(), x))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(a(), f(b(), x)))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(a(), f(b(), x)))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(a(), f(b(), x)))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), x))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(a(), f(b(), x)))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(a(), f(b(), x)))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), x)))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(a(), f(b(), x)))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(a(), f(b(), x)))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(a(), f(b(), x)))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), x))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(a(), f(b(), x)))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(a(), f(b(), x))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(a(), f(b(), x)))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))))
    }
    STATUS:
     arrows: 0.000000
     SCCS (1):
      Scc:
       {f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(a(), f(b(), x)))),
        f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), x))),
        f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))),
        f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), x)),
        f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))),
        f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))),
        f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), x),
        f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(a(), f(b(), x))))),
        f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))}
      
      SCC (9):
       Strict:
        {f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(a(), f(b(), x)))),
         f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), x))),
         f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))),
         f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), x)),
         f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))),
         f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))),
         f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), x),
         f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(a(), f(b(), x))))),
         f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))}
       Weak:
       {f(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))))}
       Open