Complete TRS - 243.trs

(VAR
	x
)
(RULES
	a -> h(g(b))
	a -> h(c)
	b -> g(b)
	h(g(x)) -> g(h(x))
	g(x) -> h(x)
	h(c) -> h(g(b))
)