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