Input TRS:
    1: zz(zz(X,Y),Z) -> zz(X,zz(Y,Z))
    2: zz(X,nil()) -> X
    3: zz(nil(),X) -> X
    4: and(tt(),X) -> activate(X)
    5: isNePal(zz(I,zz(P,I))) -> tt()
    6: activate(X) -> X
Number of Rules: 6
Direct QWPOS(Pol) ... orients all.
	I(tt) = 0
	I(nil) = 0
	I(and) = 3 * x1 + 3 * x2	sigma(and) = [1,2]
	I(zz) = 3 * x1 + x2 + 1	sigma(zz) = [1,2]
	I(activate) = x1	sigma(activate) = [1]
	I(isNePal) = 2 * x1 + 1	sigma(isNePal) = [1]
    PREC: zz = isNePal > nil > and > tt = activate
Number of Rules: 0