Input TRS:
    1: f(act(),y) -> f(el(nact()),y)
    2: f(x,nact()) -> f(x,act())
    3: act() -> el(nact())
    4: l(el(x)) -> el(l(x))
    5: el(r(x)) -> r(el(x))
   e1: nact() ->= l(nact())	[relative]
   e2: nact() ->= r(nact())	[relative]
Number of Rules: 5
Direct Mat3b ... removes: 1
	I(nact) = [1;1;7]
	I(r) = [1,0,0;0,1,0;0,1,0] * x1 + [0;0;1]
	I(l) = x1
	I(f) = [1,0,1;1,0,0;0,0,0] * x1 + [1,1,1;1,1,1;1,0,0] * x2
	I(el) = [1,0,0;1,1,0;1,1,0] * x1 + [0;1;2]
	I(act) = [1;3;5]
Number of Rules: 4
Direct Mat3b ... removes: 3 2
	I(nact) = [1;1;9]
	I(r) = [1,0,0;0,1,0;0,1,0] * x1 + [0;0;1]
	I(l) = x1
	I(f) = [1,0,1;1,0,0;0,0,0] * x1 + [1,1,1;1,1,1;0,0,0] * x2
	I(el) = [1,0,0;1,1,0;1,1,0] * x1 + [0;1;2]
	I(act) = [2;3;5]
Number of Rules: 2
Direct Mat3b ... removes: 4
	I(nact) = [0;0;1]
	I(r) = x1
	I(l) = [2,1,0;1,0,0;1,1,1] * x1
	I(el) = [2,1,0;1,0,0;1,1,1] * x1 + [1;0;1]
Number of Rules: 1
Direct Mat3b ... failed.