Complete TRS - 236.trs

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