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