Complete TRS - 683.trs

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