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