Input TRS:
    1: top(ok(new(x))) -> top(check(x))
    2: top(ok(old(x))) -> top(check(x))
   e1: bot() ->= new(bot())	[relative]
   e2: check(new(x)) ->= new(check(x))	[relative]
   e3: check(old(x)) ->= old(check(x))	[relative]
   e4: check(old(x)) ->= ok(old(x))	[relative]
   e5: new(ok(x)) ->= ok(new(x))	[relative]
   e6: old(ok(x)) ->= ok(old(x))	[relative]
Number of Rules: 2
Direct POLO(Sum) ... removes: 2
	I(new) = x1
	I(top) = x1
	I(bot) = 0
	I(check) = x1
	I(ok) = x1
	I(old) = x1 + 1
Number of Rules: 1
Direct POLO(Sum) ...Direct Mat2b ... removes: e3 e5
	I(new) = [2,1;0,1] * x1
	I(top) = [1,0;0,0] * x1
	I(bot) = [0;0]
	I(check) = [2,1;0,1] * x1
	I(ok) = [1,1;0,0] * x1 + [0;1]
	I(old) = [1,1;0,0] * x1 + [0;1]
Number of Rules: 1
Direct POLO(Sum) ...Direct Mat2b ... removes: e4
	I(new) = [2,1;0,1] * x1
	I(top) = [1,0;0,0] * x1
	I(bot) = [0;0]
	I(check) = [2,1;0,1] * x1
	I(ok) = [1,1;0,0] * x1 + [0;1]
	I(old) = [1,1;0,0] * x1 + [1;1]
Number of Rules: 1
Direct POLO(Sum) ...Direct Mat2b ... removes: 1
	I(new) = [2,0;0,1] * x1
	I(top) = [1,1;0,0] * x1
	I(bot) = [0;1]
	I(check) = [1,0;1,0] * x1 + [0;1]
	I(ok) = [1,0;0,0] * x1 + [0;2]
	I(old) = [1,0;0,0] * x1 + [1;2]
Number of Rules: 0