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()) -> tt()
    5: U21(tt(),V2) -> U22(isList(activate(V2)))
    6: U22(tt()) -> tt()
    7: U31(tt()) -> tt()
    8: U41(tt(),V2) -> U42(isNeList(activate(V2)))
    9: U42(tt()) -> tt()
    10: U51(tt(),V2) -> U52(isList(activate(V2)))
    11: U52(tt()) -> tt()
    12: U61(tt()) -> tt()
    13: U71(tt(),P) -> U72(isPal(activate(P)))
    14: U72(tt()) -> tt()
    15: U81(tt()) -> tt()
    16: isList(V) -> U11(isNeList(activate(V)))
    17: isList(nzznil()) -> tt()
    18: isList(nzzzz(V1,V2)) -> U21(isList(activate(V1)),activate(V2))
    19: isNeList(V) -> U31(isQid(activate(V)))
    20: isNeList(nzzzz(V1,V2)) -> U41(isList(activate(V1)),activate(V2))
    21: isNeList(nzzzz(V1,V2)) -> U51(isNeList(activate(V1)),activate(V2))
    22: isNePal(V) -> U61(isQid(activate(V)))
    23: isNePal(nzzzz(I,zz(P,I))) -> U71(isQid(activate(I)),activate(P))
    24: isPal(V) -> U81(isNePal(activate(V)))
    25: isPal(nzznil()) -> tt()
    26: isQid(nzza()) -> tt()
    27: isQid(nzze()) -> tt()
    28: isQid(nzzi()) -> tt()
    29: isQid(nzzo()) -> tt()
    30: isQid(nzzu()) -> tt()
    31: nil() -> nzznil()
    32: zz(X1,X2) -> nzzzz(X1,X2)
    33: a() -> nzza()
    34: e() -> nzze()
    35: i() -> nzzi()
    36: o() -> nzzo()
    37: u() -> nzzu()
    38: activate(nzznil()) -> nil()
    39: activate(nzzzz(X1,X2)) -> zz(X1,X2)
    40: activate(nzza()) -> a()
    41: activate(nzze()) -> e()
    42: activate(nzzi()) -> i()
    43: activate(nzzo()) -> o()
    44: activate(nzzu()) -> u()
    45: activate(X) -> X
Number of Rules: 45
Direct QWPOS(Sum) ... orients all.
	I(U61) = x1	sigma(U61) = [1]
	I(tt) = 9
	I(U71) = x1 + x2	sigma(U71) = [2,1]
	I(U72) = x1	sigma(U72) = [1]
	I(U81) = x1	sigma(U81) = [1]
	I(nil) = 11
	I(a) = 11
	I(e) = 11
	I(i) = 11
	I(o) = 11
	I(isList) = x1 + 6	sigma(isList) = [1]
	I(u) = 11
	I(zz) = x1 + x2 + 12	sigma(zz) = [1,2]
	I(isQid) = x1	sigma(isQid) = [1]
	I(activate) = x1 + 2	sigma(activate) = [1]
	I(isPal) = x1 + 6	sigma(isPal) = [1]
	I(nzzzz) = x1 + x2 + 11	sigma(nzzzz) = [1,2]
	I(U11) = x1	sigma(U11) = [1]
	I(nzza) = 10
	I(nzze) = 10
	I(nzzi) = 10
	I(isNeList) = x1 + 3	sigma(isNeList) = [1]
	I(nzzo) = 10
	I(U21) = x1 + x2	sigma(U21) = [1,2]
	I(U22) = x1	sigma(U22) = [1]
	I(nzzu) = 10
	I(U31) = x1	sigma(U31) = [1]
	I(U41) = x1 + x2	sigma(U41) = [1,2]
	I(U42) = x1 + 3	sigma(U42) = [1]
	I(isNePal) = x1 + 3	sigma(isNePal) = [1]
	I(nzznil) = 10
	I(U51) = x1 + x2	sigma(U51) = [2,1]
	I(U52) = x1	sigma(U52) = [1]
    PREC: o = u > nzzo = nzzu > tt = U51 > U71 = isList = U41 = U52 > U72 = U11 = isNeList = U42 = isNePal > U61 = isQid > nil = a = e = zz = activate = U22 > i = isPal = nzza = nzze = U21 = U31 = nzznil > U81 = nzzzz = nzzi
Number of Rules: 0