MAYBE
MAYBE
TRS:
 {
     __(X, nil()) -> X,
  __(__(X, Y), Z) -> __(X, __(Y, Z)),
     __(nil(), X) -> X,
        U12(tt()) -> U13(isNeList()),
  isPalListKind() -> tt(),
  isPalListKind() -> U91(isPalListKind()),
        U11(tt()) -> U12(isPalListKind()),
        U13(tt()) -> tt(),
       isNeList() -> U31(isPalListKind()),
       isNeList() -> U41(isPalListKind()),
       isNeList() -> U51(isPalListKind()),
        U22(tt()) -> U23(isPalListKind()),
        U21(tt()) -> U22(isPalListKind()),
        U23(tt()) -> U24(isPalListKind()),
        U24(tt()) -> U25(isList()),
        U25(tt()) -> U26(isList()),
         isList() -> U11(isPalListKind()),
         isList() -> tt(),
         isList() -> U21(isPalListKind()),
        U26(tt()) -> tt(),
        U32(tt()) -> U33(isQid()),
        U31(tt()) -> U32(isPalListKind()),
        U33(tt()) -> tt(),
          isQid() -> tt(),
        U42(tt()) -> U43(isPalListKind()),
        U41(tt()) -> U42(isPalListKind()),
        U43(tt()) -> U44(isPalListKind()),
        U44(tt()) -> U45(isList()),
        U45(tt()) -> U46(isNeList()),
        U46(tt()) -> tt(),
        U52(tt()) -> U53(isPalListKind()),
        U51(tt()) -> U52(isPalListKind()),
        U53(tt()) -> U54(isPalListKind()),
        U54(tt()) -> U55(isNeList()),
        U55(tt()) -> U56(isList()),
        U56(tt()) -> tt(),
        U62(tt()) -> U63(isQid()),
        U61(tt()) -> U62(isPalListKind()),
        U63(tt()) -> tt(),
        U72(tt()) -> U73(isPal()),
        U71(tt()) -> U72(isPalListKind()),
        U73(tt()) -> U74(isPalListKind()),
          isPal() -> tt(),
          isPal() -> U81(isPalListKind()),
        U74(tt()) -> tt(),
        U82(tt()) -> U83(isNePal()),
        U81(tt()) -> U82(isPalListKind()),
        U83(tt()) -> tt(),
        isNePal() -> U61(isPalListKind()),
        isNePal() -> U71(isQid()),
        U92(tt()) -> tt(),
        U91(tt()) -> U92(isPalListKind())
 }
 DUP: We consider a non-duplicating system.
  Trs:
   {
       __(X, nil()) -> X,
    __(__(X, Y), Z) -> __(X, __(Y, Z)),
       __(nil(), X) -> X,
          U12(tt()) -> U13(isNeList()),
    isPalListKind() -> tt(),
    isPalListKind() -> U91(isPalListKind()),
          U11(tt()) -> U12(isPalListKind()),
          U13(tt()) -> tt(),
         isNeList() -> U31(isPalListKind()),
         isNeList() -> U41(isPalListKind()),
         isNeList() -> U51(isPalListKind()),
          U22(tt()) -> U23(isPalListKind()),
          U21(tt()) -> U22(isPalListKind()),
          U23(tt()) -> U24(isPalListKind()),
          U24(tt()) -> U25(isList()),
          U25(tt()) -> U26(isList()),
           isList() -> U11(isPalListKind()),
           isList() -> tt(),
           isList() -> U21(isPalListKind()),
          U26(tt()) -> tt(),
          U32(tt()) -> U33(isQid()),
          U31(tt()) -> U32(isPalListKind()),
          U33(tt()) -> tt(),
            isQid() -> tt(),
          U42(tt()) -> U43(isPalListKind()),
          U41(tt()) -> U42(isPalListKind()),
          U43(tt()) -> U44(isPalListKind()),
          U44(tt()) -> U45(isList()),
          U45(tt()) -> U46(isNeList()),
          U46(tt()) -> tt(),
          U52(tt()) -> U53(isPalListKind()),
          U51(tt()) -> U52(isPalListKind()),
          U53(tt()) -> U54(isPalListKind()),
          U54(tt()) -> U55(isNeList()),
          U55(tt()) -> U56(isList()),
          U56(tt()) -> tt(),
          U62(tt()) -> U63(isQid()),
          U61(tt()) -> U62(isPalListKind()),
          U63(tt()) -> tt(),
          U72(tt()) -> U73(isPal()),
          U71(tt()) -> U72(isPalListKind()),
          U73(tt()) -> U74(isPalListKind()),
            isPal() -> tt(),
            isPal() -> U81(isPalListKind()),
          U74(tt()) -> tt(),
          U82(tt()) -> U83(isNePal()),
          U81(tt()) -> U82(isPalListKind()),
          U83(tt()) -> tt(),
          isNePal() -> U61(isPalListKind()),
          isNePal() -> U71(isQid()),
          U92(tt()) -> tt(),
          U91(tt()) -> U92(isPalListKind())
   }
  Fail