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