Input TRS:
    1: zeros() -> cons(0(),n__zeros())
    2: and(tt(),X) -> activate(X)
    3: length(nil()) -> 0()
    4: length(cons(N,L)) -> s(length(activate(L)))
    5: zeros() -> n__zeros()
    6: activate(n__zeros()) -> zeros()
    7: activate(X) -> X
Number of Rules: 7
Direct POLO(Sum) ... removes: 7 5 3 2
	I(tt) = 2
	I(0) = 0
	I(nil) = 0
	I(and) = x1 + x2
	I(s) = x1
	I(length) = x1 + 1
	I(activate) = x1 + 1
	I(zeros) = 1
	I(cons) = x1 + x2 + 1
	I(n__zeros) = 0
Number of Rules: 3
Direct POLO(Sum) ...Direct QLPOS ...Direct QKBOS ... failed.