Complete TRS - 543.trs

(VAR
)
(RULES
	f(c) -> g(c)
	g(c) -> f(c)
	c -> d
	f(d) -> g(c)
	g(d) -> f(c)
)