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