uMarked_markisListaMarked_isNeListniliMarked_andttisNePalMarked_isNePal__oMarked___isNeListisPalMarked_isQidactiveeMarked_isListandMarked_activeisQidMarked_isPalmarkX2X1PIV2V1VZYXactive(__(__(X,Y),Z))mark(__(X,__(Y,Z)))active(__(X,nil))mark(X)active(__(nil,X))mark(X)active(and(tt,X))mark(X)active(isList(V))mark(isNeList(V))active(isList(nil))mark(tt)active(isList(__(V1,V2)))mark(and(isList(V1),isList(V2)))active(isNeList(V))mark(isQid(V))active(isNeList(__(V1,V2)))mark(and(isList(V1),isNeList(V2)))active(isNeList(__(V1,V2)))mark(and(isNeList(V1),isList(V2)))active(isNePal(V))mark(isQid(V))active(isNePal(__(I,__(P,I))))mark(and(isQid(I),isPal(P)))active(isPal(V))mark(isNePal(V))active(isPal(nil))mark(tt)active(isQid(a))mark(tt)active(isQid(e))mark(tt)active(isQid(i))mark(tt)active(isQid(o))mark(tt)active(isQid(u))mark(tt)mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(and(X1,X2))active(and(mark(X1),X2))mark(tt)active(tt)mark(isList(X))active(isList(X))mark(isNeList(X))active(isNeList(X))mark(isQid(X))active(isQid(X))mark(isNePal(X))active(isNePal(X))mark(isPal(X))active(isPal(X))mark(a)active(a)mark(e)active(e)mark(i)active(i)mark(o)active(o)mark(u)active(u)__(mark(X1),X2)__(X1,X2)__(X1,mark(X2))__(X1,X2)__(active(X1),X2)__(X1,X2)__(X1,active(X2))__(X1,X2)and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)isList(mark(X))isList(X)isList(active(X))isList(X)isNeList(mark(X))isNeList(X)isNeList(active(X))isNeList(X)isQid(mark(X))isQid(X)isQid(active(X))isQid(X)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(X)isPal(mark(X))isPal(X)isPal(active(X))isPal(X)active(__(__(X,Y),Z))mark(__(X,__(Y,Z)))active(__(X,nil))mark(X)active(__(nil,X))mark(X)active(and(tt,X))mark(X)active(isList(V))mark(isNeList(V))active(isList(nil))mark(tt)active(isList(__(V1,V2)))mark(and(isList(V1),isList(V2)))active(isNeList(V))mark(isQid(V))active(isNeList(__(V1,V2)))mark(and(isList(V1),isNeList(V2)))active(isNeList(__(V1,V2)))mark(and(isNeList(V1),isList(V2)))active(isNePal(V))mark(isQid(V))active(isNePal(__(I,__(P,I))))mark(and(isQid(I),isPal(P)))active(isPal(V))mark(isNePal(V))active(isPal(nil))mark(tt)active(isQid(a))mark(tt)active(isQid(e))mark(tt)active(isQid(i))mark(tt)active(isQid(o))mark(tt)active(isQid(u))mark(tt)mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(and(X1,X2))active(and(mark(X1),X2))mark(tt)active(tt)mark(isList(X))active(isList(X))mark(isNeList(X))active(isNeList(X))mark(isQid(X))active(isQid(X))mark(isNePal(X))active(isNePal(X))mark(isPal(X))active(isPal(X))mark(a)active(a)mark(e)active(e)mark(i)active(i)mark(o)active(o)mark(u)active(u)__(mark(X1),X2)__(X1,X2)__(X1,mark(X2))__(X1,X2)__(active(X1),X2)__(X1,X2)__(X1,active(X2))__(X1,X2)and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)isList(mark(X))isList(X)isList(active(X))isList(X)isNeList(mark(X))isNeList(X)isNeList(active(X))isNeList(X)isQid(mark(X))isQid(X)isQid(active(X))isQid(X)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(X)isPal(mark(X))isPal(X)isPal(active(X))isPal(X)Marked_active(__(__(X,Y),Z))Marked_mark(__(X,__(Y,Z)))Marked_active(__(__(X,Y),Z))Marked___(X,__(Y,Z))Marked_active(__(__(X,Y),Z))Marked___(Y,Z)Marked_active(__(X,nil))Marked_mark(X)Marked_active(__(nil,X))Marked_mark(X)Marked_active(and(tt,X))Marked_mark(X)Marked_active(isList(V))Marked_mark(isNeList(V))Marked_active(isList(V))Marked_isNeList(V)Marked_active(isList(nil))Marked_mark(tt)Marked_active(isList(__(V1,V2)))Marked_mark(and(isList(V1),isList(V2)))Marked_active(isList(__(V1,V2)))Marked_and(isList(V1),isList(V2))Marked_active(isList(__(V1,V2)))Marked_isList(V1)Marked_active(isList(__(V1,V2)))Marked_isList(V2)Marked_active(isNeList(V))Marked_mark(isQid(V))Marked_active(isNeList(V))Marked_isQid(V)Marked_active(isNeList(__(V1,V2)))Marked_mark(and(isList(V1),isNeList(V2)))Marked_active(isNeList(__(V1,V2)))Marked_and(isList(V1),isNeList(V2))Marked_active(isNeList(__(V1,V2)))Marked_isList(V1)Marked_active(isNeList(__(V1,V2)))Marked_isNeList(V2)Marked_active(isNeList(__(V1,V2)))Marked_mark(and(isNeList(V1),isList(V2)))Marked_active(isNeList(__(V1,V2)))Marked_and(isNeList(V1),isList(V2))Marked_active(isNeList(__(V1,V2)))Marked_isNeList(V1)Marked_active(isNeList(__(V1,V2)))Marked_isList(V2)Marked_active(isNePal(V))Marked_mark(isQid(V))Marked_active(isNePal(V))Marked_isQid(V)Marked_active(isNePal(__(I,__(P,I))))Marked_mark(and(isQid(I),isPal(P)))Marked_active(isNePal(__(I,__(P,I))))Marked_and(isQid(I),isPal(P))Marked_active(isNePal(__(I,__(P,I))))Marked_isQid(I)Marked_active(isNePal(__(I,__(P,I))))Marked_isPal(P)Marked_active(isPal(V))Marked_mark(isNePal(V))Marked_active(isPal(V))Marked_isNePal(V)Marked_active(isPal(nil))Marked_mark(tt)Marked_active(isQid(a))Marked_mark(tt)Marked_active(isQid(e))Marked_mark(tt)Marked_active(isQid(i))Marked_mark(tt)Marked_active(isQid(o))Marked_mark(tt)Marked_active(isQid(u))Marked_mark(tt)Marked_mark(__(X1,X2))Marked_active(__(mark(X1),mark(X2)))Marked_mark(__(X1,X2))Marked___(mark(X1),mark(X2))Marked_mark(__(X1,X2))Marked_mark(X1)Marked_mark(__(X1,X2))Marked_mark(X2)Marked_mark(nil)Marked_active(nil)Marked_mark(and(X1,X2))Marked_active(and(mark(X1),X2))Marked_mark(and(X1,X2))Marked_and(mark(X1),X2)Marked_mark(and(X1,X2))Marked_mark(X1)Marked_mark(tt)Marked_active(tt)Marked_mark(isList(X))Marked_active(isList(X))Marked_mark(isNeList(X))Marked_active(isNeList(X))Marked_mark(isQid(X))Marked_active(isQid(X))Marked_mark(isNePal(X))Marked_active(isNePal(X))Marked_mark(isPal(X))Marked_active(isPal(X))Marked_mark(a)Marked_active(a)Marked_mark(e)Marked_active(e)Marked_mark(i)Marked_active(i)Marked_mark(o)Marked_active(o)Marked_mark(u)Marked_active(u)Marked___(mark(X1),X2)Marked___(X1,X2)Marked___(X1,mark(X2))Marked___(X1,X2)Marked___(active(X1),X2)Marked___(X1,X2)Marked___(X1,active(X2))Marked___(X1,X2)Marked_and(mark(X1),X2)Marked_and(X1,X2)Marked_and(X1,mark(X2))Marked_and(X1,X2)Marked_and(active(X1),X2)Marked_and(X1,X2)Marked_and(X1,active(X2))Marked_and(X1,X2)Marked_isList(mark(X))Marked_isList(X)Marked_isList(active(X))Marked_isList(X)Marked_isNeList(mark(X))Marked_isNeList(X)Marked_isNeList(active(X))Marked_isNeList(X)Marked_isQid(mark(X))Marked_isQid(X)Marked_isQid(active(X))Marked_isQid(X)Marked_isNePal(mark(X))Marked_isNePal(X)Marked_isNePal(active(X))Marked_isNePal(X)Marked_isPal(mark(X))Marked_isPal(X)Marked_isPal(active(X))Marked_isPal(X)active(__(__(X,Y),Z))mark(__(X,__(Y,Z)))active(__(X,nil))mark(X)active(__(nil,X))mark(X)active(and(tt,X))mark(X)active(isList(V))mark(isNeList(V))active(isList(nil))mark(tt)active(isList(__(V1,V2)))mark(and(isList(V1),isList(V2)))active(isNeList(V))mark(isQid(V))active(isNeList(__(V1,V2)))mark(and(isList(V1),isNeList(V2)))active(isNeList(__(V1,V2)))mark(and(isNeList(V1),isList(V2)))active(isNePal(V))mark(isQid(V))active(isNePal(__(I,__(P,I))))mark(and(isQid(I),isPal(P)))active(isPal(V))mark(isNePal(V))active(isPal(nil))mark(tt)active(isQid(a))mark(tt)active(isQid(e))mark(tt)active(isQid(i))mark(tt)active(isQid(o))mark(tt)active(isQid(u))mark(tt)mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(and(X1,X2))active(and(mark(X1),X2))mark(tt)active(tt)mark(isList(X))active(isList(X))mark(isNeList(X))active(isNeList(X))mark(isQid(X))active(isQid(X))mark(isNePal(X))active(isNePal(X))mark(isPal(X))active(isPal(X))mark(a)active(a)mark(e)active(e)mark(i)active(i)mark(o)active(o)mark(u)active(u)__(mark(X1),X2)__(X1,X2)__(X1,mark(X2))__(X1,X2)__(active(X1),X2)__(X1,X2)__(X1,active(X2))__(X1,X2)and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)isList(mark(X))isList(X)isList(active(X))isList(X)isNeList(mark(X))isNeList(X)isNeList(active(X))isNeList(X)isQid(mark(X))isQid(X)isQid(active(X))isQid(X)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(X)isPal(mark(X))isPal(X)isPal(active(X))isPal(X)Marked_active(__(__(X,Y),Z))Marked_mark(__(X,__(Y,Z)))Marked_active(__(X,nil))Marked_mark(X)Marked_active(__(nil,X))Marked_mark(X)Marked_active(and(tt,X))Marked_mark(X)Marked_active(isList(V))Marked_mark(isNeList(V))Marked_active(isList(__(V1,V2)))Marked_mark(and(isList(V1),isList(V2)))Marked_active(isNeList(V))Marked_mark(isQid(V))Marked_active(isNeList(__(V1,V2)))Marked_mark(and(isList(V1),isNeList(V2)))Marked_active(isNeList(__(V1,V2)))Marked_mark(and(isNeList(V1),isList(V2)))Marked_active(isNePal(V))Marked_mark(isQid(V))Marked_active(isNePal(__(I,__(P,I))))Marked_mark(and(isQid(I),isPal(P)))Marked_active(isPal(V))Marked_mark(isNePal(V))Marked_mark(__(X1,X2))Marked_active(__(mark(X1),mark(X2)))Marked_mark(__(X1,X2))Marked_mark(X1)Marked_mark(__(X1,X2))Marked_mark(X2)Marked_mark(and(X1,X2))Marked_active(and(mark(X1),X2))Marked_mark(and(X1,X2))Marked_mark(X1)Marked_mark(isList(X))Marked_active(isList(X))Marked_mark(isNeList(X))Marked_active(isNeList(X))Marked_mark(isQid(X))Marked_active(isQid(X))Marked_mark(isNePal(X))Marked_active(isNePal(X))Marked_mark(isPal(X))Marked_active(isPal(X))mark0isQid0Marked_active20and10e0active0isPal10isNeList10o0__10isNePal10tt0i0nil0a0isList10Marked_mark20u0Marked_mark(isQid(X))Marked_active(isQid(X))active(__(__(X,Y),Z))mark(__(X,__(Y,Z)))active(__(X,nil))mark(X)active(__(nil,X))mark(X)active(and(tt,X))mark(X)active(isList(V))mark(isNeList(V))active(isList(nil))mark(tt)active(isList(__(V1,V2)))mark(and(isList(V1),isList(V2)))active(isNeList(V))mark(isQid(V))active(isNeList(__(V1,V2)))mark(and(isList(V1),isNeList(V2)))active(isNeList(__(V1,V2)))mark(and(isNeList(V1),isList(V2)))active(isNePal(V))mark(isQid(V))active(isNePal(__(I,__(P,I))))mark(and(isQid(I),isPal(P)))active(isPal(V))mark(isNePal(V))active(isPal(nil))mark(tt)active(isQid(a))mark(tt)active(isQid(e))mark(tt)active(isQid(i))mark(tt)active(isQid(o))mark(tt)active(isQid(u))mark(tt)mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(and(X1,X2))active(and(mark(X1),X2))mark(tt)active(tt)mark(isList(X))active(isList(X))mark(isNeList(X))active(isNeList(X))mark(isQid(X))active(isQid(X))mark(isNePal(X))active(isNePal(X))mark(isPal(X))active(isPal(X))mark(a)active(a)mark(e)active(e)mark(i)active(i)mark(o)active(o)mark(u)active(u)__(mark(X1),X2)__(X1,X2)__(X1,mark(X2))__(X1,X2)__(active(X1),X2)__(X1,X2)__(X1,active(X2))__(X1,X2)and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)isList(mark(X))isList(X)isList(active(X))isList(X)isNeList(mark(X))isNeList(X)isNeList(active(X))isNeList(X)isQid(mark(X))isQid(X)isQid(active(X))isQid(X)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(X)isPal(mark(X))isPal(X)isPal(active(X))isPal(X)Marked_active(__(__(X,Y),Z))Marked_mark(__(X,__(Y,Z)))Marked_active(__(X,nil))Marked_mark(X)Marked_active(__(nil,X))Marked_mark(X)Marked_active(and(tt,X))Marked_mark(X)Marked_active(isList(V))Marked_mark(isNeList(V))Marked_active(isList(__(V1,V2)))Marked_mark(and(isList(V1),isList(V2)))Marked_active(isNeList(V))Marked_mark(isQid(V))Marked_active(isNeList(__(V1,V2)))Marked_mark(and(isList(V1),isNeList(V2)))Marked_active(isNeList(__(V1,V2)))Marked_mark(and(isNeList(V1),isList(V2)))Marked_active(isNePal(V))Marked_mark(isQid(V))Marked_active(isNePal(__(I,__(P,I))))Marked_mark(and(isQid(I),isPal(P)))Marked_active(isPal(V))Marked_mark(isNePal(V))Marked_mark(__(X1,X2))Marked_active(__(mark(X1),mark(X2)))Marked_mark(__(X1,X2))Marked_mark(X1)Marked_mark(__(X1,X2))Marked_mark(X2)Marked_mark(and(X1,X2))Marked_active(and(mark(X1),X2))Marked_mark(and(X1,X2))Marked_mark(X1)Marked_mark(isList(X))Marked_active(isList(X))Marked_mark(isNeList(X))Marked_active(isNeList(X))Marked_mark(isNePal(X))Marked_active(isNePal(X))Marked_mark(isPal(X))Marked_active(isPal(X))active(__(__(X,Y),Z))mark(__(X,__(Y,Z)))active(__(X,nil))mark(X)active(__(nil,X))mark(X)active(and(tt,X))mark(X)active(isList(V))mark(isNeList(V))active(isList(nil))mark(tt)active(isList(__(V1,V2)))mark(and(isList(V1),isList(V2)))active(isNeList(V))mark(isQid(V))active(isNeList(__(V1,V2)))mark(and(isList(V1),isNeList(V2)))active(isNeList(__(V1,V2)))mark(and(isNeList(V1),isList(V2)))active(isNePal(V))mark(isQid(V))active(isNePal(__(I,__(P,I))))mark(and(isQid(I),isPal(P)))active(isPal(V))mark(isNePal(V))active(isPal(nil))mark(tt)active(isQid(a))mark(tt)active(isQid(e))mark(tt)active(isQid(i))mark(tt)active(isQid(o))mark(tt)active(isQid(u))mark(tt)mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(and(X1,X2))active(and(mark(X1),X2))mark(tt)active(tt)mark(isList(X))active(isList(X))mark(isNeList(X))active(isNeList(X))mark(isQid(X))active(isQid(X))mark(isNePal(X))active(isNePal(X))mark(isPal(X))active(isPal(X))mark(a)active(a)mark(e)active(e)mark(i)active(i)mark(o)active(o)mark(u)active(u)__(mark(X1),X2)__(X1,X2)__(X1,mark(X2))__(X1,X2)__(active(X1),X2)__(X1,X2)__(X1,active(X2))__(X1,X2)and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)isList(mark(X))isList(X)isList(active(X))isList(X)isNeList(mark(X))isNeList(X)isNeList(active(X))isNeList(X)isQid(mark(X))isQid(X)isQid(active(X))isQid(X)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(X)isPal(mark(X))isPal(X)isPal(active(X))isPal(X)Marked_active(__(__(X,Y),Z))Marked_mark(__(X,__(Y,Z)))Marked_active(__(X,nil))Marked_mark(X)Marked_active(__(nil,X))Marked_mark(X)Marked_active(and(tt,X))Marked_mark(X)Marked_active(isList(V))Marked_mark(isNeList(V))Marked_active(isList(__(V1,V2)))Marked_mark(and(isList(V1),isList(V2)))Marked_active(isNeList(V))Marked_mark(isQid(V))Marked_active(isNeList(__(V1,V2)))Marked_mark(and(isList(V1),isNeList(V2)))Marked_active(isNeList(__(V1,V2)))Marked_mark(and(isNeList(V1),isList(V2)))Marked_active(isNePal(V))Marked_mark(isQid(V))Marked_active(isNePal(__(I,__(P,I))))Marked_mark(and(isQid(I),isPal(P)))Marked_active(isPal(V))Marked_mark(isNePal(V))Marked_mark(__(X1,X2))Marked_active(__(mark(X1),mark(X2)))Marked_mark(__(X1,X2))Marked_mark(X1)Marked_mark(__(X1,X2))Marked_mark(X2)Marked_mark(and(X1,X2))Marked_active(and(mark(X1),X2))Marked_mark(and(X1,X2))Marked_mark(X1)Marked_mark(isList(X))Marked_active(isList(X))Marked_mark(isNeList(X))Marked_active(isNeList(X))Marked_mark(isNePal(X))Marked_active(isNePal(X))Marked_mark(isPal(X))Marked_active(isPal(X))mark10isQid10Marked_active20and110e10active10isPal220isNeList220o10__2210isNePal110tt10i10nil0a10isList320Marked_mark120u20Marked_active(__(__(X,Y),Z))Marked_mark(__(X,__(Y,Z)))Marked_active(__(X,nil))Marked_mark(X)Marked_active(__(nil,X))Marked_mark(X)Marked_active(and(tt,X))Marked_mark(X)Marked_active(isList(V))Marked_mark(isNeList(V))Marked_active(isList(__(V1,V2)))Marked_mark(and(isList(V1),isList(V2)))Marked_active(isNeList(V))Marked_mark(isQid(V))Marked_active(isNeList(__(V1,V2)))Marked_mark(and(isList(V1),isNeList(V2)))Marked_active(isNeList(__(V1,V2)))Marked_mark(and(isNeList(V1),isList(V2)))Marked_active(isNePal(V))Marked_mark(isQid(V))Marked_active(isNePal(__(I,__(P,I))))Marked_mark(and(isQid(I),isPal(P)))Marked_active(isPal(V))Marked_mark(isNePal(V))Marked_mark(__(X1,X2))Marked_active(__(mark(X1),mark(X2)))Marked_mark(__(X1,X2))Marked_mark(X1)Marked_mark(__(X1,X2))Marked_mark(X2)Marked_mark(and(X1,X2))Marked_active(and(mark(X1),X2))Marked_mark(isList(X))Marked_active(isList(X))Marked_mark(isNeList(X))Marked_active(isNeList(X))Marked_mark(isNePal(X))Marked_active(isNePal(X))Marked_mark(isPal(X))Marked_active(isPal(X))active(__(__(X,Y),Z))mark(__(X,__(Y,Z)))active(__(X,nil))mark(X)active(__(nil,X))mark(X)active(and(tt,X))mark(X)active(isList(V))mark(isNeList(V))active(isList(nil))mark(tt)active(isList(__(V1,V2)))mark(and(isList(V1),isList(V2)))active(isNeList(V))mark(isQid(V))active(isNeList(__(V1,V2)))mark(and(isList(V1),isNeList(V2)))active(isNeList(__(V1,V2)))mark(and(isNeList(V1),isList(V2)))active(isNePal(V))mark(isQid(V))active(isNePal(__(I,__(P,I))))mark(and(isQid(I),isPal(P)))active(isPal(V))mark(isNePal(V))active(isPal(nil))mark(tt)active(isQid(a))mark(tt)active(isQid(e))mark(tt)active(isQid(i))mark(tt)active(isQid(o))mark(tt)active(isQid(u))mark(tt)mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(and(X1,X2))active(and(mark(X1),X2))mark(tt)active(tt)mark(isList(X))active(isList(X))mark(isNeList(X))active(isNeList(X))mark(isQid(X))active(isQid(X))mark(isNePal(X))active(isNePal(X))mark(isPal(X))active(isPal(X))mark(a)active(a)mark(e)active(e)mark(i)active(i)mark(o)active(o)mark(u)active(u)__(mark(X1),X2)__(X1,X2)__(X1,mark(X2))__(X1,X2)__(active(X1),X2)__(X1,X2)__(X1,active(X2))__(X1,X2)and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)isList(mark(X))isList(X)isList(active(X))isList(X)isNeList(mark(X))isNeList(X)isNeList(active(X))isNeList(X)isQid(mark(X))isQid(X)isQid(active(X))isQid(X)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(X)isPal(mark(X))isPal(X)isPal(active(X))isPal(X)Marked_mark(and(X1,X2))Marked_mark(X1)active(__(__(X,Y),Z))mark(__(X,__(Y,Z)))active(__(X,nil))mark(X)active(__(nil,X))mark(X)active(and(tt,X))mark(X)active(isList(V))mark(isNeList(V))active(isList(nil))mark(tt)active(isList(__(V1,V2)))mark(and(isList(V1),isList(V2)))active(isNeList(V))mark(isQid(V))active(isNeList(__(V1,V2)))mark(and(isList(V1),isNeList(V2)))active(isNeList(__(V1,V2)))mark(and(isNeList(V1),isList(V2)))active(isNePal(V))mark(isQid(V))active(isNePal(__(I,__(P,I))))mark(and(isQid(I),isPal(P)))active(isPal(V))mark(isNePal(V))active(isPal(nil))mark(tt)active(isQid(a))mark(tt)active(isQid(e))mark(tt)active(isQid(i))mark(tt)active(isQid(o))mark(tt)active(isQid(u))mark(tt)mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(and(X1,X2))active(and(mark(X1),X2))mark(tt)active(tt)mark(isList(X))active(isList(X))mark(isNeList(X))active(isNeList(X))mark(isQid(X))active(isQid(X))mark(isNePal(X))active(isNePal(X))mark(isPal(X))active(isPal(X))mark(a)active(a)mark(e)active(e)mark(i)active(i)mark(o)active(o)mark(u)active(u)__(mark(X1),X2)__(X1,X2)__(X1,mark(X2))__(X1,X2)__(active(X1),X2)__(X1,X2)__(X1,active(X2))__(X1,X2)and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)isList(mark(X))isList(X)isList(active(X))isList(X)isNeList(mark(X))isNeList(X)isNeList(active(X))isNeList(X)isQid(mark(X))isQid(X)isQid(active(X))isQid(X)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(X)isPal(mark(X))isPal(X)isPal(active(X))isPal(X)Marked_mark(and(X1,X2))Marked_mark(X1)Marked_mark1Marked_mark(and(X1,X2))Marked_mark(X1)active(__(__(X,Y),Z))mark(__(X,__(Y,Z)))active(__(X,nil))mark(X)active(__(nil,X))mark(X)active(and(tt,X))mark(X)active(isList(V))mark(isNeList(V))active(isList(nil))mark(tt)active(isList(__(V1,V2)))mark(and(isList(V1),isList(V2)))active(isNeList(V))mark(isQid(V))active(isNeList(__(V1,V2)))mark(and(isList(V1),isNeList(V2)))active(isNeList(__(V1,V2)))mark(and(isNeList(V1),isList(V2)))active(isNePal(V))mark(isQid(V))active(isNePal(__(I,__(P,I))))mark(and(isQid(I),isPal(P)))active(isPal(V))mark(isNePal(V))active(isPal(nil))mark(tt)active(isQid(a))mark(tt)active(isQid(e))mark(tt)active(isQid(i))mark(tt)active(isQid(o))mark(tt)active(isQid(u))mark(tt)mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(and(X1,X2))active(and(mark(X1),X2))mark(tt)active(tt)mark(isList(X))active(isList(X))mark(isNeList(X))active(isNeList(X))mark(isQid(X))active(isQid(X))mark(isNePal(X))active(isNePal(X))mark(isPal(X))active(isPal(X))mark(a)active(a)mark(e)active(e)mark(i)active(i)mark(o)active(o)mark(u)active(u)__(mark(X1),X2)__(X1,X2)__(X1,mark(X2))__(X1,X2)__(active(X1),X2)__(X1,X2)__(X1,active(X2))__(X1,X2)and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)isList(mark(X))isList(X)isList(active(X))isList(X)isNeList(mark(X))isNeList(X)isNeList(active(X))isNeList(X)isQid(mark(X))isQid(X)isQid(active(X))isQid(X)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(X)isPal(mark(X))isPal(X)isPal(active(X))isPal(X)active(__(__(X,Y),Z))mark(__(X,__(Y,Z)))active(__(X,nil))mark(X)active(__(nil,X))mark(X)active(and(tt,X))mark(X)active(isList(V))mark(isNeList(V))active(isList(nil))mark(tt)active(isList(__(V1,V2)))mark(and(isList(V1),isList(V2)))active(isNeList(V))mark(isQid(V))active(isNeList(__(V1,V2)))mark(and(isList(V1),isNeList(V2)))active(isNeList(__(V1,V2)))mark(and(isNeList(V1),isList(V2)))active(isNePal(V))mark(isQid(V))active(isNePal(__(I,__(P,I))))mark(and(isQid(I),isPal(P)))active(isPal(V))mark(isNePal(V))active(isPal(nil))mark(tt)active(isQid(a))mark(tt)active(isQid(e))mark(tt)active(isQid(i))mark(tt)active(isQid(o))mark(tt)active(isQid(u))mark(tt)mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(and(X1,X2))active(and(mark(X1),X2))mark(tt)active(tt)mark(isList(X))active(isList(X))mark(isNeList(X))active(isNeList(X))mark(isQid(X))active(isQid(X))mark(isNePal(X))active(isNePal(X))mark(isPal(X))active(isPal(X))mark(a)active(a)mark(e)active(e)mark(i)active(i)mark(o)active(o)mark(u)active(u)__(mark(X1),X2)__(X1,X2)__(X1,mark(X2))__(X1,X2)__(active(X1),X2)__(X1,X2)__(X1,active(X2))__(X1,X2)and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)isList(mark(X))isList(X)isList(active(X))isList(X)isNeList(mark(X))isNeList(X)isNeList(active(X))isNeList(X)isQid(mark(X))isQid(X)isQid(active(X))isQid(X)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(X)isPal(mark(X))isPal(X)isPal(active(X))isPal(X)Marked___(mark(X1),X2)Marked___(X1,X2)Marked___(X1,mark(X2))Marked___(X1,X2)Marked___(active(X1),X2)Marked___(X1,X2)Marked___(X1,active(X2))Marked___(X1,X2)Marked___2Marked___(X1,active(X2))Marked___(X1,X2)Marked___(X1,mark(X2))Marked___(X1,X2)active(__(__(X,Y),Z))mark(__(X,__(Y,Z)))active(__(X,nil))mark(X)active(__(nil,X))mark(X)active(and(tt,X))mark(X)active(isList(V))mark(isNeList(V))active(isList(nil))mark(tt)active(isList(__(V1,V2)))mark(and(isList(V1),isList(V2)))active(isNeList(V))mark(isQid(V))active(isNeList(__(V1,V2)))mark(and(isList(V1),isNeList(V2)))active(isNeList(__(V1,V2)))mark(and(isNeList(V1),isList(V2)))active(isNePal(V))mark(isQid(V))active(isNePal(__(I,__(P,I))))mark(and(isQid(I),isPal(P)))active(isPal(V))mark(isNePal(V))active(isPal(nil))mark(tt)active(isQid(a))mark(tt)active(isQid(e))mark(tt)active(isQid(i))mark(tt)active(isQid(o))mark(tt)active(isQid(u))mark(tt)mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(and(X1,X2))active(and(mark(X1),X2))mark(tt)active(tt)mark(isList(X))active(isList(X))mark(isNeList(X))active(isNeList(X))mark(isQid(X))active(isQid(X))mark(isNePal(X))active(isNePal(X))mark(isPal(X))active(isPal(X))mark(a)active(a)mark(e)active(e)mark(i)active(i)mark(o)active(o)mark(u)active(u)__(mark(X1),X2)__(X1,X2)__(X1,mark(X2))__(X1,X2)__(active(X1),X2)__(X1,X2)__(X1,active(X2))__(X1,X2)and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)isList(mark(X))isList(X)isList(active(X))isList(X)isNeList(mark(X))isNeList(X)isNeList(active(X))isNeList(X)isQid(mark(X))isQid(X)isQid(active(X))isQid(X)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(X)isPal(mark(X))isPal(X)isPal(active(X))isPal(X)Marked___(active(X1),X2)Marked___(X1,X2)Marked___(mark(X1),X2)Marked___(X1,X2)active(__(__(X,Y),Z))mark(__(X,__(Y,Z)))active(__(X,nil))mark(X)active(__(nil,X))mark(X)active(and(tt,X))mark(X)active(isList(V))mark(isNeList(V))active(isList(nil))mark(tt)active(isList(__(V1,V2)))mark(and(isList(V1),isList(V2)))active(isNeList(V))mark(isQid(V))active(isNeList(__(V1,V2)))mark(and(isList(V1),isNeList(V2)))active(isNeList(__(V1,V2)))mark(and(isNeList(V1),isList(V2)))active(isNePal(V))mark(isQid(V))active(isNePal(__(I,__(P,I))))mark(and(isQid(I),isPal(P)))active(isPal(V))mark(isNePal(V))active(isPal(nil))mark(tt)active(isQid(a))mark(tt)active(isQid(e))mark(tt)active(isQid(i))mark(tt)active(isQid(o))mark(tt)active(isQid(u))mark(tt)mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(and(X1,X2))active(and(mark(X1),X2))mark(tt)active(tt)mark(isList(X))active(isList(X))mark(isNeList(X))active(isNeList(X))mark(isQid(X))active(isQid(X))mark(isNePal(X))active(isNePal(X))mark(isPal(X))active(isPal(X))mark(a)active(a)mark(e)active(e)mark(i)active(i)mark(o)active(o)mark(u)active(u)__(mark(X1),X2)__(X1,X2)__(X1,mark(X2))__(X1,X2)__(active(X1),X2)__(X1,X2)__(X1,active(X2))__(X1,X2)and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)isList(mark(X))isList(X)isList(active(X))isList(X)isNeList(mark(X))isNeList(X)isNeList(active(X))isNeList(X)isQid(mark(X))isQid(X)isQid(active(X))isQid(X)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(X)isPal(mark(X))isPal(X)isPal(active(X))isPal(X)Marked___(active(X1),X2)Marked___(X1,X2)Marked___(mark(X1),X2)Marked___(X1,X2)Marked___1Marked___(mark(X1),X2)Marked___(X1,X2)Marked___(active(X1),X2)Marked___(X1,X2)active(__(__(X,Y),Z))mark(__(X,__(Y,Z)))active(__(X,nil))mark(X)active(__(nil,X))mark(X)active(and(tt,X))mark(X)active(isList(V))mark(isNeList(V))active(isList(nil))mark(tt)active(isList(__(V1,V2)))mark(and(isList(V1),isList(V2)))active(isNeList(V))mark(isQid(V))active(isNeList(__(V1,V2)))mark(and(isList(V1),isNeList(V2)))active(isNeList(__(V1,V2)))mark(and(isNeList(V1),isList(V2)))active(isNePal(V))mark(isQid(V))active(isNePal(__(I,__(P,I))))mark(and(isQid(I),isPal(P)))active(isPal(V))mark(isNePal(V))active(isPal(nil))mark(tt)active(isQid(a))mark(tt)active(isQid(e))mark(tt)active(isQid(i))mark(tt)active(isQid(o))mark(tt)active(isQid(u))mark(tt)mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(and(X1,X2))active(and(mark(X1),X2))mark(tt)active(tt)mark(isList(X))active(isList(X))mark(isNeList(X))active(isNeList(X))mark(isQid(X))active(isQid(X))mark(isNePal(X))active(isNePal(X))mark(isPal(X))active(isPal(X))mark(a)active(a)mark(e)active(e)mark(i)active(i)mark(o)active(o)mark(u)active(u)__(mark(X1),X2)__(X1,X2)__(X1,mark(X2))__(X1,X2)__(active(X1),X2)__(X1,X2)__(X1,active(X2))__(X1,X2)and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)isList(mark(X))isList(X)isList(active(X))isList(X)isNeList(mark(X))isNeList(X)isNeList(active(X))isNeList(X)isQid(mark(X))isQid(X)isQid(active(X))isQid(X)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(X)isPal(mark(X))isPal(X)isPal(active(X))isPal(X)active(__(__(X,Y),Z))mark(__(X,__(Y,Z)))active(__(X,nil))mark(X)active(__(nil,X))mark(X)active(and(tt,X))mark(X)active(isList(V))mark(isNeList(V))active(isList(nil))mark(tt)active(isList(__(V1,V2)))mark(and(isList(V1),isList(V2)))active(isNeList(V))mark(isQid(V))active(isNeList(__(V1,V2)))mark(and(isList(V1),isNeList(V2)))active(isNeList(__(V1,V2)))mark(and(isNeList(V1),isList(V2)))active(isNePal(V))mark(isQid(V))active(isNePal(__(I,__(P,I))))mark(and(isQid(I),isPal(P)))active(isPal(V))mark(isNePal(V))active(isPal(nil))mark(tt)active(isQid(a))mark(tt)active(isQid(e))mark(tt)active(isQid(i))mark(tt)active(isQid(o))mark(tt)active(isQid(u))mark(tt)mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(and(X1,X2))active(and(mark(X1),X2))mark(tt)active(tt)mark(isList(X))active(isList(X))mark(isNeList(X))active(isNeList(X))mark(isQid(X))active(isQid(X))mark(isNePal(X))active(isNePal(X))mark(isPal(X))active(isPal(X))mark(a)active(a)mark(e)active(e)mark(i)active(i)mark(o)active(o)mark(u)active(u)__(mark(X1),X2)__(X1,X2)__(X1,mark(X2))__(X1,X2)__(active(X1),X2)__(X1,X2)__(X1,active(X2))__(X1,X2)and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)isList(mark(X))isList(X)isList(active(X))isList(X)isNeList(mark(X))isNeList(X)isNeList(active(X))isNeList(X)isQid(mark(X))isQid(X)isQid(active(X))isQid(X)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(X)isPal(mark(X))isPal(X)isPal(active(X))isPal(X)Marked_and(mark(X1),X2)Marked_and(X1,X2)Marked_and(X1,mark(X2))Marked_and(X1,X2)Marked_and(active(X1),X2)Marked_and(X1,X2)Marked_and(X1,active(X2))Marked_and(X1,X2)Marked_and2Marked_and(X1,active(X2))Marked_and(X1,X2)Marked_and(X1,mark(X2))Marked_and(X1,X2)active(__(__(X,Y),Z))mark(__(X,__(Y,Z)))active(__(X,nil))mark(X)active(__(nil,X))mark(X)active(and(tt,X))mark(X)active(isList(V))mark(isNeList(V))active(isList(nil))mark(tt)active(isList(__(V1,V2)))mark(and(isList(V1),isList(V2)))active(isNeList(V))mark(isQid(V))active(isNeList(__(V1,V2)))mark(and(isList(V1),isNeList(V2)))active(isNeList(__(V1,V2)))mark(and(isNeList(V1),isList(V2)))active(isNePal(V))mark(isQid(V))active(isNePal(__(I,__(P,I))))mark(and(isQid(I),isPal(P)))active(isPal(V))mark(isNePal(V))active(isPal(nil))mark(tt)active(isQid(a))mark(tt)active(isQid(e))mark(tt)active(isQid(i))mark(tt)active(isQid(o))mark(tt)active(isQid(u))mark(tt)mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(and(X1,X2))active(and(mark(X1),X2))mark(tt)active(tt)mark(isList(X))active(isList(X))mark(isNeList(X))active(isNeList(X))mark(isQid(X))active(isQid(X))mark(isNePal(X))active(isNePal(X))mark(isPal(X))active(isPal(X))mark(a)active(a)mark(e)active(e)mark(i)active(i)mark(o)active(o)mark(u)active(u)__(mark(X1),X2)__(X1,X2)__(X1,mark(X2))__(X1,X2)__(active(X1),X2)__(X1,X2)__(X1,active(X2))__(X1,X2)and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)isList(mark(X))isList(X)isList(active(X))isList(X)isNeList(mark(X))isNeList(X)isNeList(active(X))isNeList(X)isQid(mark(X))isQid(X)isQid(active(X))isQid(X)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(X)isPal(mark(X))isPal(X)isPal(active(X))isPal(X)Marked_and(active(X1),X2)Marked_and(X1,X2)Marked_and(mark(X1),X2)Marked_and(X1,X2)active(__(__(X,Y),Z))mark(__(X,__(Y,Z)))active(__(X,nil))mark(X)active(__(nil,X))mark(X)active(and(tt,X))mark(X)active(isList(V))mark(isNeList(V))active(isList(nil))mark(tt)active(isList(__(V1,V2)))mark(and(isList(V1),isList(V2)))active(isNeList(V))mark(isQid(V))active(isNeList(__(V1,V2)))mark(and(isList(V1),isNeList(V2)))active(isNeList(__(V1,V2)))mark(and(isNeList(V1),isList(V2)))active(isNePal(V))mark(isQid(V))active(isNePal(__(I,__(P,I))))mark(and(isQid(I),isPal(P)))active(isPal(V))mark(isNePal(V))active(isPal(nil))mark(tt)active(isQid(a))mark(tt)active(isQid(e))mark(tt)active(isQid(i))mark(tt)active(isQid(o))mark(tt)active(isQid(u))mark(tt)mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(and(X1,X2))active(and(mark(X1),X2))mark(tt)active(tt)mark(isList(X))active(isList(X))mark(isNeList(X))active(isNeList(X))mark(isQid(X))active(isQid(X))mark(isNePal(X))active(isNePal(X))mark(isPal(X))active(isPal(X))mark(a)active(a)mark(e)active(e)mark(i)active(i)mark(o)active(o)mark(u)active(u)__(mark(X1),X2)__(X1,X2)__(X1,mark(X2))__(X1,X2)__(active(X1),X2)__(X1,X2)__(X1,active(X2))__(X1,X2)and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)isList(mark(X))isList(X)isList(active(X))isList(X)isNeList(mark(X))isNeList(X)isNeList(active(X))isNeList(X)isQid(mark(X))isQid(X)isQid(active(X))isQid(X)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(X)isPal(mark(X))isPal(X)isPal(active(X))isPal(X)Marked_and(active(X1),X2)Marked_and(X1,X2)Marked_and(mark(X1),X2)Marked_and(X1,X2)Marked_and1Marked_and(mark(X1),X2)Marked_and(X1,X2)Marked_and(active(X1),X2)Marked_and(X1,X2)active(__(__(X,Y),Z))mark(__(X,__(Y,Z)))active(__(X,nil))mark(X)active(__(nil,X))mark(X)active(and(tt,X))mark(X)active(isList(V))mark(isNeList(V))active(isList(nil))mark(tt)active(isList(__(V1,V2)))mark(and(isList(V1),isList(V2)))active(isNeList(V))mark(isQid(V))active(isNeList(__(V1,V2)))mark(and(isList(V1),isNeList(V2)))active(isNeList(__(V1,V2)))mark(and(isNeList(V1),isList(V2)))active(isNePal(V))mark(isQid(V))active(isNePal(__(I,__(P,I))))mark(and(isQid(I),isPal(P)))active(isPal(V))mark(isNePal(V))active(isPal(nil))mark(tt)active(isQid(a))mark(tt)active(isQid(e))mark(tt)active(isQid(i))mark(tt)active(isQid(o))mark(tt)active(isQid(u))mark(tt)mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(and(X1,X2))active(and(mark(X1),X2))mark(tt)active(tt)mark(isList(X))active(isList(X))mark(isNeList(X))active(isNeList(X))mark(isQid(X))active(isQid(X))mark(isNePal(X))active(isNePal(X))mark(isPal(X))active(isPal(X))mark(a)active(a)mark(e)active(e)mark(i)active(i)mark(o)active(o)mark(u)active(u)__(mark(X1),X2)__(X1,X2)__(X1,mark(X2))__(X1,X2)__(active(X1),X2)__(X1,X2)__(X1,active(X2))__(X1,X2)and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)isList(mark(X))isList(X)isList(active(X))isList(X)isNeList(mark(X))isNeList(X)isNeList(active(X))isNeList(X)isQid(mark(X))isQid(X)isQid(active(X))isQid(X)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(X)isPal(mark(X))isPal(X)isPal(active(X))isPal(X)active(__(__(X,Y),Z))mark(__(X,__(Y,Z)))active(__(X,nil))mark(X)active(__(nil,X))mark(X)active(and(tt,X))mark(X)active(isList(V))mark(isNeList(V))active(isList(nil))mark(tt)active(isList(__(V1,V2)))mark(and(isList(V1),isList(V2)))active(isNeList(V))mark(isQid(V))active(isNeList(__(V1,V2)))mark(and(isList(V1),isNeList(V2)))active(isNeList(__(V1,V2)))mark(and(isNeList(V1),isList(V2)))active(isNePal(V))mark(isQid(V))active(isNePal(__(I,__(P,I))))mark(and(isQid(I),isPal(P)))active(isPal(V))mark(isNePal(V))active(isPal(nil))mark(tt)active(isQid(a))mark(tt)active(isQid(e))mark(tt)active(isQid(i))mark(tt)active(isQid(o))mark(tt)active(isQid(u))mark(tt)mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(and(X1,X2))active(and(mark(X1),X2))mark(tt)active(tt)mark(isList(X))active(isList(X))mark(isNeList(X))active(isNeList(X))mark(isQid(X))active(isQid(X))mark(isNePal(X))active(isNePal(X))mark(isPal(X))active(isPal(X))mark(a)active(a)mark(e)active(e)mark(i)active(i)mark(o)active(o)mark(u)active(u)__(mark(X1),X2)__(X1,X2)__(X1,mark(X2))__(X1,X2)__(active(X1),X2)__(X1,X2)__(X1,active(X2))__(X1,X2)and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)isList(mark(X))isList(X)isList(active(X))isList(X)isNeList(mark(X))isNeList(X)isNeList(active(X))isNeList(X)isQid(mark(X))isQid(X)isQid(active(X))isQid(X)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(X)isPal(mark(X))isPal(X)isPal(active(X))isPal(X)Marked_isList(mark(X))Marked_isList(X)Marked_isList(active(X))Marked_isList(X)Marked_isList1Marked_isList(active(X))Marked_isList(X)Marked_isList(mark(X))Marked_isList(X)active(__(__(X,Y),Z))mark(__(X,__(Y,Z)))active(__(X,nil))mark(X)active(__(nil,X))mark(X)active(and(tt,X))mark(X)active(isList(V))mark(isNeList(V))active(isList(nil))mark(tt)active(isList(__(V1,V2)))mark(and(isList(V1),isList(V2)))active(isNeList(V))mark(isQid(V))active(isNeList(__(V1,V2)))mark(and(isList(V1),isNeList(V2)))active(isNeList(__(V1,V2)))mark(and(isNeList(V1),isList(V2)))active(isNePal(V))mark(isQid(V))active(isNePal(__(I,__(P,I))))mark(and(isQid(I),isPal(P)))active(isPal(V))mark(isNePal(V))active(isPal(nil))mark(tt)active(isQid(a))mark(tt)active(isQid(e))mark(tt)active(isQid(i))mark(tt)active(isQid(o))mark(tt)active(isQid(u))mark(tt)mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(and(X1,X2))active(and(mark(X1),X2))mark(tt)active(tt)mark(isList(X))active(isList(X))mark(isNeList(X))active(isNeList(X))mark(isQid(X))active(isQid(X))mark(isNePal(X))active(isNePal(X))mark(isPal(X))active(isPal(X))mark(a)active(a)mark(e)active(e)mark(i)active(i)mark(o)active(o)mark(u)active(u)__(mark(X1),X2)__(X1,X2)__(X1,mark(X2))__(X1,X2)__(active(X1),X2)__(X1,X2)__(X1,active(X2))__(X1,X2)and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)isList(mark(X))isList(X)isList(active(X))isList(X)isNeList(mark(X))isNeList(X)isNeList(active(X))isNeList(X)isQid(mark(X))isQid(X)isQid(active(X))isQid(X)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(X)isPal(mark(X))isPal(X)isPal(active(X))isPal(X)active(__(__(X,Y),Z))mark(__(X,__(Y,Z)))active(__(X,nil))mark(X)active(__(nil,X))mark(X)active(and(tt,X))mark(X)active(isList(V))mark(isNeList(V))active(isList(nil))mark(tt)active(isList(__(V1,V2)))mark(and(isList(V1),isList(V2)))active(isNeList(V))mark(isQid(V))active(isNeList(__(V1,V2)))mark(and(isList(V1),isNeList(V2)))active(isNeList(__(V1,V2)))mark(and(isNeList(V1),isList(V2)))active(isNePal(V))mark(isQid(V))active(isNePal(__(I,__(P,I))))mark(and(isQid(I),isPal(P)))active(isPal(V))mark(isNePal(V))active(isPal(nil))mark(tt)active(isQid(a))mark(tt)active(isQid(e))mark(tt)active(isQid(i))mark(tt)active(isQid(o))mark(tt)active(isQid(u))mark(tt)mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(and(X1,X2))active(and(mark(X1),X2))mark(tt)active(tt)mark(isList(X))active(isList(X))mark(isNeList(X))active(isNeList(X))mark(isQid(X))active(isQid(X))mark(isNePal(X))active(isNePal(X))mark(isPal(X))active(isPal(X))mark(a)active(a)mark(e)active(e)mark(i)active(i)mark(o)active(o)mark(u)active(u)__(mark(X1),X2)__(X1,X2)__(X1,mark(X2))__(X1,X2)__(active(X1),X2)__(X1,X2)__(X1,active(X2))__(X1,X2)and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)isList(mark(X))isList(X)isList(active(X))isList(X)isNeList(mark(X))isNeList(X)isNeList(active(X))isNeList(X)isQid(mark(X))isQid(X)isQid(active(X))isQid(X)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(X)isPal(mark(X))isPal(X)isPal(active(X))isPal(X)Marked_isNeList(mark(X))Marked_isNeList(X)Marked_isNeList(active(X))Marked_isNeList(X)Marked_isNeList1Marked_isNeList(active(X))Marked_isNeList(X)Marked_isNeList(mark(X))Marked_isNeList(X)active(__(__(X,Y),Z))mark(__(X,__(Y,Z)))active(__(X,nil))mark(X)active(__(nil,X))mark(X)active(and(tt,X))mark(X)active(isList(V))mark(isNeList(V))active(isList(nil))mark(tt)active(isList(__(V1,V2)))mark(and(isList(V1),isList(V2)))active(isNeList(V))mark(isQid(V))active(isNeList(__(V1,V2)))mark(and(isList(V1),isNeList(V2)))active(isNeList(__(V1,V2)))mark(and(isNeList(V1),isList(V2)))active(isNePal(V))mark(isQid(V))active(isNePal(__(I,__(P,I))))mark(and(isQid(I),isPal(P)))active(isPal(V))mark(isNePal(V))active(isPal(nil))mark(tt)active(isQid(a))mark(tt)active(isQid(e))mark(tt)active(isQid(i))mark(tt)active(isQid(o))mark(tt)active(isQid(u))mark(tt)mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(and(X1,X2))active(and(mark(X1),X2))mark(tt)active(tt)mark(isList(X))active(isList(X))mark(isNeList(X))active(isNeList(X))mark(isQid(X))active(isQid(X))mark(isNePal(X))active(isNePal(X))mark(isPal(X))active(isPal(X))mark(a)active(a)mark(e)active(e)mark(i)active(i)mark(o)active(o)mark(u)active(u)__(mark(X1),X2)__(X1,X2)__(X1,mark(X2))__(X1,X2)__(active(X1),X2)__(X1,X2)__(X1,active(X2))__(X1,X2)and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)isList(mark(X))isList(X)isList(active(X))isList(X)isNeList(mark(X))isNeList(X)isNeList(active(X))isNeList(X)isQid(mark(X))isQid(X)isQid(active(X))isQid(X)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(X)isPal(mark(X))isPal(X)isPal(active(X))isPal(X)active(__(__(X,Y),Z))mark(__(X,__(Y,Z)))active(__(X,nil))mark(X)active(__(nil,X))mark(X)active(and(tt,X))mark(X)active(isList(V))mark(isNeList(V))active(isList(nil))mark(tt)active(isList(__(V1,V2)))mark(and(isList(V1),isList(V2)))active(isNeList(V))mark(isQid(V))active(isNeList(__(V1,V2)))mark(and(isList(V1),isNeList(V2)))active(isNeList(__(V1,V2)))mark(and(isNeList(V1),isList(V2)))active(isNePal(V))mark(isQid(V))active(isNePal(__(I,__(P,I))))mark(and(isQid(I),isPal(P)))active(isPal(V))mark(isNePal(V))active(isPal(nil))mark(tt)active(isQid(a))mark(tt)active(isQid(e))mark(tt)active(isQid(i))mark(tt)active(isQid(o))mark(tt)active(isQid(u))mark(tt)mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(and(X1,X2))active(and(mark(X1),X2))mark(tt)active(tt)mark(isList(X))active(isList(X))mark(isNeList(X))active(isNeList(X))mark(isQid(X))active(isQid(X))mark(isNePal(X))active(isNePal(X))mark(isPal(X))active(isPal(X))mark(a)active(a)mark(e)active(e)mark(i)active(i)mark(o)active(o)mark(u)active(u)__(mark(X1),X2)__(X1,X2)__(X1,mark(X2))__(X1,X2)__(active(X1),X2)__(X1,X2)__(X1,active(X2))__(X1,X2)and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)isList(mark(X))isList(X)isList(active(X))isList(X)isNeList(mark(X))isNeList(X)isNeList(active(X))isNeList(X)isQid(mark(X))isQid(X)isQid(active(X))isQid(X)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(X)isPal(mark(X))isPal(X)isPal(active(X))isPal(X)Marked_isQid(mark(X))Marked_isQid(X)Marked_isQid(active(X))Marked_isQid(X)Marked_isQid1Marked_isQid(active(X))Marked_isQid(X)Marked_isQid(mark(X))Marked_isQid(X)active(__(__(X,Y),Z))mark(__(X,__(Y,Z)))active(__(X,nil))mark(X)active(__(nil,X))mark(X)active(and(tt,X))mark(X)active(isList(V))mark(isNeList(V))active(isList(nil))mark(tt)active(isList(__(V1,V2)))mark(and(isList(V1),isList(V2)))active(isNeList(V))mark(isQid(V))active(isNeList(__(V1,V2)))mark(and(isList(V1),isNeList(V2)))active(isNeList(__(V1,V2)))mark(and(isNeList(V1),isList(V2)))active(isNePal(V))mark(isQid(V))active(isNePal(__(I,__(P,I))))mark(and(isQid(I),isPal(P)))active(isPal(V))mark(isNePal(V))active(isPal(nil))mark(tt)active(isQid(a))mark(tt)active(isQid(e))mark(tt)active(isQid(i))mark(tt)active(isQid(o))mark(tt)active(isQid(u))mark(tt)mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(and(X1,X2))active(and(mark(X1),X2))mark(tt)active(tt)mark(isList(X))active(isList(X))mark(isNeList(X))active(isNeList(X))mark(isQid(X))active(isQid(X))mark(isNePal(X))active(isNePal(X))mark(isPal(X))active(isPal(X))mark(a)active(a)mark(e)active(e)mark(i)active(i)mark(o)active(o)mark(u)active(u)__(mark(X1),X2)__(X1,X2)__(X1,mark(X2))__(X1,X2)__(active(X1),X2)__(X1,X2)__(X1,active(X2))__(X1,X2)and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)isList(mark(X))isList(X)isList(active(X))isList(X)isNeList(mark(X))isNeList(X)isNeList(active(X))isNeList(X)isQid(mark(X))isQid(X)isQid(active(X))isQid(X)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(X)isPal(mark(X))isPal(X)isPal(active(X))isPal(X)active(__(__(X,Y),Z))mark(__(X,__(Y,Z)))active(__(X,nil))mark(X)active(__(nil,X))mark(X)active(and(tt,X))mark(X)active(isList(V))mark(isNeList(V))active(isList(nil))mark(tt)active(isList(__(V1,V2)))mark(and(isList(V1),isList(V2)))active(isNeList(V))mark(isQid(V))active(isNeList(__(V1,V2)))mark(and(isList(V1),isNeList(V2)))active(isNeList(__(V1,V2)))mark(and(isNeList(V1),isList(V2)))active(isNePal(V))mark(isQid(V))active(isNePal(__(I,__(P,I))))mark(and(isQid(I),isPal(P)))active(isPal(V))mark(isNePal(V))active(isPal(nil))mark(tt)active(isQid(a))mark(tt)active(isQid(e))mark(tt)active(isQid(i))mark(tt)active(isQid(o))mark(tt)active(isQid(u))mark(tt)mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(and(X1,X2))active(and(mark(X1),X2))mark(tt)active(tt)mark(isList(X))active(isList(X))mark(isNeList(X))active(isNeList(X))mark(isQid(X))active(isQid(X))mark(isNePal(X))active(isNePal(X))mark(isPal(X))active(isPal(X))mark(a)active(a)mark(e)active(e)mark(i)active(i)mark(o)active(o)mark(u)active(u)__(mark(X1),X2)__(X1,X2)__(X1,mark(X2))__(X1,X2)__(active(X1),X2)__(X1,X2)__(X1,active(X2))__(X1,X2)and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)isList(mark(X))isList(X)isList(active(X))isList(X)isNeList(mark(X))isNeList(X)isNeList(active(X))isNeList(X)isQid(mark(X))isQid(X)isQid(active(X))isQid(X)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(X)isPal(mark(X))isPal(X)isPal(active(X))isPal(X)Marked_isNePal(mark(X))Marked_isNePal(X)Marked_isNePal(active(X))Marked_isNePal(X)Marked_isNePal1Marked_isNePal(active(X))Marked_isNePal(X)Marked_isNePal(mark(X))Marked_isNePal(X)active(__(__(X,Y),Z))mark(__(X,__(Y,Z)))active(__(X,nil))mark(X)active(__(nil,X))mark(X)active(and(tt,X))mark(X)active(isList(V))mark(isNeList(V))active(isList(nil))mark(tt)active(isList(__(V1,V2)))mark(and(isList(V1),isList(V2)))active(isNeList(V))mark(isQid(V))active(isNeList(__(V1,V2)))mark(and(isList(V1),isNeList(V2)))active(isNeList(__(V1,V2)))mark(and(isNeList(V1),isList(V2)))active(isNePal(V))mark(isQid(V))active(isNePal(__(I,__(P,I))))mark(and(isQid(I),isPal(P)))active(isPal(V))mark(isNePal(V))active(isPal(nil))mark(tt)active(isQid(a))mark(tt)active(isQid(e))mark(tt)active(isQid(i))mark(tt)active(isQid(o))mark(tt)active(isQid(u))mark(tt)mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(and(X1,X2))active(and(mark(X1),X2))mark(tt)active(tt)mark(isList(X))active(isList(X))mark(isNeList(X))active(isNeList(X))mark(isQid(X))active(isQid(X))mark(isNePal(X))active(isNePal(X))mark(isPal(X))active(isPal(X))mark(a)active(a)mark(e)active(e)mark(i)active(i)mark(o)active(o)mark(u)active(u)__(mark(X1),X2)__(X1,X2)__(X1,mark(X2))__(X1,X2)__(active(X1),X2)__(X1,X2)__(X1,active(X2))__(X1,X2)and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)isList(mark(X))isList(X)isList(active(X))isList(X)isNeList(mark(X))isNeList(X)isNeList(active(X))isNeList(X)isQid(mark(X))isQid(X)isQid(active(X))isQid(X)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(X)isPal(mark(X))isPal(X)isPal(active(X))isPal(X)active(__(__(X,Y),Z))mark(__(X,__(Y,Z)))active(__(X,nil))mark(X)active(__(nil,X))mark(X)active(and(tt,X))mark(X)active(isList(V))mark(isNeList(V))active(isList(nil))mark(tt)active(isList(__(V1,V2)))mark(and(isList(V1),isList(V2)))active(isNeList(V))mark(isQid(V))active(isNeList(__(V1,V2)))mark(and(isList(V1),isNeList(V2)))active(isNeList(__(V1,V2)))mark(and(isNeList(V1),isList(V2)))active(isNePal(V))mark(isQid(V))active(isNePal(__(I,__(P,I))))mark(and(isQid(I),isPal(P)))active(isPal(V))mark(isNePal(V))active(isPal(nil))mark(tt)active(isQid(a))mark(tt)active(isQid(e))mark(tt)active(isQid(i))mark(tt)active(isQid(o))mark(tt)active(isQid(u))mark(tt)mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(and(X1,X2))active(and(mark(X1),X2))mark(tt)active(tt)mark(isList(X))active(isList(X))mark(isNeList(X))active(isNeList(X))mark(isQid(X))active(isQid(X))mark(isNePal(X))active(isNePal(X))mark(isPal(X))active(isPal(X))mark(a)active(a)mark(e)active(e)mark(i)active(i)mark(o)active(o)mark(u)active(u)__(mark(X1),X2)__(X1,X2)__(X1,mark(X2))__(X1,X2)__(active(X1),X2)__(X1,X2)__(X1,active(X2))__(X1,X2)and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)isList(mark(X))isList(X)isList(active(X))isList(X)isNeList(mark(X))isNeList(X)isNeList(active(X))isNeList(X)isQid(mark(X))isQid(X)isQid(active(X))isQid(X)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(X)isPal(mark(X))isPal(X)isPal(active(X))isPal(X)Marked_isPal(mark(X))Marked_isPal(X)Marked_isPal(active(X))Marked_isPal(X)Marked_isPal1Marked_isPal(active(X))Marked_isPal(X)Marked_isPal(mark(X))Marked_isPal(X)active(__(__(X,Y),Z))mark(__(X,__(Y,Z)))active(__(X,nil))mark(X)active(__(nil,X))mark(X)active(and(tt,X))mark(X)active(isList(V))mark(isNeList(V))active(isList(nil))mark(tt)active(isList(__(V1,V2)))mark(and(isList(V1),isList(V2)))active(isNeList(V))mark(isQid(V))active(isNeList(__(V1,V2)))mark(and(isList(V1),isNeList(V2)))active(isNeList(__(V1,V2)))mark(and(isNeList(V1),isList(V2)))active(isNePal(V))mark(isQid(V))active(isNePal(__(I,__(P,I))))mark(and(isQid(I),isPal(P)))active(isPal(V))mark(isNePal(V))active(isPal(nil))mark(tt)active(isQid(a))mark(tt)active(isQid(e))mark(tt)active(isQid(i))mark(tt)active(isQid(o))mark(tt)active(isQid(u))mark(tt)mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(and(X1,X2))active(and(mark(X1),X2))mark(tt)active(tt)mark(isList(X))active(isList(X))mark(isNeList(X))active(isNeList(X))mark(isQid(X))active(isQid(X))mark(isNePal(X))active(isNePal(X))mark(isPal(X))active(isPal(X))mark(a)active(a)mark(e)active(e)mark(i)active(i)mark(o)active(o)mark(u)active(u)__(mark(X1),X2)__(X1,X2)__(X1,mark(X2))__(X1,X2)__(active(X1),X2)__(X1,X2)__(X1,active(X2))__(X1,X2)and(mark(X1),X2)and(X1,X2)and(X1,mark(X2))and(X1,X2)and(active(X1),X2)and(X1,X2)and(X1,active(X2))and(X1,X2)isList(mark(X))isList(X)isList(active(X))isList(X)isNeList(mark(X))isNeList(X)isNeList(active(X))isNeList(X)isQid(mark(X))isQid(X)isQid(active(X))isQid(X)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(X)isPal(mark(X))isPal(X)isPal(active(X))isPal(X)