Marked_aMarked_U45U56n____Marked_U21U26iMarked_U63U44Marked_U24U74Marked_isNePalU13Marked_uMarked_U54U51Marked_U12isNePalMarked_U51U23n__oMarked_U82isQidMarked_U33U72Marked_isPalListKindisPalListKindMarked_iMarked_U52U54U91Marked_U31U25aMarked_U73U41Marked_U26U73Marked_isPalU11uMarked_U56U46Marked_U22U81Marked_U61U22n__eMarked_U92U31Marked_U43U61Marked_nilnilMarked_eMarked_U46U55n__nilMarked_isListisListeMarked_U72U43Marked_U25isPalMarked_U81ttMarked_activateMarked_U55U52Marked_U13U83Marked_isNeListU21n__iMarked_U83U33Marked_U42U63Marked_isQidU12Marked_oMarked_U53U53U92Marked_U41U24n__uMarked_U74U42Marked_U32U71Marked_U91activateoMarked_U62U45Marked_U23U82Marked_U71isNeListn__aMarked_U11U32Marked_U44U62Marked_____X2X1PIV2V1VZYX__(__(X,Y),Z)__(X,__(Y,Z))__(X,nil)X__(nil,X)XU11(tt,V)U12(isPalListKind(activate(V)),activate(V))U12(tt,V)U13(isNeList(activate(V)))U13(tt)ttU21(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)ttU31(tt,V)U32(isPalListKind(activate(V)),activate(V))U32(tt,V)U33(isQid(activate(V)))U33(tt)ttU41(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)ttU51(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)ttU61(tt,V)U62(isPalListKind(activate(V)),activate(V))U62(tt,V)U63(isQid(activate(V)))U63(tt)ttU71(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)ttU81(tt,V)U82(isPalListKind(activate(V)),activate(V))U82(tt,V)U83(isNePal(activate(V)))U83(tt)ttU91(tt,V2)U92(isPalListKind(activate(V2)))U92(tt)ttisList(V)U11(isPalListKind(activate(V)),activate(V))isList(n__nil)ttisList(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)ttisPalListKind(n__a)ttisPalListKind(n__e)ttisPalListKind(n__i)ttisPalListKind(n__nil)ttisPalListKind(n__o)ttisPalListKind(n__u)ttisPalListKind(n____(V1,V2))U91(isPalListKind(activate(V1)),activate(V2))isQid(n__a)ttisQid(n__e)ttisQid(n__i)ttisQid(n__o)ttisQid(n__u)ttniln__nil__(X1,X2)n____(X1,X2)an__aen__ein__ion__oun__uactivate(n__nil)nilactivate(n____(X1,X2))__(activate(X1),activate(X2))activate(n__a)aactivate(n__e)eactivate(n__i)iactivate(n__o)oactivate(n__u)uactivate(X)X__(__(X,Y),Z)__(X,__(Y,Z))__(X,nil)X__(nil,X)XU11(tt,V)U12(isPalListKind(activate(V)),activate(V))U12(tt,V)U13(isNeList(activate(V)))U13(tt)ttU21(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)ttU31(tt,V)U32(isPalListKind(activate(V)),activate(V))U32(tt,V)U33(isQid(activate(V)))U33(tt)ttU41(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)ttU51(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)ttU61(tt,V)U62(isPalListKind(activate(V)),activate(V))U62(tt,V)U63(isQid(activate(V)))U63(tt)ttU71(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)ttU81(tt,V)U82(isPalListKind(activate(V)),activate(V))U82(tt,V)U83(isNePal(activate(V)))U83(tt)ttU91(tt,V2)U92(isPalListKind(activate(V2)))U92(tt)ttisList(V)U11(isPalListKind(activate(V)),activate(V))isList(n__nil)ttisList(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)ttisPalListKind(n__a)ttisPalListKind(n__e)ttisPalListKind(n__i)ttisPalListKind(n__nil)ttisPalListKind(n__o)ttisPalListKind(n__u)ttisPalListKind(n____(V1,V2))U91(isPalListKind(activate(V1)),activate(V2))isQid(n__a)ttisQid(n__e)ttisQid(n__i)ttisQid(n__o)ttisQid(n__u)ttniln__nil__(X1,X2)n____(X1,X2)an__aen__ein__ion__oun__uactivate(n__nil)nilactivate(n____(X1,X2))__(activate(X1),activate(X2))activate(n__a)aactivate(n__e)eactivate(n__i)iactivate(n__o)oactivate(n__u)uactivate(X)XMarked___(__(X,Y),Z)Marked___(X,__(Y,Z))Marked___(__(X,Y),Z)Marked___(Y,Z)Marked_U11(tt,V)Marked_U12(isPalListKind(activate(V)),activate(V))Marked_U11(tt,V)Marked_isPalListKind(activate(V))Marked_U11(tt,V)Marked_activate(V)Marked_U11(tt,V)Marked_activate(V)Marked_U12(tt,V)Marked_U13(isNeList(activate(V)))Marked_U12(tt,V)Marked_isNeList(activate(V))Marked_U12(tt,V)Marked_activate(V)Marked_U21(tt,V1,V2)Marked_U22(isPalListKind(activate(V1)),activate(V1),activate(V2))Marked_U21(tt,V1,V2)Marked_isPalListKind(activate(V1))Marked_U21(tt,V1,V2)Marked_activate(V1)Marked_U21(tt,V1,V2)Marked_activate(V1)Marked_U21(tt,V1,V2)Marked_activate(V2)Marked_U22(tt,V1,V2)Marked_U23(isPalListKind(activate(V2)),activate(V1),activate(V2))Marked_U22(tt,V1,V2)Marked_isPalListKind(activate(V2))Marked_U22(tt,V1,V2)Marked_activate(V2)Marked_U22(tt,V1,V2)Marked_activate(V1)Marked_U22(tt,V1,V2)Marked_activate(V2)Marked_U23(tt,V1,V2)Marked_U24(isPalListKind(activate(V2)),activate(V1),activate(V2))Marked_U23(tt,V1,V2)Marked_isPalListKind(activate(V2))Marked_U23(tt,V1,V2)Marked_activate(V2)Marked_U23(tt,V1,V2)Marked_activate(V1)Marked_U23(tt,V1,V2)Marked_activate(V2)Marked_U24(tt,V1,V2)Marked_U25(isList(activate(V1)),activate(V2))Marked_U24(tt,V1,V2)Marked_isList(activate(V1))Marked_U24(tt,V1,V2)Marked_activate(V1)Marked_U24(tt,V1,V2)Marked_activate(V2)Marked_U25(tt,V2)Marked_U26(isList(activate(V2)))Marked_U25(tt,V2)Marked_isList(activate(V2))Marked_U25(tt,V2)Marked_activate(V2)Marked_U31(tt,V)Marked_U32(isPalListKind(activate(V)),activate(V))Marked_U31(tt,V)Marked_isPalListKind(activate(V))Marked_U31(tt,V)Marked_activate(V)Marked_U31(tt,V)Marked_activate(V)Marked_U32(tt,V)Marked_U33(isQid(activate(V)))Marked_U32(tt,V)Marked_isQid(activate(V))Marked_U32(tt,V)Marked_activate(V)Marked_U41(tt,V1,V2)Marked_U42(isPalListKind(activate(V1)),activate(V1),activate(V2))Marked_U41(tt,V1,V2)Marked_isPalListKind(activate(V1))Marked_U41(tt,V1,V2)Marked_activate(V1)Marked_U41(tt,V1,V2)Marked_activate(V1)Marked_U41(tt,V1,V2)Marked_activate(V2)Marked_U42(tt,V1,V2)Marked_U43(isPalListKind(activate(V2)),activate(V1),activate(V2))Marked_U42(tt,V1,V2)Marked_isPalListKind(activate(V2))Marked_U42(tt,V1,V2)Marked_activate(V2)Marked_U42(tt,V1,V2)Marked_activate(V1)Marked_U42(tt,V1,V2)Marked_activate(V2)Marked_U43(tt,V1,V2)Marked_U44(isPalListKind(activate(V2)),activate(V1),activate(V2))Marked_U43(tt,V1,V2)Marked_isPalListKind(activate(V2))Marked_U43(tt,V1,V2)Marked_activate(V2)Marked_U43(tt,V1,V2)Marked_activate(V1)Marked_U43(tt,V1,V2)Marked_activate(V2)Marked_U44(tt,V1,V2)Marked_U45(isList(activate(V1)),activate(V2))Marked_U44(tt,V1,V2)Marked_isList(activate(V1))Marked_U44(tt,V1,V2)Marked_activate(V1)Marked_U44(tt,V1,V2)Marked_activate(V2)Marked_U45(tt,V2)Marked_U46(isNeList(activate(V2)))Marked_U45(tt,V2)Marked_isNeList(activate(V2))Marked_U45(tt,V2)Marked_activate(V2)Marked_U51(tt,V1,V2)Marked_U52(isPalListKind(activate(V1)),activate(V1),activate(V2))Marked_U51(tt,V1,V2)Marked_isPalListKind(activate(V1))Marked_U51(tt,V1,V2)Marked_activate(V1)Marked_U51(tt,V1,V2)Marked_activate(V1)Marked_U51(tt,V1,V2)Marked_activate(V2)Marked_U52(tt,V1,V2)Marked_U53(isPalListKind(activate(V2)),activate(V1),activate(V2))Marked_U52(tt,V1,V2)Marked_isPalListKind(activate(V2))Marked_U52(tt,V1,V2)Marked_activate(V2)Marked_U52(tt,V1,V2)Marked_activate(V1)Marked_U52(tt,V1,V2)Marked_activate(V2)Marked_U53(tt,V1,V2)Marked_U54(isPalListKind(activate(V2)),activate(V1),activate(V2))Marked_U53(tt,V1,V2)Marked_isPalListKind(activate(V2))Marked_U53(tt,V1,V2)Marked_activate(V2)Marked_U53(tt,V1,V2)Marked_activate(V1)Marked_U53(tt,V1,V2)Marked_activate(V2)Marked_U54(tt,V1,V2)Marked_U55(isNeList(activate(V1)),activate(V2))Marked_U54(tt,V1,V2)Marked_isNeList(activate(V1))Marked_U54(tt,V1,V2)Marked_activate(V1)Marked_U54(tt,V1,V2)Marked_activate(V2)Marked_U55(tt,V2)Marked_U56(isList(activate(V2)))Marked_U55(tt,V2)Marked_isList(activate(V2))Marked_U55(tt,V2)Marked_activate(V2)Marked_U61(tt,V)Marked_U62(isPalListKind(activate(V)),activate(V))Marked_U61(tt,V)Marked_isPalListKind(activate(V))Marked_U61(tt,V)Marked_activate(V)Marked_U61(tt,V)Marked_activate(V)Marked_U62(tt,V)Marked_U63(isQid(activate(V)))Marked_U62(tt,V)Marked_isQid(activate(V))Marked_U62(tt,V)Marked_activate(V)Marked_U71(tt,I,P)Marked_U72(isPalListKind(activate(I)),activate(P))Marked_U71(tt,I,P)Marked_isPalListKind(activate(I))Marked_U71(tt,I,P)Marked_activate(I)Marked_U71(tt,I,P)Marked_activate(P)Marked_U72(tt,P)Marked_U73(isPal(activate(P)),activate(P))Marked_U72(tt,P)Marked_isPal(activate(P))Marked_U72(tt,P)Marked_activate(P)Marked_U72(tt,P)Marked_activate(P)Marked_U73(tt,P)Marked_U74(isPalListKind(activate(P)))Marked_U73(tt,P)Marked_isPalListKind(activate(P))Marked_U73(tt,P)Marked_activate(P)Marked_U81(tt,V)Marked_U82(isPalListKind(activate(V)),activate(V))Marked_U81(tt,V)Marked_isPalListKind(activate(V))Marked_U81(tt,V)Marked_activate(V)Marked_U81(tt,V)Marked_activate(V)Marked_U82(tt,V)Marked_U83(isNePal(activate(V)))Marked_U82(tt,V)Marked_isNePal(activate(V))Marked_U82(tt,V)Marked_activate(V)Marked_U91(tt,V2)Marked_U92(isPalListKind(activate(V2)))Marked_U91(tt,V2)Marked_isPalListKind(activate(V2))Marked_U91(tt,V2)Marked_activate(V2)Marked_isList(V)Marked_U11(isPalListKind(activate(V)),activate(V))Marked_isList(V)Marked_isPalListKind(activate(V))Marked_isList(V)Marked_activate(V)Marked_isList(V)Marked_activate(V)Marked_isList(n____(V1,V2))Marked_U21(isPalListKind(activate(V1)),activate(V1),activate(V2))Marked_isList(n____(V1,V2))Marked_isPalListKind(activate(V1))Marked_isList(n____(V1,V2))Marked_activate(V1)Marked_isList(n____(V1,V2))Marked_activate(V1)Marked_isList(n____(V1,V2))Marked_activate(V2)Marked_isNeList(V)Marked_U31(isPalListKind(activate(V)),activate(V))Marked_isNeList(V)Marked_isPalListKind(activate(V))Marked_isNeList(V)Marked_activate(V)Marked_isNeList(V)Marked_activate(V)Marked_isNeList(n____(V1,V2))Marked_U41(isPalListKind(activate(V1)),activate(V1),activate(V2))Marked_isNeList(n____(V1,V2))Marked_isPalListKind(activate(V1))Marked_isNeList(n____(V1,V2))Marked_activate(V1)Marked_isNeList(n____(V1,V2))Marked_activate(V1)Marked_isNeList(n____(V1,V2))Marked_activate(V2)Marked_isNeList(n____(V1,V2))Marked_U51(isPalListKind(activate(V1)),activate(V1),activate(V2))Marked_isNeList(n____(V1,V2))Marked_isPalListKind(activate(V1))Marked_isNeList(n____(V1,V2))Marked_activate(V1)Marked_isNeList(n____(V1,V2))Marked_activate(V1)Marked_isNeList(n____(V1,V2))Marked_activate(V2)Marked_isNePal(V)Marked_U61(isPalListKind(activate(V)),activate(V))Marked_isNePal(V)Marked_isPalListKind(activate(V))Marked_isNePal(V)Marked_activate(V)Marked_isNePal(V)Marked_activate(V)Marked_isNePal(n____(I,n____(P,I)))Marked_U71(isQid(activate(I)),activate(I),activate(P))Marked_isNePal(n____(I,n____(P,I)))Marked_isQid(activate(I))Marked_isNePal(n____(I,n____(P,I)))Marked_activate(I)Marked_isNePal(n____(I,n____(P,I)))Marked_activate(I)Marked_isNePal(n____(I,n____(P,I)))Marked_activate(P)Marked_isPal(V)Marked_U81(isPalListKind(activate(V)),activate(V))Marked_isPal(V)Marked_isPalListKind(activate(V))Marked_isPal(V)Marked_activate(V)Marked_isPal(V)Marked_activate(V)Marked_isPalListKind(n____(V1,V2))Marked_U91(isPalListKind(activate(V1)),activate(V2))Marked_isPalListKind(n____(V1,V2))Marked_isPalListKind(activate(V1))Marked_isPalListKind(n____(V1,V2))Marked_activate(V1)Marked_isPalListKind(n____(V1,V2))Marked_activate(V2)Marked_activate(n__nil)Marked_nilMarked_activate(n____(X1,X2))Marked___(activate(X1),activate(X2))Marked_activate(n____(X1,X2))Marked_activate(X1)Marked_activate(n____(X1,X2))Marked_activate(X2)Marked_activate(n__a)Marked_aMarked_activate(n__e)Marked_eMarked_activate(n__i)Marked_iMarked_activate(n__o)Marked_oMarked_activate(n__u)Marked_u__(__(X,Y),Z)__(X,__(Y,Z))__(X,nil)X__(nil,X)XU11(tt,V)U12(isPalListKind(activate(V)),activate(V))U12(tt,V)U13(isNeList(activate(V)))U13(tt)ttU21(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)ttU31(tt,V)U32(isPalListKind(activate(V)),activate(V))U32(tt,V)U33(isQid(activate(V)))U33(tt)ttU41(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)ttU51(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)ttU61(tt,V)U62(isPalListKind(activate(V)),activate(V))U62(tt,V)U63(isQid(activate(V)))U63(tt)ttU71(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)ttU81(tt,V)U82(isPalListKind(activate(V)),activate(V))U82(tt,V)U83(isNePal(activate(V)))U83(tt)ttU91(tt,V2)U92(isPalListKind(activate(V2)))U92(tt)ttisList(V)U11(isPalListKind(activate(V)),activate(V))isList(n__nil)ttisList(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)ttisPalListKind(n__a)ttisPalListKind(n__e)ttisPalListKind(n__i)ttisPalListKind(n__nil)ttisPalListKind(n__o)ttisPalListKind(n__u)ttisPalListKind(n____(V1,V2))U91(isPalListKind(activate(V1)),activate(V2))isQid(n__a)ttisQid(n__e)ttisQid(n__i)ttisQid(n__o)ttisQid(n__u)ttniln__nil__(X1,X2)n____(X1,X2)an__aen__ein__ion__oun__uactivate(n__nil)nilactivate(n____(X1,X2))__(activate(X1),activate(X2))activate(n__a)aactivate(n__e)eactivate(n__i)iactivate(n__o)oactivate(n__u)uactivate(X)XMarked_U11(tt,V)Marked_U12(isPalListKind(activate(V)),activate(V))Marked_U12(tt,V)Marked_isNeList(activate(V))Marked_U21(tt,V1,V2)Marked_U22(isPalListKind(activate(V1)),activate(V1),activate(V2))Marked_U22(tt,V1,V2)Marked_U23(isPalListKind(activate(V2)),activate(V1),activate(V2))Marked_U23(tt,V1,V2)Marked_U24(isPalListKind(activate(V2)),activate(V1),activate(V2))Marked_U24(tt,V1,V2)Marked_U25(isList(activate(V1)),activate(V2))Marked_U24(tt,V1,V2)Marked_isList(activate(V1))Marked_U25(tt,V2)Marked_isList(activate(V2))Marked_U41(tt,V1,V2)Marked_U42(isPalListKind(activate(V1)),activate(V1),activate(V2))Marked_U42(tt,V1,V2)Marked_U43(isPalListKind(activate(V2)),activate(V1),activate(V2))Marked_U43(tt,V1,V2)Marked_U44(isPalListKind(activate(V2)),activate(V1),activate(V2))Marked_U44(tt,V1,V2)Marked_U45(isList(activate(V1)),activate(V2))Marked_U44(tt,V1,V2)Marked_isList(activate(V1))Marked_U45(tt,V2)Marked_isNeList(activate(V2))Marked_U51(tt,V1,V2)Marked_U52(isPalListKind(activate(V1)),activate(V1),activate(V2))Marked_U52(tt,V1,V2)Marked_U53(isPalListKind(activate(V2)),activate(V1),activate(V2))Marked_U53(tt,V1,V2)Marked_U54(isPalListKind(activate(V2)),activate(V1),activate(V2))Marked_U54(tt,V1,V2)Marked_U55(isNeList(activate(V1)),activate(V2))Marked_U54(tt,V1,V2)Marked_isNeList(activate(V1))Marked_U55(tt,V2)Marked_isList(activate(V2))Marked_isList(V)Marked_U11(isPalListKind(activate(V)),activate(V))Marked_isList(n____(V1,V2))Marked_U21(isPalListKind(activate(V1)),activate(V1),activate(V2))Marked_isNeList(n____(V1,V2))Marked_U41(isPalListKind(activate(V1)),activate(V1),activate(V2))Marked_isNeList(n____(V1,V2))Marked_U51(isPalListKind(activate(V1)),activate(V1),activate(V2))__1210U620Marked_U441220U320Marked_U11120n__a0isNeList10U820Marked_U231220U450o0activate10U710U420n__u0U240Marked_U411220U920U530Marked_U532220U120U630Marked_U421220U330n__i0U210Marked_isNeList20U830U520Marked_U551120tt0isPal20Marked_U25120U430e0isList20Marked_isList120n__nil0U550nil0U610Marked_U431220U310n__e0U220U8120Marked_U2211220U460u0U1120U730U4110a0U250U910U540Marked_U522220isPalListKind10U720isQid0n__o0U230Marked_U512220isNePal0Marked_U12120U510Marked_U542220U130U740Marked_U241220U440i0U260Marked_U212220n____1210U560Marked_U45120Marked_U12(tt,V)Marked_isNeList(activate(V))Marked_U45(tt,V2)Marked_isNeList(activate(V2))Marked_U54(tt,V1,V2)Marked_isNeList(activate(V1))Marked_isList(n____(V1,V2))Marked_U21(isPalListKind(activate(V1)),activate(V1),activate(V2))Marked_isNeList(n____(V1,V2))Marked_U41(isPalListKind(activate(V1)),activate(V1),activate(V2))__(__(X,Y),Z)__(X,__(Y,Z))__(X,nil)X__(nil,X)XU11(tt,V)U12(isPalListKind(activate(V)),activate(V))U12(tt,V)U13(isNeList(activate(V)))U13(tt)ttU21(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)ttU31(tt,V)U32(isPalListKind(activate(V)),activate(V))U32(tt,V)U33(isQid(activate(V)))U33(tt)ttU41(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)ttU51(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)ttU61(tt,V)U62(isPalListKind(activate(V)),activate(V))U62(tt,V)U63(isQid(activate(V)))U63(tt)ttU71(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)ttU81(tt,V)U82(isPalListKind(activate(V)),activate(V))U82(tt,V)U83(isNePal(activate(V)))U83(tt)ttU91(tt,V2)U92(isPalListKind(activate(V2)))U92(tt)ttisList(V)U11(isPalListKind(activate(V)),activate(V))isList(n__nil)ttisList(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)ttisPalListKind(n__a)ttisPalListKind(n__e)ttisPalListKind(n__i)ttisPalListKind(n__nil)ttisPalListKind(n__o)ttisPalListKind(n__u)ttisPalListKind(n____(V1,V2))U91(isPalListKind(activate(V1)),activate(V2))isQid(n__a)ttisQid(n__e)ttisQid(n__i)ttisQid(n__o)ttisQid(n__u)ttniln__nil__(X1,X2)n____(X1,X2)an__aen__ein__ion__oun__uactivate(n__nil)nilactivate(n____(X1,X2))__(activate(X1),activate(X2))activate(n__a)aactivate(n__e)eactivate(n__i)iactivate(n__o)oactivate(n__u)uactivate(X)XMarked_U11(tt,V)Marked_U12(isPalListKind(activate(V)),activate(V))Marked_U21(tt,V1,V2)Marked_U22(isPalListKind(activate(V1)),activate(V1),activate(V2))Marked_U22(tt,V1,V2)Marked_U23(isPalListKind(activate(V2)),activate(V1),activate(V2))Marked_U23(tt,V1,V2)Marked_U24(isPalListKind(activate(V2)),activate(V1),activate(V2))Marked_U24(tt,V1,V2)Marked_U25(isList(activate(V1)),activate(V2))Marked_U24(tt,V1,V2)Marked_isList(activate(V1))Marked_U25(tt,V2)Marked_isList(activate(V2))Marked_U41(tt,V1,V2)Marked_U42(isPalListKind(activate(V1)),activate(V1),activate(V2))Marked_U42(tt,V1,V2)Marked_U43(isPalListKind(activate(V2)),activate(V1),activate(V2))Marked_U43(tt,V1,V2)Marked_U44(isPalListKind(activate(V2)),activate(V1),activate(V2))Marked_U44(tt,V1,V2)Marked_U45(isList(activate(V1)),activate(V2))Marked_U44(tt,V1,V2)Marked_isList(activate(V1))Marked_U51(tt,V1,V2)Marked_U52(isPalListKind(activate(V1)),activate(V1),activate(V2))Marked_U52(tt,V1,V2)Marked_U53(isPalListKind(activate(V2)),activate(V1),activate(V2))Marked_U53(tt,V1,V2)Marked_U54(isPalListKind(activate(V2)),activate(V1),activate(V2))Marked_U54(tt,V1,V2)Marked_U55(isNeList(activate(V1)),activate(V2))Marked_U55(tt,V2)Marked_isList(activate(V2))Marked_isList(V)Marked_U11(isPalListKind(activate(V)),activate(V))Marked_isNeList(n____(V1,V2))Marked_U51(isPalListKind(activate(V1)),activate(V1),activate(V2))__(__(X,Y),Z)__(X,__(Y,Z))__(X,nil)X__(nil,X)XU11(tt,V)U12(isPalListKind(activate(V)),activate(V))U12(tt,V)U13(isNeList(activate(V)))U13(tt)ttU21(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)ttU31(tt,V)U32(isPalListKind(activate(V)),activate(V))U32(tt,V)U33(isQid(activate(V)))U33(tt)ttU41(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)ttU51(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)ttU61(tt,V)U62(isPalListKind(activate(V)),activate(V))U62(tt,V)U63(isQid(activate(V)))U63(tt)ttU71(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)ttU81(tt,V)U82(isPalListKind(activate(V)),activate(V))U82(tt,V)U83(isNePal(activate(V)))U83(tt)ttU91(tt,V2)U92(isPalListKind(activate(V2)))U92(tt)ttisList(V)U11(isPalListKind(activate(V)),activate(V))isList(n__nil)ttisList(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)ttisPalListKind(n__a)ttisPalListKind(n__e)ttisPalListKind(n__i)ttisPalListKind(n__nil)ttisPalListKind(n__o)ttisPalListKind(n__u)ttisPalListKind(n____(V1,V2))U91(isPalListKind(activate(V1)),activate(V2))isQid(n__a)ttisQid(n__e)ttisQid(n__i)ttisQid(n__o)ttisQid(n__u)ttniln__nil__(X1,X2)n____(X1,X2)an__aen__ein__ion__oun__uactivate(n__nil)nilactivate(n____(X1,X2))__(activate(X1),activate(X2))activate(n__a)aactivate(n__e)eactivate(n__i)iactivate(n__o)oactivate(n__u)uactivate(X)XMarked_U71(tt,I,P)Marked_U72(isPalListKind(activate(I)),activate(P))Marked_U72(tt,P)Marked_isPal(activate(P))Marked_U81(tt,V)Marked_U82(isPalListKind(activate(V)),activate(V))Marked_U82(tt,V)Marked_isNePal(activate(V))Marked_isNePal(n____(I,n____(P,I)))Marked_U71(isQid(activate(I)),activate(I),activate(P))Marked_isPal(V)Marked_U81(isPalListKind(activate(V)),activate(V))__2110U620U320n__a0isNeList10Marked_U7120U820U450o0activate10U710U4220n__u0U240U920U530U120U630U330n__i0U210U830U5220tt0Marked_U8120isPal0U430Marked_U7220e0isList0n__nil0U550nil0U610U310n__e0U220U810U460u0U110Marked_isPal20U730U41210a0U250U910U540isPalListKind0U720isQid0Marked_U8220n__o0U230isNePal0U5120U130Marked_isNePal20U740U440i0U260n____2110U560Marked_isNePal(n____(I,n____(P,I)))Marked_U71(isQid(activate(I)),activate(I),activate(P))__(__(X,Y),Z)__(X,__(Y,Z))__(X,nil)X__(nil,X)XU11(tt,V)U12(isPalListKind(activate(V)),activate(V))U12(tt,V)U13(isNeList(activate(V)))U13(tt)ttU21(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)ttU31(tt,V)U32(isPalListKind(activate(V)),activate(V))U32(tt,V)U33(isQid(activate(V)))U33(tt)ttU41(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)ttU51(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)ttU61(tt,V)U62(isPalListKind(activate(V)),activate(V))U62(tt,V)U63(isQid(activate(V)))U63(tt)ttU71(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)ttU81(tt,V)U82(isPalListKind(activate(V)),activate(V))U82(tt,V)U83(isNePal(activate(V)))U83(tt)ttU91(tt,V2)U92(isPalListKind(activate(V2)))U92(tt)ttisList(V)U11(isPalListKind(activate(V)),activate(V))isList(n__nil)ttisList(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)ttisPalListKind(n__a)ttisPalListKind(n__e)ttisPalListKind(n__i)ttisPalListKind(n__nil)ttisPalListKind(n__o)ttisPalListKind(n__u)ttisPalListKind(n____(V1,V2))U91(isPalListKind(activate(V1)),activate(V2))isQid(n__a)ttisQid(n__e)ttisQid(n__i)ttisQid(n__o)ttisQid(n__u)ttniln__nil__(X1,X2)n____(X1,X2)an__aen__ein__ion__oun__uactivate(n__nil)nilactivate(n____(X1,X2))__(activate(X1),activate(X2))activate(n__a)aactivate(n__e)eactivate(n__i)iactivate(n__o)oactivate(n__u)uactivate(X)XMarked_U71(tt,I,P)Marked_U72(isPalListKind(activate(I)),activate(P))Marked_U72(tt,P)Marked_isPal(activate(P))Marked_U81(tt,V)Marked_U82(isPalListKind(activate(V)),activate(V))Marked_U82(tt,V)Marked_isNePal(activate(V))Marked_isPal(V)Marked_U81(isPalListKind(activate(V)),activate(V))__(__(X,Y),Z)__(X,__(Y,Z))__(X,nil)X__(nil,X)XU11(tt,V)U12(isPalListKind(activate(V)),activate(V))U12(tt,V)U13(isNeList(activate(V)))U13(tt)ttU21(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)ttU31(tt,V)U32(isPalListKind(activate(V)),activate(V))U32(tt,V)U33(isQid(activate(V)))U33(tt)ttU41(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)ttU51(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)ttU61(tt,V)U62(isPalListKind(activate(V)),activate(V))U62(tt,V)U63(isQid(activate(V)))U63(tt)ttU71(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)ttU81(tt,V)U82(isPalListKind(activate(V)),activate(V))U82(tt,V)U83(isNePal(activate(V)))U83(tt)ttU91(tt,V2)U92(isPalListKind(activate(V2)))U92(tt)ttisList(V)U11(isPalListKind(activate(V)),activate(V))isList(n__nil)ttisList(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)ttisPalListKind(n__a)ttisPalListKind(n__e)ttisPalListKind(n__i)ttisPalListKind(n__nil)ttisPalListKind(n__o)ttisPalListKind(n__u)ttisPalListKind(n____(V1,V2))U91(isPalListKind(activate(V1)),activate(V2))isQid(n__a)ttisQid(n__e)ttisQid(n__i)ttisQid(n__o)ttisQid(n__u)ttniln__nil__(X1,X2)n____(X1,X2)an__aen__ein__ion__oun__uactivate(n__nil)nilactivate(n____(X1,X2))__(activate(X1),activate(X2))activate(n__a)aactivate(n__e)eactivate(n__i)iactivate(n__o)oactivate(n__u)uactivate(X)XMarked_U91(tt,V2)Marked_isPalListKind(activate(V2))Marked_isPalListKind(n____(V1,V2))Marked_U91(isPalListKind(activate(V1)),activate(V2))Marked_isPalListKind(n____(V1,V2))Marked_isPalListKind(activate(V1))__210U6210U3210n__a20isNeList10U8210U4510o20activate10Marked_U91120U7120U4210n__u20U2420U9220U5310U1220U6310U3310n__i20U2120U8320U5210tt20isPal20U4310e20isList20n__nil10U5510nil10U6110U3110n__e20U2220U8120U4610u20U1120U7320U4110a20U2520U9110U5410isPalListKind20Marked_isPalListKind20U7220isQid10n__o20U2320isNePal20U5110U1320U7410U4410i20U2610n____210U5620Marked_U91(tt,V2)Marked_isPalListKind(activate(V2))__(__(X,Y),Z)__(X,__(Y,Z))__(X,nil)X__(nil,X)XU11(tt,V)U12(isPalListKind(activate(V)),activate(V))U12(tt,V)U13(isNeList(activate(V)))U13(tt)ttU21(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)ttU31(tt,V)U32(isPalListKind(activate(V)),activate(V))U32(tt,V)U33(isQid(activate(V)))U33(tt)ttU41(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)ttU51(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)ttU61(tt,V)U62(isPalListKind(activate(V)),activate(V))U62(tt,V)U63(isQid(activate(V)))U63(tt)ttU71(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)ttU81(tt,V)U82(isPalListKind(activate(V)),activate(V))U82(tt,V)U83(isNePal(activate(V)))U83(tt)ttU91(tt,V2)U92(isPalListKind(activate(V2)))U92(tt)ttisList(V)U11(isPalListKind(activate(V)),activate(V))isList(n__nil)ttisList(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)ttisPalListKind(n__a)ttisPalListKind(n__e)ttisPalListKind(n__i)ttisPalListKind(n__nil)ttisPalListKind(n__o)ttisPalListKind(n__u)ttisPalListKind(n____(V1,V2))U91(isPalListKind(activate(V1)),activate(V2))isQid(n__a)ttisQid(n__e)ttisQid(n__i)ttisQid(n__o)ttisQid(n__u)ttniln__nil__(X1,X2)n____(X1,X2)an__aen__ein__ion__oun__uactivate(n__nil)nilactivate(n____(X1,X2))__(activate(X1),activate(X2))activate(n__a)aactivate(n__e)eactivate(n__i)iactivate(n__o)oactivate(n__u)uactivate(X)XMarked_isPalListKind(n____(V1,V2))Marked_U91(isPalListKind(activate(V1)),activate(V2))Marked_isPalListKind(n____(V1,V2))Marked_isPalListKind(activate(V1))__(__(X,Y),Z)__(X,__(Y,Z))__(X,nil)X__(nil,X)XU11(tt,V)U12(isPalListKind(activate(V)),activate(V))U12(tt,V)U13(isNeList(activate(V)))U13(tt)ttU21(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)ttU31(tt,V)U32(isPalListKind(activate(V)),activate(V))U32(tt,V)U33(isQid(activate(V)))U33(tt)ttU41(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)ttU51(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)ttU61(tt,V)U62(isPalListKind(activate(V)),activate(V))U62(tt,V)U63(isQid(activate(V)))U63(tt)ttU71(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)ttU81(tt,V)U82(isPalListKind(activate(V)),activate(V))U82(tt,V)U83(isNePal(activate(V)))U83(tt)ttU91(tt,V2)U92(isPalListKind(activate(V2)))U92(tt)ttisList(V)U11(isPalListKind(activate(V)),activate(V))isList(n__nil)ttisList(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)ttisPalListKind(n__a)ttisPalListKind(n__e)ttisPalListKind(n__i)ttisPalListKind(n__nil)ttisPalListKind(n__o)ttisPalListKind(n__u)ttisPalListKind(n____(V1,V2))U91(isPalListKind(activate(V1)),activate(V2))isQid(n__a)ttisQid(n__e)ttisQid(n__i)ttisQid(n__o)ttisQid(n__u)ttniln__nil__(X1,X2)n____(X1,X2)an__aen__ein__ion__oun__uactivate(n__nil)nilactivate(n____(X1,X2))__(activate(X1),activate(X2))activate(n__a)aactivate(n__e)eactivate(n__i)iactivate(n__o)oactivate(n__u)uactivate(X)XMarked_isPalListKind(n____(V1,V2))Marked_isPalListKind(activate(V1))__2210U620U320n__a0isNeList20U820U450o0activate20U710U420n__u0U240U920U530U120U630U330n__i0U2120U830U520tt0isPal0U430e0isList20n__nil0U550nil0U610U310n__e0U220U810U460u0U110U730U410a0U250U910U540isPalListKind0Marked_isPalListKind30U720isQid0n__o0U230isNePal20U5120U130U740U440i0U260n____2210U560__(__(X,Y),Z)__(X,__(Y,Z))__(X,nil)X__(nil,X)XU11(tt,V)U12(isPalListKind(activate(V)),activate(V))U12(tt,V)U13(isNeList(activate(V)))U13(tt)ttU21(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)ttU31(tt,V)U32(isPalListKind(activate(V)),activate(V))U32(tt,V)U33(isQid(activate(V)))U33(tt)ttU41(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)ttU51(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)ttU61(tt,V)U62(isPalListKind(activate(V)),activate(V))U62(tt,V)U63(isQid(activate(V)))U63(tt)ttU71(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)ttU81(tt,V)U82(isPalListKind(activate(V)),activate(V))U82(tt,V)U83(isNePal(activate(V)))U83(tt)ttU91(tt,V2)U92(isPalListKind(activate(V2)))U92(tt)ttisList(V)U11(isPalListKind(activate(V)),activate(V))isList(n__nil)ttisList(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)ttisPalListKind(n__a)ttisPalListKind(n__e)ttisPalListKind(n__i)ttisPalListKind(n__nil)ttisPalListKind(n__o)ttisPalListKind(n__u)ttisPalListKind(n____(V1,V2))U91(isPalListKind(activate(V1)),activate(V2))isQid(n__a)ttisQid(n__e)ttisQid(n__i)ttisQid(n__o)ttisQid(n__u)ttniln__nil__(X1,X2)n____(X1,X2)an__aen__ein__ion__oun__uactivate(n__nil)nilactivate(n____(X1,X2))__(activate(X1),activate(X2))activate(n__a)aactivate(n__e)eactivate(n__i)iactivate(n__o)oactivate(n__u)uactivate(X)XMarked_activate(n____(X1,X2))Marked_activate(X1)Marked_activate(n____(X1,X2))Marked_activate(X2)Marked_activate1Marked_activate(n____(X1,X2))Marked_activate(X2)Marked_activate(n____(X1,X2))Marked_activate(X1)__(__(X,Y),Z)__(X,__(Y,Z))__(X,nil)X__(nil,X)XU11(tt,V)U12(isPalListKind(activate(V)),activate(V))U12(tt,V)U13(isNeList(activate(V)))U13(tt)ttU21(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)ttU31(tt,V)U32(isPalListKind(activate(V)),activate(V))U32(tt,V)U33(isQid(activate(V)))U33(tt)ttU41(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)ttU51(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)ttU61(tt,V)U62(isPalListKind(activate(V)),activate(V))U62(tt,V)U63(isQid(activate(V)))U63(tt)ttU71(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)ttU81(tt,V)U82(isPalListKind(activate(V)),activate(V))U82(tt,V)U83(isNePal(activate(V)))U83(tt)ttU91(tt,V2)U92(isPalListKind(activate(V2)))U92(tt)ttisList(V)U11(isPalListKind(activate(V)),activate(V))isList(n__nil)ttisList(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)ttisPalListKind(n__a)ttisPalListKind(n__e)ttisPalListKind(n__i)ttisPalListKind(n__nil)ttisPalListKind(n__o)ttisPalListKind(n__u)ttisPalListKind(n____(V1,V2))U91(isPalListKind(activate(V1)),activate(V2))isQid(n__a)ttisQid(n__e)ttisQid(n__i)ttisQid(n__o)ttisQid(n__u)ttniln__nil__(X1,X2)n____(X1,X2)an__aen__ein__ion__oun__uactivate(n__nil)nilactivate(n____(X1,X2))__(activate(X1),activate(X2))activate(n__a)aactivate(n__e)eactivate(n__i)iactivate(n__o)oactivate(n__u)uactivate(X)X__(__(X,Y),Z)__(X,__(Y,Z))__(X,nil)X__(nil,X)XU11(tt,V)U12(isPalListKind(activate(V)),activate(V))U12(tt,V)U13(isNeList(activate(V)))U13(tt)ttU21(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)ttU31(tt,V)U32(isPalListKind(activate(V)),activate(V))U32(tt,V)U33(isQid(activate(V)))U33(tt)ttU41(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)ttU51(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)ttU61(tt,V)U62(isPalListKind(activate(V)),activate(V))U62(tt,V)U63(isQid(activate(V)))U63(tt)ttU71(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)ttU81(tt,V)U82(isPalListKind(activate(V)),activate(V))U82(tt,V)U83(isNePal(activate(V)))U83(tt)ttU91(tt,V2)U92(isPalListKind(activate(V2)))U92(tt)ttisList(V)U11(isPalListKind(activate(V)),activate(V))isList(n__nil)ttisList(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)ttisPalListKind(n__a)ttisPalListKind(n__e)ttisPalListKind(n__i)ttisPalListKind(n__nil)ttisPalListKind(n__o)ttisPalListKind(n__u)ttisPalListKind(n____(V1,V2))U91(isPalListKind(activate(V1)),activate(V2))isQid(n__a)ttisQid(n__e)ttisQid(n__i)ttisQid(n__o)ttisQid(n__u)ttniln__nil__(X1,X2)n____(X1,X2)an__aen__ein__ion__oun__uactivate(n__nil)nilactivate(n____(X1,X2))__(activate(X1),activate(X2))activate(n__a)aactivate(n__e)eactivate(n__i)iactivate(n__o)oactivate(n__u)uactivate(X)XMarked___(__(X,Y),Z)Marked___(X,__(Y,Z))Marked___(__(X,Y),Z)Marked___(Y,Z)Marked___1Marked___(__(X,Y),Z)Marked___(Y,Z)Marked___(__(X,Y),Z)Marked___(X,__(Y,Z))__(__(X,Y),Z)__(X,__(Y,Z))__(X,nil)X__(nil,X)XU11(tt,V)U12(isPalListKind(activate(V)),activate(V))U12(tt,V)U13(isNeList(activate(V)))U13(tt)ttU21(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)ttU31(tt,V)U32(isPalListKind(activate(V)),activate(V))U32(tt,V)U33(isQid(activate(V)))U33(tt)ttU41(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)ttU51(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)ttU61(tt,V)U62(isPalListKind(activate(V)),activate(V))U62(tt,V)U63(isQid(activate(V)))U63(tt)ttU71(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)ttU81(tt,V)U82(isPalListKind(activate(V)),activate(V))U82(tt,V)U83(isNePal(activate(V)))U83(tt)ttU91(tt,V2)U92(isPalListKind(activate(V2)))U92(tt)ttisList(V)U11(isPalListKind(activate(V)),activate(V))isList(n__nil)ttisList(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)ttisPalListKind(n__a)ttisPalListKind(n__e)ttisPalListKind(n__i)ttisPalListKind(n__nil)ttisPalListKind(n__o)ttisPalListKind(n__u)ttisPalListKind(n____(V1,V2))U91(isPalListKind(activate(V1)),activate(V2))isQid(n__a)ttisQid(n__e)ttisQid(n__i)ttisQid(n__o)ttisQid(n__u)ttniln__nil__(X1,X2)n____(X1,X2)an__aen__ein__ion__oun__uactivate(n__nil)nilactivate(n____(X1,X2))__(activate(X1),activate(X2))activate(n__a)aactivate(n__e)eactivate(n__i)iactivate(n__o)oactivate(n__u)uactivate(X)X