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