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(isPalListKind())
    5: U12(tt()) -> U13(isNeList())
    6: U13(tt()) -> tt()
    7: U21(tt()) -> U22(isPalListKind())
    8: U22(tt()) -> U23(isPalListKind())
    9: U23(tt()) -> U24(isPalListKind())
    10: U24(tt()) -> U25(isList())
    11: U25(tt()) -> U26(isList())
    12: U26(tt()) -> tt()
    13: U31(tt()) -> U32(isPalListKind())
    14: U32(tt()) -> U33(isQid())
    15: U33(tt()) -> tt()
    16: U41(tt()) -> U42(isPalListKind())
    17: U42(tt()) -> U43(isPalListKind())
    18: U43(tt()) -> U44(isPalListKind())
    19: U44(tt()) -> U45(isList())
    20: U45(tt()) -> U46(isNeList())
    21: U46(tt()) -> tt()
    22: U51(tt()) -> U52(isPalListKind())
    23: U52(tt()) -> U53(isPalListKind())
    24: U53(tt()) -> U54(isPalListKind())
    25: U54(tt()) -> U55(isNeList())
    26: U55(tt()) -> U56(isList())
    27: U56(tt()) -> tt()
    28: U61(tt()) -> U62(isPalListKind())
    29: U62(tt()) -> U63(isQid())
    30: U63(tt()) -> tt()
    31: U71(tt()) -> U72(isPalListKind())
    32: U72(tt()) -> U73(isPal())
    33: U73(tt()) -> U74(isPalListKind())
    34: U74(tt()) -> tt()
    35: U81(tt()) -> U82(isPalListKind())
    36: U82(tt()) -> U83(isNePal())
    37: U83(tt()) -> tt()
    38: U91(tt()) -> U92(isPalListKind())
    39: U92(tt()) -> tt()
    40: isList() -> U11(isPalListKind())
    41: isList() -> tt()
    42: isList() -> U21(isPalListKind())
    43: isNeList() -> U31(isPalListKind())
    44: isNeList() -> U41(isPalListKind())
    45: isNeList() -> U51(isPalListKind())
    46: isNePal() -> U61(isPalListKind())
    47: isNePal() -> U71(isQid())
    48: isPal() -> U81(isPalListKind())
    49: isPal() -> tt()
    50: isPalListKind() -> tt()
    51: isPalListKind() -> U91(isPalListKind())
    52: isQid() -> tt()
Number of Rules: 52
Direct QKBOS(Sum) ... failed.