Complete TRS - 673.trs

(VAR
)
(RULES
	b -> c
	h(b,b) -> a
	h(c,c) -> c
	c -> c
	h(c,b) -> a
	h(b,c) -> a
	h(c,c) -> a
	a -> c
)