Marked_U21n__isPalMarked_eU41Marked_U71isNePaleMarked_U32U22Marked_U51n__nilMarked_activateU32Marked_isPalListKindU53n__iMarked_U53isNeListMarked_U31n____Marked_oU31Marked_nilU61n__uMarked_U43U11Marked_U61andoMarked_U22U21Marked_isPalU52n__aMarked_U72nilMarked_isListn__andMarked_iU42Marked_isQidU72aMarked_U42ttMarked_isNeListisPalListKinduMarked_U12U23Marked_andU51n__eMarked_U62U12Marked_U41n__isPalListKindMarked_uisQidMarked___U62n__oMarked_U52activateMarked_isNePalU71iMarked_U23isListMarked_aU43isPalMarked_U11__X2X1PIV2V1VZYX__(__(X,Y),Z)__(X,__(Y,Z))__(X,nil)X__(nil,X)XU11(tt,V)U12(isNeList(activate(V)))U12(tt)ttU21(tt,V1,V2)U22(isList(activate(V1)),activate(V2))U22(tt,V2)U23(isList(activate(V2)))U23(tt)ttU31(tt,V)U32(isQid(activate(V)))U32(tt)ttU41(tt,V1,V2)U42(isList(activate(V1)),activate(V2))U42(tt,V2)U43(isNeList(activate(V2)))U43(tt)ttU51(tt,V1,V2)U52(isNeList(activate(V1)),activate(V2))U52(tt,V2)U53(isList(activate(V2)))U53(tt)ttU61(tt,V)U62(isQid(activate(V)))U62(tt)ttU71(tt,V)U72(isNePal(activate(V)))U72(tt)ttand(tt,X)activate(X)isList(V)U11(isPalListKind(activate(V)),activate(V))isList(n__nil)ttisList(n____(V1,V2))U21(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))isNeList(V)U31(isPalListKind(activate(V)),activate(V))isNeList(n____(V1,V2))U41(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))isNeList(n____(V1,V2))U51(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))isNePal(V)U61(isPalListKind(activate(V)),activate(V))isNePal(n____(I,n____(P,I)))and(and(isQid(activate(I)),n__isPalListKind(activate(I))), n__and(n__isPal(activate(P)),n__isPalListKind(activate(P))))isPal(V)U71(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))and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2)))isQid(n__a)ttisQid(n__e)ttisQid(n__i)ttisQid(n__o)ttisQid(n__u)ttniln__nil__(X1,X2)n____(X1,X2)isPalListKind(X)n__isPalListKind(X)and(X1,X2)n__and(X1,X2)isPal(X)n__isPal(X)an__aen__ein__ion__oun__uactivate(n__nil)nilactivate(n____(X1,X2))__(activate(X1),activate(X2))activate(n__isPalListKind(X))isPalListKind(X)activate(n__and(X1,X2))and(activate(X1),X2)activate(n__isPal(X))isPal(X)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(isNeList(activate(V)))U12(tt)ttU21(tt,V1,V2)U22(isList(activate(V1)),activate(V2))U22(tt,V2)U23(isList(activate(V2)))U23(tt)ttU31(tt,V)U32(isQid(activate(V)))U32(tt)ttU41(tt,V1,V2)U42(isList(activate(V1)),activate(V2))U42(tt,V2)U43(isNeList(activate(V2)))U43(tt)ttU51(tt,V1,V2)U52(isNeList(activate(V1)),activate(V2))U52(tt,V2)U53(isList(activate(V2)))U53(tt)ttU61(tt,V)U62(isQid(activate(V)))U62(tt)ttU71(tt,V)U72(isNePal(activate(V)))U72(tt)ttand(tt,X)activate(X)isList(V)U11(isPalListKind(activate(V)),activate(V))isList(n__nil)ttisList(n____(V1,V2))U21(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))isNeList(V)U31(isPalListKind(activate(V)),activate(V))isNeList(n____(V1,V2))U41(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))isNeList(n____(V1,V2))U51(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))isNePal(V)U61(isPalListKind(activate(V)),activate(V))isNePal(n____(I,n____(P,I)))and(and(isQid(activate(I)),n__isPalListKind(activate(I))), n__and(n__isPal(activate(P)),n__isPalListKind(activate(P))))isPal(V)U71(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))and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2)))isQid(n__a)ttisQid(n__e)ttisQid(n__i)ttisQid(n__o)ttisQid(n__u)ttniln__nil__(X1,X2)n____(X1,X2)isPalListKind(X)n__isPalListKind(X)and(X1,X2)n__and(X1,X2)isPal(X)n__isPal(X)an__aen__ein__ion__oun__uactivate(n__nil)nilactivate(n____(X1,X2))__(activate(X1),activate(X2))activate(n__isPalListKind(X))isPalListKind(X)activate(n__and(X1,X2))and(activate(X1),X2)activate(n__isPal(X))isPal(X)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(isNeList(activate(V)))Marked_U11(tt,V)Marked_isNeList(activate(V))Marked_U11(tt,V)Marked_activate(V)Marked_U21(tt,V1,V2)Marked_U22(isList(activate(V1)),activate(V2))Marked_U21(tt,V1,V2)Marked_isList(activate(V1))Marked_U21(tt,V1,V2)Marked_activate(V1)Marked_U21(tt,V1,V2)Marked_activate(V2)Marked_U22(tt,V2)Marked_U23(isList(activate(V2)))Marked_U22(tt,V2)Marked_isList(activate(V2))Marked_U22(tt,V2)Marked_activate(V2)Marked_U31(tt,V)Marked_U32(isQid(activate(V)))Marked_U31(tt,V)Marked_isQid(activate(V))Marked_U31(tt,V)Marked_activate(V)Marked_U41(tt,V1,V2)Marked_U42(isList(activate(V1)),activate(V2))Marked_U41(tt,V1,V2)Marked_isList(activate(V1))Marked_U41(tt,V1,V2)Marked_activate(V1)Marked_U41(tt,V1,V2)Marked_activate(V2)Marked_U42(tt,V2)Marked_U43(isNeList(activate(V2)))Marked_U42(tt,V2)Marked_isNeList(activate(V2))Marked_U42(tt,V2)Marked_activate(V2)Marked_U51(tt,V1,V2)Marked_U52(isNeList(activate(V1)),activate(V2))Marked_U51(tt,V1,V2)Marked_isNeList(activate(V1))Marked_U51(tt,V1,V2)Marked_activate(V1)Marked_U51(tt,V1,V2)Marked_activate(V2)Marked_U52(tt,V2)Marked_U53(isList(activate(V2)))Marked_U52(tt,V2)Marked_isList(activate(V2))Marked_U52(tt,V2)Marked_activate(V2)Marked_U61(tt,V)Marked_U62(isQid(activate(V)))Marked_U61(tt,V)Marked_isQid(activate(V))Marked_U61(tt,V)Marked_activate(V)Marked_U71(tt,V)Marked_U72(isNePal(activate(V)))Marked_U71(tt,V)Marked_isNePal(activate(V))Marked_U71(tt,V)Marked_activate(V)Marked_and(tt,X)Marked_activate(X)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(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))Marked_isList(n____(V1,V2))Marked_and(isPalListKind(activate(V1)),n__isPalListKind(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(V2)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(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))Marked_isNeList(n____(V1,V2))Marked_and(isPalListKind(activate(V1)),n__isPalListKind(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(V2)Marked_isNeList(n____(V1,V2))Marked_activate(V1)Marked_isNeList(n____(V1,V2))Marked_activate(V2)Marked_isNeList(n____(V1,V2))Marked_U51(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))Marked_isNeList(n____(V1,V2))Marked_and(isPalListKind(activate(V1)),n__isPalListKind(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(V2)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_and(and(isQid(activate(I)),n__isPalListKind(activate(I))), n__and(n__isPal(activate(P)),n__isPalListKind(activate(P))))Marked_isNePal(n____(I,n____(P,I)))Marked_and(isQid(activate(I)),n__isPalListKind(activate(I)))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_isNePal(n____(I,n____(P,I)))Marked_activate(P)Marked_isPal(V)Marked_U71(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_and(isPalListKind(activate(V1)),n__isPalListKind(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__isPalListKind(X))Marked_isPalListKind(X)Marked_activate(n__and(X1,X2))Marked_and(activate(X1),X2)Marked_activate(n__and(X1,X2))Marked_activate(X1)Marked_activate(n__isPal(X))Marked_isPal(X)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(isNeList(activate(V)))U12(tt)ttU21(tt,V1,V2)U22(isList(activate(V1)),activate(V2))U22(tt,V2)U23(isList(activate(V2)))U23(tt)ttU31(tt,V)U32(isQid(activate(V)))U32(tt)ttU41(tt,V1,V2)U42(isList(activate(V1)),activate(V2))U42(tt,V2)U43(isNeList(activate(V2)))U43(tt)ttU51(tt,V1,V2)U52(isNeList(activate(V1)),activate(V2))U52(tt,V2)U53(isList(activate(V2)))U53(tt)ttU61(tt,V)U62(isQid(activate(V)))U62(tt)ttU71(tt,V)U72(isNePal(activate(V)))U72(tt)ttand(tt,X)activate(X)isList(V)U11(isPalListKind(activate(V)),activate(V))isList(n__nil)ttisList(n____(V1,V2))U21(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))isNeList(V)U31(isPalListKind(activate(V)),activate(V))isNeList(n____(V1,V2))U41(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))isNeList(n____(V1,V2))U51(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))isNePal(V)U61(isPalListKind(activate(V)),activate(V))isNePal(n____(I,n____(P,I)))and(and(isQid(activate(I)),n__isPalListKind(activate(I))), n__and(n__isPal(activate(P)),n__isPalListKind(activate(P))))isPal(V)U71(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))and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2)))isQid(n__a)ttisQid(n__e)ttisQid(n__i)ttisQid(n__o)ttisQid(n__u)ttniln__nil__(X1,X2)n____(X1,X2)isPalListKind(X)n__isPalListKind(X)and(X1,X2)n__and(X1,X2)isPal(X)n__isPal(X)an__aen__ein__ion__oun__uactivate(n__nil)nilactivate(n____(X1,X2))__(activate(X1),activate(X2))activate(n__isPalListKind(X))isPalListKind(X)activate(n__and(X1,X2))and(activate(X1),X2)activate(n__isPal(X))isPal(X)activate(n__a)aactivate(n__e)eactivate(n__i)iactivate(n__o)oactivate(n__u)uactivate(X)XMarked_U11(tt,V)Marked_isNeList(activate(V))Marked_U21(tt,V1,V2)Marked_U22(isList(activate(V1)),activate(V2))Marked_U21(tt,V1,V2)Marked_isList(activate(V1))Marked_U22(tt,V2)Marked_isList(activate(V2))Marked_U41(tt,V1,V2)Marked_U42(isList(activate(V1)),activate(V2))Marked_U41(tt,V1,V2)Marked_isList(activate(V1))Marked_U42(tt,V2)Marked_isNeList(activate(V2))Marked_U51(tt,V1,V2)Marked_U52(isNeList(activate(V1)),activate(V2))Marked_U51(tt,V1,V2)Marked_isNeList(activate(V1))Marked_U52(tt,V2)Marked_isList(activate(V2))Marked_isList(V)Marked_U11(isPalListKind(activate(V)),activate(V))Marked_isList(n____(V1,V2))Marked_U21(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))Marked_isNeList(n____(V1,V2))Marked_U41(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))Marked_isNeList(n____(V1,V2))Marked_U51(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))__1210Marked_U1120isPal0U430isList0i0U710activate10Marked_U5220n__o0U620isQid0n__isPalListKind0Marked_U41220U120n__e0U510U230u0isPalListKind0Marked_isNeList20tt0Marked_U4220a0U720U420n__and20Marked_isList20nil0n__a0U520U210Marked_U2220o0and20U110n__u0U610U310n____1210isNeList20n__i0U530U320n__nil0Marked_U511220U220e0isNePal0U4120n__isPal0Marked_U21220Marked_U51(tt,V1,V2)Marked_U52(isNeList(activate(V1)),activate(V2))Marked_U51(tt,V1,V2)Marked_isNeList(activate(V1))Marked_isList(n____(V1,V2))Marked_U21(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))Marked_isNeList(n____(V1,V2))Marked_U41(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))Marked_isNeList(n____(V1,V2))Marked_U51(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))__(__(X,Y),Z)__(X,__(Y,Z))__(X,nil)X__(nil,X)XU11(tt,V)U12(isNeList(activate(V)))U12(tt)ttU21(tt,V1,V2)U22(isList(activate(V1)),activate(V2))U22(tt,V2)U23(isList(activate(V2)))U23(tt)ttU31(tt,V)U32(isQid(activate(V)))U32(tt)ttU41(tt,V1,V2)U42(isList(activate(V1)),activate(V2))U42(tt,V2)U43(isNeList(activate(V2)))U43(tt)ttU51(tt,V1,V2)U52(isNeList(activate(V1)),activate(V2))U52(tt,V2)U53(isList(activate(V2)))U53(tt)ttU61(tt,V)U62(isQid(activate(V)))U62(tt)ttU71(tt,V)U72(isNePal(activate(V)))U72(tt)ttand(tt,X)activate(X)isList(V)U11(isPalListKind(activate(V)),activate(V))isList(n__nil)ttisList(n____(V1,V2))U21(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))isNeList(V)U31(isPalListKind(activate(V)),activate(V))isNeList(n____(V1,V2))U41(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))isNeList(n____(V1,V2))U51(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))isNePal(V)U61(isPalListKind(activate(V)),activate(V))isNePal(n____(I,n____(P,I)))and(and(isQid(activate(I)),n__isPalListKind(activate(I))), n__and(n__isPal(activate(P)),n__isPalListKind(activate(P))))isPal(V)U71(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))and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2)))isQid(n__a)ttisQid(n__e)ttisQid(n__i)ttisQid(n__o)ttisQid(n__u)ttniln__nil__(X1,X2)n____(X1,X2)isPalListKind(X)n__isPalListKind(X)and(X1,X2)n__and(X1,X2)isPal(X)n__isPal(X)an__aen__ein__ion__oun__uactivate(n__nil)nilactivate(n____(X1,X2))__(activate(X1),activate(X2))activate(n__isPalListKind(X))isPalListKind(X)activate(n__and(X1,X2))and(activate(X1),X2)activate(n__isPal(X))isPal(X)activate(n__a)aactivate(n__e)eactivate(n__i)iactivate(n__o)oactivate(n__u)uactivate(X)XMarked_U11(tt,V)Marked_isNeList(activate(V))Marked_U21(tt,V1,V2)Marked_U22(isList(activate(V1)),activate(V2))Marked_U21(tt,V1,V2)Marked_isList(activate(V1))Marked_U22(tt,V2)Marked_isList(activate(V2))Marked_U41(tt,V1,V2)Marked_U42(isList(activate(V1)),activate(V2))Marked_U41(tt,V1,V2)Marked_isList(activate(V1))Marked_U42(tt,V2)Marked_isNeList(activate(V2))Marked_U52(tt,V2)Marked_isList(activate(V2))Marked_isList(V)Marked_U11(isPalListKind(activate(V)),activate(V))__(__(X,Y),Z)__(X,__(Y,Z))__(X,nil)X__(nil,X)XU11(tt,V)U12(isNeList(activate(V)))U12(tt)ttU21(tt,V1,V2)U22(isList(activate(V1)),activate(V2))U22(tt,V2)U23(isList(activate(V2)))U23(tt)ttU31(tt,V)U32(isQid(activate(V)))U32(tt)ttU41(tt,V1,V2)U42(isList(activate(V1)),activate(V2))U42(tt,V2)U43(isNeList(activate(V2)))U43(tt)ttU51(tt,V1,V2)U52(isNeList(activate(V1)),activate(V2))U52(tt,V2)U53(isList(activate(V2)))U53(tt)ttU61(tt,V)U62(isQid(activate(V)))U62(tt)ttU71(tt,V)U72(isNePal(activate(V)))U72(tt)ttand(tt,X)activate(X)isList(V)U11(isPalListKind(activate(V)),activate(V))isList(n__nil)ttisList(n____(V1,V2))U21(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))isNeList(V)U31(isPalListKind(activate(V)),activate(V))isNeList(n____(V1,V2))U41(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))isNeList(n____(V1,V2))U51(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))isNePal(V)U61(isPalListKind(activate(V)),activate(V))isNePal(n____(I,n____(P,I)))and(and(isQid(activate(I)),n__isPalListKind(activate(I))), n__and(n__isPal(activate(P)),n__isPalListKind(activate(P))))isPal(V)U71(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))and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2)))isQid(n__a)ttisQid(n__e)ttisQid(n__i)ttisQid(n__o)ttisQid(n__u)ttniln__nil__(X1,X2)n____(X1,X2)isPalListKind(X)n__isPalListKind(X)and(X1,X2)n__and(X1,X2)isPal(X)n__isPal(X)an__aen__ein__ion__oun__uactivate(n__nil)nilactivate(n____(X1,X2))__(activate(X1),activate(X2))activate(n__isPalListKind(X))isPalListKind(X)activate(n__and(X1,X2))and(activate(X1),X2)activate(n__isPal(X))isPal(X)activate(n__a)aactivate(n__e)eactivate(n__i)iactivate(n__o)oactivate(n__u)uactivate(X)XMarked_U61(tt,V)Marked_activate(V)Marked_U71(tt,V)Marked_isNePal(activate(V))Marked_U71(tt,V)Marked_activate(V)Marked_and(tt,X)Marked_activate(X)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_and(and(isQid(activate(I)),n__isPalListKind(activate(I))), n__and(n__isPal(activate(P)),n__isPalListKind(activate(P))))Marked_isNePal(n____(I,n____(P,I)))Marked_and(isQid(activate(I)),n__isPalListKind(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_isNePal(n____(I,n____(P,I)))Marked_activate(P)Marked_isPal(V)Marked_U71(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_and(isPalListKind(activate(V1)),n__isPalListKind(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____(X1,X2))Marked_activate(X1)Marked_activate(n____(X1,X2))Marked_activate(X2)Marked_activate(n__isPalListKind(X))Marked_isPalListKind(X)Marked_activate(n__and(X1,X2))Marked_and(activate(X1),X2)Marked_activate(n__and(X1,X2))Marked_activate(X1)Marked_activate(n__isPal(X))Marked_isPal(X)__1310isPal20U430isList0i0U710Marked_isNePal10activate10n__o0U620isQid0n__isPalListKind10U120n__e0U510Marked_and10U230u0isPalListKind10tt0a0U720U420n__and110nil0n__a0U520Marked_isPal20U210o0and110Marked_U6110U110n__u0U610U310n____1310isNeList130n__i0U530Marked_isPalListKind10U320Marked_activate10n__nil0U220e0isNePal10Marked_U7120U4110n__isPal20Marked_isNePal(n____(I,n____(P,I)))Marked_and(and(isQid(activate(I)),n__isPalListKind(activate(I))), n__and(n__isPal(activate(P)),n__isPalListKind(activate(P))))Marked_isNePal(n____(I,n____(P,I)))Marked_and(isQid(activate(I)),n__isPalListKind(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_isNePal(n____(I,n____(P,I)))Marked_activate(P)Marked_isPalListKind(n____(V1,V2))Marked_and(isPalListKind(activate(V1)),n__isPalListKind(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____(X1,X2))Marked_activate(X1)Marked_activate(n____(X1,X2))Marked_activate(X2)__(__(X,Y),Z)__(X,__(Y,Z))__(X,nil)X__(nil,X)XU11(tt,V)U12(isNeList(activate(V)))U12(tt)ttU21(tt,V1,V2)U22(isList(activate(V1)),activate(V2))U22(tt,V2)U23(isList(activate(V2)))U23(tt)ttU31(tt,V)U32(isQid(activate(V)))U32(tt)ttU41(tt,V1,V2)U42(isList(activate(V1)),activate(V2))U42(tt,V2)U43(isNeList(activate(V2)))U43(tt)ttU51(tt,V1,V2)U52(isNeList(activate(V1)),activate(V2))U52(tt,V2)U53(isList(activate(V2)))U53(tt)ttU61(tt,V)U62(isQid(activate(V)))U62(tt)ttU71(tt,V)U72(isNePal(activate(V)))U72(tt)ttand(tt,X)activate(X)isList(V)U11(isPalListKind(activate(V)),activate(V))isList(n__nil)ttisList(n____(V1,V2))U21(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))isNeList(V)U31(isPalListKind(activate(V)),activate(V))isNeList(n____(V1,V2))U41(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))isNeList(n____(V1,V2))U51(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))isNePal(V)U61(isPalListKind(activate(V)),activate(V))isNePal(n____(I,n____(P,I)))and(and(isQid(activate(I)),n__isPalListKind(activate(I))), n__and(n__isPal(activate(P)),n__isPalListKind(activate(P))))isPal(V)U71(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))and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2)))isQid(n__a)ttisQid(n__e)ttisQid(n__i)ttisQid(n__o)ttisQid(n__u)ttniln__nil__(X1,X2)n____(X1,X2)isPalListKind(X)n__isPalListKind(X)and(X1,X2)n__and(X1,X2)isPal(X)n__isPal(X)an__aen__ein__ion__oun__uactivate(n__nil)nilactivate(n____(X1,X2))__(activate(X1),activate(X2))activate(n__isPalListKind(X))isPalListKind(X)activate(n__and(X1,X2))and(activate(X1),X2)activate(n__isPal(X))isPal(X)activate(n__a)aactivate(n__e)eactivate(n__i)iactivate(n__o)oactivate(n__u)uactivate(X)XMarked_U61(tt,V)Marked_activate(V)Marked_U71(tt,V)Marked_isNePal(activate(V))Marked_U71(tt,V)Marked_activate(V)Marked_and(tt,X)Marked_activate(X)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_isPal(V)Marked_U71(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_activate(n__isPalListKind(X))Marked_isPalListKind(X)Marked_activate(n__and(X1,X2))Marked_and(activate(X1),X2)Marked_activate(n__and(X1,X2))Marked_activate(X1)Marked_activate(n__isPal(X))Marked_isPal(X)__(__(X,Y),Z)__(X,__(Y,Z))__(X,nil)X__(nil,X)XU11(tt,V)U12(isNeList(activate(V)))U12(tt)ttU21(tt,V1,V2)U22(isList(activate(V1)),activate(V2))U22(tt,V2)U23(isList(activate(V2)))U23(tt)ttU31(tt,V)U32(isQid(activate(V)))U32(tt)ttU41(tt,V1,V2)U42(isList(activate(V1)),activate(V2))U42(tt,V2)U43(isNeList(activate(V2)))U43(tt)ttU51(tt,V1,V2)U52(isNeList(activate(V1)),activate(V2))U52(tt,V2)U53(isList(activate(V2)))U53(tt)ttU61(tt,V)U62(isQid(activate(V)))U62(tt)ttU71(tt,V)U72(isNePal(activate(V)))U72(tt)ttand(tt,X)activate(X)isList(V)U11(isPalListKind(activate(V)),activate(V))isList(n__nil)ttisList(n____(V1,V2))U21(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))isNeList(V)U31(isPalListKind(activate(V)),activate(V))isNeList(n____(V1,V2))U41(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))isNeList(n____(V1,V2))U51(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))isNePal(V)U61(isPalListKind(activate(V)),activate(V))isNePal(n____(I,n____(P,I)))and(and(isQid(activate(I)),n__isPalListKind(activate(I))), n__and(n__isPal(activate(P)),n__isPalListKind(activate(P))))isPal(V)U71(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))and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2)))isQid(n__a)ttisQid(n__e)ttisQid(n__i)ttisQid(n__o)ttisQid(n__u)ttniln__nil__(X1,X2)n____(X1,X2)isPalListKind(X)n__isPalListKind(X)and(X1,X2)n__and(X1,X2)isPal(X)n__isPal(X)an__aen__ein__ion__oun__uactivate(n__nil)nilactivate(n____(X1,X2))__(activate(X1),activate(X2))activate(n__isPalListKind(X))isPalListKind(X)activate(n__and(X1,X2))and(activate(X1),X2)activate(n__isPal(X))isPal(X)activate(n__a)aactivate(n__e)eactivate(n__i)iactivate(n__o)oactivate(n__u)uactivate(X)XMarked_U61(tt,V)Marked_activate(V)Marked_U71(tt,V)Marked_isNePal(activate(V))Marked_U71(tt,V)Marked_activate(V)Marked_and(tt,X)Marked_activate(X)Marked_isNePal(V)Marked_U61(isPalListKind(activate(V)),activate(V))Marked_isNePal(V)Marked_activate(V)Marked_isNePal(V)Marked_activate(V)Marked_isPal(V)Marked_U71(isPalListKind(activate(V)),activate(V))Marked_isPal(V)Marked_activate(V)Marked_isPal(V)Marked_activate(V)Marked_activate(n__and(X1,X2))Marked_and(activate(X1),X2)Marked_activate(n__and(X1,X2))Marked_activate(X1)Marked_activate(n__isPal(X))Marked_isPal(X)__210isPal220U430isList20i0U710Marked_isNePal220activate10n__o0U620isQid30n__isPalListKind0U120n__e0U510Marked_and120U230u0isPalListKind0tt0a0U720U420n__and110nil0n__a0U520Marked_isPal220U2120o0and110Marked_U61220U110n__u0U610U310n____210isNeList0n__i0U530U320Marked_activate120n__nil0U220e0isNePal210Marked_U71220U410n__isPal220Marked_U61(tt,V)Marked_activate(V)Marked_U71(tt,V)Marked_activate(V)Marked_isNePal(V)Marked_activate(V)Marked_isNePal(V)Marked_activate(V)Marked_isPal(V)Marked_activate(V)Marked_isPal(V)Marked_activate(V)Marked_activate(n__isPal(X))Marked_isPal(X)__(__(X,Y),Z)__(X,__(Y,Z))__(X,nil)X__(nil,X)XU11(tt,V)U12(isNeList(activate(V)))U12(tt)ttU21(tt,V1,V2)U22(isList(activate(V1)),activate(V2))U22(tt,V2)U23(isList(activate(V2)))U23(tt)ttU31(tt,V)U32(isQid(activate(V)))U32(tt)ttU41(tt,V1,V2)U42(isList(activate(V1)),activate(V2))U42(tt,V2)U43(isNeList(activate(V2)))U43(tt)ttU51(tt,V1,V2)U52(isNeList(activate(V1)),activate(V2))U52(tt,V2)U53(isList(activate(V2)))U53(tt)ttU61(tt,V)U62(isQid(activate(V)))U62(tt)ttU71(tt,V)U72(isNePal(activate(V)))U72(tt)ttand(tt,X)activate(X)isList(V)U11(isPalListKind(activate(V)),activate(V))isList(n__nil)ttisList(n____(V1,V2))U21(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))isNeList(V)U31(isPalListKind(activate(V)),activate(V))isNeList(n____(V1,V2))U41(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))isNeList(n____(V1,V2))U51(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))isNePal(V)U61(isPalListKind(activate(V)),activate(V))isNePal(n____(I,n____(P,I)))and(and(isQid(activate(I)),n__isPalListKind(activate(I))), n__and(n__isPal(activate(P)),n__isPalListKind(activate(P))))isPal(V)U71(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))and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2)))isQid(n__a)ttisQid(n__e)ttisQid(n__i)ttisQid(n__o)ttisQid(n__u)ttniln__nil__(X1,X2)n____(X1,X2)isPalListKind(X)n__isPalListKind(X)and(X1,X2)n__and(X1,X2)isPal(X)n__isPal(X)an__aen__ein__ion__oun__uactivate(n__nil)nilactivate(n____(X1,X2))__(activate(X1),activate(X2))activate(n__isPalListKind(X))isPalListKind(X)activate(n__and(X1,X2))and(activate(X1),X2)activate(n__isPal(X))isPal(X)activate(n__a)aactivate(n__e)eactivate(n__i)iactivate(n__o)oactivate(n__u)uactivate(X)XMarked_U71(tt,V)Marked_isNePal(activate(V))Marked_and(tt,X)Marked_activate(X)Marked_isNePal(V)Marked_U61(isPalListKind(activate(V)),activate(V))Marked_isPal(V)Marked_U71(isPalListKind(activate(V)),activate(V))Marked_activate(n__and(X1,X2))Marked_and(activate(X1),X2)Marked_activate(n__and(X1,X2))Marked_activate(X1)__(__(X,Y),Z)__(X,__(Y,Z))__(X,nil)X__(nil,X)XU11(tt,V)U12(isNeList(activate(V)))U12(tt)ttU21(tt,V1,V2)U22(isList(activate(V1)),activate(V2))U22(tt,V2)U23(isList(activate(V2)))U23(tt)ttU31(tt,V)U32(isQid(activate(V)))U32(tt)ttU41(tt,V1,V2)U42(isList(activate(V1)),activate(V2))U42(tt,V2)U43(isNeList(activate(V2)))U43(tt)ttU51(tt,V1,V2)U52(isNeList(activate(V1)),activate(V2))U52(tt,V2)U53(isList(activate(V2)))U53(tt)ttU61(tt,V)U62(isQid(activate(V)))U62(tt)ttU71(tt,V)U72(isNePal(activate(V)))U72(tt)ttand(tt,X)activate(X)isList(V)U11(isPalListKind(activate(V)),activate(V))isList(n__nil)ttisList(n____(V1,V2))U21(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))isNeList(V)U31(isPalListKind(activate(V)),activate(V))isNeList(n____(V1,V2))U41(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))isNeList(n____(V1,V2))U51(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))isNePal(V)U61(isPalListKind(activate(V)),activate(V))isNePal(n____(I,n____(P,I)))and(and(isQid(activate(I)),n__isPalListKind(activate(I))), n__and(n__isPal(activate(P)),n__isPalListKind(activate(P))))isPal(V)U71(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))and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2)))isQid(n__a)ttisQid(n__e)ttisQid(n__i)ttisQid(n__o)ttisQid(n__u)ttniln__nil__(X1,X2)n____(X1,X2)isPalListKind(X)n__isPalListKind(X)and(X1,X2)n__and(X1,X2)isPal(X)n__isPal(X)an__aen__ein__ion__oun__uactivate(n__nil)nilactivate(n____(X1,X2))__(activate(X1),activate(X2))activate(n__isPalListKind(X))isPalListKind(X)activate(n__and(X1,X2))and(activate(X1),X2)activate(n__isPal(X))isPal(X)activate(n__a)aactivate(n__e)eactivate(n__i)iactivate(n__o)oactivate(n__u)uactivate(X)XMarked_and(tt,X)Marked_activate(X)Marked_activate(n__and(X1,X2))Marked_and(activate(X1),X2)Marked_activate(n__and(X1,X2))Marked_activate(X1)Marked_activate1Marked_and2Marked_activate(n__and(X1,X2))Marked_activate(X1)Marked_activate(n__and(X1,X2))Marked_and(activate(X1),X2)__(__(X,Y),Z)__(X,__(Y,Z))__(X,nil)X__(nil,X)XU11(tt,V)U12(isNeList(activate(V)))U12(tt)ttU21(tt,V1,V2)U22(isList(activate(V1)),activate(V2))U22(tt,V2)U23(isList(activate(V2)))U23(tt)ttU31(tt,V)U32(isQid(activate(V)))U32(tt)ttU41(tt,V1,V2)U42(isList(activate(V1)),activate(V2))U42(tt,V2)U43(isNeList(activate(V2)))U43(tt)ttU51(tt,V1,V2)U52(isNeList(activate(V1)),activate(V2))U52(tt,V2)U53(isList(activate(V2)))U53(tt)ttU61(tt,V)U62(isQid(activate(V)))U62(tt)ttU71(tt,V)U72(isNePal(activate(V)))U72(tt)ttand(tt,X)activate(X)isList(V)U11(isPalListKind(activate(V)),activate(V))isList(n__nil)ttisList(n____(V1,V2))U21(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))isNeList(V)U31(isPalListKind(activate(V)),activate(V))isNeList(n____(V1,V2))U41(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))isNeList(n____(V1,V2))U51(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))isNePal(V)U61(isPalListKind(activate(V)),activate(V))isNePal(n____(I,n____(P,I)))and(and(isQid(activate(I)),n__isPalListKind(activate(I))), n__and(n__isPal(activate(P)),n__isPalListKind(activate(P))))isPal(V)U71(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))and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2)))isQid(n__a)ttisQid(n__e)ttisQid(n__i)ttisQid(n__o)ttisQid(n__u)ttniln__nil__(X1,X2)n____(X1,X2)isPalListKind(X)n__isPalListKind(X)and(X1,X2)n__and(X1,X2)isPal(X)n__isPal(X)an__aen__ein__ion__oun__uactivate(n__nil)nilactivate(n____(X1,X2))__(activate(X1),activate(X2))activate(n__isPalListKind(X))isPalListKind(X)activate(n__and(X1,X2))and(activate(X1),X2)activate(n__isPal(X))isPal(X)activate(n__a)aactivate(n__e)eactivate(n__i)iactivate(n__o)oactivate(n__u)uactivate(X)XMarked_and(tt,X)Marked_activate(X)__(__(X,Y),Z)__(X,__(Y,Z))__(X,nil)X__(nil,X)XU11(tt,V)U12(isNeList(activate(V)))U12(tt)ttU21(tt,V1,V2)U22(isList(activate(V1)),activate(V2))U22(tt,V2)U23(isList(activate(V2)))U23(tt)ttU31(tt,V)U32(isQid(activate(V)))U32(tt)ttU41(tt,V1,V2)U42(isList(activate(V1)),activate(V2))U42(tt,V2)U43(isNeList(activate(V2)))U43(tt)ttU51(tt,V1,V2)U52(isNeList(activate(V1)),activate(V2))U52(tt,V2)U53(isList(activate(V2)))U53(tt)ttU61(tt,V)U62(isQid(activate(V)))U62(tt)ttU71(tt,V)U72(isNePal(activate(V)))U72(tt)ttand(tt,X)activate(X)isList(V)U11(isPalListKind(activate(V)),activate(V))isList(n__nil)ttisList(n____(V1,V2))U21(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))isNeList(V)U31(isPalListKind(activate(V)),activate(V))isNeList(n____(V1,V2))U41(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))isNeList(n____(V1,V2))U51(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))isNePal(V)U61(isPalListKind(activate(V)),activate(V))isNePal(n____(I,n____(P,I)))and(and(isQid(activate(I)),n__isPalListKind(activate(I))), n__and(n__isPal(activate(P)),n__isPalListKind(activate(P))))isPal(V)U71(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))and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2)))isQid(n__a)ttisQid(n__e)ttisQid(n__i)ttisQid(n__o)ttisQid(n__u)ttniln__nil__(X1,X2)n____(X1,X2)isPalListKind(X)n__isPalListKind(X)and(X1,X2)n__and(X1,X2)isPal(X)n__isPal(X)an__aen__ein__ion__oun__uactivate(n__nil)nilactivate(n____(X1,X2))__(activate(X1),activate(X2))activate(n__isPalListKind(X))isPalListKind(X)activate(n__and(X1,X2))and(activate(X1),X2)activate(n__isPal(X))isPal(X)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(isNeList(activate(V)))U12(tt)ttU21(tt,V1,V2)U22(isList(activate(V1)),activate(V2))U22(tt,V2)U23(isList(activate(V2)))U23(tt)ttU31(tt,V)U32(isQid(activate(V)))U32(tt)ttU41(tt,V1,V2)U42(isList(activate(V1)),activate(V2))U42(tt,V2)U43(isNeList(activate(V2)))U43(tt)ttU51(tt,V1,V2)U52(isNeList(activate(V1)),activate(V2))U52(tt,V2)U53(isList(activate(V2)))U53(tt)ttU61(tt,V)U62(isQid(activate(V)))U62(tt)ttU71(tt,V)U72(isNePal(activate(V)))U72(tt)ttand(tt,X)activate(X)isList(V)U11(isPalListKind(activate(V)),activate(V))isList(n__nil)ttisList(n____(V1,V2))U21(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))isNeList(V)U31(isPalListKind(activate(V)),activate(V))isNeList(n____(V1,V2))U41(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))isNeList(n____(V1,V2))U51(and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2))), activate(V1),activate(V2))isNePal(V)U61(isPalListKind(activate(V)),activate(V))isNePal(n____(I,n____(P,I)))and(and(isQid(activate(I)),n__isPalListKind(activate(I))), n__and(n__isPal(activate(P)),n__isPalListKind(activate(P))))isPal(V)U71(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))and(isPalListKind(activate(V1)),n__isPalListKind(activate(V2)))isQid(n__a)ttisQid(n__e)ttisQid(n__i)ttisQid(n__o)ttisQid(n__u)ttniln__nil__(X1,X2)n____(X1,X2)isPalListKind(X)n__isPalListKind(X)and(X1,X2)n__and(X1,X2)isPal(X)n__isPal(X)an__aen__ein__ion__oun__uactivate(n__nil)nilactivate(n____(X1,X2))__(activate(X1),activate(X2))activate(n__isPalListKind(X))isPalListKind(X)activate(n__and(X1,X2))and(activate(X1),X2)activate(n__isPal(X))isPal(X)activate(n__a)aactivate(n__e)eactivate(n__i)iactivate(n__o)oactivate(n__u)uactivate(X)X