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