Complete TRS - 212.trs

(VAR
)
(RULES
	a -> b
	a -> f(a)
	b -> f(f(b))
	f(a) -> b
	f(b) -> b
)