70.07/48.61	MAYBE
70.07/48.61	Input TRS:
70.07/48.61	    1: b(c(c(a(a(a(a(a(a(a(x1)))))))))) -> a(a(a(a(a(a(a(a(b(c(c(b(c(c(x1))))))))))))))
70.07/48.61	Number of strict rules: 1
70.07/48.61	Direct POLO(bPol) ... failed.
70.07/48.61	Uncurrying b
70.07/48.61	1: b^1_c(c(a(a(a(a(a(a(a(x1))))))))) -> a(a(a(a(a(a(a(a(b^1_c(c(b^1_c(c(x1))))))))))))
70.07/48.61	2: b(c(_1)) ->= b^1_c(_1)
70.07/48.61	Number of strict rules: 1
70.07/48.61	Direct POLO(bPol) ... removes: 2
70.07/48.61	      a 	w: x1
70.07/48.61	      b 	w: x1 + 1
70.07/48.61	      b^1_c	w: x1
70.07/48.61	      c 	w: x1
70.07/48.61	Number of strict rules: 1
70.07/48.61	Direct POLO(bPol) ... failed.
70.07/48.61	Dependency Pairs:
70.07/48.61	   #1: #b^1_c(c(a(a(a(a(a(a(a(x1))))))))) -> #b^1_c(c(b^1_c(c(x1))))
70.07/48.61	   #2: #b^1_c(c(a(a(a(a(a(a(a(x1))))))))) -> #b^1_c(c(x1))
70.07/48.61	Number of SCCs: 1, DPs: 2
70.07/48.61	  SCC { #1 #2 }
70.07/48.61	POLO(Sum)... POLO(max)... QLPOS... POLO(mSum)... QWPOpS(mSum)... Mat2b... failed.
70.07/48.61	Finding a loop...  failed.
70.07/48.61	EOF