Input TRS:
    1: R(x,B2()) -> B2()
    2: W(x,B2()) -> B2()
   e1: B1() ->= R(T(),B1())	[relative]
   e2: B1() ->= W(T(),B1())	[relative]
Number of Rules: 2
Direct Mat3b ... removes: 1
	I(W) = [2,0,0;1,0,0;0,1,1] * x1 + [1,0,0;0,1,0;1,1,0] * x2
	I(T) = [0;1;1]
	I(B1) = [0;7;9]
	I(R) = [1,0,0;0,0,0;0,0,1] * x1 + [2,0,0;0,1,0;0,1,0] * x2
	I(B2) = [1;1;1]
Number of Rules: 1
Direct Mat3b ... removes: 2
	I(W) = [1,0,0;0,0,0;0,0,0] * x1 + [2,0,0;0,0,0;0,0,0] * x2 + [0;1;1]
	I(T) = [0;1;1]
	I(B1) = [0;1;1]
	I(R) = [1,0,0;0,0,1;0,0,1] * x1 + [1,0,0;0,0,0;1,0,0] * x2
	I(B2) = [1;1;1]
Number of Rules: 0