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