MAYBE

Problem:
 __(__(X,Y),Z) -> __(X,__(Y,Z))
 __(X,nil()) -> X
 __(nil(),X) -> X
 U11(tt()) -> U12(isPalListKind())
 U12(tt()) -> U13(isNeList())
 U13(tt()) -> tt()
 U21(tt()) -> U22(isPalListKind())
 U22(tt()) -> U23(isPalListKind())
 U23(tt()) -> U24(isPalListKind())
 U24(tt()) -> U25(isList())
 U25(tt()) -> U26(isList())
 U26(tt()) -> tt()
 U31(tt()) -> U32(isPalListKind())
 U32(tt()) -> U33(isQid())
 U33(tt()) -> tt()
 U41(tt()) -> U42(isPalListKind())
 U42(tt()) -> U43(isPalListKind())
 U43(tt()) -> U44(isPalListKind())
 U44(tt()) -> U45(isList())
 U45(tt()) -> U46(isNeList())
 U46(tt()) -> tt()
 U51(tt()) -> U52(isPalListKind())
 U52(tt()) -> U53(isPalListKind())
 U53(tt()) -> U54(isPalListKind())
 U54(tt()) -> U55(isNeList())
 U55(tt()) -> U56(isList())
 U56(tt()) -> tt()
 U61(tt()) -> U62(isPalListKind())
 U62(tt()) -> U63(isQid())
 U63(tt()) -> tt()
 U71(tt()) -> U72(isPalListKind())
 U72(tt()) -> U73(isPal())
 U73(tt()) -> U74(isPalListKind())
 U74(tt()) -> tt()
 U81(tt()) -> U82(isPalListKind())
 U82(tt()) -> U83(isNePal())
 U83(tt()) -> tt()
 U91(tt()) -> U92(isPalListKind())
 U92(tt()) -> tt()
 isList() -> U11(isPalListKind())
 isList() -> tt()
 isList() -> U21(isPalListKind())
 isNeList() -> U31(isPalListKind())
 isNeList() -> U41(isPalListKind())
 isNeList() -> U51(isPalListKind())
 isNePal() -> U61(isPalListKind())
 isNePal() -> U71(isQid())
 isPal() -> U81(isPalListKind())
 isPal() -> tt()
 isPalListKind() -> tt()
 isPalListKind() -> U91(isPalListKind())
 isQid() -> tt()

Proof:
 DP Processor:
  DPs:
   __#(__(X,Y),Z) -> __#(Y,Z)
   __#(__(X,Y),Z) -> __#(X,__(Y,Z))
   U11#(tt()) -> isPalListKind#()
   U11#(tt()) -> U12#(isPalListKind())
   U12#(tt()) -> isNeList#()
   U12#(tt()) -> U13#(isNeList())
   U21#(tt()) -> isPalListKind#()
   U21#(tt()) -> U22#(isPalListKind())
   U22#(tt()) -> isPalListKind#()
   U22#(tt()) -> U23#(isPalListKind())
   U23#(tt()) -> isPalListKind#()
   U23#(tt()) -> U24#(isPalListKind())
   U24#(tt()) -> isList#()
   U24#(tt()) -> U25#(isList())
   U25#(tt()) -> isList#()
   U25#(tt()) -> U26#(isList())
   U31#(tt()) -> isPalListKind#()
   U31#(tt()) -> U32#(isPalListKind())
   U32#(tt()) -> isQid#()
   U32#(tt()) -> U33#(isQid())
   U41#(tt()) -> isPalListKind#()
   U41#(tt()) -> U42#(isPalListKind())
   U42#(tt()) -> isPalListKind#()
   U42#(tt()) -> U43#(isPalListKind())
   U43#(tt()) -> isPalListKind#()
   U43#(tt()) -> U44#(isPalListKind())
   U44#(tt()) -> isList#()
   U44#(tt()) -> U45#(isList())
   U45#(tt()) -> isNeList#()
   U45#(tt()) -> U46#(isNeList())
   U51#(tt()) -> isPalListKind#()
   U51#(tt()) -> U52#(isPalListKind())
   U52#(tt()) -> isPalListKind#()
   U52#(tt()) -> U53#(isPalListKind())
   U53#(tt()) -> isPalListKind#()
   U53#(tt()) -> U54#(isPalListKind())
   U54#(tt()) -> isNeList#()
   U54#(tt()) -> U55#(isNeList())
   U55#(tt()) -> isList#()
   U55#(tt()) -> U56#(isList())
   U61#(tt()) -> isPalListKind#()
   U61#(tt()) -> U62#(isPalListKind())
   U62#(tt()) -> isQid#()
   U62#(tt()) -> U63#(isQid())
   U71#(tt()) -> isPalListKind#()
   U71#(tt()) -> U72#(isPalListKind())
   U72#(tt()) -> isPal#()
   U72#(tt()) -> U73#(isPal())
   U73#(tt()) -> isPalListKind#()
   U73#(tt()) -> U74#(isPalListKind())
   U81#(tt()) -> isPalListKind#()
   U81#(tt()) -> U82#(isPalListKind())
   U82#(tt()) -> isNePal#()
   U82#(tt()) -> U83#(isNePal())
   U91#(tt()) -> isPalListKind#()
   U91#(tt()) -> U92#(isPalListKind())
   isList#() -> isPalListKind#()
   isList#() -> U11#(isPalListKind())
   isList#() -> U21#(isPalListKind())
   isNeList#() -> isPalListKind#()
   isNeList#() -> U31#(isPalListKind())
   isNeList#() -> U41#(isPalListKind())
   isNeList#() -> U51#(isPalListKind())
   isNePal#() -> isPalListKind#()
   isNePal#() -> U61#(isPalListKind())
   isNePal#() -> isQid#()
   isNePal#() -> U71#(isQid())
   isPal#() -> isPalListKind#()
   isPal#() -> U81#(isPalListKind())
   isPalListKind#() -> isPalListKind#()
   isPalListKind#() -> U91#(isPalListKind())
  TRS:
   __(__(X,Y),Z) -> __(X,__(Y,Z))
   __(X,nil()) -> X
   __(nil(),X) -> X
   U11(tt()) -> U12(isPalListKind())
   U12(tt()) -> U13(isNeList())
   U13(tt()) -> tt()
   U21(tt()) -> U22(isPalListKind())
   U22(tt()) -> U23(isPalListKind())
   U23(tt()) -> U24(isPalListKind())
   U24(tt()) -> U25(isList())
   U25(tt()) -> U26(isList())
   U26(tt()) -> tt()
   U31(tt()) -> U32(isPalListKind())
   U32(tt()) -> U33(isQid())
   U33(tt()) -> tt()
   U41(tt()) -> U42(isPalListKind())
   U42(tt()) -> U43(isPalListKind())
   U43(tt()) -> U44(isPalListKind())
   U44(tt()) -> U45(isList())
   U45(tt()) -> U46(isNeList())
   U46(tt()) -> tt()
   U51(tt()) -> U52(isPalListKind())
   U52(tt()) -> U53(isPalListKind())
   U53(tt()) -> U54(isPalListKind())
   U54(tt()) -> U55(isNeList())
   U55(tt()) -> U56(isList())
   U56(tt()) -> tt()
   U61(tt()) -> U62(isPalListKind())
   U62(tt()) -> U63(isQid())
   U63(tt()) -> tt()
   U71(tt()) -> U72(isPalListKind())
   U72(tt()) -> U73(isPal())
   U73(tt()) -> U74(isPalListKind())
   U74(tt()) -> tt()
   U81(tt()) -> U82(isPalListKind())
   U82(tt()) -> U83(isNePal())
   U83(tt()) -> tt()
   U91(tt()) -> U92(isPalListKind())
   U92(tt()) -> tt()
   isList() -> U11(isPalListKind())
   isList() -> tt()
   isList() -> U21(isPalListKind())
   isNeList() -> U31(isPalListKind())
   isNeList() -> U41(isPalListKind())
   isNeList() -> U51(isPalListKind())
   isNePal() -> U61(isPalListKind())
   isNePal() -> U71(isQid())
   isPal() -> U81(isPalListKind())
   isPal() -> tt()
   isPalListKind() -> tt()
   isPalListKind() -> U91(isPalListKind())
   isQid() -> tt()
  EDG Processor:
   DPs:
    __#(__(X,Y),Z) -> __#(Y,Z)
    __#(__(X,Y),Z) -> __#(X,__(Y,Z))
    U11#(tt()) -> isPalListKind#()
    U11#(tt()) -> U12#(isPalListKind())
    U12#(tt()) -> isNeList#()
    U12#(tt()) -> U13#(isNeList())
    U21#(tt()) -> isPalListKind#()
    U21#(tt()) -> U22#(isPalListKind())
    U22#(tt()) -> isPalListKind#()
    U22#(tt()) -> U23#(isPalListKind())
    U23#(tt()) -> isPalListKind#()
    U23#(tt()) -> U24#(isPalListKind())
    U24#(tt()) -> isList#()
    U24#(tt()) -> U25#(isList())
    U25#(tt()) -> isList#()
    U25#(tt()) -> U26#(isList())
    U31#(tt()) -> isPalListKind#()
    U31#(tt()) -> U32#(isPalListKind())
    U32#(tt()) -> isQid#()
    U32#(tt()) -> U33#(isQid())
    U41#(tt()) -> isPalListKind#()
    U41#(tt()) -> U42#(isPalListKind())
    U42#(tt()) -> isPalListKind#()
    U42#(tt()) -> U43#(isPalListKind())
    U43#(tt()) -> isPalListKind#()
    U43#(tt()) -> U44#(isPalListKind())
    U44#(tt()) -> isList#()
    U44#(tt()) -> U45#(isList())
    U45#(tt()) -> isNeList#()
    U45#(tt()) -> U46#(isNeList())
    U51#(tt()) -> isPalListKind#()
    U51#(tt()) -> U52#(isPalListKind())
    U52#(tt()) -> isPalListKind#()
    U52#(tt()) -> U53#(isPalListKind())
    U53#(tt()) -> isPalListKind#()
    U53#(tt()) -> U54#(isPalListKind())
    U54#(tt()) -> isNeList#()
    U54#(tt()) -> U55#(isNeList())
    U55#(tt()) -> isList#()
    U55#(tt()) -> U56#(isList())
    U61#(tt()) -> isPalListKind#()
    U61#(tt()) -> U62#(isPalListKind())
    U62#(tt()) -> isQid#()
    U62#(tt()) -> U63#(isQid())
    U71#(tt()) -> isPalListKind#()
    U71#(tt()) -> U72#(isPalListKind())
    U72#(tt()) -> isPal#()
    U72#(tt()) -> U73#(isPal())
    U73#(tt()) -> isPalListKind#()
    U73#(tt()) -> U74#(isPalListKind())
    U81#(tt()) -> isPalListKind#()
    U81#(tt()) -> U82#(isPalListKind())
    U82#(tt()) -> isNePal#()
    U82#(tt()) -> U83#(isNePal())
    U91#(tt()) -> isPalListKind#()
    U91#(tt()) -> U92#(isPalListKind())
    isList#() -> isPalListKind#()
    isList#() -> U11#(isPalListKind())
    isList#() -> U21#(isPalListKind())
    isNeList#() -> isPalListKind#()
    isNeList#() -> U31#(isPalListKind())
    isNeList#() -> U41#(isPalListKind())
    isNeList#() -> U51#(isPalListKind())
    isNePal#() -> isPalListKind#()
    isNePal#() -> U61#(isPalListKind())
    isNePal#() -> isQid#()
    isNePal#() -> U71#(isQid())
    isPal#() -> isPalListKind#()
    isPal#() -> U81#(isPalListKind())
    isPalListKind#() -> isPalListKind#()
    isPalListKind#() -> U91#(isPalListKind())
   TRS:
    __(__(X,Y),Z) -> __(X,__(Y,Z))
    __(X,nil()) -> X
    __(nil(),X) -> X
    U11(tt()) -> U12(isPalListKind())
    U12(tt()) -> U13(isNeList())
    U13(tt()) -> tt()
    U21(tt()) -> U22(isPalListKind())
    U22(tt()) -> U23(isPalListKind())
    U23(tt()) -> U24(isPalListKind())
    U24(tt()) -> U25(isList())
    U25(tt()) -> U26(isList())
    U26(tt()) -> tt()
    U31(tt()) -> U32(isPalListKind())
    U32(tt()) -> U33(isQid())
    U33(tt()) -> tt()
    U41(tt()) -> U42(isPalListKind())
    U42(tt()) -> U43(isPalListKind())
    U43(tt()) -> U44(isPalListKind())
    U44(tt()) -> U45(isList())
    U45(tt()) -> U46(isNeList())
    U46(tt()) -> tt()
    U51(tt()) -> U52(isPalListKind())
    U52(tt()) -> U53(isPalListKind())
    U53(tt()) -> U54(isPalListKind())
    U54(tt()) -> U55(isNeList())
    U55(tt()) -> U56(isList())
    U56(tt()) -> tt()
    U61(tt()) -> U62(isPalListKind())
    U62(tt()) -> U63(isQid())
    U63(tt()) -> tt()
    U71(tt()) -> U72(isPalListKind())
    U72(tt()) -> U73(isPal())
    U73(tt()) -> U74(isPalListKind())
    U74(tt()) -> tt()
    U81(tt()) -> U82(isPalListKind())
    U82(tt()) -> U83(isNePal())
    U83(tt()) -> tt()
    U91(tt()) -> U92(isPalListKind())
    U92(tt()) -> tt()
    isList() -> U11(isPalListKind())
    isList() -> tt()
    isList() -> U21(isPalListKind())
    isNeList() -> U31(isPalListKind())
    isNeList() -> U41(isPalListKind())
    isNeList() -> U51(isPalListKind())
    isNePal() -> U61(isPalListKind())
    isNePal() -> U71(isQid())
    isPal() -> U81(isPalListKind())
    isPal() -> tt()
    isPalListKind() -> tt()
    isPalListKind() -> U91(isPalListKind())
    isQid() -> tt()
   graph:
    U91#(tt()) -> isPalListKind#() ->
    isPalListKind#() -> isPalListKind#()
    U91#(tt()) -> isPalListKind#() ->
    isPalListKind#() -> U91#(isPalListKind())
    isNePal#() -> U71#(isQid()) -> U71#(tt()) -> isPalListKind#()
    isNePal#() -> U71#(isQid()) ->
    U71#(tt()) -> U72#(isPalListKind())
    isNePal#() -> U61#(isPalListKind()) ->
    U61#(tt()) -> isPalListKind#()
    isNePal#() -> U61#(isPalListKind()) ->
    U61#(tt()) -> U62#(isPalListKind())
    isNePal#() -> isPalListKind#() ->
    isPalListKind#() -> isPalListKind#()
    isNePal#() -> isPalListKind#() ->
    isPalListKind#() -> U91#(isPalListKind())
    U82#(tt()) -> isNePal#() -> isNePal#() -> isPalListKind#()
    U82#(tt()) -> isNePal#() -> isNePal#() -> U61#(isPalListKind())
    U82#(tt()) -> isNePal#() -> isNePal#() -> isQid#()
    U82#(tt()) -> isNePal#() -> isNePal#() -> U71#(isQid())
    U81#(tt()) -> U82#(isPalListKind()) ->
    U82#(tt()) -> isNePal#()
    U81#(tt()) -> U82#(isPalListKind()) ->
    U82#(tt()) -> U83#(isNePal())
    U81#(tt()) -> isPalListKind#() ->
    isPalListKind#() -> isPalListKind#()
    U81#(tt()) -> isPalListKind#() ->
    isPalListKind#() -> U91#(isPalListKind())
    U73#(tt()) -> isPalListKind#() ->
    isPalListKind#() -> isPalListKind#()
    U73#(tt()) -> isPalListKind#() ->
    isPalListKind#() -> U91#(isPalListKind())
    isPal#() -> U81#(isPalListKind()) ->
    U81#(tt()) -> isPalListKind#()
    isPal#() -> U81#(isPalListKind()) ->
    U81#(tt()) -> U82#(isPalListKind())
    isPal#() -> isPalListKind#() ->
    isPalListKind#() -> isPalListKind#()
    isPal#() -> isPalListKind#() ->
    isPalListKind#() -> U91#(isPalListKind())
    U72#(tt()) -> U73#(isPal()) -> U73#(tt()) -> isPalListKind#()
    U72#(tt()) -> U73#(isPal()) -> U73#(tt()) -> U74#(isPalListKind())
    U72#(tt()) -> isPal#() -> isPal#() -> isPalListKind#()
    U72#(tt()) -> isPal#() -> isPal#() -> U81#(isPalListKind())
    U71#(tt()) -> U72#(isPalListKind()) ->
    U72#(tt()) -> isPal#()
    U71#(tt()) -> U72#(isPalListKind()) ->
    U72#(tt()) -> U73#(isPal())
    U71#(tt()) -> isPalListKind#() ->
    isPalListKind#() -> isPalListKind#()
    U71#(tt()) -> isPalListKind#() ->
    isPalListKind#() -> U91#(isPalListKind())
    U61#(tt()) -> U62#(isPalListKind()) ->
    U62#(tt()) -> isQid#()
    U61#(tt()) -> U62#(isPalListKind()) ->
    U62#(tt()) -> U63#(isQid())
    U61#(tt()) -> isPalListKind#() ->
    isPalListKind#() -> isPalListKind#()
    U61#(tt()) -> isPalListKind#() ->
    isPalListKind#() -> U91#(isPalListKind())
    U55#(tt()) -> isList#() -> isList#() -> isPalListKind#()
    U55#(tt()) -> isList#() -> isList#() -> U11#(isPalListKind())
    U55#(tt()) -> isList#() -> isList#() -> U21#(isPalListKind())
    U54#(tt()) -> U55#(isNeList()) -> U55#(tt()) -> isList#()
    U54#(tt()) -> U55#(isNeList()) -> U55#(tt()) -> U56#(isList())
    U54#(tt()) -> isNeList#() -> isNeList#() -> isPalListKind#()
    U54#(tt()) -> isNeList#() -> isNeList#() -> U31#(isPalListKind())
    U54#(tt()) -> isNeList#() -> isNeList#() -> U41#(isPalListKind())
    U54#(tt()) -> isNeList#() ->
    isNeList#() -> U51#(isPalListKind())
    U53#(tt()) -> U54#(isPalListKind()) ->
    U54#(tt()) -> isNeList#()
    U53#(tt()) -> U54#(isPalListKind()) ->
    U54#(tt()) -> U55#(isNeList())
    U53#(tt()) -> isPalListKind#() ->
    isPalListKind#() -> isPalListKind#()
    U53#(tt()) -> isPalListKind#() ->
    isPalListKind#() -> U91#(isPalListKind())
    U52#(tt()) -> U53#(isPalListKind()) ->
    U53#(tt()) -> isPalListKind#()
    U52#(tt()) -> U53#(isPalListKind()) ->
    U53#(tt()) -> U54#(isPalListKind())
    U52#(tt()) -> isPalListKind#() ->
    isPalListKind#() -> isPalListKind#()
    U52#(tt()) -> isPalListKind#() ->
    isPalListKind#() -> U91#(isPalListKind())
    U51#(tt()) -> U52#(isPalListKind()) ->
    U52#(tt()) -> isPalListKind#()
    U51#(tt()) -> U52#(isPalListKind()) ->
    U52#(tt()) -> U53#(isPalListKind())
    U51#(tt()) -> isPalListKind#() ->
    isPalListKind#() -> isPalListKind#()
    U51#(tt()) -> isPalListKind#() ->
    isPalListKind#() -> U91#(isPalListKind())
    U45#(tt()) -> isNeList#() -> isNeList#() -> isPalListKind#()
    U45#(tt()) -> isNeList#() -> isNeList#() -> U31#(isPalListKind())
    U45#(tt()) -> isNeList#() -> isNeList#() -> U41#(isPalListKind())
    U45#(tt()) -> isNeList#() -> isNeList#() -> U51#(isPalListKind())
    U44#(tt()) -> U45#(isList()) -> U45#(tt()) -> isNeList#()
    U44#(tt()) -> U45#(isList()) -> U45#(tt()) -> U46#(isNeList())
    U44#(tt()) -> isList#() -> isList#() -> isPalListKind#()
    U44#(tt()) -> isList#() -> isList#() -> U11#(isPalListKind())
    U44#(tt()) -> isList#() ->
    isList#() -> U21#(isPalListKind())
    U43#(tt()) -> U44#(isPalListKind()) ->
    U44#(tt()) -> isList#()
    U43#(tt()) -> U44#(isPalListKind()) ->
    U44#(tt()) -> U45#(isList())
    U43#(tt()) -> isPalListKind#() ->
    isPalListKind#() -> isPalListKind#()
    U43#(tt()) -> isPalListKind#() ->
    isPalListKind#() -> U91#(isPalListKind())
    U42#(tt()) -> U43#(isPalListKind()) ->
    U43#(tt()) -> isPalListKind#()
    U42#(tt()) -> U43#(isPalListKind()) ->
    U43#(tt()) -> U44#(isPalListKind())
    U42#(tt()) -> isPalListKind#() ->
    isPalListKind#() -> isPalListKind#()
    U42#(tt()) -> isPalListKind#() ->
    isPalListKind#() -> U91#(isPalListKind())
    U41#(tt()) -> U42#(isPalListKind()) ->
    U42#(tt()) -> isPalListKind#()
    U41#(tt()) -> U42#(isPalListKind()) ->
    U42#(tt()) -> U43#(isPalListKind())
    U41#(tt()) -> isPalListKind#() ->
    isPalListKind#() -> isPalListKind#()
    U41#(tt()) -> isPalListKind#() ->
    isPalListKind#() -> U91#(isPalListKind())
    U31#(tt()) -> U32#(isPalListKind()) ->
    U32#(tt()) -> isQid#()
    U31#(tt()) -> U32#(isPalListKind()) ->
    U32#(tt()) -> U33#(isQid())
    U31#(tt()) -> isPalListKind#() ->
    isPalListKind#() -> isPalListKind#()
    U31#(tt()) -> isPalListKind#() ->
    isPalListKind#() -> U91#(isPalListKind())
    U25#(tt()) -> isList#() -> isList#() -> isPalListKind#()
    U25#(tt()) -> isList#() -> isList#() -> U11#(isPalListKind())
    U25#(tt()) -> isList#() -> isList#() -> U21#(isPalListKind())
    isList#() -> U21#(isPalListKind()) ->
    U21#(tt()) -> isPalListKind#()
    isList#() -> U21#(isPalListKind()) ->
    U21#(tt()) -> U22#(isPalListKind())
    isList#() -> isPalListKind#() ->
    isPalListKind#() -> isPalListKind#()
    isList#() -> isPalListKind#() ->
    isPalListKind#() -> U91#(isPalListKind())
    isList#() -> U11#(isPalListKind()) ->
    U11#(tt()) -> isPalListKind#()
    isList#() -> U11#(isPalListKind()) ->
    U11#(tt()) -> U12#(isPalListKind())
    U24#(tt()) -> U25#(isList()) -> U25#(tt()) -> isList#()
    U24#(tt()) -> U25#(isList()) -> U25#(tt()) -> U26#(isList())
    U24#(tt()) -> isList#() -> isList#() -> isPalListKind#()
    U24#(tt()) -> isList#() -> isList#() -> U11#(isPalListKind())
    U24#(tt()) -> isList#() ->
    isList#() -> U21#(isPalListKind())
    U23#(tt()) -> U24#(isPalListKind()) ->
    U24#(tt()) -> isList#()
    U23#(tt()) -> U24#(isPalListKind()) ->
    U24#(tt()) -> U25#(isList())
    U23#(tt()) -> isPalListKind#() ->
    isPalListKind#() -> isPalListKind#()
    U23#(tt()) -> isPalListKind#() ->
    isPalListKind#() -> U91#(isPalListKind())
    U22#(tt()) -> U23#(isPalListKind()) ->
    U23#(tt()) -> isPalListKind#()
    U22#(tt()) -> U23#(isPalListKind()) ->
    U23#(tt()) -> U24#(isPalListKind())
    U22#(tt()) -> isPalListKind#() ->
    isPalListKind#() -> isPalListKind#()
    U22#(tt()) -> isPalListKind#() ->
    isPalListKind#() -> U91#(isPalListKind())
    U21#(tt()) -> U22#(isPalListKind()) ->
    U22#(tt()) -> isPalListKind#()
    U21#(tt()) -> U22#(isPalListKind()) ->
    U22#(tt()) -> U23#(isPalListKind())
    U21#(tt()) -> isPalListKind#() ->
    isPalListKind#() -> isPalListKind#()
    U21#(tt()) -> isPalListKind#() ->
    isPalListKind#() -> U91#(isPalListKind())
    isNeList#() -> U51#(isPalListKind()) ->
    U51#(tt()) -> isPalListKind#()
    isNeList#() -> U51#(isPalListKind()) ->
    U51#(tt()) -> U52#(isPalListKind())
    isNeList#() -> U41#(isPalListKind()) ->
    U41#(tt()) -> isPalListKind#()
    isNeList#() -> U41#(isPalListKind()) ->
    U41#(tt()) -> U42#(isPalListKind())
    isNeList#() -> U31#(isPalListKind()) ->
    U31#(tt()) -> isPalListKind#()
    isNeList#() -> U31#(isPalListKind()) ->
    U31#(tt()) -> U32#(isPalListKind())
    isNeList#() -> isPalListKind#() ->
    isPalListKind#() -> isPalListKind#()
    isNeList#() -> isPalListKind#() ->
    isPalListKind#() -> U91#(isPalListKind())
    U12#(tt()) -> isNeList#() -> isNeList#() -> isPalListKind#()
    U12#(tt()) -> isNeList#() -> isNeList#() -> U31#(isPalListKind())
    U12#(tt()) -> isNeList#() -> isNeList#() -> U41#(isPalListKind())
    U12#(tt()) -> isNeList#() ->
    isNeList#() -> U51#(isPalListKind())
    isPalListKind#() -> U91#(isPalListKind()) ->
    U91#(tt()) -> isPalListKind#()
    isPalListKind#() -> U91#(isPalListKind()) ->
    U91#(tt()) -> U92#(isPalListKind())
    isPalListKind#() -> isPalListKind#() ->
    isPalListKind#() -> isPalListKind#()
    isPalListKind#() -> isPalListKind#() ->
    isPalListKind#() -> U91#(isPalListKind())
    U11#(tt()) -> U12#(isPalListKind()) ->
    U12#(tt()) -> isNeList#()
    U11#(tt()) -> U12#(isPalListKind()) ->
    U12#(tt()) -> U13#(isNeList())
    U11#(tt()) -> isPalListKind#() ->
    isPalListKind#() -> isPalListKind#()
    U11#(tt()) -> isPalListKind#() ->
    isPalListKind#() -> U91#(isPalListKind())
    __#(__(X,Y),Z) -> __#(Y,Z) -> __#(__(X,Y),Z) -> __#(Y,Z)
    __#(__(X,Y),Z) -> __#(Y,Z) -> __#(__(X,Y),Z) -> __#(X,__(Y,Z))
    __#(__(X,Y),Z) -> __#(X,__(Y,Z)) -> __#(__(X,Y),Z) -> __#(Y,Z)
    __#(__(X,Y),Z) -> __#(X,__(Y,Z)) -> __#(__(X,Y),Z) -> __#(X,__(Y,Z))
   Restore Modifier:
    DPs:
     __#(__(X,Y),Z) -> __#(Y,Z)
     __#(__(X,Y),Z) -> __#(X,__(Y,Z))
     U11#(tt()) -> isPalListKind#()
     U11#(tt()) -> U12#(isPalListKind())
     U12#(tt()) -> isNeList#()
     U12#(tt()) -> U13#(isNeList())
     U21#(tt()) -> isPalListKind#()
     U21#(tt()) -> U22#(isPalListKind())
     U22#(tt()) -> isPalListKind#()
     U22#(tt()) -> U23#(isPalListKind())
     U23#(tt()) -> isPalListKind#()
     U23#(tt()) -> U24#(isPalListKind())
     U24#(tt()) -> isList#()
     U24#(tt()) -> U25#(isList())
     U25#(tt()) -> isList#()
     U25#(tt()) -> U26#(isList())
     U31#(tt()) -> isPalListKind#()
     U31#(tt()) -> U32#(isPalListKind())
     U32#(tt()) -> isQid#()
     U32#(tt()) -> U33#(isQid())
     U41#(tt()) -> isPalListKind#()
     U41#(tt()) -> U42#(isPalListKind())
     U42#(tt()) -> isPalListKind#()
     U42#(tt()) -> U43#(isPalListKind())
     U43#(tt()) -> isPalListKind#()
     U43#(tt()) -> U44#(isPalListKind())
     U44#(tt()) -> isList#()
     U44#(tt()) -> U45#(isList())
     U45#(tt()) -> isNeList#()
     U45#(tt()) -> U46#(isNeList())
     U51#(tt()) -> isPalListKind#()
     U51#(tt()) -> U52#(isPalListKind())
     U52#(tt()) -> isPalListKind#()
     U52#(tt()) -> U53#(isPalListKind())
     U53#(tt()) -> isPalListKind#()
     U53#(tt()) -> U54#(isPalListKind())
     U54#(tt()) -> isNeList#()
     U54#(tt()) -> U55#(isNeList())
     U55#(tt()) -> isList#()
     U55#(tt()) -> U56#(isList())
     U61#(tt()) -> isPalListKind#()
     U61#(tt()) -> U62#(isPalListKind())
     U62#(tt()) -> isQid#()
     U62#(tt()) -> U63#(isQid())
     U71#(tt()) -> isPalListKind#()
     U71#(tt()) -> U72#(isPalListKind())
     U72#(tt()) -> isPal#()
     U72#(tt()) -> U73#(isPal())
     U73#(tt()) -> isPalListKind#()
     U73#(tt()) -> U74#(isPalListKind())
     U81#(tt()) -> isPalListKind#()
     U81#(tt()) -> U82#(isPalListKind())
     U82#(tt()) -> isNePal#()
     U82#(tt()) -> U83#(isNePal())
     U91#(tt()) -> isPalListKind#()
     U91#(tt()) -> U92#(isPalListKind())
     isList#() -> isPalListKind#()
     isList#() -> U11#(isPalListKind())
     isList#() -> U21#(isPalListKind())
     isNeList#() -> isPalListKind#()
     isNeList#() -> U31#(isPalListKind())
     isNeList#() -> U41#(isPalListKind())
     isNeList#() -> U51#(isPalListKind())
     isNePal#() -> isPalListKind#()
     isNePal#() -> U61#(isPalListKind())
     isNePal#() -> isQid#()
     isNePal#() -> U71#(isQid())
     isPal#() -> isPalListKind#()
     isPal#() -> U81#(isPalListKind())
     isPalListKind#() -> isPalListKind#()
     isPalListKind#() -> U91#(isPalListKind())
    TRS:
     __(__(X,Y),Z) -> __(X,__(Y,Z))
     __(X,nil()) -> X
     __(nil(),X) -> X
     U11(tt()) -> U12(isPalListKind())
     U12(tt()) -> U13(isNeList())
     U13(tt()) -> tt()
     U21(tt()) -> U22(isPalListKind())
     U22(tt()) -> U23(isPalListKind())
     U23(tt()) -> U24(isPalListKind())
     U24(tt()) -> U25(isList())
     U25(tt()) -> U26(isList())
     U26(tt()) -> tt()
     U31(tt()) -> U32(isPalListKind())
     U32(tt()) -> U33(isQid())
     U33(tt()) -> tt()
     U41(tt()) -> U42(isPalListKind())
     U42(tt()) -> U43(isPalListKind())
     U43(tt()) -> U44(isPalListKind())
     U44(tt()) -> U45(isList())
     U45(tt()) -> U46(isNeList())
     U46(tt()) -> tt()
     U51(tt()) -> U52(isPalListKind())
     U52(tt()) -> U53(isPalListKind())
     U53(tt()) -> U54(isPalListKind())
     U54(tt()) -> U55(isNeList())
     U55(tt()) -> U56(isList())
     U56(tt()) -> tt()
     U61(tt()) -> U62(isPalListKind())
     U62(tt()) -> U63(isQid())
     U63(tt()) -> tt()
     U71(tt()) -> U72(isPalListKind())
     U72(tt()) -> U73(isPal())
     U73(tt()) -> U74(isPalListKind())
     U74(tt()) -> tt()
     U81(tt()) -> U82(isPalListKind())
     U82(tt()) -> U83(isNePal())
     U83(tt()) -> tt()
     U91(tt()) -> U92(isPalListKind())
     U92(tt()) -> tt()
     isList() -> U11(isPalListKind())
     isList() -> tt()
     isList() -> U21(isPalListKind())
     isNeList() -> U31(isPalListKind())
     isNeList() -> U41(isPalListKind())
     isNeList() -> U51(isPalListKind())
     isNePal() -> U61(isPalListKind())
     isNePal() -> U71(isQid())
     isPal() -> U81(isPalListKind())
     isPal() -> tt()
     isPalListKind() -> tt()
     isPalListKind() -> U91(isPalListKind())
     isQid() -> tt()
    SCC Processor:
     #sccs: 4
     #rules: 35
     #arcs: 130/5041
     DPs:
      __#(__(X,Y),Z) -> __#(Y,Z)
      __#(__(X,Y),Z) -> __#(X,__(Y,Z))
     TRS:
      __(__(X,Y),Z) -> __(X,__(Y,Z))
      __(X,nil()) -> X
      __(nil(),X) -> X
      U11(tt()) -> U12(isPalListKind())
      U12(tt()) -> U13(isNeList())
      U13(tt()) -> tt()
      U21(tt()) -> U22(isPalListKind())
      U22(tt()) -> U23(isPalListKind())
      U23(tt()) -> U24(isPalListKind())
      U24(tt()) -> U25(isList())
      U25(tt()) -> U26(isList())
      U26(tt()) -> tt()
      U31(tt()) -> U32(isPalListKind())
      U32(tt()) -> U33(isQid())
      U33(tt()) -> tt()
      U41(tt()) -> U42(isPalListKind())
      U42(tt()) -> U43(isPalListKind())
      U43(tt()) -> U44(isPalListKind())
      U44(tt()) -> U45(isList())
      U45(tt()) -> U46(isNeList())
      U46(tt()) -> tt()
      U51(tt()) -> U52(isPalListKind())
      U52(tt()) -> U53(isPalListKind())
      U53(tt()) -> U54(isPalListKind())
      U54(tt()) -> U55(isNeList())
      U55(tt()) -> U56(isList())
      U56(tt()) -> tt()
      U61(tt()) -> U62(isPalListKind())
      U62(tt()) -> U63(isQid())
      U63(tt()) -> tt()
      U71(tt()) -> U72(isPalListKind())
      U72(tt()) -> U73(isPal())
      U73(tt()) -> U74(isPalListKind())
      U74(tt()) -> tt()
      U81(tt()) -> U82(isPalListKind())
      U82(tt()) -> U83(isNePal())
      U83(tt()) -> tt()
      U91(tt()) -> U92(isPalListKind())
      U92(tt()) -> tt()
      isList() -> U11(isPalListKind())
      isList() -> tt()
      isList() -> U21(isPalListKind())
      isNeList() -> U31(isPalListKind())
      isNeList() -> U41(isPalListKind())
      isNeList() -> U51(isPalListKind())
      isNePal() -> U61(isPalListKind())
      isNePal() -> U71(isQid())
      isPal() -> U81(isPalListKind())
      isPal() -> tt()
      isPalListKind() -> tt()
      isPalListKind() -> U91(isPalListKind())
      isQid() -> tt()
     Open
     
     DPs:
      U55#(tt()) -> isList#()
      isList#() -> U21#(isPalListKind())
      U21#(tt()) -> U22#(isPalListKind())
      U22#(tt()) -> U23#(isPalListKind())
      U23#(tt()) -> U24#(isPalListKind())
      U24#(tt()) -> U25#(isList())
      U25#(tt()) -> isList#()
      isList#() -> U11#(isPalListKind())
      U11#(tt()) -> U12#(isPalListKind())
      U12#(tt()) -> isNeList#()
      isNeList#() -> U51#(isPalListKind())
      U51#(tt()) -> U52#(isPalListKind())
      U52#(tt()) -> U53#(isPalListKind())
      U53#(tt()) -> U54#(isPalListKind())
      U54#(tt()) -> U55#(isNeList())
      U54#(tt()) -> isNeList#()
      isNeList#() -> U41#(isPalListKind())
      U41#(tt()) -> U42#(isPalListKind())
      U42#(tt()) -> U43#(isPalListKind())
      U43#(tt()) -> U44#(isPalListKind())
      U44#(tt()) -> U45#(isList())
      U45#(tt()) -> isNeList#()
      U44#(tt()) -> isList#()
      U24#(tt()) -> isList#()
     TRS:
      __(__(X,Y),Z) -> __(X,__(Y,Z))
      __(X,nil()) -> X
      __(nil(),X) -> X
      U11(tt()) -> U12(isPalListKind())
      U12(tt()) -> U13(isNeList())
      U13(tt()) -> tt()
      U21(tt()) -> U22(isPalListKind())
      U22(tt()) -> U23(isPalListKind())
      U23(tt()) -> U24(isPalListKind())
      U24(tt()) -> U25(isList())
      U25(tt()) -> U26(isList())
      U26(tt()) -> tt()
      U31(tt()) -> U32(isPalListKind())
      U32(tt()) -> U33(isQid())
      U33(tt()) -> tt()
      U41(tt()) -> U42(isPalListKind())
      U42(tt()) -> U43(isPalListKind())
      U43(tt()) -> U44(isPalListKind())
      U44(tt()) -> U45(isList())
      U45(tt()) -> U46(isNeList())
      U46(tt()) -> tt()
      U51(tt()) -> U52(isPalListKind())
      U52(tt()) -> U53(isPalListKind())
      U53(tt()) -> U54(isPalListKind())
      U54(tt()) -> U55(isNeList())
      U55(tt()) -> U56(isList())
      U56(tt()) -> tt()
      U61(tt()) -> U62(isPalListKind())
      U62(tt()) -> U63(isQid())
      U63(tt()) -> tt()
      U71(tt()) -> U72(isPalListKind())
      U72(tt()) -> U73(isPal())
      U73(tt()) -> U74(isPalListKind())
      U74(tt()) -> tt()
      U81(tt()) -> U82(isPalListKind())
      U82(tt()) -> U83(isNePal())
      U83(tt()) -> tt()
      U91(tt()) -> U92(isPalListKind())
      U92(tt()) -> tt()
      isList() -> U11(isPalListKind())
      isList() -> tt()
      isList() -> U21(isPalListKind())
      isNeList() -> U31(isPalListKind())
      isNeList() -> U41(isPalListKind())
      isNeList() -> U51(isPalListKind())
      isNePal() -> U61(isPalListKind())
      isNePal() -> U71(isQid())
      isPal() -> U81(isPalListKind())
      isPal() -> tt()
      isPalListKind() -> tt()
      isPalListKind() -> U91(isPalListKind())
      isQid() -> tt()
     Open
     
     DPs:
      isNePal#() -> U71#(isQid())
      U71#(tt()) -> U72#(isPalListKind())
      U72#(tt()) -> isPal#()
      isPal#() -> U81#(isPalListKind())
      U81#(tt()) -> U82#(isPalListKind())
      U82#(tt()) -> isNePal#()
     TRS:
      __(__(X,Y),Z) -> __(X,__(Y,Z))
      __(X,nil()) -> X
      __(nil(),X) -> X
      U11(tt()) -> U12(isPalListKind())
      U12(tt()) -> U13(isNeList())
      U13(tt()) -> tt()
      U21(tt()) -> U22(isPalListKind())
      U22(tt()) -> U23(isPalListKind())
      U23(tt()) -> U24(isPalListKind())
      U24(tt()) -> U25(isList())
      U25(tt()) -> U26(isList())
      U26(tt()) -> tt()
      U31(tt()) -> U32(isPalListKind())
      U32(tt()) -> U33(isQid())
      U33(tt()) -> tt()
      U41(tt()) -> U42(isPalListKind())
      U42(tt()) -> U43(isPalListKind())
      U43(tt()) -> U44(isPalListKind())
      U44(tt()) -> U45(isList())
      U45(tt()) -> U46(isNeList())
      U46(tt()) -> tt()
      U51(tt()) -> U52(isPalListKind())
      U52(tt()) -> U53(isPalListKind())
      U53(tt()) -> U54(isPalListKind())
      U54(tt()) -> U55(isNeList())
      U55(tt()) -> U56(isList())
      U56(tt()) -> tt()
      U61(tt()) -> U62(isPalListKind())
      U62(tt()) -> U63(isQid())
      U63(tt()) -> tt()
      U71(tt()) -> U72(isPalListKind())
      U72(tt()) -> U73(isPal())
      U73(tt()) -> U74(isPalListKind())
      U74(tt()) -> tt()
      U81(tt()) -> U82(isPalListKind())
      U82(tt()) -> U83(isNePal())
      U83(tt()) -> tt()
      U91(tt()) -> U92(isPalListKind())
      U92(tt()) -> tt()
      isList() -> U11(isPalListKind())
      isList() -> tt()
      isList() -> U21(isPalListKind())
      isNeList() -> U31(isPalListKind())
      isNeList() -> U41(isPalListKind())
      isNeList() -> U51(isPalListKind())
      isNePal() -> U61(isPalListKind())
      isNePal() -> U71(isQid())
      isPal() -> U81(isPalListKind())
      isPal() -> tt()
      isPalListKind() -> tt()
      isPalListKind() -> U91(isPalListKind())
      isQid() -> tt()
     Open
     
     DPs:
      U91#(tt()) -> isPalListKind#()
      isPalListKind#() -> U91#(isPalListKind())
      isPalListKind#() -> isPalListKind#()
     TRS:
      __(__(X,Y),Z) -> __(X,__(Y,Z))
      __(X,nil()) -> X
      __(nil(),X) -> X
      U11(tt()) -> U12(isPalListKind())
      U12(tt()) -> U13(isNeList())
      U13(tt()) -> tt()
      U21(tt()) -> U22(isPalListKind())
      U22(tt()) -> U23(isPalListKind())
      U23(tt()) -> U24(isPalListKind())
      U24(tt()) -> U25(isList())
      U25(tt()) -> U26(isList())
      U26(tt()) -> tt()
      U31(tt()) -> U32(isPalListKind())
      U32(tt()) -> U33(isQid())
      U33(tt()) -> tt()
      U41(tt()) -> U42(isPalListKind())
      U42(tt()) -> U43(isPalListKind())
      U43(tt()) -> U44(isPalListKind())
      U44(tt()) -> U45(isList())
      U45(tt()) -> U46(isNeList())
      U46(tt()) -> tt()
      U51(tt()) -> U52(isPalListKind())
      U52(tt()) -> U53(isPalListKind())
      U53(tt()) -> U54(isPalListKind())
      U54(tt()) -> U55(isNeList())
      U55(tt()) -> U56(isList())
      U56(tt()) -> tt()
      U61(tt()) -> U62(isPalListKind())
      U62(tt()) -> U63(isQid())
      U63(tt()) -> tt()
      U71(tt()) -> U72(isPalListKind())
      U72(tt()) -> U73(isPal())
      U73(tt()) -> U74(isPalListKind())
      U74(tt()) -> tt()
      U81(tt()) -> U82(isPalListKind())
      U82(tt()) -> U83(isNePal())
      U83(tt()) -> tt()
      U91(tt()) -> U92(isPalListKind())
      U92(tt()) -> tt()
      isList() -> U11(isPalListKind())
      isList() -> tt()
      isList() -> U21(isPalListKind())
      isNeList() -> U31(isPalListKind())
      isNeList() -> U41(isPalListKind())
      isNeList() -> U51(isPalListKind())
      isNePal() -> U61(isPalListKind())
      isNePal() -> U71(isQid())
      isPal() -> U81(isPalListKind())
      isPal() -> tt()
      isPalListKind() -> tt()
      isPalListKind() -> U91(isPalListKind())
      isQid() -> tt()
     Open