41.58/40.76	MAYBE
41.58/40.76	Input TRS:
41.58/40.76	    1: a(a(b(b(a(a(a(a(a(x1))))))))) -> a(a(a(a(a(a(a(b(b(a(a(b(b(x1)))))))))))))
41.58/40.76	Number of strict rules: 1
41.58/40.76	Direct POLO(bPol) ... failed.
41.58/40.76	Uncurrying ... failed.
41.58/40.76	Dependency Pairs:
41.58/40.76	   #1: #a(a(b(b(a(a(a(a(a(x1))))))))) -> #a(a(a(a(a(a(a(b(b(a(a(b(b(x1)))))))))))))
41.58/40.76	   #2: #a(a(b(b(a(a(a(a(a(x1))))))))) -> #a(a(a(a(a(a(b(b(a(a(b(b(x1))))))))))))
41.58/40.76	   #3: #a(a(b(b(a(a(a(a(a(x1))))))))) -> #a(a(a(a(a(b(b(a(a(b(b(x1)))))))))))
41.58/40.76	   #4: #a(a(b(b(a(a(a(a(a(x1))))))))) -> #a(a(a(a(b(b(a(a(b(b(x1))))))))))
41.58/40.76	   #5: #a(a(b(b(a(a(a(a(a(x1))))))))) -> #a(a(a(b(b(a(a(b(b(x1)))))))))
41.58/40.76	   #6: #a(a(b(b(a(a(a(a(a(x1))))))))) -> #a(a(b(b(a(a(b(b(x1))))))))
41.58/40.76	   #7: #a(a(b(b(a(a(a(a(a(x1))))))))) -> #a(b(b(a(a(b(b(x1)))))))
41.58/40.76	   #8: #a(a(b(b(a(a(a(a(a(x1))))))))) -> #a(a(b(b(x1))))
41.58/40.76	   #9: #a(a(b(b(a(a(a(a(a(x1))))))))) -> #a(b(b(x1)))
41.58/40.76	Number of SCCs: 1, DPs: 7
41.58/40.76	  SCC { #1..6 #8 }
41.58/40.76	POLO(Sum)... POLO(max)... QLPOS... POLO(mSum)... succeeded.
41.58/40.76	      a 	w: max(x1 - 3, 0)
41.58/40.76	      b 	w: 4
41.58/40.76	      #a 	w: max(x1 + 4, 0)
41.58/40.76	    USABLE RULES: { 1 }
41.58/40.76	    Removed DPs: #1..5
41.58/40.76	Number of SCCs: 1, DPs: 2
41.58/40.76	  SCC { #6 #8 }
41.58/40.76	POLO(Sum)... POLO(max)... QLPOS... POLO(mSum)... QWPOpS(mSum)... Mat2b... failed.
41.58/40.76	Finding a loop...  failed.
41.58/40.76	EOF