Input TRS:
    1: topB(i,N1(),y) -> topA(1(),T1(),y)
    2: topA(i,x,N2()) -> topB(0(),x,T2())
    3: topB(i,S1(),y) -> topA(i,N1(),y)
    4: topA(i,x,S2()) -> topB(i,x,N2())
    5: topA(i,N1(),T2()) -> topB(i,N1(),S2())
    6: topA(1(),T1(),T2()) -> topB(1(),T1(),S2())
   e1: topA(i,N1(),y) ->= topA(1(),T1(),y)	[relative]
   e2: topB(i,x,N2()) ->= topB(0(),x,T2())	[relative]
   e3: topA(i,S1(),y) ->= topA(i,N1(),y)	[relative]
   e4: topB(i,x,S2()) ->= topB(i,x,N2())	[relative]
   e5: topB(i,N1(),T2()) ->= topB(i,N1(),S2())	[relative]
   e6: topB(1(),T1(),T2()) ->= topB(1(),T1(),S2())	[relative]
Number of Rules: 6
Direct Mat3b ... removes: 4 1 3 5 6 2 e3 e1
	I(1) = [1;1;1]
	I(T1) = [1;1;1]
	I(S1) = [3;1;7]
	I(topB) = [1,0,0;0,0,0;0,0,0] * x1 + [2,0,1;0,0,1;0,0,1] * x2 + [2,1,1;0,0,1;0,1,0] * x3
	I(T2) = [1;1;1]
	I(0) = [0;1;1]
	I(topA) = [1,0,0;0,0,0;0,0,0] * x1 + [2,0,1;1,1,1;1,1,1] * x2 + [2,1,0;0,0,1;0,1,0] * x3 + [2;0;0]
	I(N2) = [1;1;1]
	I(N1) = [1;1;5]
	I(S2) = [1;1;1]
Number of Rules: 0