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 POLO(mSum) ... failed.