Complete TRS - 510.trs

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