Complete TRS - 664.trs

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