Complete TRS - 238.trs

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