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()) -> U22(isList())
    6: U22(tt()) -> tt()
    7: U31(tt()) -> tt()
    8: U41(tt()) -> U42(isNeList())
    9: U42(tt()) -> tt()
    10: U51(tt()) -> U52(isList())
    11: U52(tt()) -> tt()
    12: U61(tt()) -> tt()
    13: U71(tt()) -> U72(isPal())
    14: U72(tt()) -> tt()
    15: U81(tt()) -> tt()
    16: isList() -> U11(isNeList())
    17: isList() -> tt()
    18: isList() -> U21(isList())
    19: isNeList() -> U31(isQid())
    20: isNeList() -> U41(isList())
    21: isNeList() -> U51(isNeList())
    22: isNePal() -> U61(isQid())
    23: isNePal() -> U71(isQid())
    24: isPal() -> U81(isNePal())
    25: isPal() -> tt()
    26: isQid() -> tt()
Number of Rules: 26
Direct QTKBOS ... failed.