2.28/2.31	YES
2.28/2.31	Input TRS:
2.28/2.31	    1: a(a(b(b(x1)))) -> C(C(x1))
2.28/2.31	    2: b(b(c(c(x1)))) -> A(A(x1))
2.28/2.31	    3: c(c(a(a(x1)))) -> B(B(x1))
2.28/2.31	    4: A(A(C(C(x1)))) -> b(b(x1))
2.28/2.31	    5: C(C(B(B(x1)))) -> a(a(x1))
2.28/2.31	    6: B(B(A(A(x1)))) -> c(c(x1))
2.28/2.31	    7: a(a(a(a(a(a(a(a(a(a(x1)))))))))) -> A(A(A(A(A(A(x1))))))
2.28/2.31	    8: A(A(A(A(A(A(A(A(x1)))))))) -> a(a(a(a(a(a(a(a(x1))))))))
2.28/2.31	    9: b(b(b(b(b(b(b(b(b(b(x1)))))))))) -> B(B(B(B(B(B(x1))))))
2.28/2.31	    10: B(B(B(B(B(B(B(B(x1)))))))) -> b(b(b(b(b(b(b(b(x1))))))))
2.28/2.31	    11: c(c(c(c(c(c(c(c(c(c(x1)))))))))) -> C(C(C(C(C(C(x1))))))
2.28/2.31	    12: C(C(C(C(C(C(C(C(x1)))))))) -> c(c(c(c(c(c(c(c(x1))))))))
2.28/2.31	    13: B(B(a(a(a(a(a(a(a(a(x1)))))))))) -> c(c(A(A(A(A(A(A(x1))))))))
2.28/2.31	    14: A(A(A(A(A(A(b(b(x1)))))))) -> a(a(a(a(a(a(a(a(C(C(x1))))))))))
2.28/2.31	    15: C(C(b(b(b(b(b(b(b(b(x1)))))))))) -> a(a(B(B(B(B(B(B(x1))))))))
2.28/2.31	    16: B(B(B(B(B(B(c(c(x1)))))))) -> b(b(b(b(b(b(b(b(A(A(x1))))))))))
2.28/2.31	    17: A(A(c(c(c(c(c(c(c(c(x1)))))))))) -> b(b(C(C(C(C(C(C(x1))))))))
2.28/2.31	    18: C(C(C(C(C(C(a(a(x1)))))))) -> c(c(c(c(c(c(c(c(B(B(x1))))))))))
2.28/2.31	    19: a(a(A(A(x1)))) -> x1
2.28/2.31	    20: A(A(a(a(x1)))) -> x1
2.28/2.31	    21: b(b(B(B(x1)))) -> x1
2.28/2.31	    22: B(B(b(b(x1)))) -> x1
2.28/2.31	    23: c(c(C(C(x1)))) -> x1
2.28/2.31	    24: C(C(c(c(x1)))) -> x1
2.28/2.31	Number of strict rules: 24
2.28/2.31	Direct POLO(bPol) ... removes: 4 8 1 3 21 19 22 5 10 7 20 12 23 24 11 9 6 2
2.28/2.31	      a 	w: x1 + 2
2.28/2.31	      b 	w: x1 + 2
2.28/2.31	      c 	w: x1 + 2
2.28/2.31	      C 	w: x1 + 3
2.28/2.31	      B 	w: x1 + 3
2.28/2.31	      A 	w: x1 + 3
2.28/2.31	Number of strict rules: 6
2.28/2.31	Direct POLO(bPol) ... failed.
2.28/2.31	Uncurrying ... failed.
2.28/2.31	Dependency Pairs:
2.28/2.31	   #1: #B(B(a(a(a(a(a(a(a(a(x1)))))))))) -> #A(A(A(A(A(A(x1))))))
2.28/2.31	   #2: #B(B(a(a(a(a(a(a(a(a(x1)))))))))) -> #A(A(A(A(A(x1)))))
2.28/2.31	   #3: #B(B(a(a(a(a(a(a(a(a(x1)))))))))) -> #A(A(A(A(x1))))
2.28/2.31	   #4: #B(B(a(a(a(a(a(a(a(a(x1)))))))))) -> #A(A(A(x1)))
2.28/2.31	   #5: #B(B(a(a(a(a(a(a(a(a(x1)))))))))) -> #A(A(x1))
2.28/2.31	   #6: #B(B(a(a(a(a(a(a(a(a(x1)))))))))) -> #A(x1)
2.28/2.31	   #7: #A(A(A(A(A(A(b(b(x1)))))))) -> #C(C(x1))
2.28/2.31	   #8: #A(A(A(A(A(A(b(b(x1)))))))) -> #C(x1)
2.28/2.31	   #9: #A(A(c(c(c(c(c(c(c(c(x1)))))))))) -> #C(C(C(C(C(C(x1))))))
2.28/2.31	   #10: #A(A(c(c(c(c(c(c(c(c(x1)))))))))) -> #C(C(C(C(C(x1)))))
2.28/2.31	   #11: #A(A(c(c(c(c(c(c(c(c(x1)))))))))) -> #C(C(C(C(x1))))
2.28/2.31	   #12: #A(A(c(c(c(c(c(c(c(c(x1)))))))))) -> #C(C(C(x1)))
2.28/2.31	   #13: #A(A(c(c(c(c(c(c(c(c(x1)))))))))) -> #C(C(x1))
2.28/2.31	   #14: #A(A(c(c(c(c(c(c(c(c(x1)))))))))) -> #C(x1)
2.28/2.31	   #15: #B(B(B(B(B(B(c(c(x1)))))))) -> #A(A(x1))
2.28/2.31	   #16: #B(B(B(B(B(B(c(c(x1)))))))) -> #A(x1)
2.28/2.31	   #17: #C(C(b(b(b(b(b(b(b(b(x1)))))))))) -> #B(B(B(B(B(B(x1))))))
2.28/2.31	   #18: #C(C(b(b(b(b(b(b(b(b(x1)))))))))) -> #B(B(B(B(B(x1)))))
2.28/2.31	   #19: #C(C(b(b(b(b(b(b(b(b(x1)))))))))) -> #B(B(B(B(x1))))
2.28/2.31	   #20: #C(C(b(b(b(b(b(b(b(b(x1)))))))))) -> #B(B(B(x1)))
2.28/2.31	   #21: #C(C(b(b(b(b(b(b(b(b(x1)))))))))) -> #B(B(x1))
2.28/2.31	   #22: #C(C(b(b(b(b(b(b(b(b(x1)))))))))) -> #B(x1)
2.28/2.31	   #23: #C(C(C(C(C(C(a(a(x1)))))))) -> #B(B(x1))
2.28/2.31	   #24: #C(C(C(C(C(C(a(a(x1)))))))) -> #B(x1)
2.28/2.31	Number of SCCs: 1, DPs: 24
2.28/2.31	  SCC { #1..24 }
2.28/2.31	POLO(Sum)... succeeded.
2.28/2.31	      a 	w: x1 + 2
2.28/2.31	      b 	w: x1 + 2
2.28/2.31	      #B 	w: x1 + 3
2.28/2.31	      c 	w: x1 + 2
2.28/2.31	      C 	w: x1 + 3
2.28/2.31	      B 	w: x1 + 3
2.28/2.31	      #C 	w: x1
2.28/2.31	      A 	w: x1 + 3
2.28/2.31	      #A 	w: x1 + 6
2.28/2.31	    USABLE RULES: { 13..18 }
2.28/2.31	    Removed DPs: #1..24
2.28/2.31	Number of SCCs: 0, DPs: 0
2.28/2.31	EOF