Marked_isPaln__aon__nilMarked_on__isNeListn__uMarked_nilandMarked_en__isPaleMarked_isNePalisNeListMarked_activaten____n__iMarked_isListnilMarked_aisPaliMarked_andisListMarked_uisQidn__oMarked___activateMarked_iisNePalaMarked_isQidttun__isListn__eMarked_isNeList__X2X1PIV2V1VZYX__(__(X,Y),Z)__(X,__(Y,Z))__(X,nil)X__(nil,X)Xand(tt,X)activate(X)isList(V)isNeList(activate(V))isList(n__nil)ttisList(n____(V1,V2))and(isList(activate(V1)),n__isList(activate(V2)))isNeList(V)isQid(activate(V))isNeList(n____(V1,V2))and(isList(activate(V1)),n__isNeList(activate(V2)))isNeList(n____(V1,V2))and(isNeList(activate(V1)),n__isList(activate(V2)))isNePal(V)isQid(activate(V))isNePal(n____(I,__(P,I)))and(isQid(activate(I)),n__isPal(activate(P)))isPal(V)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)isList(X)n__isList(X)isNeList(X)n__isNeList(X)isPal(X)n__isPal(X)an__aen__ein__ion__oun__uactivate(n__nil)nilactivate(n____(X1,X2))__(X1,X2)activate(n__isList(X))isList(X)activate(n__isNeList(X))isNeList(X)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)Xand(tt,X)activate(X)isList(V)isNeList(activate(V))isList(n__nil)ttisList(n____(V1,V2))and(isList(activate(V1)),n__isList(activate(V2)))isNeList(V)isQid(activate(V))isNeList(n____(V1,V2))and(isList(activate(V1)),n__isNeList(activate(V2)))isNeList(n____(V1,V2))and(isNeList(activate(V1)),n__isList(activate(V2)))isNePal(V)isQid(activate(V))isNePal(n____(I,__(P,I)))and(isQid(activate(I)),n__isPal(activate(P)))isPal(V)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)isList(X)n__isList(X)isNeList(X)n__isNeList(X)isPal(X)n__isPal(X)an__aen__ein__ion__oun__uactivate(n__nil)nilactivate(n____(X1,X2))__(X1,X2)activate(n__isList(X))isList(X)activate(n__isNeList(X))isNeList(X)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_and(tt,X)Marked_activate(X)Marked_isList(V)Marked_isNeList(activate(V))Marked_isList(V)Marked_activate(V)Marked_isList(n____(V1,V2))Marked_and(isList(activate(V1)),n__isList(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_isQid(activate(V))Marked_isNeList(V)Marked_activate(V)Marked_isNeList(n____(V1,V2))Marked_and(isList(activate(V1)),n__isNeList(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_and(isNeList(activate(V1)),n__isList(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_isQid(activate(V))Marked_isNePal(V)Marked_activate(V)Marked_isNePal(n____(I,__(P,I)))Marked_and(isQid(activate(I)),n__isPal(activate(P)))Marked_isNePal(n____(I,__(P,I)))Marked_isQid(activate(I))Marked_isNePal(n____(I,__(P,I)))Marked_activate(I)Marked_isNePal(n____(I,__(P,I)))Marked_activate(P)Marked_isPal(V)Marked_isNePal(activate(V))Marked_isPal(V)Marked_activate(V)Marked_activate(n__nil)Marked_nilMarked_activate(n____(X1,X2))Marked___(X1,X2)Marked_activate(n__isList(X))Marked_isList(X)Marked_activate(n__isNeList(X))Marked_isNeList(X)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)Xand(tt,X)activate(X)isList(V)isNeList(activate(V))isList(n__nil)ttisList(n____(V1,V2))and(isList(activate(V1)),n__isList(activate(V2)))isNeList(V)isQid(activate(V))isNeList(n____(V1,V2))and(isList(activate(V1)),n__isNeList(activate(V2)))isNeList(n____(V1,V2))and(isNeList(activate(V1)),n__isList(activate(V2)))isNePal(V)isQid(activate(V))isNePal(n____(I,__(P,I)))and(isQid(activate(I)),n__isPal(activate(P)))isPal(V)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)isList(X)n__isList(X)isNeList(X)n__isNeList(X)isPal(X)n__isPal(X)an__aen__ein__ion__oun__uactivate(n__nil)nilactivate(n____(X1,X2))__(X1,X2)activate(n__isList(X))isList(X)activate(n__isNeList(X))isNeList(X)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_isList(V)Marked_isNeList(activate(V))Marked_isList(V)Marked_activate(V)Marked_isList(n____(V1,V2))Marked_and(isList(activate(V1)),n__isList(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_activate(V)Marked_isNeList(n____(V1,V2))Marked_and(isList(activate(V1)),n__isNeList(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_and(isNeList(activate(V1)),n__isList(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_activate(V)Marked_isNePal(n____(I,__(P,I)))Marked_and(isQid(activate(I)),n__isPal(activate(P)))Marked_isNePal(n____(I,__(P,I)))Marked_activate(I)Marked_isNePal(n____(I,__(P,I)))Marked_activate(P)Marked_isPal(V)Marked_isNePal(activate(V))Marked_isPal(V)Marked_activate(V)Marked_activate(n__isList(X))Marked_isList(X)Marked_activate(n__isNeList(X))Marked_isNeList(X)Marked_activate(n__isPal(X))Marked_isPal(X)__2210Marked_isNeList220n__e0n__isList210u0tt0a0isNePal20activate10n__o0isQid0isList210Marked_and220i0isPal330nil0Marked_isList220n__i0n____2210Marked_activate20isNeList110Marked_isNePal230e0n__isPal330and110n__u0n__isNeList110n__nil0o0n__a0Marked_isPal230Marked_and(tt,X)Marked_activate(X)Marked_isList(V)Marked_activate(V)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_activate(V)Marked_isNeList(n____(V1,V2))Marked_and(isList(activate(V1)),n__isNeList(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_isNeList(activate(V1))Marked_isNeList(n____(V1,V2))Marked_activate(V1)Marked_isNeList(n____(V1,V2))Marked_activate(V2)Marked_isNePal(V)Marked_activate(V)Marked_isNePal(n____(I,__(P,I)))Marked_and(isQid(activate(I)),n__isPal(activate(P)))Marked_isNePal(n____(I,__(P,I)))Marked_activate(I)Marked_isNePal(n____(I,__(P,I)))Marked_activate(P)Marked_isPal(V)Marked_activate(V)Marked_activate(n__isList(X))Marked_isList(X)Marked_activate(n__isPal(X))Marked_isPal(X)__(__(X,Y),Z)__(X,__(Y,Z))__(X,nil)X__(nil,X)Xand(tt,X)activate(X)isList(V)isNeList(activate(V))isList(n__nil)ttisList(n____(V1,V2))and(isList(activate(V1)),n__isList(activate(V2)))isNeList(V)isQid(activate(V))isNeList(n____(V1,V2))and(isList(activate(V1)),n__isNeList(activate(V2)))isNeList(n____(V1,V2))and(isNeList(activate(V1)),n__isList(activate(V2)))isNePal(V)isQid(activate(V))isNePal(n____(I,__(P,I)))and(isQid(activate(I)),n__isPal(activate(P)))isPal(V)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)isList(X)n__isList(X)isNeList(X)n__isNeList(X)isPal(X)n__isPal(X)an__aen__ein__ion__oun__uactivate(n__nil)nilactivate(n____(X1,X2))__(X1,X2)activate(n__isList(X))isList(X)activate(n__isNeList(X))isNeList(X)activate(n__isPal(X))isPal(X)activate(n__a)aactivate(n__e)eactivate(n__i)iactivate(n__o)oactivate(n__u)uactivate(X)XMarked_isList(V)Marked_isNeList(activate(V))Marked_isList(n____(V1,V2))Marked_and(isList(activate(V1)),n__isList(activate(V2)))Marked_isNeList(n____(V1,V2))Marked_and(isNeList(activate(V1)),n__isList(activate(V2)))Marked_isPal(V)Marked_isNePal(activate(V))Marked_activate(n__isNeList(X))Marked_isNeList(X)__(__(X,Y),Z)__(X,__(Y,Z))__(X,nil)X__(nil,X)Xand(tt,X)activate(X)isList(V)isNeList(activate(V))isList(n__nil)ttisList(n____(V1,V2))and(isList(activate(V1)),n__isList(activate(V2)))isNeList(V)isQid(activate(V))isNeList(n____(V1,V2))and(isList(activate(V1)),n__isNeList(activate(V2)))isNeList(n____(V1,V2))and(isNeList(activate(V1)),n__isList(activate(V2)))isNePal(V)isQid(activate(V))isNePal(n____(I,__(P,I)))and(isQid(activate(I)),n__isPal(activate(P)))isPal(V)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)isList(X)n__isList(X)isNeList(X)n__isNeList(X)isPal(X)n__isPal(X)an__aen__ein__ion__oun__uactivate(n__nil)nilactivate(n____(X1,X2))__(X1,X2)activate(n__isList(X))isList(X)activate(n__isNeList(X))isNeList(X)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)Xand(tt,X)activate(X)isList(V)isNeList(activate(V))isList(n__nil)ttisList(n____(V1,V2))and(isList(activate(V1)),n__isList(activate(V2)))isNeList(V)isQid(activate(V))isNeList(n____(V1,V2))and(isList(activate(V1)),n__isNeList(activate(V2)))isNeList(n____(V1,V2))and(isNeList(activate(V1)),n__isList(activate(V2)))isNePal(V)isQid(activate(V))isNePal(n____(I,__(P,I)))and(isQid(activate(I)),n__isPal(activate(P)))isPal(V)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)isList(X)n__isList(X)isNeList(X)n__isNeList(X)isPal(X)n__isPal(X)an__aen__ein__ion__oun__uactivate(n__nil)nilactivate(n____(X1,X2))__(X1,X2)activate(n__isList(X))isList(X)activate(n__isNeList(X))isNeList(X)activate(n__isPal(X))isPal(X)activate(n__a)aactivate(n__e)eactivate(n__i)iactivate(n__o)oactivate(n__u)uactivate(X)X