Complete TRS - 35.trs

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