Complete TRS - 557.trs

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