1.03/0.44	YES
1.03/0.44	Input TRS:
1.03/0.44	    1: f(c(x),c(c(y))) -> a(a(x)) | c(f(x,y)) --> c(a(b()))
1.03/0.44	    2: f(c(c(c(x))),y) -> a(y) | c(f(c(x),c(c(y)))) --> c(a(a(b())))
1.03/0.44	    3: h(b()) -> b()
1.03/0.44	    4: h(a(a(x))) -> a(b()) | h(x) --> b()
1.03/0.44	Infeasibility test:
1.03/0.44	    c(f(c(c(x1)),y)) --> c(a(b()))
1.03/0.44	    c(f(c(x1),c(c(c(c(y)))))) --> c(a(a(b())))
1.03/0.44	Co-Order(NegReal,≥,Sum) ... succeeded.
1.03/0.44	     a(x1)	weight: (- (/ 16809 2))
1.03/0.44	     h(x1)	weight: x1
1.03/0.44	     b()	weight: (- (/ 177439 4))
1.03/0.44	     c(x1)	weight: (- (/ 16811 2)) + x1
1.03/0.44	     f(x1,x2)	weight: (- (/ 55095 2)) + x2
1.03/0.44	    #(x1,x2)	weight: x2
1.03/0.44	EOF