0 QTRS
↳1 DependencyPairsProof (⇔)
↳2 QDP
↳3 DependencyGraphProof (⇔)
↳4 AND
↳5 QDP
↳6 QDPOrderProof (⇔)
↳7 QDP
↳8 PisEmptyProof (⇔)
↳9 TRUE
↳10 QDP
↳11 QDPOrderProof (⇔)
↳12 QDP
↳13 PisEmptyProof (⇔)
↳14 TRUE
↳15 QDP
↳16 QDPOrderProof (⇔)
↳17 QDP
↳18 PisEmptyProof (⇔)
↳19 TRUE
↳20 QDP
↳21 QDPOrderProof (⇔)
↳22 QDP
↳23 DependencyGraphProof (⇔)
↳24 TRUE
↳25 QDP
↳26 QDPOrderProof (⇔)
↳27 QDP
↳28 DependencyGraphProof (⇔)
↳29 TRUE
__(__(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, n____(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)) → __(activate(X1), activate(X2))
activate(n__a) → a
activate(n__e) → e
activate(n__i) → i
activate(n__o) → o
activate(n__u) → u
activate(X) → X
__1(__(X, Y), Z) → __1(X, __(Y, Z))
__1(__(X, Y), Z) → __1(Y, Z)
U111(tt, V) → U121(isPalListKind(activate(V)), activate(V))
U111(tt, V) → ISPALLISTKIND(activate(V))
U111(tt, V) → ACTIVATE(V)
U121(tt, V) → U131(isNeList(activate(V)))
U121(tt, V) → ISNELIST(activate(V))
U121(tt, V) → ACTIVATE(V)
U211(tt, V1, V2) → U221(isPalListKind(activate(V1)), activate(V1), activate(V2))
U211(tt, V1, V2) → ISPALLISTKIND(activate(V1))
U211(tt, V1, V2) → ACTIVATE(V1)
U211(tt, V1, V2) → ACTIVATE(V2)
U221(tt, V1, V2) → U231(isPalListKind(activate(V2)), activate(V1), activate(V2))
U221(tt, V1, V2) → ISPALLISTKIND(activate(V2))
U221(tt, V1, V2) → ACTIVATE(V2)
U221(tt, V1, V2) → ACTIVATE(V1)
U231(tt, V1, V2) → U241(isPalListKind(activate(V2)), activate(V1), activate(V2))
U231(tt, V1, V2) → ISPALLISTKIND(activate(V2))
U231(tt, V1, V2) → ACTIVATE(V2)
U231(tt, V1, V2) → ACTIVATE(V1)
U241(tt, V1, V2) → U251(isList(activate(V1)), activate(V2))
U241(tt, V1, V2) → ISLIST(activate(V1))
U241(tt, V1, V2) → ACTIVATE(V1)
U241(tt, V1, V2) → ACTIVATE(V2)
U251(tt, V2) → U261(isList(activate(V2)))
U251(tt, V2) → ISLIST(activate(V2))
U251(tt, V2) → ACTIVATE(V2)
U311(tt, V) → U321(isPalListKind(activate(V)), activate(V))
U311(tt, V) → ISPALLISTKIND(activate(V))
U311(tt, V) → ACTIVATE(V)
U321(tt, V) → U331(isQid(activate(V)))
U321(tt, V) → ISQID(activate(V))
U321(tt, V) → ACTIVATE(V)
U411(tt, V1, V2) → U421(isPalListKind(activate(V1)), activate(V1), activate(V2))
U411(tt, V1, V2) → ISPALLISTKIND(activate(V1))
U411(tt, V1, V2) → ACTIVATE(V1)
U411(tt, V1, V2) → ACTIVATE(V2)
U421(tt, V1, V2) → U431(isPalListKind(activate(V2)), activate(V1), activate(V2))
U421(tt, V1, V2) → ISPALLISTKIND(activate(V2))
U421(tt, V1, V2) → ACTIVATE(V2)
U421(tt, V1, V2) → ACTIVATE(V1)
U431(tt, V1, V2) → U441(isPalListKind(activate(V2)), activate(V1), activate(V2))
U431(tt, V1, V2) → ISPALLISTKIND(activate(V2))
U431(tt, V1, V2) → ACTIVATE(V2)
U431(tt, V1, V2) → ACTIVATE(V1)
U441(tt, V1, V2) → U451(isList(activate(V1)), activate(V2))
U441(tt, V1, V2) → ISLIST(activate(V1))
U441(tt, V1, V2) → ACTIVATE(V1)
U441(tt, V1, V2) → ACTIVATE(V2)
U451(tt, V2) → U461(isNeList(activate(V2)))
U451(tt, V2) → ISNELIST(activate(V2))
U451(tt, V2) → ACTIVATE(V2)
U511(tt, V1, V2) → U521(isPalListKind(activate(V1)), activate(V1), activate(V2))
U511(tt, V1, V2) → ISPALLISTKIND(activate(V1))
U511(tt, V1, V2) → ACTIVATE(V1)
U511(tt, V1, V2) → ACTIVATE(V2)
U521(tt, V1, V2) → U531(isPalListKind(activate(V2)), activate(V1), activate(V2))
U521(tt, V1, V2) → ISPALLISTKIND(activate(V2))
U521(tt, V1, V2) → ACTIVATE(V2)
U521(tt, V1, V2) → ACTIVATE(V1)
U531(tt, V1, V2) → U541(isPalListKind(activate(V2)), activate(V1), activate(V2))
U531(tt, V1, V2) → ISPALLISTKIND(activate(V2))
U531(tt, V1, V2) → ACTIVATE(V2)
U531(tt, V1, V2) → ACTIVATE(V1)
U541(tt, V1, V2) → U551(isNeList(activate(V1)), activate(V2))
U541(tt, V1, V2) → ISNELIST(activate(V1))
U541(tt, V1, V2) → ACTIVATE(V1)
U541(tt, V1, V2) → ACTIVATE(V2)
U551(tt, V2) → U561(isList(activate(V2)))
U551(tt, V2) → ISLIST(activate(V2))
U551(tt, V2) → ACTIVATE(V2)
U611(tt, V) → U621(isPalListKind(activate(V)), activate(V))
U611(tt, V) → ISPALLISTKIND(activate(V))
U611(tt, V) → ACTIVATE(V)
U621(tt, V) → U631(isQid(activate(V)))
U621(tt, V) → ISQID(activate(V))
U621(tt, V) → ACTIVATE(V)
U711(tt, I, P) → U721(isPalListKind(activate(I)), activate(P))
U711(tt, I, P) → ISPALLISTKIND(activate(I))
U711(tt, I, P) → ACTIVATE(I)
U711(tt, I, P) → ACTIVATE(P)
U721(tt, P) → U731(isPal(activate(P)), activate(P))
U721(tt, P) → ISPAL(activate(P))
U721(tt, P) → ACTIVATE(P)
U731(tt, P) → U741(isPalListKind(activate(P)))
U731(tt, P) → ISPALLISTKIND(activate(P))
U731(tt, P) → ACTIVATE(P)
U811(tt, V) → U821(isPalListKind(activate(V)), activate(V))
U811(tt, V) → ISPALLISTKIND(activate(V))
U811(tt, V) → ACTIVATE(V)
U821(tt, V) → U831(isNePal(activate(V)))
U821(tt, V) → ISNEPAL(activate(V))
U821(tt, V) → ACTIVATE(V)
U911(tt, V2) → U921(isPalListKind(activate(V2)))
U911(tt, V2) → ISPALLISTKIND(activate(V2))
U911(tt, V2) → ACTIVATE(V2)
ISLIST(V) → U111(isPalListKind(activate(V)), activate(V))
ISLIST(V) → ISPALLISTKIND(activate(V))
ISLIST(V) → ACTIVATE(V)
ISLIST(n____(V1, V2)) → U211(isPalListKind(activate(V1)), activate(V1), activate(V2))
ISLIST(n____(V1, V2)) → ISPALLISTKIND(activate(V1))
ISLIST(n____(V1, V2)) → ACTIVATE(V1)
ISLIST(n____(V1, V2)) → ACTIVATE(V2)
ISNELIST(V) → U311(isPalListKind(activate(V)), activate(V))
ISNELIST(V) → ISPALLISTKIND(activate(V))
ISNELIST(V) → ACTIVATE(V)
ISNELIST(n____(V1, V2)) → U411(isPalListKind(activate(V1)), activate(V1), activate(V2))
ISNELIST(n____(V1, V2)) → ISPALLISTKIND(activate(V1))
ISNELIST(n____(V1, V2)) → ACTIVATE(V1)
ISNELIST(n____(V1, V2)) → ACTIVATE(V2)
ISNELIST(n____(V1, V2)) → U511(isPalListKind(activate(V1)), activate(V1), activate(V2))
ISNEPAL(V) → U611(isPalListKind(activate(V)), activate(V))
ISNEPAL(V) → ISPALLISTKIND(activate(V))
ISNEPAL(V) → ACTIVATE(V)
ISNEPAL(n____(I, n____(P, I))) → U711(isQid(activate(I)), activate(I), activate(P))
ISNEPAL(n____(I, n____(P, I))) → ISQID(activate(I))
ISNEPAL(n____(I, n____(P, I))) → ACTIVATE(I)
ISNEPAL(n____(I, n____(P, I))) → ACTIVATE(P)
ISPAL(V) → U811(isPalListKind(activate(V)), activate(V))
ISPAL(V) → ISPALLISTKIND(activate(V))
ISPAL(V) → ACTIVATE(V)
ISPALLISTKIND(n____(V1, V2)) → U911(isPalListKind(activate(V1)), activate(V2))
ISPALLISTKIND(n____(V1, V2)) → ISPALLISTKIND(activate(V1))
ISPALLISTKIND(n____(V1, V2)) → ACTIVATE(V1)
ISPALLISTKIND(n____(V1, V2)) → ACTIVATE(V2)
ACTIVATE(n__nil) → NIL
ACTIVATE(n____(X1, X2)) → __1(activate(X1), activate(X2))
ACTIVATE(n____(X1, X2)) → ACTIVATE(X1)
ACTIVATE(n____(X1, X2)) → ACTIVATE(X2)
ACTIVATE(n__a) → A
ACTIVATE(n__e) → E
ACTIVATE(n__i) → I
ACTIVATE(n__o) → O
ACTIVATE(n__u) → U
__(__(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, n____(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)) → __(activate(X1), activate(X2))
activate(n__a) → a
activate(n__e) → e
activate(n__i) → i
activate(n__o) → o
activate(n__u) → u
activate(X) → X
__1(__(X, Y), Z) → __1(Y, Z)
__1(__(X, Y), Z) → __1(X, __(Y, Z))
__(__(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, n____(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)) → __(activate(X1), activate(X2))
activate(n__a) → a
activate(n__e) → e
activate(n__i) → i
activate(n__o) → o
activate(n__u) → u
activate(X) → X
The following pairs can be oriented strictly and are deleted.
The remaining pairs can at least be oriented weakly.
__1(__(X, Y), Z) → __1(Y, Z)
__1(__(X, Y), Z) → __1(X, __(Y, Z))
isNeList1 > U311 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > [U112, U121] > [^11, U241]
isNeList1 > U311 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > U232 > [^11, U241]
isNeList1 > U311 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > U322 > [^11, U241]
isNeList1 > U311 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > nnil > [^11, U241]
isNeList1 > U311 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > nu > [^11, U241]
isNeList1 > U311 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > a > na > [^11, U241]
isNeList1 > U311 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > e > ne > [^11, U241]
isNeList1 > U311 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > i > ni > [^11, U241]
isNeList1 > U311 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > o > no > [^11, U241]
isNeList1 > U412 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > [U112, U121] > [^11, U241]
isNeList1 > U412 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > U232 > [^11, U241]
isNeList1 > U412 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > U322 > [^11, U241]
isNeList1 > U412 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > nnil > [^11, U241]
isNeList1 > U412 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > nu > [^11, U241]
isNeList1 > U412 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > a > na > [^11, U241]
isNeList1 > U412 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > e > ne > [^11, U241]
isNeList1 > U412 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > i > ni > [^11, U241]
isNeList1 > U412 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > o > no > [^11, U241]
isNeList1 > U513 > U522 > U533 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > [U112, U121] > [^11, U241]
isNeList1 > U513 > U522 > U533 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > U232 > [^11, U241]
isNeList1 > U513 > U522 > U533 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > U322 > [^11, U241]
isNeList1 > U513 > U522 > U533 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > nnil > [^11, U241]
isNeList1 > U513 > U522 > U533 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > nu > [^11, U241]
isNeList1 > U513 > U522 > U533 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > a > na > [^11, U241]
isNeList1 > U513 > U522 > U533 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > e > ne > [^11, U241]
isNeList1 > U513 > U522 > U533 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > i > ni > [^11, U241]
isNeList1 > U513 > U522 > U533 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > o > no > [^11, U241]
[U212, isList1] > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > [U112, U121] > [^11, U241]
[U212, isList1] > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > U232 > [^11, U241]
[U212, isList1] > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > U322 > [^11, U241]
[U212, isList1] > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > nnil > [^11, U241]
[U212, isList1] > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > nu > [^11, U241]
[U212, isList1] > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > a > na > [^11, U241]
[U212, isList1] > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > e > ne > [^11, U241]
[U212, isList1] > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > i > ni > [^11, U241]
[U212, isList1] > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > o > no > [^11, U241]
isNePal1 > U611 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > [U112, U121] > [^11, U241]
isNePal1 > U611 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > U232 > [^11, U241]
isNePal1 > U611 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > U322 > [^11, U241]
isNePal1 > U611 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > nnil > [^11, U241]
isNePal1 > U611 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > nu > [^11, U241]
isNePal1 > U611 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > a > na > [^11, U241]
isNePal1 > U611 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > e > ne > [^11, U241]
isNePal1 > U611 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > i > ni > [^11, U241]
isNePal1 > U611 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > o > no > [^11, U241]
isNePal1 > U712 > U722 > [isPal, U81] > U821 > U83 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > [U112, U121] > [^11, U241]
isNePal1 > U712 > U722 > [isPal, U81] > U821 > U83 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > U232 > [^11, U241]
isNePal1 > U712 > U722 > [isPal, U81] > U821 > U83 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > U322 > [^11, U241]
isNePal1 > U712 > U722 > [isPal, U81] > U821 > U83 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > nnil > [^11, U241]
isNePal1 > U712 > U722 > [isPal, U81] > U821 > U83 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > nu > [^11, U241]
isNePal1 > U712 > U722 > [isPal, U81] > U821 > U83 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > a > na > [^11, U241]
isNePal1 > U712 > U722 > [isPal, U81] > U821 > U83 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > e > ne > [^11, U241]
isNePal1 > U712 > U722 > [isPal, U81] > U821 > U83 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > i > ni > [^11, U241]
isNePal1 > U712 > U722 > [isPal, U81] > U821 > U83 > [2, nil, tt, isPalListKind, activate1, U13, U223, U25, U26, isQid, U42, U43, U44, U45, U46, U542, U55, U56, U62, U92, n2, u] > o > no > [^11, U241]
_^11: multiset
_2: [1,2]
nil: multiset
U112: [1,2]
tt: multiset
U121: [1]
isPalListKind: []
activate1: [1]
U13: []
isNeList1: multiset
U212: [1,2]
U223: [3,1,2]
U232: multiset
U241: multiset
U25: []
isList1: [1]
U26: []
U311: [1]
U322: multiset
isQid: []
U412: multiset
U42: []
U43: []
U44: []
U45: []
U46: []
U513: multiset
U522: multiset
U533: [1,3,2]
U542: [2,1]
U55: []
U56: []
U611: multiset
U62: []
U712: multiset
U722: multiset
isPal: []
U81: []
U821: [1]
U83: multiset
isNePal1: multiset
U92: []
nnil: multiset
n2: [1,2]
na: multiset
ne: multiset
ni: multiset
no: multiset
nu: multiset
a: multiset
e: multiset
i: multiset
o: multiset
u: multiset
__(__(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, n____(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)) → __(activate(X1), activate(X2))
activate(n__a) → a
activate(n__e) → e
activate(n__i) → i
activate(n__o) → o
activate(n__u) → u
activate(X) → X
__(__(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, n____(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)) → __(activate(X1), activate(X2))
activate(n__a) → a
activate(n__e) → e
activate(n__i) → i
activate(n__o) → o
activate(n__u) → u
activate(X) → X
ACTIVATE(n____(X1, X2)) → ACTIVATE(X2)
ACTIVATE(n____(X1, X2)) → ACTIVATE(X1)
__(__(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, n____(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)) → __(activate(X1), activate(X2))
activate(n__a) → a
activate(n__e) → e
activate(n__i) → i
activate(n__o) → o
activate(n__u) → u
activate(X) → X
The following pairs can be oriented strictly and are deleted.
The remaining pairs can at least be oriented weakly.
ACTIVATE(n____(X1, X2)) → ACTIVATE(X2)
ACTIVATE(n____(X1, X2)) → ACTIVATE(X1)
[isNeList1, U413, U42] > U311 > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > nil > nnil
[isNeList1, U413, U42] > U311 > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > [na, a]
[isNeList1, U413, U42] > U311 > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > [ne, e]
[isNeList1, U413, U42] > U311 > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > i > ni
[isNeList1, U413, U42] > U311 > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > o > no
[isNeList1, U413, U42] > U311 > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > U331
[isNeList1, U413, U42] > U43 > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U532, U54, U55, U56] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > nil > nnil
[isNeList1, U413, U42] > U43 > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U532, U54, U55, U56] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > [na, a]
[isNeList1, U413, U42] > U43 > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U532, U54, U55, U56] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > [ne, e]
[isNeList1, U413, U42] > U43 > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U532, U54, U55, U56] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > i > ni
[isNeList1, U413, U42] > U43 > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U532, U54, U55, U56] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > o > no
[isNeList1, U413, U42] > U43 > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U532, U54, U55, U56] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > U331
[isNeList1, U413, U42] > U43 > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U612, U62, U63] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > nil > nnil
[isNeList1, U413, U42] > U43 > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U612, U62, U63] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > [na, a]
[isNeList1, U413, U42] > U43 > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U612, U62, U63] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > [ne, e]
[isNeList1, U413, U42] > U43 > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U612, U62, U63] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > i > ni
[isNeList1, U413, U42] > U43 > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U612, U62, U63] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > o > no
[isNeList1, U413, U42] > U43 > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U612, U62, U63] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > U331
[isNeList1, U413, U42] > U43 > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U91, U92] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > nil > nnil
[isNeList1, U413, U42] > U43 > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U91, U92] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > [na, a]
[isNeList1, U413, U42] > U43 > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U91, U92] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > [ne, e]
[isNeList1, U413, U42] > U43 > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U91, U92] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > i > ni
[isNeList1, U413, U42] > U43 > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U91, U92] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > o > no
[isNeList1, U413, U42] > U43 > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U91, U92] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > U331
[isNeList1, U413, U42] > U512 > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U532, U54, U55, U56] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > nil > nnil
[isNeList1, U413, U42] > U512 > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U532, U54, U55, U56] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > [na, a]
[isNeList1, U413, U42] > U512 > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U532, U54, U55, U56] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > [ne, e]
[isNeList1, U413, U42] > U512 > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U532, U54, U55, U56] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > i > ni
[isNeList1, U413, U42] > U512 > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U532, U54, U55, U56] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > o > no
[isNeList1, U413, U42] > U512 > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U532, U54, U55, U56] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > U331
[isNeList1, U413, U42] > U512 > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U612, U62, U63] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > nil > nnil
[isNeList1, U413, U42] > U512 > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U612, U62, U63] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > [na, a]
[isNeList1, U413, U42] > U512 > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U612, U62, U63] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > [ne, e]
[isNeList1, U413, U42] > U512 > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U612, U62, U63] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > i > ni
[isNeList1, U413, U42] > U512 > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U612, U62, U63] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > o > no
[isNeList1, U413, U42] > U512 > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U612, U62, U63] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > U331
[isNeList1, U413, U42] > U512 > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U91, U92] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > nil > nnil
[isNeList1, U413, U42] > U512 > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U91, U92] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > [na, a]
[isNeList1, U413, U42] > U512 > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U91, U92] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > [ne, e]
[isNeList1, U413, U42] > U512 > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U91, U92] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > i > ni
[isNeList1, U413, U42] > U512 > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U91, U92] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > o > no
[isNeList1, U413, U42] > U512 > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U91, U92] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > U331
isPal > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U532, U54, U55, U56] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > nil > nnil
isPal > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U532, U54, U55, U56] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > [na, a]
isPal > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U532, U54, U55, U56] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > [ne, e]
isPal > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U532, U54, U55, U56] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > i > ni
isPal > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U532, U54, U55, U56] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > o > no
isPal > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U532, U54, U55, U56] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > U331
isPal > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U612, U62, U63] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > nil > nnil
isPal > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U612, U62, U63] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > [na, a]
isPal > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U612, U62, U63] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > [ne, e]
isPal > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U612, U62, U63] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > i > ni
isPal > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U612, U62, U63] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > o > no
isPal > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U612, U62, U63] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > U331
isPal > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U91, U92] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > nil > nnil
isPal > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U91, U92] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > [na, a]
isPal > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U91, U92] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > [ne, e]
isPal > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U91, U92] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > i > ni
isPal > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U91, U92] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > [n2, 2, activate1] > o > no
isPal > [U11, isPalListKind, U21, isList, U441, U523, U711, U72, U73, U74, U81, U82, U83, isNePal1] > [U91, U92] > [tt, U13, U23, U24, U25, U26, U321, isQid, U46, nu, u] > U331
ACTIVATE1: [1]
n2: [1,2]
_2: [1,2]
nil: multiset
U11: multiset
tt: multiset
isPalListKind: multiset
activate1: [1]
U13: multiset
isNeList1: [1]
U21: multiset
U23: multiset
U24: multiset
U25: multiset
isList: multiset
U26: multiset
U311: [1]
U321: multiset
U331: [1]
isQid: multiset
U413: [2,1,3]
U42: []
U43: multiset
U441: multiset
U46: multiset
U512: multiset
U523: multiset
U532: [2,1]
U54: []
U55: []
U56: []
U612: [1,2]
U62: []
U63: []
U711: multiset
U72: multiset
U73: multiset
isPal: []
U74: multiset
U81: multiset
U82: multiset
U83: multiset
isNePal1: multiset
U91: []
U92: []
nnil: multiset
na: multiset
ne: multiset
ni: multiset
no: multiset
nu: multiset
a: multiset
e: multiset
i: multiset
o: multiset
u: multiset
__(__(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, n____(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)) → __(activate(X1), activate(X2))
activate(n__a) → a
activate(n__e) → e
activate(n__i) → i
activate(n__o) → o
activate(n__u) → u
activate(X) → X
__(__(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, n____(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)) → __(activate(X1), activate(X2))
activate(n__a) → a
activate(n__e) → e
activate(n__i) → i
activate(n__o) → o
activate(n__u) → u
activate(X) → X
U911(tt, V2) → ISPALLISTKIND(activate(V2))
ISPALLISTKIND(n____(V1, V2)) → U911(isPalListKind(activate(V1)), activate(V2))
ISPALLISTKIND(n____(V1, V2)) → ISPALLISTKIND(activate(V1))
__(__(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, n____(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)) → __(activate(X1), activate(X2))
activate(n__a) → a
activate(n__e) → e
activate(n__i) → i
activate(n__o) → o
activate(n__u) → u
activate(X) → X
The following pairs can be oriented strictly and are deleted.
The remaining pairs can at least be oriented weakly.
U911(tt, V2) → ISPALLISTKIND(activate(V2))
ISPALLISTKIND(n____(V1, V2)) → U911(isPalListKind(activate(V1)), activate(V2))
ISPALLISTKIND(n____(V1, V2)) → ISPALLISTKIND(activate(V1))
[n2, 2, isNeList, U211, isList1, U41, U42, U51, U713] > U91^12 > ISPALLISTKIND1
[n2, 2, isNeList, U211, isList1, U41, U42, U51, U713] > [isPalListKind, U111, U222, U23, U311, U521, U53, U721, isPal, U81, U91] > [U24, U25, U26] > [tt, U13, U44, U45, U46, U55, U56, U83, isNePal1, U92, ne, ni, e, i] > ISPALLISTKIND1
[n2, 2, isNeList, U211, isList1, U41, U42, U51, U713] > [isPalListKind, U111, U222, U23, U311, U521, U53, U721, isPal, U81, U91] > [U24, U25, U26] > [tt, U13, U44, U45, U46, U55, U56, U83, isNePal1, U92, ne, ni, e, i] > U611 > U621 > U631
[n2, 2, isNeList, U211, isList1, U41, U42, U51, U713] > [isPalListKind, U111, U222, U23, U311, U521, U53, U721, isPal, U81, U91] > [U321, U33] > [tt, U13, U44, U45, U46, U55, U56, U83, isNePal1, U92, ne, ni, e, i] > ISPALLISTKIND1
[n2, 2, isNeList, U211, isList1, U41, U42, U51, U713] > [isPalListKind, U111, U222, U23, U311, U521, U53, U721, isPal, U81, U91] > [U321, U33] > [tt, U13, U44, U45, U46, U55, U56, U83, isNePal1, U92, ne, ni, e, i] > U611 > U621 > U631
[n2, 2, isNeList, U211, isList1, U41, U42, U51, U713] > [isPalListKind, U111, U222, U23, U311, U521, U53, U721, isPal, U81, U91] > [U731, U74] > [tt, U13, U44, U45, U46, U55, U56, U83, isNePal1, U92, ne, ni, e, i] > ISPALLISTKIND1
[n2, 2, isNeList, U211, isList1, U41, U42, U51, U713] > [isPalListKind, U111, U222, U23, U311, U521, U53, U721, isPal, U81, U91] > [U731, U74] > [tt, U13, U44, U45, U46, U55, U56, U83, isNePal1, U92, ne, ni, e, i] > U611 > U621 > U631
[nil, nnil]
[na, a] > [tt, U13, U44, U45, U46, U55, U56, U83, isNePal1, U92, ne, ni, e, i] > ISPALLISTKIND1
[na, a] > [tt, U13, U44, U45, U46, U55, U56, U83, isNePal1, U92, ne, ni, e, i] > U611 > U621 > U631
[no, o] > [tt, U13, U44, U45, U46, U55, U56, U83, isNePal1, U92, ne, ni, e, i] > ISPALLISTKIND1
[no, o] > [tt, U13, U44, U45, U46, U55, U56, U83, isNePal1, U92, ne, ni, e, i] > U611 > U621 > U631
[nu, u] > [tt, U13, U44, U45, U46, U55, U56, U83, isNePal1, U92, ne, ni, e, i] > ISPALLISTKIND1
[nu, u] > [tt, U13, U44, U45, U46, U55, U56, U83, isNePal1, U92, ne, ni, e, i] > U611 > U621 > U631
U91^12: multiset
tt: multiset
ISPALLISTKIND1: multiset
n2: [1,2]
isPalListKind: multiset
_2: [1,2]
nil: multiset
U111: multiset
U13: multiset
isNeList: multiset
U211: multiset
U222: [2,1]
U23: []
U24: multiset
U25: multiset
isList1: multiset
U26: multiset
U311: multiset
U321: [1]
U33: []
U41: multiset
U42: multiset
U44: multiset
U45: multiset
U46: multiset
U51: multiset
U521: multiset
U53: multiset
U55: multiset
U56: multiset
U611: [1]
U621: multiset
U631: [1]
U713: [2,1,3]
U721: multiset
U731: [1]
isPal: multiset
U74: []
U81: multiset
U83: multiset
isNePal1: multiset
U91: multiset
U92: multiset
nnil: multiset
na: multiset
ne: multiset
ni: multiset
no: multiset
nu: multiset
a: multiset
e: multiset
i: multiset
o: multiset
u: multiset
__(__(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, n____(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)) → __(activate(X1), activate(X2))
activate(n__a) → a
activate(n__e) → e
activate(n__i) → i
activate(n__o) → o
activate(n__u) → u
activate(X) → X
__(__(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, n____(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)) → __(activate(X1), activate(X2))
activate(n__a) → a
activate(n__e) → e
activate(n__i) → i
activate(n__o) → o
activate(n__u) → u
activate(X) → X
ISNEPAL(n____(I, n____(P, I))) → U711(isQid(activate(I)), activate(I), activate(P))
U711(tt, I, P) → U721(isPalListKind(activate(I)), activate(P))
U721(tt, P) → ISPAL(activate(P))
ISPAL(V) → U811(isPalListKind(activate(V)), activate(V))
U811(tt, V) → U821(isPalListKind(activate(V)), activate(V))
U821(tt, V) → ISNEPAL(activate(V))
__(__(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, n____(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)) → __(activate(X1), activate(X2))
activate(n__a) → a
activate(n__e) → e
activate(n__i) → i
activate(n__o) → o
activate(n__u) → u
activate(X) → X
The following pairs can be oriented strictly and are deleted.
The remaining pairs can at least be oriented weakly.
ISNEPAL(n____(I, n____(P, I))) → U711(isQid(activate(I)), activate(I), activate(P))
U711(tt, I, P) → U721(isPalListKind(activate(I)), activate(P))
[n2, 2]
[nil, nnil]
[isNeList1, U412] > U311 > [isQid, U321] > [tt, U55, U56, U82, U83, U91, U92, no, o] > [ISNEPAL1, U71^12, U72^11, ISPAL1, U81^11, U82^11]
[isNeList1, U412] > U311 > [isQid, U321] > [tt, U55, U56, U82, U83, U91, U92, no, o] > U331
[isNeList1, U412] > U311 > [isPalListKind1, U531, U541, U732, isPal1, U74] > [tt, U55, U56, U82, U83, U91, U92, no, o] > [ISNEPAL1, U71^12, U72^11, ISPAL1, U81^11, U82^11]
[isNeList1, U412] > U311 > [isPalListKind1, U531, U541, U732, isPal1, U74] > [tt, U55, U56, U82, U83, U91, U92, no, o] > U331
[isNeList1, U412] > U423 > U433 > [U11, U21, U22, isList, U443, U451] > U12 > U13 > [tt, U55, U56, U82, U83, U91, U92, no, o] > [ISNEPAL1, U71^12, U72^11, ISPAL1, U81^11, U82^11]
[isNeList1, U412] > U423 > U433 > [U11, U21, U22, isList, U443, U451] > U12 > U13 > [tt, U55, U56, U82, U83, U91, U92, no, o] > U331
[isNeList1, U412] > U423 > U433 > [U11, U21, U22, isList, U443, U451] > [U23, U24, U25, U26] > [isPalListKind1, U531, U541, U732, isPal1, U74] > [tt, U55, U56, U82, U83, U91, U92, no, o] > [ISNEPAL1, U71^12, U72^11, ISPAL1, U81^11, U82^11]
[isNeList1, U412] > U423 > U433 > [U11, U21, U22, isList, U443, U451] > [U23, U24, U25, U26] > [isPalListKind1, U531, U541, U732, isPal1, U74] > [tt, U55, U56, U82, U83, U91, U92, no, o] > U331
[isNeList1, U412] > U423 > U433 > [U11, U21, U22, isList, U443, U451] > U46 > [tt, U55, U56, U82, U83, U91, U92, no, o] > [ISNEPAL1, U71^12, U72^11, ISPAL1, U81^11, U82^11]
[isNeList1, U412] > U423 > U433 > [U11, U21, U22, isList, U443, U451] > U46 > [tt, U55, U56, U82, U83, U91, U92, no, o] > U331
[isNeList1, U412] > [U512, U521] > [isPalListKind1, U531, U541, U732, isPal1, U74] > [tt, U55, U56, U82, U83, U91, U92, no, o] > [ISNEPAL1, U71^12, U72^11, ISPAL1, U81^11, U82^11]
[isNeList1, U412] > [U512, U521] > [isPalListKind1, U531, U541, U732, isPal1, U74] > [tt, U55, U56, U82, U83, U91, U92, no, o] > U331
[U61, U711, U721, isNePal1] > [isPalListKind1, U531, U541, U732, isPal1, U74] > [tt, U55, U56, U82, U83, U91, U92, no, o] > [ISNEPAL1, U71^12, U72^11, ISPAL1, U81^11, U82^11]
[U61, U711, U721, isNePal1] > [isPalListKind1, U531, U541, U732, isPal1, U74] > [tt, U55, U56, U82, U83, U91, U92, no, o] > U331
[U61, U711, U721, isNePal1] > U62 > [isQid, U321] > [tt, U55, U56, U82, U83, U91, U92, no, o] > [ISNEPAL1, U71^12, U72^11, ISPAL1, U81^11, U82^11]
[U61, U711, U721, isNePal1] > U62 > [isQid, U321] > [tt, U55, U56, U82, U83, U91, U92, no, o] > U331
[na, a]
[ne, e]
[ni, i]
[nu, u] > [tt, U55, U56, U82, U83, U91, U92, no, o] > [ISNEPAL1, U71^12, U72^11, ISPAL1, U81^11, U82^11]
[nu, u] > [tt, U55, U56, U82, U83, U91, U92, no, o] > U331
ISNEPAL1: [1]
n2: [1,2]
U71^12: [2,1]
isQid: multiset
tt: multiset
U72^11: [1]
isPalListKind1: multiset
ISPAL1: [1]
U81^11: [1]
U82^11: [1]
_2: [1,2]
nil: multiset
U11: multiset
U12: multiset
U13: []
isNeList1: multiset
U21: multiset
U22: multiset
U23: []
U24: []
U25: []
isList: multiset
U26: []
U311: [1]
U321: multiset
U331: [1]
U412: multiset
U423: multiset
U433: multiset
U443: multiset
U451: multiset
U46: []
U512: multiset
U521: multiset
U531: multiset
U541: multiset
U55: multiset
U56: multiset
U61: []
U62: multiset
U711: [1]
U721: [1]
U732: [1,2]
isPal1: multiset
U74: []
U82: multiset
U83: multiset
isNePal1: [1]
U91: multiset
U92: multiset
nnil: multiset
na: multiset
ne: multiset
ni: multiset
no: multiset
nu: multiset
a: multiset
e: multiset
i: multiset
o: multiset
u: multiset
__(__(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, n____(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)) → __(activate(X1), activate(X2))
activate(n__a) → a
activate(n__e) → e
activate(n__i) → i
activate(n__o) → o
activate(n__u) → u
activate(X) → X
U721(tt, P) → ISPAL(activate(P))
ISPAL(V) → U811(isPalListKind(activate(V)), activate(V))
U811(tt, V) → U821(isPalListKind(activate(V)), activate(V))
U821(tt, V) → ISNEPAL(activate(V))
__(__(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, n____(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)) → __(activate(X1), activate(X2))
activate(n__a) → a
activate(n__e) → e
activate(n__i) → i
activate(n__o) → o
activate(n__u) → u
activate(X) → X
U111(tt, V) → U121(isPalListKind(activate(V)), activate(V))
U121(tt, V) → ISNELIST(activate(V))
ISNELIST(n____(V1, V2)) → U411(isPalListKind(activate(V1)), activate(V1), activate(V2))
U411(tt, V1, V2) → U421(isPalListKind(activate(V1)), activate(V1), activate(V2))
U421(tt, V1, V2) → U431(isPalListKind(activate(V2)), activate(V1), activate(V2))
U431(tt, V1, V2) → U441(isPalListKind(activate(V2)), activate(V1), activate(V2))
U441(tt, V1, V2) → U451(isList(activate(V1)), activate(V2))
U451(tt, V2) → ISNELIST(activate(V2))
ISNELIST(n____(V1, V2)) → U511(isPalListKind(activate(V1)), activate(V1), activate(V2))
U511(tt, V1, V2) → U521(isPalListKind(activate(V1)), activate(V1), activate(V2))
U521(tt, V1, V2) → U531(isPalListKind(activate(V2)), activate(V1), activate(V2))
U531(tt, V1, V2) → U541(isPalListKind(activate(V2)), activate(V1), activate(V2))
U541(tt, V1, V2) → U551(isNeList(activate(V1)), activate(V2))
U551(tt, V2) → ISLIST(activate(V2))
ISLIST(V) → U111(isPalListKind(activate(V)), activate(V))
ISLIST(n____(V1, V2)) → U211(isPalListKind(activate(V1)), activate(V1), activate(V2))
U211(tt, V1, V2) → U221(isPalListKind(activate(V1)), activate(V1), activate(V2))
U221(tt, V1, V2) → U231(isPalListKind(activate(V2)), activate(V1), activate(V2))
U231(tt, V1, V2) → U241(isPalListKind(activate(V2)), activate(V1), activate(V2))
U241(tt, V1, V2) → U251(isList(activate(V1)), activate(V2))
U251(tt, V2) → ISLIST(activate(V2))
U241(tt, V1, V2) → ISLIST(activate(V1))
U541(tt, V1, V2) → ISNELIST(activate(V1))
U441(tt, V1, V2) → ISLIST(activate(V1))
__(__(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, n____(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)) → __(activate(X1), activate(X2))
activate(n__a) → a
activate(n__e) → e
activate(n__i) → i
activate(n__o) → o
activate(n__u) → u
activate(X) → X
The following pairs can be oriented strictly and are deleted.
The remaining pairs can at least be oriented weakly.
ISNELIST(n____(V1, V2)) → U411(isPalListKind(activate(V1)), activate(V1), activate(V2))
U441(tt, V1, V2) → U451(isList(activate(V1)), activate(V2))
ISNELIST(n____(V1, V2)) → U511(isPalListKind(activate(V1)), activate(V1), activate(V2))
U541(tt, V1, V2) → U551(isNeList(activate(V1)), activate(V2))
ISLIST(n____(V1, V2)) → U211(isPalListKind(activate(V1)), activate(V1), activate(V2))
U241(tt, V1, V2) → U251(isList(activate(V1)), activate(V2))
U241(tt, V1, V2) → ISLIST(activate(V1))
U541(tt, V1, V2) → ISNELIST(activate(V1))
U441(tt, V1, V2) → ISLIST(activate(V1))
[U11^11, U12^11, ISNELIST1, U41^12, U42^12, U43^12, U44^12, U45^11, U51^12, U52^12, U53^12, U54^12, U55^11, ISLIST1, U21^12, U22^12, U23^12, U24^12, U25^11] > [isPalListKind1, isNeList1, U311, U412, U512] > [U421, U43] > [tt, U33, U44, U45, U46, U55, U56, U721, isPal1, U74, U811, U821, nu, u] > U831
[U11^11, U12^11, ISNELIST1, U41^12, U42^12, U43^12, U44^12, U45^11, U51^12, U52^12, U53^12, U54^12, U55^11, ISLIST1, U21^12, U22^12, U23^12, U24^12, U25^11] > [isPalListKind1, isNeList1, U311, U412, U512] > U521 > U53 > U54 > [tt, U33, U44, U45, U46, U55, U56, U721, isPal1, U74, U811, U821, nu, u] > U831
[U11^11, U12^11, ISNELIST1, U41^12, U42^12, U43^12, U44^12, U45^11, U51^12, U52^12, U53^12, U54^12, U55^11, ISLIST1, U21^12, U22^12, U23^12, U24^12, U25^11] > [isPalListKind1, isNeList1, U311, U412, U512] > [U911, U92] > [tt, U33, U44, U45, U46, U55, U56, U721, isPal1, U74, U811, U821, nu, u] > U831
[n2, 2, U712] > [tt, U33, U44, U45, U46, U55, U56, U721, isPal1, U74, U811, U821, nu, u] > U831
[isList, U11] > U12 > U13 > [tt, U33, U44, U45, U46, U55, U56, U721, isPal1, U74, U811, U821, nu, u] > U831
[isList, U11] > U21 > [U22, U23] > [isPalListKind1, isNeList1, U311, U412, U512] > [U421, U43] > [tt, U33, U44, U45, U46, U55, U56, U721, isPal1, U74, U811, U821, nu, u] > U831
[isList, U11] > U21 > [U22, U23] > [isPalListKind1, isNeList1, U311, U412, U512] > U521 > U53 > U54 > [tt, U33, U44, U45, U46, U55, U56, U721, isPal1, U74, U811, U821, nu, u] > U831
[isList, U11] > U21 > [U22, U23] > [isPalListKind1, isNeList1, U311, U412, U512] > [U911, U92] > [tt, U33, U44, U45, U46, U55, U56, U721, isPal1, U74, U811, U821, nu, u] > U831
[isList, U11] > U21 > [U22, U23] > [U24, U25] > U26 > [tt, U33, U44, U45, U46, U55, U56, U721, isPal1, U74, U811, U821, nu, u] > U831
[nil, nnil] > [tt, U33, U44, U45, U46, U55, U56, U721, isPal1, U74, U811, U821, nu, u] > U831
[na, a] > [tt, U33, U44, U45, U46, U55, U56, U721, isPal1, U74, U811, U821, nu, u] > U831
[ne, e] > [tt, U33, U44, U45, U46, U55, U56, U721, isPal1, U74, U811, U821, nu, u] > U831
[ni, i] > [tt, U33, U44, U45, U46, U55, U56, U721, isPal1, U74, U811, U821, nu, u] > U831
[no, o] > [tt, U33, U44, U45, U46, U55, U56, U721, isPal1, U74, U811, U821, nu, u] > U831
U11^11: multiset
tt: multiset
U12^11: multiset
isPalListKind1: [1]
ISNELIST1: multiset
n2: [1,2]
U41^12: multiset
U42^12: multiset
U43^12: multiset
U44^12: multiset
U45^11: multiset
isList: []
U51^12: multiset
U52^12: multiset
U53^12: multiset
U54^12: multiset
U55^11: multiset
isNeList1: [1]
ISLIST1: multiset
U21^12: multiset
U22^12: multiset
U23^12: multiset
U24^12: multiset
U25^11: multiset
_2: [1,2]
nil: multiset
U11: []
U12: multiset
U13: []
U21: []
U22: multiset
U23: multiset
U24: multiset
U25: multiset
U26: []
U311: [1]
U33: multiset
U412: [2,1]
U421: [1]
U43: []
U44: multiset
U45: multiset
U46: multiset
U512: [2,1]
U521: multiset
U53: multiset
U54: []
U55: multiset
U56: multiset
U712: [2,1]
U721: [1]
isPal1: [1]
U74: multiset
U811: [1]
U821: [1]
U831: multiset
U911: multiset
U92: multiset
nnil: multiset
na: multiset
ne: multiset
ni: multiset
no: multiset
nu: multiset
a: multiset
e: multiset
i: multiset
o: multiset
u: multiset
__(__(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, n____(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)) → __(activate(X1), activate(X2))
activate(n__a) → a
activate(n__e) → e
activate(n__i) → i
activate(n__o) → o
activate(n__u) → u
activate(X) → X
U111(tt, V) → U121(isPalListKind(activate(V)), activate(V))
U121(tt, V) → ISNELIST(activate(V))
U411(tt, V1, V2) → U421(isPalListKind(activate(V1)), activate(V1), activate(V2))
U421(tt, V1, V2) → U431(isPalListKind(activate(V2)), activate(V1), activate(V2))
U431(tt, V1, V2) → U441(isPalListKind(activate(V2)), activate(V1), activate(V2))
U451(tt, V2) → ISNELIST(activate(V2))
U511(tt, V1, V2) → U521(isPalListKind(activate(V1)), activate(V1), activate(V2))
U521(tt, V1, V2) → U531(isPalListKind(activate(V2)), activate(V1), activate(V2))
U531(tt, V1, V2) → U541(isPalListKind(activate(V2)), activate(V1), activate(V2))
U551(tt, V2) → ISLIST(activate(V2))
ISLIST(V) → U111(isPalListKind(activate(V)), activate(V))
U211(tt, V1, V2) → U221(isPalListKind(activate(V1)), activate(V1), activate(V2))
U221(tt, V1, V2) → U231(isPalListKind(activate(V2)), activate(V1), activate(V2))
U231(tt, V1, V2) → U241(isPalListKind(activate(V2)), activate(V1), activate(V2))
U251(tt, V2) → ISLIST(activate(V2))
__(__(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, n____(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)) → __(activate(X1), activate(X2))
activate(n__a) → a
activate(n__e) → e
activate(n__i) → i
activate(n__o) → o
activate(n__u) → u
activate(X) → X