Complete TRS - 669.trs

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