oMarked_isNeListU72Marked_U52n__aMarked___U21n__uMarked_U81U41Marked_U31n__nilMarked_oU11eMarked_U71U51Marked_U11isQidMarked_eisListMarked_U22n__iMarked_isQidU42Marked_U41U71Marked_activateniliMarked_U61U61Marked_U72isNePalMarked_aactivaten__oMarked_isPalisNeListMarked_isListU81Marked_uttaMarked_isNePalU52Marked_U21n____Marked_iU22Marked_U42n__eMarked_nilU31Marked_U51isPalu__X2X1IV1VPV2ZYX__(__(X,Y),Z)__(X,__(Y,Z))__(X,nil)X__(nil,X)XU11(tt)ttU21(tt,V2)U22(isList(activate(V2)))U22(tt)ttU31(tt)ttU41(tt,V2)U42(isNeList(activate(V2)))U42(tt)ttU51(tt,V2)U52(isList(activate(V2)))U52(tt)ttU61(tt)ttU71(tt,P)U72(isPal(activate(P)))U72(tt)ttU81(tt)ttisList(V)U11(isNeList(activate(V)))isList(n__nil)ttisList(n____(V1,V2))U21(isList(activate(V1)),activate(V2))isNeList(V)U31(isQid(activate(V)))isNeList(n____(V1,V2))U41(isList(activate(V1)),activate(V2))isNeList(n____(V1,V2))U51(isNeList(activate(V1)),activate(V2))isNePal(V)U61(isQid(activate(V)))isNePal(n____(I,n____(P,I)))U71(isQid(activate(I)),activate(P))isPal(V)U81(isNePal(activate(V)))isPal(n__nil)ttisQid(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)ttU21(tt,V2)U22(isList(activate(V2)))U22(tt)ttU31(tt)ttU41(tt,V2)U42(isNeList(activate(V2)))U42(tt)ttU51(tt,V2)U52(isList(activate(V2)))U52(tt)ttU61(tt)ttU71(tt,P)U72(isPal(activate(P)))U72(tt)ttU81(tt)ttisList(V)U11(isNeList(activate(V)))isList(n__nil)ttisList(n____(V1,V2))U21(isList(activate(V1)),activate(V2))isNeList(V)U31(isQid(activate(V)))isNeList(n____(V1,V2))U41(isList(activate(V1)),activate(V2))isNeList(n____(V1,V2))U51(isNeList(activate(V1)),activate(V2))isNePal(V)U61(isQid(activate(V)))isNePal(n____(I,n____(P,I)))U71(isQid(activate(I)),activate(P))isPal(V)U81(isNePal(activate(V)))isPal(n__nil)ttisQid(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_U21(tt,V2)Marked_U22(isList(activate(V2)))Marked_U21(tt,V2)Marked_isList(activate(V2))Marked_U21(tt,V2)Marked_activate(V2)Marked_U41(tt,V2)Marked_U42(isNeList(activate(V2)))Marked_U41(tt,V2)Marked_isNeList(activate(V2))Marked_U41(tt,V2)Marked_activate(V2)Marked_U51(tt,V2)Marked_U52(isList(activate(V2)))Marked_U51(tt,V2)Marked_isList(activate(V2))Marked_U51(tt,V2)Marked_activate(V2)Marked_U71(tt,P)Marked_U72(isPal(activate(P)))Marked_U71(tt,P)Marked_isPal(activate(P))Marked_U71(tt,P)Marked_activate(P)Marked_isList(V)Marked_U11(isNeList(activate(V)))Marked_isList(V)Marked_isNeList(activate(V))Marked_isList(V)Marked_activate(V)Marked_isList(n____(V1,V2))Marked_U21(isList(activate(V1)),activate(V2))Marked_isList(n____(V1,V2))Marked_isList(activate(V1))Marked_isList(n____(V1,V2))Marked_activate(V1)Marked_isList(n____(V1,V2))Marked_activate(V2)Marked_isNeList(V)Marked_U31(isQid(activate(V)))Marked_isNeList(V)Marked_isQid(activate(V))Marked_isNeList(V)Marked_activate(V)Marked_isNeList(n____(V1,V2))Marked_U41(isList(activate(V1)),activate(V2))Marked_isNeList(n____(V1,V2))Marked_isList(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(isNeList(activate(V1)),activate(V2))Marked_isNeList(n____(V1,V2))Marked_isNeList(activate(V1))Marked_isNeList(n____(V1,V2))Marked_activate(V1)Marked_isNeList(n____(V1,V2))Marked_activate(V2)Marked_isNePal(V)Marked_U61(isQid(activate(V)))Marked_isNePal(V)Marked_isQid(activate(V))Marked_isNePal(V)Marked_activate(V)Marked_isNePal(n____(I,n____(P,I)))Marked_U71(isQid(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(P)Marked_isPal(V)Marked_U81(isNePal(activate(V)))Marked_isPal(V)Marked_isNePal(activate(V))Marked_isPal(V)Marked_activate(V)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)ttU21(tt,V2)U22(isList(activate(V2)))U22(tt)ttU31(tt)ttU41(tt,V2)U42(isNeList(activate(V2)))U42(tt)ttU51(tt,V2)U52(isList(activate(V2)))U52(tt)ttU61(tt)ttU71(tt,P)U72(isPal(activate(P)))U72(tt)ttU81(tt)ttisList(V)U11(isNeList(activate(V)))isList(n__nil)ttisList(n____(V1,V2))U21(isList(activate(V1)),activate(V2))isNeList(V)U31(isQid(activate(V)))isNeList(n____(V1,V2))U41(isList(activate(V1)),activate(V2))isNeList(n____(V1,V2))U51(isNeList(activate(V1)),activate(V2))isNePal(V)U61(isQid(activate(V)))isNePal(n____(I,n____(P,I)))U71(isQid(activate(I)),activate(P))isPal(V)U81(isNePal(activate(V)))isPal(n__nil)ttisQid(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_U21(tt,V2)Marked_isList(activate(V2))Marked_U41(tt,V2)Marked_isNeList(activate(V2))Marked_U51(tt,V2)Marked_isList(activate(V2))Marked_isList(V)Marked_isNeList(activate(V))Marked_isList(n____(V1,V2))Marked_U21(isList(activate(V1)),activate(V2))Marked_isList(n____(V1,V2))Marked_isList(activate(V1))Marked_isNeList(n____(V1,V2))Marked_U41(isList(activate(V1)),activate(V2))Marked_isNeList(n____(V1,V2))Marked_isList(activate(V1))Marked_isNeList(n____(V1,V2))Marked_U51(isNeList(activate(V1)),activate(V2))Marked_isNeList(n____(V1,V2))Marked_isNeList(activate(V1))__1210u0isPal0Marked_U51220U310n__e0U220n____1210Marked_U2120U520a0tt0U810Marked_isList20isNeList10n__o0activate10isNePal0U610i0nil0U710Marked_U4120U420n__i0isList0isQid0U510e0U110n__nil0U410n__u0U210n__a0U720Marked_isNeList20o0Marked_isList(n____(V1,V2))Marked_U21(isList(activate(V1)),activate(V2))Marked_isList(n____(V1,V2))Marked_isList(activate(V1))Marked_isNeList(n____(V1,V2))Marked_U41(isList(activate(V1)),activate(V2))Marked_isNeList(n____(V1,V2))Marked_isList(activate(V1))Marked_isNeList(n____(V1,V2))Marked_U51(isNeList(activate(V1)),activate(V2))Marked_isNeList(n____(V1,V2))Marked_isNeList(activate(V1))__(__(X,Y),Z)__(X,__(Y,Z))__(X,nil)X__(nil,X)XU11(tt)ttU21(tt,V2)U22(isList(activate(V2)))U22(tt)ttU31(tt)ttU41(tt,V2)U42(isNeList(activate(V2)))U42(tt)ttU51(tt,V2)U52(isList(activate(V2)))U52(tt)ttU61(tt)ttU71(tt,P)U72(isPal(activate(P)))U72(tt)ttU81(tt)ttisList(V)U11(isNeList(activate(V)))isList(n__nil)ttisList(n____(V1,V2))U21(isList(activate(V1)),activate(V2))isNeList(V)U31(isQid(activate(V)))isNeList(n____(V1,V2))U41(isList(activate(V1)),activate(V2))isNeList(n____(V1,V2))U51(isNeList(activate(V1)),activate(V2))isNePal(V)U61(isQid(activate(V)))isNePal(n____(I,n____(P,I)))U71(isQid(activate(I)),activate(P))isPal(V)U81(isNePal(activate(V)))isPal(n__nil)ttisQid(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_U21(tt,V2)Marked_isList(activate(V2))Marked_U41(tt,V2)Marked_isNeList(activate(V2))Marked_U51(tt,V2)Marked_isList(activate(V2))Marked_isList(V)Marked_isNeList(activate(V))__(__(X,Y),Z)__(X,__(Y,Z))__(X,nil)X__(nil,X)XU11(tt)ttU21(tt,V2)U22(isList(activate(V2)))U22(tt)ttU31(tt)ttU41(tt,V2)U42(isNeList(activate(V2)))U42(tt)ttU51(tt,V2)U52(isList(activate(V2)))U52(tt)ttU61(tt)ttU71(tt,P)U72(isPal(activate(P)))U72(tt)ttU81(tt)ttisList(V)U11(isNeList(activate(V)))isList(n__nil)ttisList(n____(V1,V2))U21(isList(activate(V1)),activate(V2))isNeList(V)U31(isQid(activate(V)))isNeList(n____(V1,V2))U41(isList(activate(V1)),activate(V2))isNeList(n____(V1,V2))U51(isNeList(activate(V1)),activate(V2))isNePal(V)U61(isQid(activate(V)))isNePal(n____(I,n____(P,I)))U71(isQid(activate(I)),activate(P))isPal(V)U81(isNePal(activate(V)))isPal(n__nil)ttisQid(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,P)Marked_isPal(activate(P))Marked_isNePal(n____(I,n____(P,I)))Marked_U71(isQid(activate(I)),activate(P))Marked_isPal(V)Marked_isNePal(activate(V))__2210u0isPal0U310n__e0U220n____2210U520Marked_isNePal20a0tt0U810isNeList0Marked_isPal20n__o0activate10isNePal30U610i0nil0U710U420n__i0isList0isQid30U510Marked_U711220e0U110n__nil0U410n__u0U210n__a0U720o0Marked_U71(tt,P)Marked_isPal(activate(P))Marked_isNePal(n____(I,n____(P,I)))Marked_U71(isQid(activate(I)),activate(P))__(__(X,Y),Z)__(X,__(Y,Z))__(X,nil)X__(nil,X)XU11(tt)ttU21(tt,V2)U22(isList(activate(V2)))U22(tt)ttU31(tt)ttU41(tt,V2)U42(isNeList(activate(V2)))U42(tt)ttU51(tt,V2)U52(isList(activate(V2)))U52(tt)ttU61(tt)ttU71(tt,P)U72(isPal(activate(P)))U72(tt)ttU81(tt)ttisList(V)U11(isNeList(activate(V)))isList(n__nil)ttisList(n____(V1,V2))U21(isList(activate(V1)),activate(V2))isNeList(V)U31(isQid(activate(V)))isNeList(n____(V1,V2))U41(isList(activate(V1)),activate(V2))isNeList(n____(V1,V2))U51(isNeList(activate(V1)),activate(V2))isNePal(V)U61(isQid(activate(V)))isNePal(n____(I,n____(P,I)))U71(isQid(activate(I)),activate(P))isPal(V)U81(isNePal(activate(V)))isPal(n__nil)ttisQid(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_isPal(V)Marked_isNePal(activate(V))__(__(X,Y),Z)__(X,__(Y,Z))__(X,nil)X__(nil,X)XU11(tt)ttU21(tt,V2)U22(isList(activate(V2)))U22(tt)ttU31(tt)ttU41(tt,V2)U42(isNeList(activate(V2)))U42(tt)ttU51(tt,V2)U52(isList(activate(V2)))U52(tt)ttU61(tt)ttU71(tt,P)U72(isPal(activate(P)))U72(tt)ttU81(tt)ttisList(V)U11(isNeList(activate(V)))isList(n__nil)ttisList(n____(V1,V2))U21(isList(activate(V1)),activate(V2))isNeList(V)U31(isQid(activate(V)))isNeList(n____(V1,V2))U41(isList(activate(V1)),activate(V2))isNeList(n____(V1,V2))U51(isNeList(activate(V1)),activate(V2))isNePal(V)U61(isQid(activate(V)))isNePal(n____(I,n____(P,I)))U71(isQid(activate(I)),activate(P))isPal(V)U81(isNePal(activate(V)))isPal(n__nil)ttisQid(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)ttU21(tt,V2)U22(isList(activate(V2)))U22(tt)ttU31(tt)ttU41(tt,V2)U42(isNeList(activate(V2)))U42(tt)ttU51(tt,V2)U52(isList(activate(V2)))U52(tt)ttU61(tt)ttU71(tt,P)U72(isPal(activate(P)))U72(tt)ttU81(tt)ttisList(V)U11(isNeList(activate(V)))isList(n__nil)ttisList(n____(V1,V2))U21(isList(activate(V1)),activate(V2))isNeList(V)U31(isQid(activate(V)))isNeList(n____(V1,V2))U41(isList(activate(V1)),activate(V2))isNeList(n____(V1,V2))U51(isNeList(activate(V1)),activate(V2))isNePal(V)U61(isQid(activate(V)))isNePal(n____(I,n____(P,I)))U71(isQid(activate(I)),activate(P))isPal(V)U81(isNePal(activate(V)))isPal(n__nil)ttisQid(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)ttU21(tt,V2)U22(isList(activate(V2)))U22(tt)ttU31(tt)ttU41(tt,V2)U42(isNeList(activate(V2)))U42(tt)ttU51(tt,V2)U52(isList(activate(V2)))U52(tt)ttU61(tt)ttU71(tt,P)U72(isPal(activate(P)))U72(tt)ttU81(tt)ttisList(V)U11(isNeList(activate(V)))isList(n__nil)ttisList(n____(V1,V2))U21(isList(activate(V1)),activate(V2))isNeList(V)U31(isQid(activate(V)))isNeList(n____(V1,V2))U41(isList(activate(V1)),activate(V2))isNeList(n____(V1,V2))U51(isNeList(activate(V1)),activate(V2))isNePal(V)U61(isQid(activate(V)))isNePal(n____(I,n____(P,I)))U71(isQid(activate(I)),activate(P))isPal(V)U81(isNePal(activate(V)))isPal(n__nil)ttisQid(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)ttU21(tt,V2)U22(isList(activate(V2)))U22(tt)ttU31(tt)ttU41(tt,V2)U42(isNeList(activate(V2)))U42(tt)ttU51(tt,V2)U52(isList(activate(V2)))U52(tt)ttU61(tt)ttU71(tt,P)U72(isPal(activate(P)))U72(tt)ttU81(tt)ttisList(V)U11(isNeList(activate(V)))isList(n__nil)ttisList(n____(V1,V2))U21(isList(activate(V1)),activate(V2))isNeList(V)U31(isQid(activate(V)))isNeList(n____(V1,V2))U41(isList(activate(V1)),activate(V2))isNeList(n____(V1,V2))U51(isNeList(activate(V1)),activate(V2))isNePal(V)U61(isQid(activate(V)))isNePal(n____(I,n____(P,I)))U71(isQid(activate(I)),activate(P))isPal(V)U81(isNePal(activate(V)))isPal(n__nil)ttisQid(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