Input TRS:
    1: t(f(x),g(y),f(z())) -> t(z(),g(x),g(y))
    2: t(g(x),g(y),f(z())) -> t(f(y),f(z()),x)
   e1: f(g(x)) ->= g(f(x))	[relative]
   e2: g(f(x)) ->= f(g(x))	[relative]
   e3: f(f(x)) ->= g(g(x))	[relative]
   e4: g(g(x)) ->= f(f(x))	[relative]
Number of Rules: 2
Direct Mat2b ... removes: 1 2
	I(z) = [1;1]
	I(t) = [2,1;1,0] * x1 + [2,1;1,0] * x2 + [2,1;0,1] * x3
	I(f) = [2,1;1,1] * x1 + [1;1]
	I(g) = [2,1;1,1] * x1 + [1;1]
Number of Rules: 0