Complete TRS - 736.trs

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