7.40/5.60	MAYBE
7.40/5.60	Input TRS:
7.40/5.60	    1: b(a(a(b(b(a(a(b(a(a(b(x1))))))))))) -> a(a(b(b(a(a(b(a(a(b(b(a(a(b(x1))))))))))))))
7.40/5.60	Number of strict rules: 1
7.40/5.60	Direct POLO(bPol) ... failed.
7.40/5.60	Uncurrying ... failed.
7.40/5.60	Dependency Pairs:
7.40/5.60	   #1: #b(a(a(b(b(a(a(b(a(a(b(x1))))))))))) -> #b(b(a(a(b(a(a(b(b(a(a(b(x1))))))))))))
7.40/5.60	   #2: #b(a(a(b(b(a(a(b(a(a(b(x1))))))))))) -> #b(a(a(b(a(a(b(b(a(a(b(x1)))))))))))
7.40/5.60	   #3: #b(a(a(b(b(a(a(b(a(a(b(x1))))))))))) -> #b(a(a(b(b(a(a(b(x1))))))))
7.40/5.60	   #4: #b(a(a(b(b(a(a(b(a(a(b(x1))))))))))) -> #b(b(a(a(b(x1)))))
7.40/5.60	Number of SCCs: 1, DPs: 2
7.40/5.60	  SCC { #3 #4 }
7.40/5.60	POLO(Sum)... POLO(max)... QLPOS... POLO(mSum)... QWPOpS(mSum)... Mat2b... failed.
7.40/5.60	Finding a loop...  failed.
7.40/5.60	EOF