MAYBE

Problem:
 __(__(X,Y),Z) -> __(X,__(Y,Z))
 __(X,nil()) -> X
 __(nil(),X) -> X
 U11(tt(),V) -> U12(isPalListKind(activate(V)),activate(V))
 U12(tt(),V) -> U13(isNeList(activate(V)))
 U13(tt()) -> tt()
 U21(tt(),V1,V2) -> U22(isPalListKind(activate(V1)),activate(V1),activate(V2))
 U22(tt(),V1,V2) -> U23(isPalListKind(activate(V2)),activate(V1),activate(V2))
 U23(tt(),V1,V2) -> U24(isPalListKind(activate(V2)),activate(V1),activate(V2))
 U24(tt(),V1,V2) -> U25(isList(activate(V1)),activate(V2))
 U25(tt(),V2) -> U26(isList(activate(V2)))
 U26(tt()) -> tt()
 U31(tt(),V) -> U32(isPalListKind(activate(V)),activate(V))
 U32(tt(),V) -> U33(isQid(activate(V)))
 U33(tt()) -> tt()
 U41(tt(),V1,V2) -> U42(isPalListKind(activate(V1)),activate(V1),activate(V2))
 U42(tt(),V1,V2) -> U43(isPalListKind(activate(V2)),activate(V1),activate(V2))
 U43(tt(),V1,V2) -> U44(isPalListKind(activate(V2)),activate(V1),activate(V2))
 U44(tt(),V1,V2) -> U45(isList(activate(V1)),activate(V2))
 U45(tt(),V2) -> U46(isNeList(activate(V2)))
 U46(tt()) -> tt()
 U51(tt(),V1,V2) -> U52(isPalListKind(activate(V1)),activate(V1),activate(V2))
 U52(tt(),V1,V2) -> U53(isPalListKind(activate(V2)),activate(V1),activate(V2))
 U53(tt(),V1,V2) -> U54(isPalListKind(activate(V2)),activate(V1),activate(V2))
 U54(tt(),V1,V2) -> U55(isNeList(activate(V1)),activate(V2))
 U55(tt(),V2) -> U56(isList(activate(V2)))
 U56(tt()) -> tt()
 U61(tt(),V) -> U62(isPalListKind(activate(V)),activate(V))
 U62(tt(),V) -> U63(isQid(activate(V)))
 U63(tt()) -> tt()
 U71(tt(),I,P) -> U72(isPalListKind(activate(I)),activate(P))
 U72(tt(),P) -> U73(isPal(activate(P)),activate(P))
 U73(tt(),P) -> U74(isPalListKind(activate(P)))
 U74(tt()) -> tt()
 U81(tt(),V) -> U82(isPalListKind(activate(V)),activate(V))
 U82(tt(),V) -> U83(isNePal(activate(V)))
 U83(tt()) -> tt()
 U91(tt(),V2) -> U92(isPalListKind(activate(V2)))
 U92(tt()) -> tt()
 isList(V) -> U11(isPalListKind(activate(V)),activate(V))
 isList(n__nil()) -> tt()
 isList(n____(V1,V2)) -> U21(isPalListKind(activate(V1)),activate(V1),activate(V2))
 isNeList(V) -> U31(isPalListKind(activate(V)),activate(V))
 isNeList(n____(V1,V2)) -> U41(isPalListKind(activate(V1)),activate(V1),activate(V2))
 isNeList(n____(V1,V2)) -> U51(isPalListKind(activate(V1)),activate(V1),activate(V2))
 isNePal(V) -> U61(isPalListKind(activate(V)),activate(V))
 isNePal(n____(I,__(P,I))) -> U71(isQid(activate(I)),activate(I),activate(P))
 isPal(V) -> U81(isPalListKind(activate(V)),activate(V))
 isPal(n__nil()) -> tt()
 isPalListKind(n__a()) -> tt()
 isPalListKind(n__e()) -> tt()
 isPalListKind(n__i()) -> tt()
 isPalListKind(n__nil()) -> tt()
 isPalListKind(n__o()) -> tt()
 isPalListKind(n__u()) -> tt()
 isPalListKind(n____(V1,V2)) -> U91(isPalListKind(activate(V1)),activate(V2))
 isQid(n__a()) -> tt()
 isQid(n__e()) -> tt()
 isQid(n__i()) -> tt()
 isQid(n__o()) -> tt()
 isQid(n__u()) -> tt()
 nil() -> n__nil()
 __(X1,X2) -> n____(X1,X2)
 a() -> n__a()
 e() -> n__e()
 i() -> n__i()
 o() -> n__o()
 u() -> n__u()
 activate(n__nil()) -> nil()
 activate(n____(X1,X2)) -> __(X1,X2)
 activate(n__a()) -> a()
 activate(n__e()) -> e()
 activate(n__i()) -> i()
 activate(n__o()) -> o()
 activate(n__u()) -> u()
 activate(X) -> X

Proof:
 DP Processor:
  DPs:
   __#(__(X,Y),Z) -> __#(Y,Z)
   __#(__(X,Y),Z) -> __#(X,__(Y,Z))
   U11#(tt(),V) -> activate#(V)
   U11#(tt(),V) -> isPalListKind#(activate(V))
   U11#(tt(),V) -> U12#(isPalListKind(activate(V)),activate(V))
   U12#(tt(),V) -> activate#(V)
   U12#(tt(),V) -> isNeList#(activate(V))
   U12#(tt(),V) -> U13#(isNeList(activate(V)))
   U21#(tt(),V1,V2) -> activate#(V2)
   U21#(tt(),V1,V2) -> activate#(V1)
   U21#(tt(),V1,V2) -> isPalListKind#(activate(V1))
   U21#(tt(),V1,V2) -> U22#(isPalListKind(activate(V1)),activate(V1),activate(V2))
   U22#(tt(),V1,V2) -> activate#(V1)
   U22#(tt(),V1,V2) -> activate#(V2)
   U22#(tt(),V1,V2) -> isPalListKind#(activate(V2))
   U22#(tt(),V1,V2) -> U23#(isPalListKind(activate(V2)),activate(V1),activate(V2))
   U23#(tt(),V1,V2) -> activate#(V1)
   U23#(tt(),V1,V2) -> activate#(V2)
   U23#(tt(),V1,V2) -> isPalListKind#(activate(V2))
   U23#(tt(),V1,V2) -> U24#(isPalListKind(activate(V2)),activate(V1),activate(V2))
   U24#(tt(),V1,V2) -> activate#(V2)
   U24#(tt(),V1,V2) -> activate#(V1)
   U24#(tt(),V1,V2) -> isList#(activate(V1))
   U24#(tt(),V1,V2) -> U25#(isList(activate(V1)),activate(V2))
   U25#(tt(),V2) -> activate#(V2)
   U25#(tt(),V2) -> isList#(activate(V2))
   U25#(tt(),V2) -> U26#(isList(activate(V2)))
   U31#(tt(),V) -> activate#(V)
   U31#(tt(),V) -> isPalListKind#(activate(V))
   U31#(tt(),V) -> U32#(isPalListKind(activate(V)),activate(V))
   U32#(tt(),V) -> activate#(V)
   U32#(tt(),V) -> isQid#(activate(V))
   U32#(tt(),V) -> U33#(isQid(activate(V)))
   U41#(tt(),V1,V2) -> activate#(V2)
   U41#(tt(),V1,V2) -> activate#(V1)
   U41#(tt(),V1,V2) -> isPalListKind#(activate(V1))
   U41#(tt(),V1,V2) -> U42#(isPalListKind(activate(V1)),activate(V1),activate(V2))
   U42#(tt(),V1,V2) -> activate#(V1)
   U42#(tt(),V1,V2) -> activate#(V2)
   U42#(tt(),V1,V2) -> isPalListKind#(activate(V2))
   U42#(tt(),V1,V2) -> U43#(isPalListKind(activate(V2)),activate(V1),activate(V2))
   U43#(tt(),V1,V2) -> activate#(V1)
   U43#(tt(),V1,V2) -> activate#(V2)
   U43#(tt(),V1,V2) -> isPalListKind#(activate(V2))
   U43#(tt(),V1,V2) -> U44#(isPalListKind(activate(V2)),activate(V1),activate(V2))
   U44#(tt(),V1,V2) -> activate#(V2)
   U44#(tt(),V1,V2) -> activate#(V1)
   U44#(tt(),V1,V2) -> isList#(activate(V1))
   U44#(tt(),V1,V2) -> U45#(isList(activate(V1)),activate(V2))
   U45#(tt(),V2) -> activate#(V2)
   U45#(tt(),V2) -> isNeList#(activate(V2))
   U45#(tt(),V2) -> U46#(isNeList(activate(V2)))
   U51#(tt(),V1,V2) -> activate#(V2)
   U51#(tt(),V1,V2) -> activate#(V1)
   U51#(tt(),V1,V2) -> isPalListKind#(activate(V1))
   U51#(tt(),V1,V2) -> U52#(isPalListKind(activate(V1)),activate(V1),activate(V2))
   U52#(tt(),V1,V2) -> activate#(V1)
   U52#(tt(),V1,V2) -> activate#(V2)
   U52#(tt(),V1,V2) -> isPalListKind#(activate(V2))
   U52#(tt(),V1,V2) -> U53#(isPalListKind(activate(V2)),activate(V1),activate(V2))
   U53#(tt(),V1,V2) -> activate#(V1)
   U53#(tt(),V1,V2) -> activate#(V2)
   U53#(tt(),V1,V2) -> isPalListKind#(activate(V2))
   U53#(tt(),V1,V2) -> U54#(isPalListKind(activate(V2)),activate(V1),activate(V2))
   U54#(tt(),V1,V2) -> activate#(V2)
   U54#(tt(),V1,V2) -> activate#(V1)
   U54#(tt(),V1,V2) -> isNeList#(activate(V1))
   U54#(tt(),V1,V2) -> U55#(isNeList(activate(V1)),activate(V2))
   U55#(tt(),V2) -> activate#(V2)
   U55#(tt(),V2) -> isList#(activate(V2))
   U55#(tt(),V2) -> U56#(isList(activate(V2)))
   U61#(tt(),V) -> activate#(V)
   U61#(tt(),V) -> isPalListKind#(activate(V))
   U61#(tt(),V) -> U62#(isPalListKind(activate(V)),activate(V))
   U62#(tt(),V) -> activate#(V)
   U62#(tt(),V) -> isQid#(activate(V))
   U62#(tt(),V) -> U63#(isQid(activate(V)))
   U71#(tt(),I,P) -> activate#(P)
   U71#(tt(),I,P) -> activate#(I)
   U71#(tt(),I,P) -> isPalListKind#(activate(I))
   U71#(tt(),I,P) -> U72#(isPalListKind(activate(I)),activate(P))
   U72#(tt(),P) -> activate#(P)
   U72#(tt(),P) -> isPal#(activate(P))
   U72#(tt(),P) -> U73#(isPal(activate(P)),activate(P))
   U73#(tt(),P) -> activate#(P)
   U73#(tt(),P) -> isPalListKind#(activate(P))
   U73#(tt(),P) -> U74#(isPalListKind(activate(P)))
   U81#(tt(),V) -> activate#(V)
   U81#(tt(),V) -> isPalListKind#(activate(V))
   U81#(tt(),V) -> U82#(isPalListKind(activate(V)),activate(V))
   U82#(tt(),V) -> activate#(V)
   U82#(tt(),V) -> isNePal#(activate(V))
   U82#(tt(),V) -> U83#(isNePal(activate(V)))
   U91#(tt(),V2) -> activate#(V2)
   U91#(tt(),V2) -> isPalListKind#(activate(V2))
   U91#(tt(),V2) -> U92#(isPalListKind(activate(V2)))
   isList#(V) -> activate#(V)
   isList#(V) -> isPalListKind#(activate(V))
   isList#(V) -> U11#(isPalListKind(activate(V)),activate(V))
   isList#(n____(V1,V2)) -> activate#(V2)
   isList#(n____(V1,V2)) -> activate#(V1)
   isList#(n____(V1,V2)) -> isPalListKind#(activate(V1))
   isList#(n____(V1,V2)) -> U21#(isPalListKind(activate(V1)),activate(V1),activate(V2))
   isNeList#(V) -> activate#(V)
   isNeList#(V) -> isPalListKind#(activate(V))
   isNeList#(V) -> U31#(isPalListKind(activate(V)),activate(V))
   isNeList#(n____(V1,V2)) -> activate#(V2)
   isNeList#(n____(V1,V2)) -> activate#(V1)
   isNeList#(n____(V1,V2)) -> isPalListKind#(activate(V1))
   isNeList#(n____(V1,V2)) -> U41#(isPalListKind(activate(V1)),activate(V1),activate(V2))
   isNeList#(n____(V1,V2)) -> U51#(isPalListKind(activate(V1)),activate(V1),activate(V2))
   isNePal#(V) -> activate#(V)
   isNePal#(V) -> isPalListKind#(activate(V))
   isNePal#(V) -> U61#(isPalListKind(activate(V)),activate(V))
   isNePal#(n____(I,__(P,I))) -> activate#(P)
   isNePal#(n____(I,__(P,I))) -> activate#(I)
   isNePal#(n____(I,__(P,I))) -> isQid#(activate(I))
   isNePal#(n____(I,__(P,I))) -> U71#(isQid(activate(I)),activate(I),activate(P))
   isPal#(V) -> activate#(V)
   isPal#(V) -> isPalListKind#(activate(V))
   isPal#(V) -> U81#(isPalListKind(activate(V)),activate(V))
   isPalListKind#(n____(V1,V2)) -> activate#(V2)
   isPalListKind#(n____(V1,V2)) -> activate#(V1)
   isPalListKind#(n____(V1,V2)) -> isPalListKind#(activate(V1))
   isPalListKind#(n____(V1,V2)) -> U91#(isPalListKind(activate(V1)),activate(V2))
   activate#(n__nil()) -> nil#()
   activate#(n____(X1,X2)) -> __#(X1,X2)
   activate#(n__a()) -> a#()
   activate#(n__e()) -> e#()
   activate#(n__i()) -> i#()
   activate#(n__o()) -> o#()
   activate#(n__u()) -> u#()
  TRS:
   __(__(X,Y),Z) -> __(X,__(Y,Z))
   __(X,nil()) -> X
   __(nil(),X) -> X
   U11(tt(),V) -> U12(isPalListKind(activate(V)),activate(V))
   U12(tt(),V) -> U13(isNeList(activate(V)))
   U13(tt()) -> tt()
   U21(tt(),V1,V2) -> U22(isPalListKind(activate(V1)),activate(V1),activate(V2))
   U22(tt(),V1,V2) -> U23(isPalListKind(activate(V2)),activate(V1),activate(V2))
   U23(tt(),V1,V2) -> U24(isPalListKind(activate(V2)),activate(V1),activate(V2))
   U24(tt(),V1,V2) -> U25(isList(activate(V1)),activate(V2))
   U25(tt(),V2) -> U26(isList(activate(V2)))
   U26(tt()) -> tt()
   U31(tt(),V) -> U32(isPalListKind(activate(V)),activate(V))
   U32(tt(),V) -> U33(isQid(activate(V)))
   U33(tt()) -> tt()
   U41(tt(),V1,V2) -> U42(isPalListKind(activate(V1)),activate(V1),activate(V2))
   U42(tt(),V1,V2) -> U43(isPalListKind(activate(V2)),activate(V1),activate(V2))
   U43(tt(),V1,V2) -> U44(isPalListKind(activate(V2)),activate(V1),activate(V2))
   U44(tt(),V1,V2) -> U45(isList(activate(V1)),activate(V2))
   U45(tt(),V2) -> U46(isNeList(activate(V2)))
   U46(tt()) -> tt()
   U51(tt(),V1,V2) -> U52(isPalListKind(activate(V1)),activate(V1),activate(V2))
   U52(tt(),V1,V2) -> U53(isPalListKind(activate(V2)),activate(V1),activate(V2))
   U53(tt(),V1,V2) -> U54(isPalListKind(activate(V2)),activate(V1),activate(V2))
   U54(tt(),V1,V2) -> U55(isNeList(activate(V1)),activate(V2))
   U55(tt(),V2) -> U56(isList(activate(V2)))
   U56(tt()) -> tt()
   U61(tt(),V) -> U62(isPalListKind(activate(V)),activate(V))
   U62(tt(),V) -> U63(isQid(activate(V)))
   U63(tt()) -> tt()
   U71(tt(),I,P) -> U72(isPalListKind(activate(I)),activate(P))
   U72(tt(),P) -> U73(isPal(activate(P)),activate(P))
   U73(tt(),P) -> U74(isPalListKind(activate(P)))
   U74(tt()) -> tt()
   U81(tt(),V) -> U82(isPalListKind(activate(V)),activate(V))
   U82(tt(),V) -> U83(isNePal(activate(V)))
   U83(tt()) -> tt()
   U91(tt(),V2) -> U92(isPalListKind(activate(V2)))
   U92(tt()) -> tt()
   isList(V) -> U11(isPalListKind(activate(V)),activate(V))
   isList(n__nil()) -> tt()
   isList(n____(V1,V2)) -> U21(isPalListKind(activate(V1)),activate(V1),activate(V2))
   isNeList(V) -> U31(isPalListKind(activate(V)),activate(V))
   isNeList(n____(V1,V2)) -> U41(isPalListKind(activate(V1)),activate(V1),activate(V2))
   isNeList(n____(V1,V2)) -> U51(isPalListKind(activate(V1)),activate(V1),activate(V2))
   isNePal(V) -> U61(isPalListKind(activate(V)),activate(V))
   isNePal(n____(I,__(P,I))) -> U71(isQid(activate(I)),activate(I),activate(P))
   isPal(V) -> U81(isPalListKind(activate(V)),activate(V))
   isPal(n__nil()) -> tt()
   isPalListKind(n__a()) -> tt()
   isPalListKind(n__e()) -> tt()
   isPalListKind(n__i()) -> tt()
   isPalListKind(n__nil()) -> tt()
   isPalListKind(n__o()) -> tt()
   isPalListKind(n__u()) -> tt()
   isPalListKind(n____(V1,V2)) -> U91(isPalListKind(activate(V1)),activate(V2))
   isQid(n__a()) -> tt()
   isQid(n__e()) -> tt()
   isQid(n__i()) -> tt()
   isQid(n__o()) -> tt()
   isQid(n__u()) -> tt()
   nil() -> n__nil()
   __(X1,X2) -> n____(X1,X2)
   a() -> n__a()
   e() -> n__e()
   i() -> n__i()
   o() -> n__o()
   u() -> n__u()
   activate(n__nil()) -> nil()
   activate(n____(X1,X2)) -> __(X1,X2)
   activate(n__a()) -> a()
   activate(n__e()) -> e()
   activate(n__i()) -> i()
   activate(n__o()) -> o()
   activate(n__u()) -> u()
   activate(X) -> X
  EDG Processor:
   DPs:
    __#(__(X,Y),Z) -> __#(Y,Z)
    __#(__(X,Y),Z) -> __#(X,__(Y,Z))
    U11#(tt(),V) -> activate#(V)
    U11#(tt(),V) -> isPalListKind#(activate(V))
    U11#(tt(),V) -> U12#(isPalListKind(activate(V)),activate(V))
    U12#(tt(),V) -> activate#(V)
    U12#(tt(),V) -> isNeList#(activate(V))
    U12#(tt(),V) -> U13#(isNeList(activate(V)))
    U21#(tt(),V1,V2) -> activate#(V2)
    U21#(tt(),V1,V2) -> activate#(V1)
    U21#(tt(),V1,V2) -> isPalListKind#(activate(V1))
    U21#(tt(),V1,V2) -> U22#(isPalListKind(activate(V1)),activate(V1),activate(V2))
    U22#(tt(),V1,V2) -> activate#(V1)
    U22#(tt(),V1,V2) -> activate#(V2)
    U22#(tt(),V1,V2) -> isPalListKind#(activate(V2))
    U22#(tt(),V1,V2) -> U23#(isPalListKind(activate(V2)),activate(V1),activate(V2))
    U23#(tt(),V1,V2) -> activate#(V1)
    U23#(tt(),V1,V2) -> activate#(V2)
    U23#(tt(),V1,V2) -> isPalListKind#(activate(V2))
    U23#(tt(),V1,V2) -> U24#(isPalListKind(activate(V2)),activate(V1),activate(V2))
    U24#(tt(),V1,V2) -> activate#(V2)
    U24#(tt(),V1,V2) -> activate#(V1)
    U24#(tt(),V1,V2) -> isList#(activate(V1))
    U24#(tt(),V1,V2) -> U25#(isList(activate(V1)),activate(V2))
    U25#(tt(),V2) -> activate#(V2)
    U25#(tt(),V2) -> isList#(activate(V2))
    U25#(tt(),V2) -> U26#(isList(activate(V2)))
    U31#(tt(),V) -> activate#(V)
    U31#(tt(),V) -> isPalListKind#(activate(V))
    U31#(tt(),V) -> U32#(isPalListKind(activate(V)),activate(V))
    U32#(tt(),V) -> activate#(V)
    U32#(tt(),V) -> isQid#(activate(V))
    U32#(tt(),V) -> U33#(isQid(activate(V)))
    U41#(tt(),V1,V2) -> activate#(V2)
    U41#(tt(),V1,V2) -> activate#(V1)
    U41#(tt(),V1,V2) -> isPalListKind#(activate(V1))
    U41#(tt(),V1,V2) -> U42#(isPalListKind(activate(V1)),activate(V1),activate(V2))
    U42#(tt(),V1,V2) -> activate#(V1)
    U42#(tt(),V1,V2) -> activate#(V2)
    U42#(tt(),V1,V2) -> isPalListKind#(activate(V2))
    U42#(tt(),V1,V2) -> U43#(isPalListKind(activate(V2)),activate(V1),activate(V2))
    U43#(tt(),V1,V2) -> activate#(V1)
    U43#(tt(),V1,V2) -> activate#(V2)
    U43#(tt(),V1,V2) -> isPalListKind#(activate(V2))
    U43#(tt(),V1,V2) -> U44#(isPalListKind(activate(V2)),activate(V1),activate(V2))
    U44#(tt(),V1,V2) -> activate#(V2)
    U44#(tt(),V1,V2) -> activate#(V1)
    U44#(tt(),V1,V2) -> isList#(activate(V1))
    U44#(tt(),V1,V2) -> U45#(isList(activate(V1)),activate(V2))
    U45#(tt(),V2) -> activate#(V2)
    U45#(tt(),V2) -> isNeList#(activate(V2))
    U45#(tt(),V2) -> U46#(isNeList(activate(V2)))
    U51#(tt(),V1,V2) -> activate#(V2)
    U51#(tt(),V1,V2) -> activate#(V1)
    U51#(tt(),V1,V2) -> isPalListKind#(activate(V1))
    U51#(tt(),V1,V2) -> U52#(isPalListKind(activate(V1)),activate(V1),activate(V2))
    U52#(tt(),V1,V2) -> activate#(V1)
    U52#(tt(),V1,V2) -> activate#(V2)
    U52#(tt(),V1,V2) -> isPalListKind#(activate(V2))
    U52#(tt(),V1,V2) -> U53#(isPalListKind(activate(V2)),activate(V1),activate(V2))
    U53#(tt(),V1,V2) -> activate#(V1)
    U53#(tt(),V1,V2) -> activate#(V2)
    U53#(tt(),V1,V2) -> isPalListKind#(activate(V2))
    U53#(tt(),V1,V2) -> U54#(isPalListKind(activate(V2)),activate(V1),activate(V2))
    U54#(tt(),V1,V2) -> activate#(V2)
    U54#(tt(),V1,V2) -> activate#(V1)
    U54#(tt(),V1,V2) -> isNeList#(activate(V1))
    U54#(tt(),V1,V2) -> U55#(isNeList(activate(V1)),activate(V2))
    U55#(tt(),V2) -> activate#(V2)
    U55#(tt(),V2) -> isList#(activate(V2))
    U55#(tt(),V2) -> U56#(isList(activate(V2)))
    U61#(tt(),V) -> activate#(V)
    U61#(tt(),V) -> isPalListKind#(activate(V))
    U61#(tt(),V) -> U62#(isPalListKind(activate(V)),activate(V))
    U62#(tt(),V) -> activate#(V)
    U62#(tt(),V) -> isQid#(activate(V))
    U62#(tt(),V) -> U63#(isQid(activate(V)))
    U71#(tt(),I,P) -> activate#(P)
    U71#(tt(),I,P) -> activate#(I)
    U71#(tt(),I,P) -> isPalListKind#(activate(I))
    U71#(tt(),I,P) -> U72#(isPalListKind(activate(I)),activate(P))
    U72#(tt(),P) -> activate#(P)
    U72#(tt(),P) -> isPal#(activate(P))
    U72#(tt(),P) -> U73#(isPal(activate(P)),activate(P))
    U73#(tt(),P) -> activate#(P)
    U73#(tt(),P) -> isPalListKind#(activate(P))
    U73#(tt(),P) -> U74#(isPalListKind(activate(P)))
    U81#(tt(),V) -> activate#(V)
    U81#(tt(),V) -> isPalListKind#(activate(V))
    U81#(tt(),V) -> U82#(isPalListKind(activate(V)),activate(V))
    U82#(tt(),V) -> activate#(V)
    U82#(tt(),V) -> isNePal#(activate(V))
    U82#(tt(),V) -> U83#(isNePal(activate(V)))
    U91#(tt(),V2) -> activate#(V2)
    U91#(tt(),V2) -> isPalListKind#(activate(V2))
    U91#(tt(),V2) -> U92#(isPalListKind(activate(V2)))
    isList#(V) -> activate#(V)
    isList#(V) -> isPalListKind#(activate(V))
    isList#(V) -> U11#(isPalListKind(activate(V)),activate(V))
    isList#(n____(V1,V2)) -> activate#(V2)
    isList#(n____(V1,V2)) -> activate#(V1)
    isList#(n____(V1,V2)) -> isPalListKind#(activate(V1))
    isList#(n____(V1,V2)) -> U21#(isPalListKind(activate(V1)),activate(V1),activate(V2))
    isNeList#(V) -> activate#(V)
    isNeList#(V) -> isPalListKind#(activate(V))
    isNeList#(V) -> U31#(isPalListKind(activate(V)),activate(V))
    isNeList#(n____(V1,V2)) -> activate#(V2)
    isNeList#(n____(V1,V2)) -> activate#(V1)
    isNeList#(n____(V1,V2)) -> isPalListKind#(activate(V1))
    isNeList#(n____(V1,V2)) -> U41#(isPalListKind(activate(V1)),activate(V1),activate(V2))
    isNeList#(n____(V1,V2)) -> U51#(isPalListKind(activate(V1)),activate(V1),activate(V2))
    isNePal#(V) -> activate#(V)
    isNePal#(V) -> isPalListKind#(activate(V))
    isNePal#(V) -> U61#(isPalListKind(activate(V)),activate(V))
    isNePal#(n____(I,__(P,I))) -> activate#(P)
    isNePal#(n____(I,__(P,I))) -> activate#(I)
    isNePal#(n____(I,__(P,I))) -> isQid#(activate(I))
    isNePal#(n____(I,__(P,I))) -> U71#(isQid(activate(I)),activate(I),activate(P))
    isPal#(V) -> activate#(V)
    isPal#(V) -> isPalListKind#(activate(V))
    isPal#(V) -> U81#(isPalListKind(activate(V)),activate(V))
    isPalListKind#(n____(V1,V2)) -> activate#(V2)
    isPalListKind#(n____(V1,V2)) -> activate#(V1)
    isPalListKind#(n____(V1,V2)) -> isPalListKind#(activate(V1))
    isPalListKind#(n____(V1,V2)) -> U91#(isPalListKind(activate(V1)),activate(V2))
    activate#(n__nil()) -> nil#()
    activate#(n____(X1,X2)) -> __#(X1,X2)
    activate#(n__a()) -> a#()
    activate#(n__e()) -> e#()
    activate#(n__i()) -> i#()
    activate#(n__o()) -> o#()
    activate#(n__u()) -> u#()
   TRS:
    __(__(X,Y),Z) -> __(X,__(Y,Z))
    __(X,nil()) -> X
    __(nil(),X) -> X
    U11(tt(),V) -> U12(isPalListKind(activate(V)),activate(V))
    U12(tt(),V) -> U13(isNeList(activate(V)))
    U13(tt()) -> tt()
    U21(tt(),V1,V2) -> U22(isPalListKind(activate(V1)),activate(V1),activate(V2))
    U22(tt(),V1,V2) -> U23(isPalListKind(activate(V2)),activate(V1),activate(V2))
    U23(tt(),V1,V2) -> U24(isPalListKind(activate(V2)),activate(V1),activate(V2))
    U24(tt(),V1,V2) -> U25(isList(activate(V1)),activate(V2))
    U25(tt(),V2) -> U26(isList(activate(V2)))
    U26(tt()) -> tt()
    U31(tt(),V) -> U32(isPalListKind(activate(V)),activate(V))
    U32(tt(),V) -> U33(isQid(activate(V)))
    U33(tt()) -> tt()
    U41(tt(),V1,V2) -> U42(isPalListKind(activate(V1)),activate(V1),activate(V2))
    U42(tt(),V1,V2) -> U43(isPalListKind(activate(V2)),activate(V1),activate(V2))
    U43(tt(),V1,V2) -> U44(isPalListKind(activate(V2)),activate(V1),activate(V2))
    U44(tt(),V1,V2) -> U45(isList(activate(V1)),activate(V2))
    U45(tt(),V2) -> U46(isNeList(activate(V2)))
    U46(tt()) -> tt()
    U51(tt(),V1,V2) -> U52(isPalListKind(activate(V1)),activate(V1),activate(V2))
    U52(tt(),V1,V2) -> U53(isPalListKind(activate(V2)),activate(V1),activate(V2))
    U53(tt(),V1,V2) -> U54(isPalListKind(activate(V2)),activate(V1),activate(V2))
    U54(tt(),V1,V2) -> U55(isNeList(activate(V1)),activate(V2))
    U55(tt(),V2) -> U56(isList(activate(V2)))
    U56(tt()) -> tt()
    U61(tt(),V) -> U62(isPalListKind(activate(V)),activate(V))
    U62(tt(),V) -> U63(isQid(activate(V)))
    U63(tt()) -> tt()
    U71(tt(),I,P) -> U72(isPalListKind(activate(I)),activate(P))
    U72(tt(),P) -> U73(isPal(activate(P)),activate(P))
    U73(tt(),P) -> U74(isPalListKind(activate(P)))
    U74(tt()) -> tt()
    U81(tt(),V) -> U82(isPalListKind(activate(V)),activate(V))
    U82(tt(),V) -> U83(isNePal(activate(V)))
    U83(tt()) -> tt()
    U91(tt(),V2) -> U92(isPalListKind(activate(V2)))
    U92(tt()) -> tt()
    isList(V) -> U11(isPalListKind(activate(V)),activate(V))
    isList(n__nil()) -> tt()
    isList(n____(V1,V2)) -> U21(isPalListKind(activate(V1)),activate(V1),activate(V2))
    isNeList(V) -> U31(isPalListKind(activate(V)),activate(V))
    isNeList(n____(V1,V2)) -> U41(isPalListKind(activate(V1)),activate(V1),activate(V2))
    isNeList(n____(V1,V2)) -> U51(isPalListKind(activate(V1)),activate(V1),activate(V2))
    isNePal(V) -> U61(isPalListKind(activate(V)),activate(V))
    isNePal(n____(I,__(P,I))) -> U71(isQid(activate(I)),activate(I),activate(P))
    isPal(V) -> U81(isPalListKind(activate(V)),activate(V))
    isPal(n__nil()) -> tt()
    isPalListKind(n__a()) -> tt()
    isPalListKind(n__e()) -> tt()
    isPalListKind(n__i()) -> tt()
    isPalListKind(n__nil()) -> tt()
    isPalListKind(n__o()) -> tt()
    isPalListKind(n__u()) -> tt()
    isPalListKind(n____(V1,V2)) -> U91(isPalListKind(activate(V1)),activate(V2))
    isQid(n__a()) -> tt()
    isQid(n__e()) -> tt()
    isQid(n__i()) -> tt()
    isQid(n__o()) -> tt()
    isQid(n__u()) -> tt()
    nil() -> n__nil()
    __(X1,X2) -> n____(X1,X2)
    a() -> n__a()
    e() -> n__e()
    i() -> n__i()
    o() -> n__o()
    u() -> n__u()
    activate(n__nil()) -> nil()
    activate(n____(X1,X2)) -> __(X1,X2)
    activate(n__a()) -> a()
    activate(n__e()) -> e()
    activate(n__i()) -> i()
    activate(n__o()) -> o()
    activate(n__u()) -> u()
    activate(X) -> X
   graph:
    U91#(tt(),V2) -> isPalListKind#(activate(V2)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V2)
    U91#(tt(),V2) -> isPalListKind#(activate(V2)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V1)
    U91#(tt(),V2) -> isPalListKind#(activate(V2)) ->
    isPalListKind#(n____(V1,V2)) -> isPalListKind#(activate(V1))
    U91#(tt(),V2) -> isPalListKind#(activate(V2)) ->
    isPalListKind#(n____(V1,V2)) -> U91#(isPalListKind(activate(V1)),activate(V2))
    U91#(tt(),V2) -> activate#(V2) -> activate#(n__nil()) -> nil#()
    U91#(tt(),V2) -> activate#(V2) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U91#(tt(),V2) -> activate#(V2) -> activate#(n__a()) -> a#()
    U91#(tt(),V2) -> activate#(V2) -> activate#(n__e()) -> e#()
    U91#(tt(),V2) -> activate#(V2) -> activate#(n__i()) -> i#()
    U91#(tt(),V2) -> activate#(V2) -> activate#(n__o()) -> o#()
    U91#(tt(),V2) -> activate#(V2) ->
    activate#(n__u()) -> u#()
    isNePal#(n____(I,__(P,I))) -> U71#(isQid(activate(I)),activate(I),activate(P)) ->
    U71#(tt(),I,P) -> activate#(P)
    isNePal#(n____(I,__(P,I))) -> U71#(isQid(activate(I)),activate(I),activate(P)) ->
    U71#(tt(),I,P) -> activate#(I)
    isNePal#(n____(I,__(P,I))) -> U71#(isQid(activate(I)),activate(I),activate(P)) ->
    U71#(tt(),I,P) -> isPalListKind#(activate(I))
    isNePal#(n____(I,__(P,I))) -> U71#(isQid(activate(I)),activate(I),activate(P)) ->
    U71#(tt(),I,P) -> U72#(isPalListKind(activate(I)),activate(P))
    isNePal#(n____(I,__(P,I))) -> activate#(P) ->
    activate#(n__nil()) -> nil#()
    isNePal#(n____(I,__(P,I))) -> activate#(P) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    isNePal#(n____(I,__(P,I))) -> activate#(P) ->
    activate#(n__a()) -> a#()
    isNePal#(n____(I,__(P,I))) -> activate#(P) ->
    activate#(n__e()) -> e#()
    isNePal#(n____(I,__(P,I))) -> activate#(P) ->
    activate#(n__i()) -> i#()
    isNePal#(n____(I,__(P,I))) -> activate#(P) ->
    activate#(n__o()) -> o#()
    isNePal#(n____(I,__(P,I))) -> activate#(P) ->
    activate#(n__u()) -> u#()
    isNePal#(n____(I,__(P,I))) -> activate#(I) ->
    activate#(n__nil()) -> nil#()
    isNePal#(n____(I,__(P,I))) -> activate#(I) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    isNePal#(n____(I,__(P,I))) -> activate#(I) ->
    activate#(n__a()) -> a#()
    isNePal#(n____(I,__(P,I))) -> activate#(I) ->
    activate#(n__e()) -> e#()
    isNePal#(n____(I,__(P,I))) -> activate#(I) ->
    activate#(n__i()) -> i#()
    isNePal#(n____(I,__(P,I))) -> activate#(I) ->
    activate#(n__o()) -> o#()
    isNePal#(n____(I,__(P,I))) -> activate#(I) ->
    activate#(n__u()) -> u#()
    isNePal#(V) -> U61#(isPalListKind(activate(V)),activate(V)) ->
    U61#(tt(),V) -> activate#(V)
    isNePal#(V) -> U61#(isPalListKind(activate(V)),activate(V)) ->
    U61#(tt(),V) -> isPalListKind#(activate(V))
    isNePal#(V) -> U61#(isPalListKind(activate(V)),activate(V)) ->
    U61#(tt(),V) -> U62#(isPalListKind(activate(V)),activate(V))
    isNePal#(V) -> isPalListKind#(activate(V)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V2)
    isNePal#(V) -> isPalListKind#(activate(V)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V1)
    isNePal#(V) -> isPalListKind#(activate(V)) ->
    isPalListKind#(n____(V1,V2)) -> isPalListKind#(activate(V1))
    isNePal#(V) -> isPalListKind#(activate(V)) ->
    isPalListKind#(n____(V1,V2)) -> U91#(isPalListKind(activate(V1)),activate(V2))
    isNePal#(V) -> activate#(V) -> activate#(n__nil()) -> nil#()
    isNePal#(V) -> activate#(V) -> activate#(n____(X1,X2)) -> __#(X1,X2)
    isNePal#(V) -> activate#(V) -> activate#(n__a()) -> a#()
    isNePal#(V) -> activate#(V) -> activate#(n__e()) -> e#()
    isNePal#(V) -> activate#(V) -> activate#(n__i()) -> i#()
    isNePal#(V) -> activate#(V) -> activate#(n__o()) -> o#()
    isNePal#(V) -> activate#(V) -> activate#(n__u()) -> u#()
    U82#(tt(),V) -> isNePal#(activate(V)) ->
    isNePal#(V) -> activate#(V)
    U82#(tt(),V) -> isNePal#(activate(V)) ->
    isNePal#(V) -> isPalListKind#(activate(V))
    U82#(tt(),V) -> isNePal#(activate(V)) ->
    isNePal#(V) -> U61#(isPalListKind(activate(V)),activate(V))
    U82#(tt(),V) -> isNePal#(activate(V)) ->
    isNePal#(n____(I,__(P,I))) -> activate#(P)
    U82#(tt(),V) -> isNePal#(activate(V)) ->
    isNePal#(n____(I,__(P,I))) -> activate#(I)
    U82#(tt(),V) -> isNePal#(activate(V)) ->
    isNePal#(n____(I,__(P,I))) -> isQid#(activate(I))
    U82#(tt(),V) -> isNePal#(activate(V)) ->
    isNePal#(n____(I,__(P,I))) -> U71#(isQid(activate(I)),activate(I),activate(P))
    U82#(tt(),V) -> activate#(V) -> activate#(n__nil()) -> nil#()
    U82#(tt(),V) -> activate#(V) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U82#(tt(),V) -> activate#(V) -> activate#(n__a()) -> a#()
    U82#(tt(),V) -> activate#(V) -> activate#(n__e()) -> e#()
    U82#(tt(),V) -> activate#(V) -> activate#(n__i()) -> i#()
    U82#(tt(),V) -> activate#(V) -> activate#(n__o()) -> o#()
    U82#(tt(),V) -> activate#(V) ->
    activate#(n__u()) -> u#()
    U81#(tt(),V) -> U82#(isPalListKind(activate(V)),activate(V)) ->
    U82#(tt(),V) -> activate#(V)
    U81#(tt(),V) -> U82#(isPalListKind(activate(V)),activate(V)) ->
    U82#(tt(),V) -> isNePal#(activate(V))
    U81#(tt(),V) -> U82#(isPalListKind(activate(V)),activate(V)) ->
    U82#(tt(),V) -> U83#(isNePal(activate(V)))
    U81#(tt(),V) -> isPalListKind#(activate(V)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V2)
    U81#(tt(),V) -> isPalListKind#(activate(V)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V1)
    U81#(tt(),V) -> isPalListKind#(activate(V)) ->
    isPalListKind#(n____(V1,V2)) -> isPalListKind#(activate(V1))
    U81#(tt(),V) -> isPalListKind#(activate(V)) ->
    isPalListKind#(n____(V1,V2)) -> U91#(isPalListKind(activate(V1)),activate(V2))
    U81#(tt(),V) -> activate#(V) -> activate#(n__nil()) -> nil#()
    U81#(tt(),V) -> activate#(V) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U81#(tt(),V) -> activate#(V) -> activate#(n__a()) -> a#()
    U81#(tt(),V) -> activate#(V) -> activate#(n__e()) -> e#()
    U81#(tt(),V) -> activate#(V) -> activate#(n__i()) -> i#()
    U81#(tt(),V) -> activate#(V) -> activate#(n__o()) -> o#()
    U81#(tt(),V) -> activate#(V) ->
    activate#(n__u()) -> u#()
    U73#(tt(),P) -> isPalListKind#(activate(P)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V2)
    U73#(tt(),P) -> isPalListKind#(activate(P)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V1)
    U73#(tt(),P) -> isPalListKind#(activate(P)) ->
    isPalListKind#(n____(V1,V2)) -> isPalListKind#(activate(V1))
    U73#(tt(),P) -> isPalListKind#(activate(P)) ->
    isPalListKind#(n____(V1,V2)) -> U91#(isPalListKind(activate(V1)),activate(V2))
    U73#(tt(),P) -> activate#(P) -> activate#(n__nil()) -> nil#()
    U73#(tt(),P) -> activate#(P) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U73#(tt(),P) -> activate#(P) -> activate#(n__a()) -> a#()
    U73#(tt(),P) -> activate#(P) -> activate#(n__e()) -> e#()
    U73#(tt(),P) -> activate#(P) -> activate#(n__i()) -> i#()
    U73#(tt(),P) -> activate#(P) -> activate#(n__o()) -> o#()
    U73#(tt(),P) -> activate#(P) ->
    activate#(n__u()) -> u#()
    isPal#(V) -> U81#(isPalListKind(activate(V)),activate(V)) ->
    U81#(tt(),V) -> activate#(V)
    isPal#(V) -> U81#(isPalListKind(activate(V)),activate(V)) ->
    U81#(tt(),V) -> isPalListKind#(activate(V))
    isPal#(V) -> U81#(isPalListKind(activate(V)),activate(V)) ->
    U81#(tt(),V) -> U82#(isPalListKind(activate(V)),activate(V))
    isPal#(V) -> isPalListKind#(activate(V)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V2)
    isPal#(V) -> isPalListKind#(activate(V)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V1)
    isPal#(V) -> isPalListKind#(activate(V)) ->
    isPalListKind#(n____(V1,V2)) -> isPalListKind#(activate(V1))
    isPal#(V) -> isPalListKind#(activate(V)) ->
    isPalListKind#(n____(V1,V2)) -> U91#(isPalListKind(activate(V1)),activate(V2))
    isPal#(V) -> activate#(V) -> activate#(n__nil()) -> nil#()
    isPal#(V) -> activate#(V) -> activate#(n____(X1,X2)) -> __#(X1,X2)
    isPal#(V) -> activate#(V) -> activate#(n__a()) -> a#()
    isPal#(V) -> activate#(V) -> activate#(n__e()) -> e#()
    isPal#(V) -> activate#(V) -> activate#(n__i()) -> i#()
    isPal#(V) -> activate#(V) -> activate#(n__o()) -> o#()
    isPal#(V) -> activate#(V) ->
    activate#(n__u()) -> u#()
    U72#(tt(),P) -> U73#(isPal(activate(P)),activate(P)) ->
    U73#(tt(),P) -> activate#(P)
    U72#(tt(),P) -> U73#(isPal(activate(P)),activate(P)) ->
    U73#(tt(),P) -> isPalListKind#(activate(P))
    U72#(tt(),P) -> U73#(isPal(activate(P)),activate(P)) ->
    U73#(tt(),P) -> U74#(isPalListKind(activate(P)))
    U72#(tt(),P) -> isPal#(activate(P)) ->
    isPal#(V) -> activate#(V)
    U72#(tt(),P) -> isPal#(activate(P)) ->
    isPal#(V) -> isPalListKind#(activate(V))
    U72#(tt(),P) -> isPal#(activate(P)) ->
    isPal#(V) -> U81#(isPalListKind(activate(V)),activate(V))
    U72#(tt(),P) -> activate#(P) -> activate#(n__nil()) -> nil#()
    U72#(tt(),P) -> activate#(P) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U72#(tt(),P) -> activate#(P) -> activate#(n__a()) -> a#()
    U72#(tt(),P) -> activate#(P) -> activate#(n__e()) -> e#()
    U72#(tt(),P) -> activate#(P) -> activate#(n__i()) -> i#()
    U72#(tt(),P) -> activate#(P) -> activate#(n__o()) -> o#()
    U72#(tt(),P) -> activate#(P) ->
    activate#(n__u()) -> u#()
    U71#(tt(),I,P) -> U72#(isPalListKind(activate(I)),activate(P)) ->
    U72#(tt(),P) -> activate#(P)
    U71#(tt(),I,P) -> U72#(isPalListKind(activate(I)),activate(P)) ->
    U72#(tt(),P) -> isPal#(activate(P))
    U71#(tt(),I,P) -> U72#(isPalListKind(activate(I)),activate(P)) ->
    U72#(tt(),P) -> U73#(isPal(activate(P)),activate(P))
    U71#(tt(),I,P) -> isPalListKind#(activate(I)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V2)
    U71#(tt(),I,P) -> isPalListKind#(activate(I)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V1)
    U71#(tt(),I,P) -> isPalListKind#(activate(I)) ->
    isPalListKind#(n____(V1,V2)) -> isPalListKind#(activate(V1))
    U71#(tt(),I,P) -> isPalListKind#(activate(I)) ->
    isPalListKind#(n____(V1,V2)) -> U91#(isPalListKind(activate(V1)),activate(V2))
    U71#(tt(),I,P) -> activate#(P) -> activate#(n__nil()) -> nil#()
    U71#(tt(),I,P) -> activate#(P) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U71#(tt(),I,P) -> activate#(P) -> activate#(n__a()) -> a#()
    U71#(tt(),I,P) -> activate#(P) -> activate#(n__e()) -> e#()
    U71#(tt(),I,P) -> activate#(P) -> activate#(n__i()) -> i#()
    U71#(tt(),I,P) -> activate#(P) -> activate#(n__o()) -> o#()
    U71#(tt(),I,P) -> activate#(P) -> activate#(n__u()) -> u#()
    U71#(tt(),I,P) -> activate#(I) -> activate#(n__nil()) -> nil#()
    U71#(tt(),I,P) -> activate#(I) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U71#(tt(),I,P) -> activate#(I) -> activate#(n__a()) -> a#()
    U71#(tt(),I,P) -> activate#(I) -> activate#(n__e()) -> e#()
    U71#(tt(),I,P) -> activate#(I) -> activate#(n__i()) -> i#()
    U71#(tt(),I,P) -> activate#(I) -> activate#(n__o()) -> o#()
    U71#(tt(),I,P) -> activate#(I) -> activate#(n__u()) -> u#()
    U62#(tt(),V) -> activate#(V) -> activate#(n__nil()) -> nil#()
    U62#(tt(),V) -> activate#(V) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U62#(tt(),V) -> activate#(V) -> activate#(n__a()) -> a#()
    U62#(tt(),V) -> activate#(V) -> activate#(n__e()) -> e#()
    U62#(tt(),V) -> activate#(V) -> activate#(n__i()) -> i#()
    U62#(tt(),V) -> activate#(V) -> activate#(n__o()) -> o#()
    U62#(tt(),V) -> activate#(V) ->
    activate#(n__u()) -> u#()
    U61#(tt(),V) -> U62#(isPalListKind(activate(V)),activate(V)) ->
    U62#(tt(),V) -> activate#(V)
    U61#(tt(),V) -> U62#(isPalListKind(activate(V)),activate(V)) ->
    U62#(tt(),V) -> isQid#(activate(V))
    U61#(tt(),V) -> U62#(isPalListKind(activate(V)),activate(V)) ->
    U62#(tt(),V) -> U63#(isQid(activate(V)))
    U61#(tt(),V) -> isPalListKind#(activate(V)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V2)
    U61#(tt(),V) -> isPalListKind#(activate(V)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V1)
    U61#(tt(),V) -> isPalListKind#(activate(V)) ->
    isPalListKind#(n____(V1,V2)) -> isPalListKind#(activate(V1))
    U61#(tt(),V) -> isPalListKind#(activate(V)) ->
    isPalListKind#(n____(V1,V2)) -> U91#(isPalListKind(activate(V1)),activate(V2))
    U61#(tt(),V) -> activate#(V) -> activate#(n__nil()) -> nil#()
    U61#(tt(),V) -> activate#(V) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U61#(tt(),V) -> activate#(V) -> activate#(n__a()) -> a#()
    U61#(tt(),V) -> activate#(V) -> activate#(n__e()) -> e#()
    U61#(tt(),V) -> activate#(V) -> activate#(n__i()) -> i#()
    U61#(tt(),V) -> activate#(V) -> activate#(n__o()) -> o#()
    U61#(tt(),V) -> activate#(V) -> activate#(n__u()) -> u#()
    U55#(tt(),V2) -> isList#(activate(V2)) ->
    isList#(V) -> activate#(V)
    U55#(tt(),V2) -> isList#(activate(V2)) ->
    isList#(V) -> isPalListKind#(activate(V))
    U55#(tt(),V2) -> isList#(activate(V2)) ->
    isList#(V) -> U11#(isPalListKind(activate(V)),activate(V))
    U55#(tt(),V2) -> isList#(activate(V2)) ->
    isList#(n____(V1,V2)) -> activate#(V2)
    U55#(tt(),V2) -> isList#(activate(V2)) ->
    isList#(n____(V1,V2)) -> activate#(V1)
    U55#(tt(),V2) -> isList#(activate(V2)) ->
    isList#(n____(V1,V2)) -> isPalListKind#(activate(V1))
    U55#(tt(),V2) -> isList#(activate(V2)) ->
    isList#(n____(V1,V2)) -> U21#(isPalListKind(activate(V1)),activate(V1),activate(V2))
    U55#(tt(),V2) -> activate#(V2) -> activate#(n__nil()) -> nil#()
    U55#(tt(),V2) -> activate#(V2) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U55#(tt(),V2) -> activate#(V2) -> activate#(n__a()) -> a#()
    U55#(tt(),V2) -> activate#(V2) -> activate#(n__e()) -> e#()
    U55#(tt(),V2) -> activate#(V2) -> activate#(n__i()) -> i#()
    U55#(tt(),V2) -> activate#(V2) -> activate#(n__o()) -> o#()
    U55#(tt(),V2) -> activate#(V2) ->
    activate#(n__u()) -> u#()
    U54#(tt(),V1,V2) -> U55#(isNeList(activate(V1)),activate(V2)) ->
    U55#(tt(),V2) -> activate#(V2)
    U54#(tt(),V1,V2) -> U55#(isNeList(activate(V1)),activate(V2)) ->
    U55#(tt(),V2) -> isList#(activate(V2))
    U54#(tt(),V1,V2) -> U55#(isNeList(activate(V1)),activate(V2)) ->
    U55#(tt(),V2) -> U56#(isList(activate(V2)))
    U54#(tt(),V1,V2) -> isNeList#(activate(V1)) ->
    isNeList#(V) -> activate#(V)
    U54#(tt(),V1,V2) -> isNeList#(activate(V1)) ->
    isNeList#(V) -> isPalListKind#(activate(V))
    U54#(tt(),V1,V2) -> isNeList#(activate(V1)) ->
    isNeList#(V) -> U31#(isPalListKind(activate(V)),activate(V))
    U54#(tt(),V1,V2) -> isNeList#(activate(V1)) ->
    isNeList#(n____(V1,V2)) -> activate#(V2)
    U54#(tt(),V1,V2) -> isNeList#(activate(V1)) ->
    isNeList#(n____(V1,V2)) -> activate#(V1)
    U54#(tt(),V1,V2) -> isNeList#(activate(V1)) ->
    isNeList#(n____(V1,V2)) -> isPalListKind#(activate(V1))
    U54#(tt(),V1,V2) -> isNeList#(activate(V1)) ->
    isNeList#(n____(V1,V2)) -> U41#(isPalListKind(activate(V1)),activate(V1),activate(V2))
    U54#(tt(),V1,V2) -> isNeList#(activate(V1)) ->
    isNeList#(n____(V1,V2)) -> U51#(isPalListKind(activate(V1)),activate(V1),activate(V2))
    U54#(tt(),V1,V2) -> activate#(V2) ->
    activate#(n__nil()) -> nil#()
    U54#(tt(),V1,V2) -> activate#(V2) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U54#(tt(),V1,V2) -> activate#(V2) -> activate#(n__a()) -> a#()
    U54#(tt(),V1,V2) -> activate#(V2) -> activate#(n__e()) -> e#()
    U54#(tt(),V1,V2) -> activate#(V2) -> activate#(n__i()) -> i#()
    U54#(tt(),V1,V2) -> activate#(V2) -> activate#(n__o()) -> o#()
    U54#(tt(),V1,V2) -> activate#(V2) -> activate#(n__u()) -> u#()
    U54#(tt(),V1,V2) -> activate#(V1) ->
    activate#(n__nil()) -> nil#()
    U54#(tt(),V1,V2) -> activate#(V1) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U54#(tt(),V1,V2) -> activate#(V1) -> activate#(n__a()) -> a#()
    U54#(tt(),V1,V2) -> activate#(V1) -> activate#(n__e()) -> e#()
    U54#(tt(),V1,V2) -> activate#(V1) -> activate#(n__i()) -> i#()
    U54#(tt(),V1,V2) -> activate#(V1) -> activate#(n__o()) -> o#()
    U54#(tt(),V1,V2) -> activate#(V1) ->
    activate#(n__u()) -> u#()
    U53#(tt(),V1,V2) -> U54#(isPalListKind(activate(V2)),activate(V1),activate(V2)) ->
    U54#(tt(),V1,V2) -> activate#(V2)
    U53#(tt(),V1,V2) -> U54#(isPalListKind(activate(V2)),activate(V1),activate(V2)) ->
    U54#(tt(),V1,V2) -> activate#(V1)
    U53#(tt(),V1,V2) -> U54#(isPalListKind(activate(V2)),activate(V1),activate(V2)) ->
    U54#(tt(),V1,V2) -> isNeList#(activate(V1))
    U53#(tt(),V1,V2) -> U54#(isPalListKind(activate(V2)),activate(V1),activate(V2)) ->
    U54#(tt(),V1,V2) -> U55#(isNeList(activate(V1)),activate(V2))
    U53#(tt(),V1,V2) -> isPalListKind#(activate(V2)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V2)
    U53#(tt(),V1,V2) -> isPalListKind#(activate(V2)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V1)
    U53#(tt(),V1,V2) -> isPalListKind#(activate(V2)) ->
    isPalListKind#(n____(V1,V2)) -> isPalListKind#(activate(V1))
    U53#(tt(),V1,V2) -> isPalListKind#(activate(V2)) ->
    isPalListKind#(n____(V1,V2)) -> U91#(isPalListKind(activate(V1)),activate(V2))
    U53#(tt(),V1,V2) -> activate#(V2) ->
    activate#(n__nil()) -> nil#()
    U53#(tt(),V1,V2) -> activate#(V2) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U53#(tt(),V1,V2) -> activate#(V2) -> activate#(n__a()) -> a#()
    U53#(tt(),V1,V2) -> activate#(V2) -> activate#(n__e()) -> e#()
    U53#(tt(),V1,V2) -> activate#(V2) -> activate#(n__i()) -> i#()
    U53#(tt(),V1,V2) -> activate#(V2) -> activate#(n__o()) -> o#()
    U53#(tt(),V1,V2) -> activate#(V2) -> activate#(n__u()) -> u#()
    U53#(tt(),V1,V2) -> activate#(V1) ->
    activate#(n__nil()) -> nil#()
    U53#(tt(),V1,V2) -> activate#(V1) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U53#(tt(),V1,V2) -> activate#(V1) -> activate#(n__a()) -> a#()
    U53#(tt(),V1,V2) -> activate#(V1) -> activate#(n__e()) -> e#()
    U53#(tt(),V1,V2) -> activate#(V1) -> activate#(n__i()) -> i#()
    U53#(tt(),V1,V2) -> activate#(V1) -> activate#(n__o()) -> o#()
    U53#(tt(),V1,V2) -> activate#(V1) ->
    activate#(n__u()) -> u#()
    U52#(tt(),V1,V2) -> U53#(isPalListKind(activate(V2)),activate(V1),activate(V2)) ->
    U53#(tt(),V1,V2) -> activate#(V1)
    U52#(tt(),V1,V2) -> U53#(isPalListKind(activate(V2)),activate(V1),activate(V2)) ->
    U53#(tt(),V1,V2) -> activate#(V2)
    U52#(tt(),V1,V2) -> U53#(isPalListKind(activate(V2)),activate(V1),activate(V2)) ->
    U53#(tt(),V1,V2) -> isPalListKind#(activate(V2))
    U52#(tt(),V1,V2) -> U53#(isPalListKind(activate(V2)),activate(V1),activate(V2)) ->
    U53#(tt(),V1,V2) -> U54#(isPalListKind(activate(V2)),activate(V1),activate(V2))
    U52#(tt(),V1,V2) -> isPalListKind#(activate(V2)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V2)
    U52#(tt(),V1,V2) -> isPalListKind#(activate(V2)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V1)
    U52#(tt(),V1,V2) -> isPalListKind#(activate(V2)) ->
    isPalListKind#(n____(V1,V2)) -> isPalListKind#(activate(V1))
    U52#(tt(),V1,V2) -> isPalListKind#(activate(V2)) ->
    isPalListKind#(n____(V1,V2)) -> U91#(isPalListKind(activate(V1)),activate(V2))
    U52#(tt(),V1,V2) -> activate#(V2) ->
    activate#(n__nil()) -> nil#()
    U52#(tt(),V1,V2) -> activate#(V2) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U52#(tt(),V1,V2) -> activate#(V2) -> activate#(n__a()) -> a#()
    U52#(tt(),V1,V2) -> activate#(V2) -> activate#(n__e()) -> e#()
    U52#(tt(),V1,V2) -> activate#(V2) -> activate#(n__i()) -> i#()
    U52#(tt(),V1,V2) -> activate#(V2) -> activate#(n__o()) -> o#()
    U52#(tt(),V1,V2) -> activate#(V2) -> activate#(n__u()) -> u#()
    U52#(tt(),V1,V2) -> activate#(V1) ->
    activate#(n__nil()) -> nil#()
    U52#(tt(),V1,V2) -> activate#(V1) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U52#(tt(),V1,V2) -> activate#(V1) -> activate#(n__a()) -> a#()
    U52#(tt(),V1,V2) -> activate#(V1) -> activate#(n__e()) -> e#()
    U52#(tt(),V1,V2) -> activate#(V1) -> activate#(n__i()) -> i#()
    U52#(tt(),V1,V2) -> activate#(V1) -> activate#(n__o()) -> o#()
    U52#(tt(),V1,V2) -> activate#(V1) ->
    activate#(n__u()) -> u#()
    U51#(tt(),V1,V2) -> U52#(isPalListKind(activate(V1)),activate(V1),activate(V2)) ->
    U52#(tt(),V1,V2) -> activate#(V1)
    U51#(tt(),V1,V2) -> U52#(isPalListKind(activate(V1)),activate(V1),activate(V2)) ->
    U52#(tt(),V1,V2) -> activate#(V2)
    U51#(tt(),V1,V2) -> U52#(isPalListKind(activate(V1)),activate(V1),activate(V2)) ->
    U52#(tt(),V1,V2) -> isPalListKind#(activate(V2))
    U51#(tt(),V1,V2) -> U52#(isPalListKind(activate(V1)),activate(V1),activate(V2)) ->
    U52#(tt(),V1,V2) -> U53#(isPalListKind(activate(V2)),activate(V1),activate(V2))
    U51#(tt(),V1,V2) -> isPalListKind#(activate(V1)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V2)
    U51#(tt(),V1,V2) -> isPalListKind#(activate(V1)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V1)
    U51#(tt(),V1,V2) -> isPalListKind#(activate(V1)) ->
    isPalListKind#(n____(V1,V2)) -> isPalListKind#(activate(V1))
    U51#(tt(),V1,V2) -> isPalListKind#(activate(V1)) ->
    isPalListKind#(n____(V1,V2)) -> U91#(isPalListKind(activate(V1)),activate(V2))
    U51#(tt(),V1,V2) -> activate#(V2) ->
    activate#(n__nil()) -> nil#()
    U51#(tt(),V1,V2) -> activate#(V2) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U51#(tt(),V1,V2) -> activate#(V2) -> activate#(n__a()) -> a#()
    U51#(tt(),V1,V2) -> activate#(V2) -> activate#(n__e()) -> e#()
    U51#(tt(),V1,V2) -> activate#(V2) -> activate#(n__i()) -> i#()
    U51#(tt(),V1,V2) -> activate#(V2) -> activate#(n__o()) -> o#()
    U51#(tt(),V1,V2) -> activate#(V2) -> activate#(n__u()) -> u#()
    U51#(tt(),V1,V2) -> activate#(V1) ->
    activate#(n__nil()) -> nil#()
    U51#(tt(),V1,V2) -> activate#(V1) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U51#(tt(),V1,V2) -> activate#(V1) -> activate#(n__a()) -> a#()
    U51#(tt(),V1,V2) -> activate#(V1) -> activate#(n__e()) -> e#()
    U51#(tt(),V1,V2) -> activate#(V1) -> activate#(n__i()) -> i#()
    U51#(tt(),V1,V2) -> activate#(V1) -> activate#(n__o()) -> o#()
    U51#(tt(),V1,V2) -> activate#(V1) ->
    activate#(n__u()) -> u#()
    U45#(tt(),V2) -> isNeList#(activate(V2)) ->
    isNeList#(V) -> activate#(V)
    U45#(tt(),V2) -> isNeList#(activate(V2)) ->
    isNeList#(V) -> isPalListKind#(activate(V))
    U45#(tt(),V2) -> isNeList#(activate(V2)) ->
    isNeList#(V) -> U31#(isPalListKind(activate(V)),activate(V))
    U45#(tt(),V2) -> isNeList#(activate(V2)) ->
    isNeList#(n____(V1,V2)) -> activate#(V2)
    U45#(tt(),V2) -> isNeList#(activate(V2)) ->
    isNeList#(n____(V1,V2)) -> activate#(V1)
    U45#(tt(),V2) -> isNeList#(activate(V2)) ->
    isNeList#(n____(V1,V2)) -> isPalListKind#(activate(V1))
    U45#(tt(),V2) -> isNeList#(activate(V2)) ->
    isNeList#(n____(V1,V2)) -> U41#(isPalListKind(activate(V1)),activate(V1),activate(V2))
    U45#(tt(),V2) -> isNeList#(activate(V2)) ->
    isNeList#(n____(V1,V2)) -> U51#(isPalListKind(activate(V1)),activate(V1),activate(V2))
    U45#(tt(),V2) -> activate#(V2) -> activate#(n__nil()) -> nil#()
    U45#(tt(),V2) -> activate#(V2) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U45#(tt(),V2) -> activate#(V2) -> activate#(n__a()) -> a#()
    U45#(tt(),V2) -> activate#(V2) -> activate#(n__e()) -> e#()
    U45#(tt(),V2) -> activate#(V2) -> activate#(n__i()) -> i#()
    U45#(tt(),V2) -> activate#(V2) -> activate#(n__o()) -> o#()
    U45#(tt(),V2) -> activate#(V2) ->
    activate#(n__u()) -> u#()
    U44#(tt(),V1,V2) -> U45#(isList(activate(V1)),activate(V2)) ->
    U45#(tt(),V2) -> activate#(V2)
    U44#(tt(),V1,V2) -> U45#(isList(activate(V1)),activate(V2)) ->
    U45#(tt(),V2) -> isNeList#(activate(V2))
    U44#(tt(),V1,V2) -> U45#(isList(activate(V1)),activate(V2)) ->
    U45#(tt(),V2) -> U46#(isNeList(activate(V2)))
    U44#(tt(),V1,V2) -> isList#(activate(V1)) ->
    isList#(V) -> activate#(V)
    U44#(tt(),V1,V2) -> isList#(activate(V1)) ->
    isList#(V) -> isPalListKind#(activate(V))
    U44#(tt(),V1,V2) -> isList#(activate(V1)) ->
    isList#(V) -> U11#(isPalListKind(activate(V)),activate(V))
    U44#(tt(),V1,V2) -> isList#(activate(V1)) ->
    isList#(n____(V1,V2)) -> activate#(V2)
    U44#(tt(),V1,V2) -> isList#(activate(V1)) ->
    isList#(n____(V1,V2)) -> activate#(V1)
    U44#(tt(),V1,V2) -> isList#(activate(V1)) ->
    isList#(n____(V1,V2)) -> isPalListKind#(activate(V1))
    U44#(tt(),V1,V2) -> isList#(activate(V1)) ->
    isList#(n____(V1,V2)) -> U21#(isPalListKind(activate(V1)),activate(V1),activate(V2))
    U44#(tt(),V1,V2) -> activate#(V2) ->
    activate#(n__nil()) -> nil#()
    U44#(tt(),V1,V2) -> activate#(V2) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U44#(tt(),V1,V2) -> activate#(V2) -> activate#(n__a()) -> a#()
    U44#(tt(),V1,V2) -> activate#(V2) -> activate#(n__e()) -> e#()
    U44#(tt(),V1,V2) -> activate#(V2) -> activate#(n__i()) -> i#()
    U44#(tt(),V1,V2) -> activate#(V2) -> activate#(n__o()) -> o#()
    U44#(tt(),V1,V2) -> activate#(V2) -> activate#(n__u()) -> u#()
    U44#(tt(),V1,V2) -> activate#(V1) ->
    activate#(n__nil()) -> nil#()
    U44#(tt(),V1,V2) -> activate#(V1) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U44#(tt(),V1,V2) -> activate#(V1) -> activate#(n__a()) -> a#()
    U44#(tt(),V1,V2) -> activate#(V1) -> activate#(n__e()) -> e#()
    U44#(tt(),V1,V2) -> activate#(V1) -> activate#(n__i()) -> i#()
    U44#(tt(),V1,V2) -> activate#(V1) -> activate#(n__o()) -> o#()
    U44#(tt(),V1,V2) -> activate#(V1) ->
    activate#(n__u()) -> u#()
    U43#(tt(),V1,V2) -> U44#(isPalListKind(activate(V2)),activate(V1),activate(V2)) ->
    U44#(tt(),V1,V2) -> activate#(V2)
    U43#(tt(),V1,V2) -> U44#(isPalListKind(activate(V2)),activate(V1),activate(V2)) ->
    U44#(tt(),V1,V2) -> activate#(V1)
    U43#(tt(),V1,V2) -> U44#(isPalListKind(activate(V2)),activate(V1),activate(V2)) ->
    U44#(tt(),V1,V2) -> isList#(activate(V1))
    U43#(tt(),V1,V2) -> U44#(isPalListKind(activate(V2)),activate(V1),activate(V2)) ->
    U44#(tt(),V1,V2) -> U45#(isList(activate(V1)),activate(V2))
    U43#(tt(),V1,V2) -> isPalListKind#(activate(V2)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V2)
    U43#(tt(),V1,V2) -> isPalListKind#(activate(V2)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V1)
    U43#(tt(),V1,V2) -> isPalListKind#(activate(V2)) ->
    isPalListKind#(n____(V1,V2)) -> isPalListKind#(activate(V1))
    U43#(tt(),V1,V2) -> isPalListKind#(activate(V2)) ->
    isPalListKind#(n____(V1,V2)) -> U91#(isPalListKind(activate(V1)),activate(V2))
    U43#(tt(),V1,V2) -> activate#(V2) ->
    activate#(n__nil()) -> nil#()
    U43#(tt(),V1,V2) -> activate#(V2) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U43#(tt(),V1,V2) -> activate#(V2) -> activate#(n__a()) -> a#()
    U43#(tt(),V1,V2) -> activate#(V2) -> activate#(n__e()) -> e#()
    U43#(tt(),V1,V2) -> activate#(V2) -> activate#(n__i()) -> i#()
    U43#(tt(),V1,V2) -> activate#(V2) -> activate#(n__o()) -> o#()
    U43#(tt(),V1,V2) -> activate#(V2) -> activate#(n__u()) -> u#()
    U43#(tt(),V1,V2) -> activate#(V1) ->
    activate#(n__nil()) -> nil#()
    U43#(tt(),V1,V2) -> activate#(V1) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U43#(tt(),V1,V2) -> activate#(V1) -> activate#(n__a()) -> a#()
    U43#(tt(),V1,V2) -> activate#(V1) -> activate#(n__e()) -> e#()
    U43#(tt(),V1,V2) -> activate#(V1) -> activate#(n__i()) -> i#()
    U43#(tt(),V1,V2) -> activate#(V1) -> activate#(n__o()) -> o#()
    U43#(tt(),V1,V2) -> activate#(V1) ->
    activate#(n__u()) -> u#()
    U42#(tt(),V1,V2) -> U43#(isPalListKind(activate(V2)),activate(V1),activate(V2)) ->
    U43#(tt(),V1,V2) -> activate#(V1)
    U42#(tt(),V1,V2) -> U43#(isPalListKind(activate(V2)),activate(V1),activate(V2)) ->
    U43#(tt(),V1,V2) -> activate#(V2)
    U42#(tt(),V1,V2) -> U43#(isPalListKind(activate(V2)),activate(V1),activate(V2)) ->
    U43#(tt(),V1,V2) -> isPalListKind#(activate(V2))
    U42#(tt(),V1,V2) -> U43#(isPalListKind(activate(V2)),activate(V1),activate(V2)) ->
    U43#(tt(),V1,V2) -> U44#(isPalListKind(activate(V2)),activate(V1),activate(V2))
    U42#(tt(),V1,V2) -> isPalListKind#(activate(V2)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V2)
    U42#(tt(),V1,V2) -> isPalListKind#(activate(V2)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V1)
    U42#(tt(),V1,V2) -> isPalListKind#(activate(V2)) ->
    isPalListKind#(n____(V1,V2)) -> isPalListKind#(activate(V1))
    U42#(tt(),V1,V2) -> isPalListKind#(activate(V2)) ->
    isPalListKind#(n____(V1,V2)) -> U91#(isPalListKind(activate(V1)),activate(V2))
    U42#(tt(),V1,V2) -> activate#(V2) ->
    activate#(n__nil()) -> nil#()
    U42#(tt(),V1,V2) -> activate#(V2) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U42#(tt(),V1,V2) -> activate#(V2) -> activate#(n__a()) -> a#()
    U42#(tt(),V1,V2) -> activate#(V2) -> activate#(n__e()) -> e#()
    U42#(tt(),V1,V2) -> activate#(V2) -> activate#(n__i()) -> i#()
    U42#(tt(),V1,V2) -> activate#(V2) -> activate#(n__o()) -> o#()
    U42#(tt(),V1,V2) -> activate#(V2) -> activate#(n__u()) -> u#()
    U42#(tt(),V1,V2) -> activate#(V1) ->
    activate#(n__nil()) -> nil#()
    U42#(tt(),V1,V2) -> activate#(V1) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U42#(tt(),V1,V2) -> activate#(V1) -> activate#(n__a()) -> a#()
    U42#(tt(),V1,V2) -> activate#(V1) -> activate#(n__e()) -> e#()
    U42#(tt(),V1,V2) -> activate#(V1) -> activate#(n__i()) -> i#()
    U42#(tt(),V1,V2) -> activate#(V1) -> activate#(n__o()) -> o#()
    U42#(tt(),V1,V2) -> activate#(V1) ->
    activate#(n__u()) -> u#()
    U41#(tt(),V1,V2) -> U42#(isPalListKind(activate(V1)),activate(V1),activate(V2)) ->
    U42#(tt(),V1,V2) -> activate#(V1)
    U41#(tt(),V1,V2) -> U42#(isPalListKind(activate(V1)),activate(V1),activate(V2)) ->
    U42#(tt(),V1,V2) -> activate#(V2)
    U41#(tt(),V1,V2) -> U42#(isPalListKind(activate(V1)),activate(V1),activate(V2)) ->
    U42#(tt(),V1,V2) -> isPalListKind#(activate(V2))
    U41#(tt(),V1,V2) -> U42#(isPalListKind(activate(V1)),activate(V1),activate(V2)) ->
    U42#(tt(),V1,V2) -> U43#(isPalListKind(activate(V2)),activate(V1),activate(V2))
    U41#(tt(),V1,V2) -> isPalListKind#(activate(V1)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V2)
    U41#(tt(),V1,V2) -> isPalListKind#(activate(V1)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V1)
    U41#(tt(),V1,V2) -> isPalListKind#(activate(V1)) ->
    isPalListKind#(n____(V1,V2)) -> isPalListKind#(activate(V1))
    U41#(tt(),V1,V2) -> isPalListKind#(activate(V1)) ->
    isPalListKind#(n____(V1,V2)) -> U91#(isPalListKind(activate(V1)),activate(V2))
    U41#(tt(),V1,V2) -> activate#(V2) ->
    activate#(n__nil()) -> nil#()
    U41#(tt(),V1,V2) -> activate#(V2) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U41#(tt(),V1,V2) -> activate#(V2) -> activate#(n__a()) -> a#()
    U41#(tt(),V1,V2) -> activate#(V2) -> activate#(n__e()) -> e#()
    U41#(tt(),V1,V2) -> activate#(V2) -> activate#(n__i()) -> i#()
    U41#(tt(),V1,V2) -> activate#(V2) -> activate#(n__o()) -> o#()
    U41#(tt(),V1,V2) -> activate#(V2) -> activate#(n__u()) -> u#()
    U41#(tt(),V1,V2) -> activate#(V1) ->
    activate#(n__nil()) -> nil#()
    U41#(tt(),V1,V2) -> activate#(V1) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U41#(tt(),V1,V2) -> activate#(V1) -> activate#(n__a()) -> a#()
    U41#(tt(),V1,V2) -> activate#(V1) -> activate#(n__e()) -> e#()
    U41#(tt(),V1,V2) -> activate#(V1) -> activate#(n__i()) -> i#()
    U41#(tt(),V1,V2) -> activate#(V1) -> activate#(n__o()) -> o#()
    U41#(tt(),V1,V2) -> activate#(V1) -> activate#(n__u()) -> u#()
    U32#(tt(),V) -> activate#(V) -> activate#(n__nil()) -> nil#()
    U32#(tt(),V) -> activate#(V) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U32#(tt(),V) -> activate#(V) -> activate#(n__a()) -> a#()
    U32#(tt(),V) -> activate#(V) -> activate#(n__e()) -> e#()
    U32#(tt(),V) -> activate#(V) -> activate#(n__i()) -> i#()
    U32#(tt(),V) -> activate#(V) -> activate#(n__o()) -> o#()
    U32#(tt(),V) -> activate#(V) ->
    activate#(n__u()) -> u#()
    U31#(tt(),V) -> U32#(isPalListKind(activate(V)),activate(V)) ->
    U32#(tt(),V) -> activate#(V)
    U31#(tt(),V) -> U32#(isPalListKind(activate(V)),activate(V)) ->
    U32#(tt(),V) -> isQid#(activate(V))
    U31#(tt(),V) -> U32#(isPalListKind(activate(V)),activate(V)) ->
    U32#(tt(),V) -> U33#(isQid(activate(V)))
    U31#(tt(),V) -> isPalListKind#(activate(V)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V2)
    U31#(tt(),V) -> isPalListKind#(activate(V)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V1)
    U31#(tt(),V) -> isPalListKind#(activate(V)) ->
    isPalListKind#(n____(V1,V2)) -> isPalListKind#(activate(V1))
    U31#(tt(),V) -> isPalListKind#(activate(V)) ->
    isPalListKind#(n____(V1,V2)) -> U91#(isPalListKind(activate(V1)),activate(V2))
    U31#(tt(),V) -> activate#(V) -> activate#(n__nil()) -> nil#()
    U31#(tt(),V) -> activate#(V) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U31#(tt(),V) -> activate#(V) -> activate#(n__a()) -> a#()
    U31#(tt(),V) -> activate#(V) -> activate#(n__e()) -> e#()
    U31#(tt(),V) -> activate#(V) -> activate#(n__i()) -> i#()
    U31#(tt(),V) -> activate#(V) -> activate#(n__o()) -> o#()
    U31#(tt(),V) -> activate#(V) -> activate#(n__u()) -> u#()
    U25#(tt(),V2) -> isList#(activate(V2)) ->
    isList#(V) -> activate#(V)
    U25#(tt(),V2) -> isList#(activate(V2)) ->
    isList#(V) -> isPalListKind#(activate(V))
    U25#(tt(),V2) -> isList#(activate(V2)) ->
    isList#(V) -> U11#(isPalListKind(activate(V)),activate(V))
    U25#(tt(),V2) -> isList#(activate(V2)) ->
    isList#(n____(V1,V2)) -> activate#(V2)
    U25#(tt(),V2) -> isList#(activate(V2)) ->
    isList#(n____(V1,V2)) -> activate#(V1)
    U25#(tt(),V2) -> isList#(activate(V2)) ->
    isList#(n____(V1,V2)) -> isPalListKind#(activate(V1))
    U25#(tt(),V2) -> isList#(activate(V2)) ->
    isList#(n____(V1,V2)) -> U21#(isPalListKind(activate(V1)),activate(V1),activate(V2))
    U25#(tt(),V2) -> activate#(V2) -> activate#(n__nil()) -> nil#()
    U25#(tt(),V2) -> activate#(V2) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U25#(tt(),V2) -> activate#(V2) -> activate#(n__a()) -> a#()
    U25#(tt(),V2) -> activate#(V2) -> activate#(n__e()) -> e#()
    U25#(tt(),V2) -> activate#(V2) -> activate#(n__i()) -> i#()
    U25#(tt(),V2) -> activate#(V2) -> activate#(n__o()) -> o#()
    U25#(tt(),V2) -> activate#(V2) ->
    activate#(n__u()) -> u#()
    isList#(n____(V1,V2)) -> U21#(isPalListKind(activate(V1)),activate(V1),activate(V2)) ->
    U21#(tt(),V1,V2) -> activate#(V2)
    isList#(n____(V1,V2)) -> U21#(isPalListKind(activate(V1)),activate(V1),activate(V2)) ->
    U21#(tt(),V1,V2) -> activate#(V1)
    isList#(n____(V1,V2)) -> U21#(isPalListKind(activate(V1)),activate(V1),activate(V2)) ->
    U21#(tt(),V1,V2) -> isPalListKind#(activate(V1))
    isList#(n____(V1,V2)) -> U21#(isPalListKind(activate(V1)),activate(V1),activate(V2)) ->
    U21#(tt(),V1,V2) -> U22#(isPalListKind(activate(V1)),activate(V1),activate(V2))
    isList#(n____(V1,V2)) -> isPalListKind#(activate(V1)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V2)
    isList#(n____(V1,V2)) -> isPalListKind#(activate(V1)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V1)
    isList#(n____(V1,V2)) -> isPalListKind#(activate(V1)) ->
    isPalListKind#(n____(V1,V2)) -> isPalListKind#(activate(V1))
    isList#(n____(V1,V2)) -> isPalListKind#(activate(V1)) ->
    isPalListKind#(n____(V1,V2)) -> U91#(isPalListKind(activate(V1)),activate(V2))
    isList#(n____(V1,V2)) -> activate#(V2) ->
    activate#(n__nil()) -> nil#()
    isList#(n____(V1,V2)) -> activate#(V2) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    isList#(n____(V1,V2)) -> activate#(V2) ->
    activate#(n__a()) -> a#()
    isList#(n____(V1,V2)) -> activate#(V2) ->
    activate#(n__e()) -> e#()
    isList#(n____(V1,V2)) -> activate#(V2) ->
    activate#(n__i()) -> i#()
    isList#(n____(V1,V2)) -> activate#(V2) ->
    activate#(n__o()) -> o#()
    isList#(n____(V1,V2)) -> activate#(V2) ->
    activate#(n__u()) -> u#()
    isList#(n____(V1,V2)) -> activate#(V1) ->
    activate#(n__nil()) -> nil#()
    isList#(n____(V1,V2)) -> activate#(V1) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    isList#(n____(V1,V2)) -> activate#(V1) ->
    activate#(n__a()) -> a#()
    isList#(n____(V1,V2)) -> activate#(V1) ->
    activate#(n__e()) -> e#()
    isList#(n____(V1,V2)) -> activate#(V1) ->
    activate#(n__i()) -> i#()
    isList#(n____(V1,V2)) -> activate#(V1) ->
    activate#(n__o()) -> o#()
    isList#(n____(V1,V2)) -> activate#(V1) ->
    activate#(n__u()) -> u#()
    isList#(V) -> isPalListKind#(activate(V)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V2)
    isList#(V) -> isPalListKind#(activate(V)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V1)
    isList#(V) -> isPalListKind#(activate(V)) ->
    isPalListKind#(n____(V1,V2)) -> isPalListKind#(activate(V1))
    isList#(V) -> isPalListKind#(activate(V)) ->
    isPalListKind#(n____(V1,V2)) -> U91#(isPalListKind(activate(V1)),activate(V2))
    isList#(V) -> activate#(V) -> activate#(n__nil()) -> nil#()
    isList#(V) -> activate#(V) -> activate#(n____(X1,X2)) -> __#(X1,X2)
    isList#(V) -> activate#(V) -> activate#(n__a()) -> a#()
    isList#(V) -> activate#(V) -> activate#(n__e()) -> e#()
    isList#(V) -> activate#(V) -> activate#(n__i()) -> i#()
    isList#(V) -> activate#(V) -> activate#(n__o()) -> o#()
    isList#(V) -> activate#(V) ->
    activate#(n__u()) -> u#()
    isList#(V) -> U11#(isPalListKind(activate(V)),activate(V)) ->
    U11#(tt(),V) -> activate#(V)
    isList#(V) -> U11#(isPalListKind(activate(V)),activate(V)) ->
    U11#(tt(),V) -> isPalListKind#(activate(V))
    isList#(V) -> U11#(isPalListKind(activate(V)),activate(V)) ->
    U11#(tt(),V) -> U12#(isPalListKind(activate(V)),activate(V))
    U24#(tt(),V1,V2) -> U25#(isList(activate(V1)),activate(V2)) ->
    U25#(tt(),V2) -> activate#(V2)
    U24#(tt(),V1,V2) -> U25#(isList(activate(V1)),activate(V2)) ->
    U25#(tt(),V2) -> isList#(activate(V2))
    U24#(tt(),V1,V2) -> U25#(isList(activate(V1)),activate(V2)) ->
    U25#(tt(),V2) -> U26#(isList(activate(V2)))
    U24#(tt(),V1,V2) -> isList#(activate(V1)) ->
    isList#(V) -> activate#(V)
    U24#(tt(),V1,V2) -> isList#(activate(V1)) ->
    isList#(V) -> isPalListKind#(activate(V))
    U24#(tt(),V1,V2) -> isList#(activate(V1)) ->
    isList#(V) -> U11#(isPalListKind(activate(V)),activate(V))
    U24#(tt(),V1,V2) -> isList#(activate(V1)) ->
    isList#(n____(V1,V2)) -> activate#(V2)
    U24#(tt(),V1,V2) -> isList#(activate(V1)) ->
    isList#(n____(V1,V2)) -> activate#(V1)
    U24#(tt(),V1,V2) -> isList#(activate(V1)) ->
    isList#(n____(V1,V2)) -> isPalListKind#(activate(V1))
    U24#(tt(),V1,V2) -> isList#(activate(V1)) ->
    isList#(n____(V1,V2)) -> U21#(isPalListKind(activate(V1)),activate(V1),activate(V2))
    U24#(tt(),V1,V2) -> activate#(V2) ->
    activate#(n__nil()) -> nil#()
    U24#(tt(),V1,V2) -> activate#(V2) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U24#(tt(),V1,V2) -> activate#(V2) -> activate#(n__a()) -> a#()
    U24#(tt(),V1,V2) -> activate#(V2) -> activate#(n__e()) -> e#()
    U24#(tt(),V1,V2) -> activate#(V2) -> activate#(n__i()) -> i#()
    U24#(tt(),V1,V2) -> activate#(V2) -> activate#(n__o()) -> o#()
    U24#(tt(),V1,V2) -> activate#(V2) -> activate#(n__u()) -> u#()
    U24#(tt(),V1,V2) -> activate#(V1) ->
    activate#(n__nil()) -> nil#()
    U24#(tt(),V1,V2) -> activate#(V1) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U24#(tt(),V1,V2) -> activate#(V1) -> activate#(n__a()) -> a#()
    U24#(tt(),V1,V2) -> activate#(V1) -> activate#(n__e()) -> e#()
    U24#(tt(),V1,V2) -> activate#(V1) -> activate#(n__i()) -> i#()
    U24#(tt(),V1,V2) -> activate#(V1) -> activate#(n__o()) -> o#()
    U24#(tt(),V1,V2) -> activate#(V1) ->
    activate#(n__u()) -> u#()
    U23#(tt(),V1,V2) -> U24#(isPalListKind(activate(V2)),activate(V1),activate(V2)) ->
    U24#(tt(),V1,V2) -> activate#(V2)
    U23#(tt(),V1,V2) -> U24#(isPalListKind(activate(V2)),activate(V1),activate(V2)) ->
    U24#(tt(),V1,V2) -> activate#(V1)
    U23#(tt(),V1,V2) -> U24#(isPalListKind(activate(V2)),activate(V1),activate(V2)) ->
    U24#(tt(),V1,V2) -> isList#(activate(V1))
    U23#(tt(),V1,V2) -> U24#(isPalListKind(activate(V2)),activate(V1),activate(V2)) ->
    U24#(tt(),V1,V2) -> U25#(isList(activate(V1)),activate(V2))
    U23#(tt(),V1,V2) -> isPalListKind#(activate(V2)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V2)
    U23#(tt(),V1,V2) -> isPalListKind#(activate(V2)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V1)
    U23#(tt(),V1,V2) -> isPalListKind#(activate(V2)) ->
    isPalListKind#(n____(V1,V2)) -> isPalListKind#(activate(V1))
    U23#(tt(),V1,V2) -> isPalListKind#(activate(V2)) ->
    isPalListKind#(n____(V1,V2)) -> U91#(isPalListKind(activate(V1)),activate(V2))
    U23#(tt(),V1,V2) -> activate#(V2) ->
    activate#(n__nil()) -> nil#()
    U23#(tt(),V1,V2) -> activate#(V2) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U23#(tt(),V1,V2) -> activate#(V2) -> activate#(n__a()) -> a#()
    U23#(tt(),V1,V2) -> activate#(V2) -> activate#(n__e()) -> e#()
    U23#(tt(),V1,V2) -> activate#(V2) -> activate#(n__i()) -> i#()
    U23#(tt(),V1,V2) -> activate#(V2) -> activate#(n__o()) -> o#()
    U23#(tt(),V1,V2) -> activate#(V2) -> activate#(n__u()) -> u#()
    U23#(tt(),V1,V2) -> activate#(V1) ->
    activate#(n__nil()) -> nil#()
    U23#(tt(),V1,V2) -> activate#(V1) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U23#(tt(),V1,V2) -> activate#(V1) -> activate#(n__a()) -> a#()
    U23#(tt(),V1,V2) -> activate#(V1) -> activate#(n__e()) -> e#()
    U23#(tt(),V1,V2) -> activate#(V1) -> activate#(n__i()) -> i#()
    U23#(tt(),V1,V2) -> activate#(V1) -> activate#(n__o()) -> o#()
    U23#(tt(),V1,V2) -> activate#(V1) ->
    activate#(n__u()) -> u#()
    U22#(tt(),V1,V2) -> U23#(isPalListKind(activate(V2)),activate(V1),activate(V2)) ->
    U23#(tt(),V1,V2) -> activate#(V1)
    U22#(tt(),V1,V2) -> U23#(isPalListKind(activate(V2)),activate(V1),activate(V2)) ->
    U23#(tt(),V1,V2) -> activate#(V2)
    U22#(tt(),V1,V2) -> U23#(isPalListKind(activate(V2)),activate(V1),activate(V2)) ->
    U23#(tt(),V1,V2) -> isPalListKind#(activate(V2))
    U22#(tt(),V1,V2) -> U23#(isPalListKind(activate(V2)),activate(V1),activate(V2)) ->
    U23#(tt(),V1,V2) -> U24#(isPalListKind(activate(V2)),activate(V1),activate(V2))
    U22#(tt(),V1,V2) -> isPalListKind#(activate(V2)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V2)
    U22#(tt(),V1,V2) -> isPalListKind#(activate(V2)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V1)
    U22#(tt(),V1,V2) -> isPalListKind#(activate(V2)) ->
    isPalListKind#(n____(V1,V2)) -> isPalListKind#(activate(V1))
    U22#(tt(),V1,V2) -> isPalListKind#(activate(V2)) ->
    isPalListKind#(n____(V1,V2)) -> U91#(isPalListKind(activate(V1)),activate(V2))
    U22#(tt(),V1,V2) -> activate#(V2) ->
    activate#(n__nil()) -> nil#()
    U22#(tt(),V1,V2) -> activate#(V2) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U22#(tt(),V1,V2) -> activate#(V2) -> activate#(n__a()) -> a#()
    U22#(tt(),V1,V2) -> activate#(V2) -> activate#(n__e()) -> e#()
    U22#(tt(),V1,V2) -> activate#(V2) -> activate#(n__i()) -> i#()
    U22#(tt(),V1,V2) -> activate#(V2) -> activate#(n__o()) -> o#()
    U22#(tt(),V1,V2) -> activate#(V2) -> activate#(n__u()) -> u#()
    U22#(tt(),V1,V2) -> activate#(V1) ->
    activate#(n__nil()) -> nil#()
    U22#(tt(),V1,V2) -> activate#(V1) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U22#(tt(),V1,V2) -> activate#(V1) -> activate#(n__a()) -> a#()
    U22#(tt(),V1,V2) -> activate#(V1) -> activate#(n__e()) -> e#()
    U22#(tt(),V1,V2) -> activate#(V1) -> activate#(n__i()) -> i#()
    U22#(tt(),V1,V2) -> activate#(V1) -> activate#(n__o()) -> o#()
    U22#(tt(),V1,V2) -> activate#(V1) ->
    activate#(n__u()) -> u#()
    U21#(tt(),V1,V2) -> U22#(isPalListKind(activate(V1)),activate(V1),activate(V2)) ->
    U22#(tt(),V1,V2) -> activate#(V1)
    U21#(tt(),V1,V2) -> U22#(isPalListKind(activate(V1)),activate(V1),activate(V2)) ->
    U22#(tt(),V1,V2) -> activate#(V2)
    U21#(tt(),V1,V2) -> U22#(isPalListKind(activate(V1)),activate(V1),activate(V2)) ->
    U22#(tt(),V1,V2) -> isPalListKind#(activate(V2))
    U21#(tt(),V1,V2) -> U22#(isPalListKind(activate(V1)),activate(V1),activate(V2)) ->
    U22#(tt(),V1,V2) -> U23#(isPalListKind(activate(V2)),activate(V1),activate(V2))
    U21#(tt(),V1,V2) -> isPalListKind#(activate(V1)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V2)
    U21#(tt(),V1,V2) -> isPalListKind#(activate(V1)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V1)
    U21#(tt(),V1,V2) -> isPalListKind#(activate(V1)) ->
    isPalListKind#(n____(V1,V2)) -> isPalListKind#(activate(V1))
    U21#(tt(),V1,V2) -> isPalListKind#(activate(V1)) ->
    isPalListKind#(n____(V1,V2)) -> U91#(isPalListKind(activate(V1)),activate(V2))
    U21#(tt(),V1,V2) -> activate#(V2) ->
    activate#(n__nil()) -> nil#()
    U21#(tt(),V1,V2) -> activate#(V2) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U21#(tt(),V1,V2) -> activate#(V2) -> activate#(n__a()) -> a#()
    U21#(tt(),V1,V2) -> activate#(V2) -> activate#(n__e()) -> e#()
    U21#(tt(),V1,V2) -> activate#(V2) -> activate#(n__i()) -> i#()
    U21#(tt(),V1,V2) -> activate#(V2) -> activate#(n__o()) -> o#()
    U21#(tt(),V1,V2) -> activate#(V2) -> activate#(n__u()) -> u#()
    U21#(tt(),V1,V2) -> activate#(V1) ->
    activate#(n__nil()) -> nil#()
    U21#(tt(),V1,V2) -> activate#(V1) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U21#(tt(),V1,V2) -> activate#(V1) -> activate#(n__a()) -> a#()
    U21#(tt(),V1,V2) -> activate#(V1) -> activate#(n__e()) -> e#()
    U21#(tt(),V1,V2) -> activate#(V1) -> activate#(n__i()) -> i#()
    U21#(tt(),V1,V2) -> activate#(V1) -> activate#(n__o()) -> o#()
    U21#(tt(),V1,V2) -> activate#(V1) ->
    activate#(n__u()) -> u#()
    isNeList#(n____(V1,V2)) -> U51#(isPalListKind(activate(V1)),activate(V1),activate(V2)) ->
    U51#(tt(),V1,V2) -> activate#(V2)
    isNeList#(n____(V1,V2)) -> U51#(isPalListKind(activate(V1)),activate(V1),activate(V2)) ->
    U51#(tt(),V1,V2) -> activate#(V1)
    isNeList#(n____(V1,V2)) -> U51#(isPalListKind(activate(V1)),activate(V1),activate(V2)) ->
    U51#(tt(),V1,V2) -> isPalListKind#(activate(V1))
    isNeList#(n____(V1,V2)) -> U51#(isPalListKind(activate(V1)),activate(V1),activate(V2)) ->
    U51#(tt(),V1,V2) -> U52#(isPalListKind(activate(V1)),activate(V1),activate(V2))
    isNeList#(n____(V1,V2)) -> U41#(isPalListKind(activate(V1)),activate(V1),activate(V2)) ->
    U41#(tt(),V1,V2) -> activate#(V2)
    isNeList#(n____(V1,V2)) -> U41#(isPalListKind(activate(V1)),activate(V1),activate(V2)) ->
    U41#(tt(),V1,V2) -> activate#(V1)
    isNeList#(n____(V1,V2)) -> U41#(isPalListKind(activate(V1)),activate(V1),activate(V2)) ->
    U41#(tt(),V1,V2) -> isPalListKind#(activate(V1))
    isNeList#(n____(V1,V2)) -> U41#(isPalListKind(activate(V1)),activate(V1),activate(V2)) ->
    U41#(tt(),V1,V2) -> U42#(isPalListKind(activate(V1)),activate(V1),activate(V2))
    isNeList#(n____(V1,V2)) -> isPalListKind#(activate(V1)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V2)
    isNeList#(n____(V1,V2)) -> isPalListKind#(activate(V1)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V1)
    isNeList#(n____(V1,V2)) -> isPalListKind#(activate(V1)) ->
    isPalListKind#(n____(V1,V2)) -> isPalListKind#(activate(V1))
    isNeList#(n____(V1,V2)) -> isPalListKind#(activate(V1)) ->
    isPalListKind#(n____(V1,V2)) -> U91#(isPalListKind(activate(V1)),activate(V2))
    isNeList#(n____(V1,V2)) -> activate#(V2) ->
    activate#(n__nil()) -> nil#()
    isNeList#(n____(V1,V2)) -> activate#(V2) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    isNeList#(n____(V1,V2)) -> activate#(V2) ->
    activate#(n__a()) -> a#()
    isNeList#(n____(V1,V2)) -> activate#(V2) ->
    activate#(n__e()) -> e#()
    isNeList#(n____(V1,V2)) -> activate#(V2) ->
    activate#(n__i()) -> i#()
    isNeList#(n____(V1,V2)) -> activate#(V2) ->
    activate#(n__o()) -> o#()
    isNeList#(n____(V1,V2)) -> activate#(V2) ->
    activate#(n__u()) -> u#()
    isNeList#(n____(V1,V2)) -> activate#(V1) ->
    activate#(n__nil()) -> nil#()
    isNeList#(n____(V1,V2)) -> activate#(V1) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    isNeList#(n____(V1,V2)) -> activate#(V1) ->
    activate#(n__a()) -> a#()
    isNeList#(n____(V1,V2)) -> activate#(V1) ->
    activate#(n__e()) -> e#()
    isNeList#(n____(V1,V2)) -> activate#(V1) ->
    activate#(n__i()) -> i#()
    isNeList#(n____(V1,V2)) -> activate#(V1) ->
    activate#(n__o()) -> o#()
    isNeList#(n____(V1,V2)) -> activate#(V1) ->
    activate#(n__u()) -> u#()
    isNeList#(V) -> U31#(isPalListKind(activate(V)),activate(V)) ->
    U31#(tt(),V) -> activate#(V)
    isNeList#(V) -> U31#(isPalListKind(activate(V)),activate(V)) ->
    U31#(tt(),V) -> isPalListKind#(activate(V))
    isNeList#(V) -> U31#(isPalListKind(activate(V)),activate(V)) ->
    U31#(tt(),V) -> U32#(isPalListKind(activate(V)),activate(V))
    isNeList#(V) -> isPalListKind#(activate(V)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V2)
    isNeList#(V) -> isPalListKind#(activate(V)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V1)
    isNeList#(V) -> isPalListKind#(activate(V)) ->
    isPalListKind#(n____(V1,V2)) -> isPalListKind#(activate(V1))
    isNeList#(V) -> isPalListKind#(activate(V)) ->
    isPalListKind#(n____(V1,V2)) -> U91#(isPalListKind(activate(V1)),activate(V2))
    isNeList#(V) -> activate#(V) -> activate#(n__nil()) -> nil#()
    isNeList#(V) -> activate#(V) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    isNeList#(V) -> activate#(V) -> activate#(n__a()) -> a#()
    isNeList#(V) -> activate#(V) -> activate#(n__e()) -> e#()
    isNeList#(V) -> activate#(V) -> activate#(n__i()) -> i#()
    isNeList#(V) -> activate#(V) -> activate#(n__o()) -> o#()
    isNeList#(V) -> activate#(V) -> activate#(n__u()) -> u#()
    U12#(tt(),V) -> isNeList#(activate(V)) ->
    isNeList#(V) -> activate#(V)
    U12#(tt(),V) -> isNeList#(activate(V)) ->
    isNeList#(V) -> isPalListKind#(activate(V))
    U12#(tt(),V) -> isNeList#(activate(V)) ->
    isNeList#(V) -> U31#(isPalListKind(activate(V)),activate(V))
    U12#(tt(),V) -> isNeList#(activate(V)) ->
    isNeList#(n____(V1,V2)) -> activate#(V2)
    U12#(tt(),V) -> isNeList#(activate(V)) ->
    isNeList#(n____(V1,V2)) -> activate#(V1)
    U12#(tt(),V) -> isNeList#(activate(V)) ->
    isNeList#(n____(V1,V2)) -> isPalListKind#(activate(V1))
    U12#(tt(),V) -> isNeList#(activate(V)) ->
    isNeList#(n____(V1,V2)) -> U41#(isPalListKind(activate(V1)),activate(V1),activate(V2))
    U12#(tt(),V) -> isNeList#(activate(V)) ->
    isNeList#(n____(V1,V2)) -> U51#(isPalListKind(activate(V1)),activate(V1),activate(V2))
    U12#(tt(),V) -> activate#(V) -> activate#(n__nil()) -> nil#()
    U12#(tt(),V) -> activate#(V) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U12#(tt(),V) -> activate#(V) -> activate#(n__a()) -> a#()
    U12#(tt(),V) -> activate#(V) -> activate#(n__e()) -> e#()
    U12#(tt(),V) -> activate#(V) -> activate#(n__i()) -> i#()
    U12#(tt(),V) -> activate#(V) -> activate#(n__o()) -> o#()
    U12#(tt(),V) -> activate#(V) ->
    activate#(n__u()) -> u#()
    isPalListKind#(n____(V1,V2)) -> U91#(isPalListKind(activate(V1)),activate(V2)) ->
    U91#(tt(),V2) -> activate#(V2)
    isPalListKind#(n____(V1,V2)) -> U91#(isPalListKind(activate(V1)),activate(V2)) ->
    U91#(tt(),V2) -> isPalListKind#(activate(V2))
    isPalListKind#(n____(V1,V2)) -> U91#(isPalListKind(activate(V1)),activate(V2)) ->
    U91#(tt(),V2) -> U92#(isPalListKind(activate(V2)))
    isPalListKind#(n____(V1,V2)) -> isPalListKind#(activate(V1)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V2)
    isPalListKind#(n____(V1,V2)) -> isPalListKind#(activate(V1)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V1)
    isPalListKind#(n____(V1,V2)) -> isPalListKind#(activate(V1)) ->
    isPalListKind#(n____(V1,V2)) -> isPalListKind#(activate(V1))
    isPalListKind#(n____(V1,V2)) -> isPalListKind#(activate(V1)) ->
    isPalListKind#(n____(V1,V2)) -> U91#(isPalListKind(activate(V1)),activate(V2))
    isPalListKind#(n____(V1,V2)) -> activate#(V2) ->
    activate#(n__nil()) -> nil#()
    isPalListKind#(n____(V1,V2)) -> activate#(V2) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    isPalListKind#(n____(V1,V2)) -> activate#(V2) ->
    activate#(n__a()) -> a#()
    isPalListKind#(n____(V1,V2)) -> activate#(V2) ->
    activate#(n__e()) -> e#()
    isPalListKind#(n____(V1,V2)) -> activate#(V2) ->
    activate#(n__i()) -> i#()
    isPalListKind#(n____(V1,V2)) -> activate#(V2) ->
    activate#(n__o()) -> o#()
    isPalListKind#(n____(V1,V2)) -> activate#(V2) ->
    activate#(n__u()) -> u#()
    isPalListKind#(n____(V1,V2)) -> activate#(V1) ->
    activate#(n__nil()) -> nil#()
    isPalListKind#(n____(V1,V2)) -> activate#(V1) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    isPalListKind#(n____(V1,V2)) -> activate#(V1) ->
    activate#(n__a()) -> a#()
    isPalListKind#(n____(V1,V2)) -> activate#(V1) ->
    activate#(n__e()) -> e#()
    isPalListKind#(n____(V1,V2)) -> activate#(V1) ->
    activate#(n__i()) -> i#()
    isPalListKind#(n____(V1,V2)) -> activate#(V1) ->
    activate#(n__o()) -> o#()
    isPalListKind#(n____(V1,V2)) -> activate#(V1) ->
    activate#(n__u()) -> u#()
    activate#(n____(X1,X2)) -> __#(X1,X2) ->
    __#(__(X,Y),Z) -> __#(Y,Z)
    activate#(n____(X1,X2)) -> __#(X1,X2) ->
    __#(__(X,Y),Z) -> __#(X,__(Y,Z))
    U11#(tt(),V) -> U12#(isPalListKind(activate(V)),activate(V)) ->
    U12#(tt(),V) -> activate#(V)
    U11#(tt(),V) -> U12#(isPalListKind(activate(V)),activate(V)) ->
    U12#(tt(),V) -> isNeList#(activate(V))
    U11#(tt(),V) -> U12#(isPalListKind(activate(V)),activate(V)) ->
    U12#(tt(),V) -> U13#(isNeList(activate(V)))
    U11#(tt(),V) -> isPalListKind#(activate(V)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V2)
    U11#(tt(),V) -> isPalListKind#(activate(V)) ->
    isPalListKind#(n____(V1,V2)) -> activate#(V1)
    U11#(tt(),V) -> isPalListKind#(activate(V)) ->
    isPalListKind#(n____(V1,V2)) -> isPalListKind#(activate(V1))
    U11#(tt(),V) -> isPalListKind#(activate(V)) ->
    isPalListKind#(n____(V1,V2)) -> U91#(isPalListKind(activate(V1)),activate(V2))
    U11#(tt(),V) -> activate#(V) -> activate#(n__nil()) -> nil#()
    U11#(tt(),V) -> activate#(V) ->
    activate#(n____(X1,X2)) -> __#(X1,X2)
    U11#(tt(),V) -> activate#(V) -> activate#(n__a()) -> a#()
    U11#(tt(),V) -> activate#(V) -> activate#(n__e()) -> e#()
    U11#(tt(),V) -> activate#(V) -> activate#(n__i()) -> i#()
    U11#(tt(),V) -> activate#(V) -> activate#(n__o()) -> o#()
    U11#(tt(),V) -> activate#(V) -> activate#(n__u()) -> u#()
    __#(__(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(),V) -> activate#(V)
     U11#(tt(),V) -> isPalListKind#(activate(V))
     U11#(tt(),V) -> U12#(isPalListKind(activate(V)),activate(V))
     U12#(tt(),V) -> activate#(V)
     U12#(tt(),V) -> isNeList#(activate(V))
     U12#(tt(),V) -> U13#(isNeList(activate(V)))
     U21#(tt(),V1,V2) -> activate#(V2)
     U21#(tt(),V1,V2) -> activate#(V1)
     U21#(tt(),V1,V2) -> isPalListKind#(activate(V1))
     U21#(tt(),V1,V2) -> U22#(isPalListKind(activate(V1)),activate(V1),activate(V2))
     U22#(tt(),V1,V2) -> activate#(V1)
     U22#(tt(),V1,V2) -> activate#(V2)
     U22#(tt(),V1,V2) -> isPalListKind#(activate(V2))
     U22#(tt(),V1,V2) -> U23#(isPalListKind(activate(V2)),activate(V1),activate(V2))
     U23#(tt(),V1,V2) -> activate#(V1)
     U23#(tt(),V1,V2) -> activate#(V2)
     U23#(tt(),V1,V2) -> isPalListKind#(activate(V2))
     U23#(tt(),V1,V2) -> U24#(isPalListKind(activate(V2)),activate(V1),activate(V2))
     U24#(tt(),V1,V2) -> activate#(V2)
     U24#(tt(),V1,V2) -> activate#(V1)
     U24#(tt(),V1,V2) -> isList#(activate(V1))
     U24#(tt(),V1,V2) -> U25#(isList(activate(V1)),activate(V2))
     U25#(tt(),V2) -> activate#(V2)
     U25#(tt(),V2) -> isList#(activate(V2))
     U25#(tt(),V2) -> U26#(isList(activate(V2)))
     U31#(tt(),V) -> activate#(V)
     U31#(tt(),V) -> isPalListKind#(activate(V))
     U31#(tt(),V) -> U32#(isPalListKind(activate(V)),activate(V))
     U32#(tt(),V) -> activate#(V)
     U32#(tt(),V) -> isQid#(activate(V))
     U32#(tt(),V) -> U33#(isQid(activate(V)))
     U41#(tt(),V1,V2) -> activate#(V2)
     U41#(tt(),V1,V2) -> activate#(V1)
     U41#(tt(),V1,V2) -> isPalListKind#(activate(V1))
     U41#(tt(),V1,V2) -> U42#(isPalListKind(activate(V1)),activate(V1),activate(V2))
     U42#(tt(),V1,V2) -> activate#(V1)
     U42#(tt(),V1,V2) -> activate#(V2)
     U42#(tt(),V1,V2) -> isPalListKind#(activate(V2))
     U42#(tt(),V1,V2) -> U43#(isPalListKind(activate(V2)),activate(V1),activate(V2))
     U43#(tt(),V1,V2) -> activate#(V1)
     U43#(tt(),V1,V2) -> activate#(V2)
     U43#(tt(),V1,V2) -> isPalListKind#(activate(V2))
     U43#(tt(),V1,V2) -> U44#(isPalListKind(activate(V2)),activate(V1),activate(V2))
     U44#(tt(),V1,V2) -> activate#(V2)
     U44#(tt(),V1,V2) -> activate#(V1)
     U44#(tt(),V1,V2) -> isList#(activate(V1))
     U44#(tt(),V1,V2) -> U45#(isList(activate(V1)),activate(V2))
     U45#(tt(),V2) -> activate#(V2)
     U45#(tt(),V2) -> isNeList#(activate(V2))
     U45#(tt(),V2) -> U46#(isNeList(activate(V2)))
     U51#(tt(),V1,V2) -> activate#(V2)
     U51#(tt(),V1,V2) -> activate#(V1)
     U51#(tt(),V1,V2) -> isPalListKind#(activate(V1))
     U51#(tt(),V1,V2) -> U52#(isPalListKind(activate(V1)),activate(V1),activate(V2))
     U52#(tt(),V1,V2) -> activate#(V1)
     U52#(tt(),V1,V2) -> activate#(V2)
     U52#(tt(),V1,V2) -> isPalListKind#(activate(V2))
     U52#(tt(),V1,V2) -> U53#(isPalListKind(activate(V2)),activate(V1),activate(V2))
     U53#(tt(),V1,V2) -> activate#(V1)
     U53#(tt(),V1,V2) -> activate#(V2)
     U53#(tt(),V1,V2) -> isPalListKind#(activate(V2))
     U53#(tt(),V1,V2) -> U54#(isPalListKind(activate(V2)),activate(V1),activate(V2))
     U54#(tt(),V1,V2) -> activate#(V2)
     U54#(tt(),V1,V2) -> activate#(V1)
     U54#(tt(),V1,V2) -> isNeList#(activate(V1))
     U54#(tt(),V1,V2) -> U55#(isNeList(activate(V1)),activate(V2))
     U55#(tt(),V2) -> activate#(V2)
     U55#(tt(),V2) -> isList#(activate(V2))
     U55#(tt(),V2) -> U56#(isList(activate(V2)))
     U61#(tt(),V) -> activate#(V)
     U61#(tt(),V) -> isPalListKind#(activate(V))
     U61#(tt(),V) -> U62#(isPalListKind(activate(V)),activate(V))
     U62#(tt(),V) -> activate#(V)
     U62#(tt(),V) -> isQid#(activate(V))
     U62#(tt(),V) -> U63#(isQid(activate(V)))
     U71#(tt(),I,P) -> activate#(P)
     U71#(tt(),I,P) -> activate#(I)
     U71#(tt(),I,P) -> isPalListKind#(activate(I))
     U71#(tt(),I,P) -> U72#(isPalListKind(activate(I)),activate(P))
     U72#(tt(),P) -> activate#(P)
     U72#(tt(),P) -> isPal#(activate(P))
     U72#(tt(),P) -> U73#(isPal(activate(P)),activate(P))
     U73#(tt(),P) -> activate#(P)
     U73#(tt(),P) -> isPalListKind#(activate(P))
     U73#(tt(),P) -> U74#(isPalListKind(activate(P)))
     U81#(tt(),V) -> activate#(V)
     U81#(tt(),V) -> isPalListKind#(activate(V))
     U81#(tt(),V) -> U82#(isPalListKind(activate(V)),activate(V))
     U82#(tt(),V) -> activate#(V)
     U82#(tt(),V) -> isNePal#(activate(V))
     U82#(tt(),V) -> U83#(isNePal(activate(V)))
     U91#(tt(),V2) -> activate#(V2)
     U91#(tt(),V2) -> isPalListKind#(activate(V2))
     U91#(tt(),V2) -> U92#(isPalListKind(activate(V2)))
     isList#(V) -> activate#(V)
     isList#(V) -> isPalListKind#(activate(V))
     isList#(V) -> U11#(isPalListKind(activate(V)),activate(V))
     isList#(n____(V1,V2)) -> activate#(V2)
     isList#(n____(V1,V2)) -> activate#(V1)
     isList#(n____(V1,V2)) -> isPalListKind#(activate(V1))
     isList#(n____(V1,V2)) -> U21#(isPalListKind(activate(V1)),activate(V1),activate(V2))
     isNeList#(V) -> activate#(V)
     isNeList#(V) -> isPalListKind#(activate(V))
     isNeList#(V) -> U31#(isPalListKind(activate(V)),activate(V))
     isNeList#(n____(V1,V2)) -> activate#(V2)
     isNeList#(n____(V1,V2)) -> activate#(V1)
     isNeList#(n____(V1,V2)) -> isPalListKind#(activate(V1))
     isNeList#(n____(V1,V2)) -> U41#(isPalListKind(activate(V1)),activate(V1),activate(V2))
     isNeList#(n____(V1,V2)) -> U51#(isPalListKind(activate(V1)),activate(V1),activate(V2))
     isNePal#(V) -> activate#(V)
     isNePal#(V) -> isPalListKind#(activate(V))
     isNePal#(V) -> U61#(isPalListKind(activate(V)),activate(V))
     isNePal#(n____(I,__(P,I))) -> activate#(P)
     isNePal#(n____(I,__(P,I))) -> activate#(I)
     isNePal#(n____(I,__(P,I))) -> isQid#(activate(I))
     isNePal#(n____(I,__(P,I))) -> U71#(isQid(activate(I)),activate(I),activate(P))
     isPal#(V) -> activate#(V)
     isPal#(V) -> isPalListKind#(activate(V))
     isPal#(V) -> U81#(isPalListKind(activate(V)),activate(V))
     isPalListKind#(n____(V1,V2)) -> activate#(V2)
     isPalListKind#(n____(V1,V2)) -> activate#(V1)
     isPalListKind#(n____(V1,V2)) -> isPalListKind#(activate(V1))
     isPalListKind#(n____(V1,V2)) -> U91#(isPalListKind(activate(V1)),activate(V2))
     activate#(n__nil()) -> nil#()
     activate#(n____(X1,X2)) -> __#(X1,X2)
     activate#(n__a()) -> a#()
     activate#(n__e()) -> e#()
     activate#(n__i()) -> i#()
     activate#(n__o()) -> o#()
     activate#(n__u()) -> u#()
    TRS:
     __(__(X,Y),Z) -> __(X,__(Y,Z))
     __(X,nil()) -> X
     __(nil(),X) -> X
     U11(tt(),V) -> U12(isPalListKind(activate(V)),activate(V))
     U12(tt(),V) -> U13(isNeList(activate(V)))
     U13(tt()) -> tt()
     U21(tt(),V1,V2) -> U22(isPalListKind(activate(V1)),activate(V1),activate(V2))
     U22(tt(),V1,V2) -> U23(isPalListKind(activate(V2)),activate(V1),activate(V2))
     U23(tt(),V1,V2) -> U24(isPalListKind(activate(V2)),activate(V1),activate(V2))
     U24(tt(),V1,V2) -> U25(isList(activate(V1)),activate(V2))
     U25(tt(),V2) -> U26(isList(activate(V2)))
     U26(tt()) -> tt()
     U31(tt(),V) -> U32(isPalListKind(activate(V)),activate(V))
     U32(tt(),V) -> U33(isQid(activate(V)))
     U33(tt()) -> tt()
     U41(tt(),V1,V2) -> U42(isPalListKind(activate(V1)),activate(V1),activate(V2))
     U42(tt(),V1,V2) -> U43(isPalListKind(activate(V2)),activate(V1),activate(V2))
     U43(tt(),V1,V2) -> U44(isPalListKind(activate(V2)),activate(V1),activate(V2))
     U44(tt(),V1,V2) -> U45(isList(activate(V1)),activate(V2))
     U45(tt(),V2) -> U46(isNeList(activate(V2)))
     U46(tt()) -> tt()
     U51(tt(),V1,V2) -> U52(isPalListKind(activate(V1)),activate(V1),activate(V2))
     U52(tt(),V1,V2) -> U53(isPalListKind(activate(V2)),activate(V1),activate(V2))
     U53(tt(),V1,V2) -> U54(isPalListKind(activate(V2)),activate(V1),activate(V2))
     U54(tt(),V1,V2) -> U55(isNeList(activate(V1)),activate(V2))
     U55(tt(),V2) -> U56(isList(activate(V2)))
     U56(tt()) -> tt()
     U61(tt(),V) -> U62(isPalListKind(activate(V)),activate(V))
     U62(tt(),V) -> U63(isQid(activate(V)))
     U63(tt()) -> tt()
     U71(tt(),I,P) -> U72(isPalListKind(activate(I)),activate(P))
     U72(tt(),P) -> U73(isPal(activate(P)),activate(P))
     U73(tt(),P) -> U74(isPalListKind(activate(P)))
     U74(tt()) -> tt()
     U81(tt(),V) -> U82(isPalListKind(activate(V)),activate(V))
     U82(tt(),V) -> U83(isNePal(activate(V)))
     U83(tt()) -> tt()
     U91(tt(),V2) -> U92(isPalListKind(activate(V2)))
     U92(tt()) -> tt()
     isList(V) -> U11(isPalListKind(activate(V)),activate(V))
     isList(n__nil()) -> tt()
     isList(n____(V1,V2)) -> U21(isPalListKind(activate(V1)),activate(V1),activate(V2))
     isNeList(V) -> U31(isPalListKind(activate(V)),activate(V))
     isNeList(n____(V1,V2)) -> U41(isPalListKind(activate(V1)),activate(V1),activate(V2))
     isNeList(n____(V1,V2)) -> U51(isPalListKind(activate(V1)),activate(V1),activate(V2))
     isNePal(V) -> U61(isPalListKind(activate(V)),activate(V))
     isNePal(n____(I,__(P,I))) -> U71(isQid(activate(I)),activate(I),activate(P))
     isPal(V) -> U81(isPalListKind(activate(V)),activate(V))
     isPal(n__nil()) -> tt()
     isPalListKind(n__a()) -> tt()
     isPalListKind(n__e()) -> tt()
     isPalListKind(n__i()) -> tt()
     isPalListKind(n__nil()) -> tt()
     isPalListKind(n__o()) -> tt()
     isPalListKind(n__u()) -> tt()
     isPalListKind(n____(V1,V2)) -> U91(isPalListKind(activate(V1)),activate(V2))
     isQid(n__a()) -> tt()
     isQid(n__e()) -> tt()
     isQid(n__i()) -> tt()
     isQid(n__o()) -> tt()
     isQid(n__u()) -> tt()
     nil() -> n__nil()
     __(X1,X2) -> n____(X1,X2)
     a() -> n__a()
     e() -> n__e()
     i() -> n__i()
     o() -> n__o()
     u() -> n__u()
     activate(n__nil()) -> nil()
     activate(n____(X1,X2)) -> __(X1,X2)
     activate(n__a()) -> a()
     activate(n__e()) -> e()
     activate(n__i()) -> i()
     activate(n__o()) -> o()
     activate(n__u()) -> u()
     activate(X) -> X
    SCC Processor:
     #sccs: 4
     #rules: 35
     #arcs: 618/17424
     DPs:
      U55#(tt(),V2) -> isList#(activate(V2))
      isList#(n____(V1,V2)) -> U21#(isPalListKind(activate(V1)),activate(V1),activate(V2))
      U21#(tt(),V1,V2) -> U22#(isPalListKind(activate(V1)),activate(V1),activate(V2))
      U22#(tt(),V1,V2) -> U23#(isPalListKind(activate(V2)),activate(V1),activate(V2))
      U23#(tt(),V1,V2) -> U24#(isPalListKind(activate(V2)),activate(V1),activate(V2))
      U24#(tt(),V1,V2) -> U25#(isList(activate(V1)),activate(V2))
      U25#(tt(),V2) -> isList#(activate(V2))
      isList#(V) -> U11#(isPalListKind(activate(V)),activate(V))
      U11#(tt(),V) -> U12#(isPalListKind(activate(V)),activate(V))
      U12#(tt(),V) -> isNeList#(activate(V))
      isNeList#(n____(V1,V2)) -> U51#(isPalListKind(activate(V1)),activate(V1),activate(V2))
      U51#(tt(),V1,V2) -> U52#(isPalListKind(activate(V1)),activate(V1),activate(V2))
      U52#(tt(),V1,V2) -> U53#(isPalListKind(activate(V2)),activate(V1),activate(V2))
      U53#(tt(),V1,V2) -> U54#(isPalListKind(activate(V2)),activate(V1),activate(V2))
      U54#(tt(),V1,V2) -> U55#(isNeList(activate(V1)),activate(V2))
      U54#(tt(),V1,V2) -> isNeList#(activate(V1))
      isNeList#(n____(V1,V2)) -> U41#(isPalListKind(activate(V1)),activate(V1),activate(V2))
      U41#(tt(),V1,V2) -> U42#(isPalListKind(activate(V1)),activate(V1),activate(V2))
      U42#(tt(),V1,V2) -> U43#(isPalListKind(activate(V2)),activate(V1),activate(V2))
      U43#(tt(),V1,V2) -> U44#(isPalListKind(activate(V2)),activate(V1),activate(V2))
      U44#(tt(),V1,V2) -> U45#(isList(activate(V1)),activate(V2))
      U45#(tt(),V2) -> isNeList#(activate(V2))
      U44#(tt(),V1,V2) -> isList#(activate(V1))
      U24#(tt(),V1,V2) -> isList#(activate(V1))
     TRS:
      __(__(X,Y),Z) -> __(X,__(Y,Z))
      __(X,nil()) -> X
      __(nil(),X) -> X
      U11(tt(),V) -> U12(isPalListKind(activate(V)),activate(V))
      U12(tt(),V) -> U13(isNeList(activate(V)))
      U13(tt()) -> tt()
      U21(tt(),V1,V2) -> U22(isPalListKind(activate(V1)),activate(V1),activate(V2))
      U22(tt(),V1,V2) -> U23(isPalListKind(activate(V2)),activate(V1),activate(V2))
      U23(tt(),V1,V2) -> U24(isPalListKind(activate(V2)),activate(V1),activate(V2))
      U24(tt(),V1,V2) -> U25(isList(activate(V1)),activate(V2))
      U25(tt(),V2) -> U26(isList(activate(V2)))
      U26(tt()) -> tt()
      U31(tt(),V) -> U32(isPalListKind(activate(V)),activate(V))
      U32(tt(),V) -> U33(isQid(activate(V)))
      U33(tt()) -> tt()
      U41(tt(),V1,V2) -> U42(isPalListKind(activate(V1)),activate(V1),activate(V2))
      U42(tt(),V1,V2) -> U43(isPalListKind(activate(V2)),activate(V1),activate(V2))
      U43(tt(),V1,V2) -> U44(isPalListKind(activate(V2)),activate(V1),activate(V2))
      U44(tt(),V1,V2) -> U45(isList(activate(V1)),activate(V2))
      U45(tt(),V2) -> U46(isNeList(activate(V2)))
      U46(tt()) -> tt()
      U51(tt(),V1,V2) -> U52(isPalListKind(activate(V1)),activate(V1),activate(V2))
      U52(tt(),V1,V2) -> U53(isPalListKind(activate(V2)),activate(V1),activate(V2))
      U53(tt(),V1,V2) -> U54(isPalListKind(activate(V2)),activate(V1),activate(V2))
      U54(tt(),V1,V2) -> U55(isNeList(activate(V1)),activate(V2))
      U55(tt(),V2) -> U56(isList(activate(V2)))
      U56(tt()) -> tt()
      U61(tt(),V) -> U62(isPalListKind(activate(V)),activate(V))
      U62(tt(),V) -> U63(isQid(activate(V)))
      U63(tt()) -> tt()
      U71(tt(),I,P) -> U72(isPalListKind(activate(I)),activate(P))
      U72(tt(),P) -> U73(isPal(activate(P)),activate(P))
      U73(tt(),P) -> U74(isPalListKind(activate(P)))
      U74(tt()) -> tt()
      U81(tt(),V) -> U82(isPalListKind(activate(V)),activate(V))
      U82(tt(),V) -> U83(isNePal(activate(V)))
      U83(tt()) -> tt()
      U91(tt(),V2) -> U92(isPalListKind(activate(V2)))
      U92(tt()) -> tt()
      isList(V) -> U11(isPalListKind(activate(V)),activate(V))
      isList(n__nil()) -> tt()
      isList(n____(V1,V2)) -> U21(isPalListKind(activate(V1)),activate(V1),activate(V2))
      isNeList(V) -> U31(isPalListKind(activate(V)),activate(V))
      isNeList(n____(V1,V2)) -> U41(isPalListKind(activate(V1)),activate(V1),activate(V2))
      isNeList(n____(V1,V2)) -> U51(isPalListKind(activate(V1)),activate(V1),activate(V2))
      isNePal(V) -> U61(isPalListKind(activate(V)),activate(V))
      isNePal(n____(I,__(P,I))) -> U71(isQid(activate(I)),activate(I),activate(P))
      isPal(V) -> U81(isPalListKind(activate(V)),activate(V))
      isPal(n__nil()) -> tt()
      isPalListKind(n__a()) -> tt()
      isPalListKind(n__e()) -> tt()
      isPalListKind(n__i()) -> tt()
      isPalListKind(n__nil()) -> tt()
      isPalListKind(n__o()) -> tt()
      isPalListKind(n__u()) -> tt()
      isPalListKind(n____(V1,V2)) -> U91(isPalListKind(activate(V1)),activate(V2))
      isQid(n__a()) -> tt()
      isQid(n__e()) -> tt()
      isQid(n__i()) -> tt()
      isQid(n__o()) -> tt()
      isQid(n__u()) -> tt()
      nil() -> n__nil()
      __(X1,X2) -> n____(X1,X2)
      a() -> n__a()
      e() -> n__e()
      i() -> n__i()
      o() -> n__o()
      u() -> n__u()
      activate(n__nil()) -> nil()
      activate(n____(X1,X2)) -> __(X1,X2)
      activate(n__a()) -> a()
      activate(n__e()) -> e()
      activate(n__i()) -> i()
      activate(n__o()) -> o()
      activate(n__u()) -> u()
      activate(X) -> X
     Open
     
     DPs:
      isNePal#(n____(I,__(P,I))) -> U71#(isQid(activate(I)),activate(I),activate(P))
      U71#(tt(),I,P) -> U72#(isPalListKind(activate(I)),activate(P))
      U72#(tt(),P) -> isPal#(activate(P))
      isPal#(V) -> U81#(isPalListKind(activate(V)),activate(V))
      U81#(tt(),V) -> U82#(isPalListKind(activate(V)),activate(V))
      U82#(tt(),V) -> isNePal#(activate(V))
     TRS:
      __(__(X,Y),Z) -> __(X,__(Y,Z))
      __(X,nil()) -> X
      __(nil(),X) -> X
      U11(tt(),V) -> U12(isPalListKind(activate(V)),activate(V))
      U12(tt(),V) -> U13(isNeList(activate(V)))
      U13(tt()) -> tt()
      U21(tt(),V1,V2) -> U22(isPalListKind(activate(V1)),activate(V1),activate(V2))
      U22(tt(),V1,V2) -> U23(isPalListKind(activate(V2)),activate(V1),activate(V2))
      U23(tt(),V1,V2) -> U24(isPalListKind(activate(V2)),activate(V1),activate(V2))
      U24(tt(),V1,V2) -> U25(isList(activate(V1)),activate(V2))
      U25(tt(),V2) -> U26(isList(activate(V2)))
      U26(tt()) -> tt()
      U31(tt(),V) -> U32(isPalListKind(activate(V)),activate(V))
      U32(tt(),V) -> U33(isQid(activate(V)))
      U33(tt()) -> tt()
      U41(tt(),V1,V2) -> U42(isPalListKind(activate(V1)),activate(V1),activate(V2))
      U42(tt(),V1,V2) -> U43(isPalListKind(activate(V2)),activate(V1),activate(V2))
      U43(tt(),V1,V2) -> U44(isPalListKind(activate(V2)),activate(V1),activate(V2))
      U44(tt(),V1,V2) -> U45(isList(activate(V1)),activate(V2))
      U45(tt(),V2) -> U46(isNeList(activate(V2)))
      U46(tt()) -> tt()
      U51(tt(),V1,V2) -> U52(isPalListKind(activate(V1)),activate(V1),activate(V2))
      U52(tt(),V1,V2) -> U53(isPalListKind(activate(V2)),activate(V1),activate(V2))
      U53(tt(),V1,V2) -> U54(isPalListKind(activate(V2)),activate(V1),activate(V2))
      U54(tt(),V1,V2) -> U55(isNeList(activate(V1)),activate(V2))
      U55(tt(),V2) -> U56(isList(activate(V2)))
      U56(tt()) -> tt()
      U61(tt(),V) -> U62(isPalListKind(activate(V)),activate(V))
      U62(tt(),V) -> U63(isQid(activate(V)))
      U63(tt()) -> tt()
      U71(tt(),I,P) -> U72(isPalListKind(activate(I)),activate(P))
      U72(tt(),P) -> U73(isPal(activate(P)),activate(P))
      U73(tt(),P) -> U74(isPalListKind(activate(P)))
      U74(tt()) -> tt()
      U81(tt(),V) -> U82(isPalListKind(activate(V)),activate(V))
      U82(tt(),V) -> U83(isNePal(activate(V)))
      U83(tt()) -> tt()
      U91(tt(),V2) -> U92(isPalListKind(activate(V2)))
      U92(tt()) -> tt()
      isList(V) -> U11(isPalListKind(activate(V)),activate(V))
      isList(n__nil()) -> tt()
      isList(n____(V1,V2)) -> U21(isPalListKind(activate(V1)),activate(V1),activate(V2))
      isNeList(V) -> U31(isPalListKind(activate(V)),activate(V))
      isNeList(n____(V1,V2)) -> U41(isPalListKind(activate(V1)),activate(V1),activate(V2))
      isNeList(n____(V1,V2)) -> U51(isPalListKind(activate(V1)),activate(V1),activate(V2))
      isNePal(V) -> U61(isPalListKind(activate(V)),activate(V))
      isNePal(n____(I,__(P,I))) -> U71(isQid(activate(I)),activate(I),activate(P))
      isPal(V) -> U81(isPalListKind(activate(V)),activate(V))
      isPal(n__nil()) -> tt()
      isPalListKind(n__a()) -> tt()
      isPalListKind(n__e()) -> tt()
      isPalListKind(n__i()) -> tt()
      isPalListKind(n__nil()) -> tt()
      isPalListKind(n__o()) -> tt()
      isPalListKind(n__u()) -> tt()
      isPalListKind(n____(V1,V2)) -> U91(isPalListKind(activate(V1)),activate(V2))
      isQid(n__a()) -> tt()
      isQid(n__e()) -> tt()
      isQid(n__i()) -> tt()
      isQid(n__o()) -> tt()
      isQid(n__u()) -> tt()
      nil() -> n__nil()
      __(X1,X2) -> n____(X1,X2)
      a() -> n__a()
      e() -> n__e()
      i() -> n__i()
      o() -> n__o()
      u() -> n__u()
      activate(n__nil()) -> nil()
      activate(n____(X1,X2)) -> __(X1,X2)
      activate(n__a()) -> a()
      activate(n__e()) -> e()
      activate(n__i()) -> i()
      activate(n__o()) -> o()
      activate(n__u()) -> u()
      activate(X) -> X
     Open
     
     DPs:
      U91#(tt(),V2) -> isPalListKind#(activate(V2))
      isPalListKind#(n____(V1,V2)) -> U91#(isPalListKind(activate(V1)),activate(V2))
      isPalListKind#(n____(V1,V2)) -> isPalListKind#(activate(V1))
     TRS:
      __(__(X,Y),Z) -> __(X,__(Y,Z))
      __(X,nil()) -> X
      __(nil(),X) -> X
      U11(tt(),V) -> U12(isPalListKind(activate(V)),activate(V))
      U12(tt(),V) -> U13(isNeList(activate(V)))
      U13(tt()) -> tt()
      U21(tt(),V1,V2) -> U22(isPalListKind(activate(V1)),activate(V1),activate(V2))
      U22(tt(),V1,V2) -> U23(isPalListKind(activate(V2)),activate(V1),activate(V2))
      U23(tt(),V1,V2) -> U24(isPalListKind(activate(V2)),activate(V1),activate(V2))
      U24(tt(),V1,V2) -> U25(isList(activate(V1)),activate(V2))
      U25(tt(),V2) -> U26(isList(activate(V2)))
      U26(tt()) -> tt()
      U31(tt(),V) -> U32(isPalListKind(activate(V)),activate(V))
      U32(tt(),V) -> U33(isQid(activate(V)))
      U33(tt()) -> tt()
      U41(tt(),V1,V2) -> U42(isPalListKind(activate(V1)),activate(V1),activate(V2))
      U42(tt(),V1,V2) -> U43(isPalListKind(activate(V2)),activate(V1),activate(V2))
      U43(tt(),V1,V2) -> U44(isPalListKind(activate(V2)),activate(V1),activate(V2))
      U44(tt(),V1,V2) -> U45(isList(activate(V1)),activate(V2))
      U45(tt(),V2) -> U46(isNeList(activate(V2)))
      U46(tt()) -> tt()
      U51(tt(),V1,V2) -> U52(isPalListKind(activate(V1)),activate(V1),activate(V2))
      U52(tt(),V1,V2) -> U53(isPalListKind(activate(V2)),activate(V1),activate(V2))
      U53(tt(),V1,V2) -> U54(isPalListKind(activate(V2)),activate(V1),activate(V2))
      U54(tt(),V1,V2) -> U55(isNeList(activate(V1)),activate(V2))
      U55(tt(),V2) -> U56(isList(activate(V2)))
      U56(tt()) -> tt()
      U61(tt(),V) -> U62(isPalListKind(activate(V)),activate(V))
      U62(tt(),V) -> U63(isQid(activate(V)))
      U63(tt()) -> tt()
      U71(tt(),I,P) -> U72(isPalListKind(activate(I)),activate(P))
      U72(tt(),P) -> U73(isPal(activate(P)),activate(P))
      U73(tt(),P) -> U74(isPalListKind(activate(P)))
      U74(tt()) -> tt()
      U81(tt(),V) -> U82(isPalListKind(activate(V)),activate(V))
      U82(tt(),V) -> U83(isNePal(activate(V)))
      U83(tt()) -> tt()
      U91(tt(),V2) -> U92(isPalListKind(activate(V2)))
      U92(tt()) -> tt()
      isList(V) -> U11(isPalListKind(activate(V)),activate(V))
      isList(n__nil()) -> tt()
      isList(n____(V1,V2)) -> U21(isPalListKind(activate(V1)),activate(V1),activate(V2))
      isNeList(V) -> U31(isPalListKind(activate(V)),activate(V))
      isNeList(n____(V1,V2)) -> U41(isPalListKind(activate(V1)),activate(V1),activate(V2))
      isNeList(n____(V1,V2)) -> U51(isPalListKind(activate(V1)),activate(V1),activate(V2))
      isNePal(V) -> U61(isPalListKind(activate(V)),activate(V))
      isNePal(n____(I,__(P,I))) -> U71(isQid(activate(I)),activate(I),activate(P))
      isPal(V) -> U81(isPalListKind(activate(V)),activate(V))
      isPal(n__nil()) -> tt()
      isPalListKind(n__a()) -> tt()
      isPalListKind(n__e()) -> tt()
      isPalListKind(n__i()) -> tt()
      isPalListKind(n__nil()) -> tt()
      isPalListKind(n__o()) -> tt()
      isPalListKind(n__u()) -> tt()
      isPalListKind(n____(V1,V2)) -> U91(isPalListKind(activate(V1)),activate(V2))
      isQid(n__a()) -> tt()
      isQid(n__e()) -> tt()
      isQid(n__i()) -> tt()
      isQid(n__o()) -> tt()
      isQid(n__u()) -> tt()
      nil() -> n__nil()
      __(X1,X2) -> n____(X1,X2)
      a() -> n__a()
      e() -> n__e()
      i() -> n__i()
      o() -> n__o()
      u() -> n__u()
      activate(n__nil()) -> nil()
      activate(n____(X1,X2)) -> __(X1,X2)
      activate(n__a()) -> a()
      activate(n__e()) -> e()
      activate(n__i()) -> i()
      activate(n__o()) -> o()
      activate(n__u()) -> u()
      activate(X) -> X
     Open
     
     DPs:
      __#(__(X,Y),Z) -> __#(X,__(Y,Z))
      __#(__(X,Y),Z) -> __#(Y,Z)
     TRS:
      __(__(X,Y),Z) -> __(X,__(Y,Z))
      __(X,nil()) -> X
      __(nil(),X) -> X
      U11(tt(),V) -> U12(isPalListKind(activate(V)),activate(V))
      U12(tt(),V) -> U13(isNeList(activate(V)))
      U13(tt()) -> tt()
      U21(tt(),V1,V2) -> U22(isPalListKind(activate(V1)),activate(V1),activate(V2))
      U22(tt(),V1,V2) -> U23(isPalListKind(activate(V2)),activate(V1),activate(V2))
      U23(tt(),V1,V2) -> U24(isPalListKind(activate(V2)),activate(V1),activate(V2))
      U24(tt(),V1,V2) -> U25(isList(activate(V1)),activate(V2))
      U25(tt(),V2) -> U26(isList(activate(V2)))
      U26(tt()) -> tt()
      U31(tt(),V) -> U32(isPalListKind(activate(V)),activate(V))
      U32(tt(),V) -> U33(isQid(activate(V)))
      U33(tt()) -> tt()
      U41(tt(),V1,V2) -> U42(isPalListKind(activate(V1)),activate(V1),activate(V2))
      U42(tt(),V1,V2) -> U43(isPalListKind(activate(V2)),activate(V1),activate(V2))
      U43(tt(),V1,V2) -> U44(isPalListKind(activate(V2)),activate(V1),activate(V2))
      U44(tt(),V1,V2) -> U45(isList(activate(V1)),activate(V2))
      U45(tt(),V2) -> U46(isNeList(activate(V2)))
      U46(tt()) -> tt()
      U51(tt(),V1,V2) -> U52(isPalListKind(activate(V1)),activate(V1),activate(V2))
      U52(tt(),V1,V2) -> U53(isPalListKind(activate(V2)),activate(V1),activate(V2))
      U53(tt(),V1,V2) -> U54(isPalListKind(activate(V2)),activate(V1),activate(V2))
      U54(tt(),V1,V2) -> U55(isNeList(activate(V1)),activate(V2))
      U55(tt(),V2) -> U56(isList(activate(V2)))
      U56(tt()) -> tt()
      U61(tt(),V) -> U62(isPalListKind(activate(V)),activate(V))
      U62(tt(),V) -> U63(isQid(activate(V)))
      U63(tt()) -> tt()
      U71(tt(),I,P) -> U72(isPalListKind(activate(I)),activate(P))
      U72(tt(),P) -> U73(isPal(activate(P)),activate(P))
      U73(tt(),P) -> U74(isPalListKind(activate(P)))
      U74(tt()) -> tt()
      U81(tt(),V) -> U82(isPalListKind(activate(V)),activate(V))
      U82(tt(),V) -> U83(isNePal(activate(V)))
      U83(tt()) -> tt()
      U91(tt(),V2) -> U92(isPalListKind(activate(V2)))
      U92(tt()) -> tt()
      isList(V) -> U11(isPalListKind(activate(V)),activate(V))
      isList(n__nil()) -> tt()
      isList(n____(V1,V2)) -> U21(isPalListKind(activate(V1)),activate(V1),activate(V2))
      isNeList(V) -> U31(isPalListKind(activate(V)),activate(V))
      isNeList(n____(V1,V2)) -> U41(isPalListKind(activate(V1)),activate(V1),activate(V2))
      isNeList(n____(V1,V2)) -> U51(isPalListKind(activate(V1)),activate(V1),activate(V2))
      isNePal(V) -> U61(isPalListKind(activate(V)),activate(V))
      isNePal(n____(I,__(P,I))) -> U71(isQid(activate(I)),activate(I),activate(P))
      isPal(V) -> U81(isPalListKind(activate(V)),activate(V))
      isPal(n__nil()) -> tt()
      isPalListKind(n__a()) -> tt()
      isPalListKind(n__e()) -> tt()
      isPalListKind(n__i()) -> tt()
      isPalListKind(n__nil()) -> tt()
      isPalListKind(n__o()) -> tt()
      isPalListKind(n__u()) -> tt()
      isPalListKind(n____(V1,V2)) -> U91(isPalListKind(activate(V1)),activate(V2))
      isQid(n__a()) -> tt()
      isQid(n__e()) -> tt()
      isQid(n__i()) -> tt()
      isQid(n__o()) -> tt()
      isQid(n__u()) -> tt()
      nil() -> n__nil()
      __(X1,X2) -> n____(X1,X2)
      a() -> n__a()
      e() -> n__e()
      i() -> n__i()
      o() -> n__o()
      u() -> n__u()
      activate(n__nil()) -> nil()
      activate(n____(X1,X2)) -> __(X1,X2)
      activate(n__a()) -> a()
      activate(n__e()) -> e()
      activate(n__i()) -> i()
      activate(n__o()) -> o()
      activate(n__u()) -> u()
      activate(X) -> X
     Open