Complete TRS - 39.trs

(VAR
)
(RULES
	f(b) -> a
	f(b) -> f(c)
	f(c) -> f(b)
	f(c) -> d
	b -> e
	c -> e'
	f(e) -> a
	f(e') -> d
	d -> f(b)
	f(e) -> f(c)
	f(c) -> a
	f(e') -> f(b)
	a -> d
	f(e') -> a
)