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