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