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