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