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