Input TRS:
    1: f(a(),g(y),z) -> f(a(),y,g(y))
    2: f(b(),g(y),z) -> f(a(),y,z)
    3: a() -> b()
   e1: f(x,y,z) ->= f(x,y,g(z))	[relative]
Number of Rules: 3
Direct Mat3b ... removes: 1 3 2
	I(a) = [2;1;1]
	I(b) = [1;1;1]
	I(f) = [2,1,1;1,1,1;1,1,1] * x1 + [1,1,1;0,0,1;0,1,1] * x2 + [1,0,0;0,0,0;1,0,0] * x3
	I(g) = [1,0,0;1,1,1;0,0,1] * x1 + [0;2;1]
Number of Rules: 0