Complete TRS - 258.trs

(VAR
	x
)
(RULES
	c -> f(c)
	c -> h(c)
	f(x) -> f(f(x))
	h(x) -> h(h(x))
	h(c) -> f(c)
	h(h(c)) -> f(c)
	f(c) -> h(h(c))
	h(f(c)) -> f(c)
	h(h(c)) -> f(f(c))
	f(h(c)) -> h(h(c))
	f(f(c)) -> h(h(c))
	h(f(f(c))) -> f(c)
)