Complete TRS - 65.trs

(VAR
	x
	y
)
(RULES
	h(f,a,a) -> h(g,a,a)
	h(g,a,a) -> h(f,a,a)
	a -> a'
	h(x,a',y) -> h(x,y,y)
	g -> f
	f -> g
	h(f,a',a) -> h(g,a,a)
	h(g,a',a) -> h(f,a,a)
	h(g,a,a') -> h(f,a,a)
	h(f,a,a') -> h(g,a,a)
	h(f,a',a') -> h(g,a,a)
	h(g,a',a') -> h(f,a,a)
	h(f,a',a) -> h(f,a,a)
	h(g,a',a) -> h(g,a,a)
	h(g,a,a') -> h(g,a,a)
	h(f,a,a') -> h(f,a,a)
	h(f,a',a') -> h(f,a,a)
	h(g,a',a') -> h(g,a,a)
)