uMarked_isNePalisListMarked_andaMarked_topniliMarked_properttMarked_isNeListisNePalok__oMarked_isPalisNeListMarked_isListisPaltopactiveMarked___eMarked_activeandMarked_isQidisQidpropermarkX2X1PIV2V1VZYXactive(__(__(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)active(__(X1,X2))__(active(X1),X2)active(__(X1,X2))__(X1,active(X2))active(and(X1,X2))and(active(X1),X2)__(mark(X1),X2)mark(__(X1,X2))__(X1,mark(X2))mark(__(X1,X2))and(mark(X1),X2)mark(and(X1,X2))proper(__(X1,X2))__(proper(X1),proper(X2))proper(nil)ok(nil)proper(and(X1,X2))and(proper(X1),proper(X2))proper(tt)ok(tt)proper(isList(X))isList(proper(X))proper(isNeList(X))isNeList(proper(X))proper(isQid(X))isQid(proper(X))proper(isNePal(X))isNePal(proper(X))proper(isPal(X))isPal(proper(X))proper(a)ok(a)proper(e)ok(e)proper(i)ok(i)proper(o)ok(o)proper(u)ok(u)__(ok(X1),ok(X2))ok(__(X1,X2))and(ok(X1),ok(X2))ok(and(X1,X2))isList(ok(X))ok(isList(X))isNeList(ok(X))ok(isNeList(X))isQid(ok(X))ok(isQid(X))isNePal(ok(X))ok(isNePal(X))isPal(ok(X))ok(isPal(X))top(mark(X))top(proper(X))top(ok(X))top(active(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)active(__(X1,X2))__(active(X1),X2)active(__(X1,X2))__(X1,active(X2))active(and(X1,X2))and(active(X1),X2)__(mark(X1),X2)mark(__(X1,X2))__(X1,mark(X2))mark(__(X1,X2))and(mark(X1),X2)mark(and(X1,X2))proper(__(X1,X2))__(proper(X1),proper(X2))proper(nil)ok(nil)proper(and(X1,X2))and(proper(X1),proper(X2))proper(tt)ok(tt)proper(isList(X))isList(proper(X))proper(isNeList(X))isNeList(proper(X))proper(isQid(X))isQid(proper(X))proper(isNePal(X))isNePal(proper(X))proper(isPal(X))isPal(proper(X))proper(a)ok(a)proper(e)ok(e)proper(i)ok(i)proper(o)ok(o)proper(u)ok(u)__(ok(X1),ok(X2))ok(__(X1,X2))and(ok(X1),ok(X2))ok(and(X1,X2))isList(ok(X))ok(isList(X))isNeList(ok(X))ok(isNeList(X))isQid(ok(X))ok(isQid(X))isNePal(ok(X))ok(isNePal(X))isPal(ok(X))ok(isPal(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_active(__(__(X,Y),Z))Marked___(X,__(Y,Z))Marked_active(__(__(X,Y),Z))Marked___(Y,Z)Marked_active(isList(V))Marked_isNeList(V)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_isQid(V)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_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_isQid(V)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_isNePal(V)Marked_active(__(X1,X2))Marked___(active(X1),X2)Marked_active(__(X1,X2))Marked_active(X1)Marked_active(__(X1,X2))Marked___(X1,active(X2))Marked_active(__(X1,X2))Marked_active(X2)Marked_active(and(X1,X2))Marked_and(active(X1),X2)Marked_active(and(X1,X2))Marked_active(X1)Marked___(mark(X1),X2)Marked___(X1,X2)Marked___(X1,mark(X2))Marked___(X1,X2)Marked_and(mark(X1),X2)Marked_and(X1,X2)Marked_proper(__(X1,X2))Marked___(proper(X1),proper(X2))Marked_proper(__(X1,X2))Marked_proper(X1)Marked_proper(__(X1,X2))Marked_proper(X2)Marked_proper(and(X1,X2))Marked_and(proper(X1),proper(X2))Marked_proper(and(X1,X2))Marked_proper(X1)Marked_proper(and(X1,X2))Marked_proper(X2)Marked_proper(isList(X))Marked_isList(proper(X))Marked_proper(isList(X))Marked_proper(X)Marked_proper(isNeList(X))Marked_isNeList(proper(X))Marked_proper(isNeList(X))Marked_proper(X)Marked_proper(isQid(X))Marked_isQid(proper(X))Marked_proper(isQid(X))Marked_proper(X)Marked_proper(isNePal(X))Marked_isNePal(proper(X))Marked_proper(isNePal(X))Marked_proper(X)Marked_proper(isPal(X))Marked_isPal(proper(X))Marked_proper(isPal(X))Marked_proper(X)Marked___(ok(X1),ok(X2))Marked___(X1,X2)Marked_and(ok(X1),ok(X2))Marked_and(X1,X2)Marked_isList(ok(X))Marked_isList(X)Marked_isNeList(ok(X))Marked_isNeList(X)Marked_isQid(ok(X))Marked_isQid(X)Marked_isNePal(ok(X))Marked_isNePal(X)Marked_isPal(ok(X))Marked_isPal(X)Marked_top(mark(X))Marked_top(proper(X))Marked_top(mark(X))Marked_proper(X)Marked_top(ok(X))Marked_top(active(X))Marked_top(ok(X))Marked_active(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)active(__(X1,X2))__(active(X1),X2)active(__(X1,X2))__(X1,active(X2))active(and(X1,X2))and(active(X1),X2)__(mark(X1),X2)mark(__(X1,X2))__(X1,mark(X2))mark(__(X1,X2))and(mark(X1),X2)mark(and(X1,X2))proper(__(X1,X2))__(proper(X1),proper(X2))proper(nil)ok(nil)proper(and(X1,X2))and(proper(X1),proper(X2))proper(tt)ok(tt)proper(isList(X))isList(proper(X))proper(isNeList(X))isNeList(proper(X))proper(isQid(X))isQid(proper(X))proper(isNePal(X))isNePal(proper(X))proper(isPal(X))isPal(proper(X))proper(a)ok(a)proper(e)ok(e)proper(i)ok(i)proper(o)ok(o)proper(u)ok(u)__(ok(X1),ok(X2))ok(__(X1,X2))and(ok(X1),ok(X2))ok(and(X1,X2))isList(ok(X))ok(isList(X))isNeList(ok(X))ok(isNeList(X))isQid(ok(X))ok(isQid(X))isNePal(ok(X))ok(isNePal(X))isPal(ok(X))ok(isPal(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_top(mark(X))Marked_top(proper(X))Marked_top(ok(X))Marked_top(active(X))mark110proper10isQid10and2110e20active10top20isPal210isNeList130o10__2210ok10isNePal110tt0i10nil0Marked_top10a10isList330u10Marked_top(mark(X))Marked_top(proper(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)active(__(X1,X2))__(active(X1),X2)active(__(X1,X2))__(X1,active(X2))active(and(X1,X2))and(active(X1),X2)__(mark(X1),X2)mark(__(X1,X2))__(X1,mark(X2))mark(__(X1,X2))and(mark(X1),X2)mark(and(X1,X2))proper(__(X1,X2))__(proper(X1),proper(X2))proper(nil)ok(nil)proper(and(X1,X2))and(proper(X1),proper(X2))proper(tt)ok(tt)proper(isList(X))isList(proper(X))proper(isNeList(X))isNeList(proper(X))proper(isQid(X))isQid(proper(X))proper(isNePal(X))isNePal(proper(X))proper(isPal(X))isPal(proper(X))proper(a)ok(a)proper(e)ok(e)proper(i)ok(i)proper(o)ok(o)proper(u)ok(u)__(ok(X1),ok(X2))ok(__(X1,X2))and(ok(X1),ok(X2))ok(and(X1,X2))isList(ok(X))ok(isList(X))isNeList(ok(X))ok(isNeList(X))isQid(ok(X))ok(isQid(X))isNePal(ok(X))ok(isNePal(X))isPal(ok(X))ok(isPal(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_top(ok(X))Marked_top(active(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)active(__(X1,X2))__(active(X1),X2)active(__(X1,X2))__(X1,active(X2))active(and(X1,X2))and(active(X1),X2)__(mark(X1),X2)mark(__(X1,X2))__(X1,mark(X2))mark(__(X1,X2))and(mark(X1),X2)mark(and(X1,X2))proper(__(X1,X2))__(proper(X1),proper(X2))proper(nil)ok(nil)proper(and(X1,X2))and(proper(X1),proper(X2))proper(tt)ok(tt)proper(isList(X))isList(proper(X))proper(isNeList(X))isNeList(proper(X))proper(isQid(X))isQid(proper(X))proper(isNePal(X))isNePal(proper(X))proper(isPal(X))isPal(proper(X))proper(a)ok(a)proper(e)ok(e)proper(i)ok(i)proper(o)ok(o)proper(u)ok(u)__(ok(X1),ok(X2))ok(__(X1,X2))and(ok(X1),ok(X2))ok(and(X1,X2))isList(ok(X))ok(isList(X))isNeList(ok(X))ok(isNeList(X))isQid(ok(X))ok(isQid(X))isNePal(ok(X))ok(isNePal(X))isPal(ok(X))ok(isPal(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_top(ok(X))Marked_top(active(X))mark0proper230isQid10and230e0active20top0isPal10isNeList10o0__230ok220isNePal330tt0i0nil0Marked_top30a0isList120u0active(__(__(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)active(__(X1,X2))__(active(X1),X2)active(__(X1,X2))__(X1,active(X2))active(and(X1,X2))and(active(X1),X2)__(mark(X1),X2)mark(__(X1,X2))__(X1,mark(X2))mark(__(X1,X2))and(mark(X1),X2)mark(and(X1,X2))proper(__(X1,X2))__(proper(X1),proper(X2))proper(nil)ok(nil)proper(and(X1,X2))and(proper(X1),proper(X2))proper(tt)ok(tt)proper(isList(X))isList(proper(X))proper(isNeList(X))isNeList(proper(X))proper(isQid(X))isQid(proper(X))proper(isNePal(X))isNePal(proper(X))proper(isPal(X))isPal(proper(X))proper(a)ok(a)proper(e)ok(e)proper(i)ok(i)proper(o)ok(o)proper(u)ok(u)__(ok(X1),ok(X2))ok(__(X1,X2))and(ok(X1),ok(X2))ok(and(X1,X2))isList(ok(X))ok(isList(X))isNeList(ok(X))ok(isNeList(X))isQid(ok(X))ok(isQid(X))isNePal(ok(X))ok(isNePal(X))isPal(ok(X))ok(isPal(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_proper(__(X1,X2))Marked_proper(X1)Marked_proper(__(X1,X2))Marked_proper(X2)Marked_proper(and(X1,X2))Marked_proper(X1)Marked_proper(and(X1,X2))Marked_proper(X2)Marked_proper(isList(X))Marked_proper(X)Marked_proper(isNeList(X))Marked_proper(X)Marked_proper(isQid(X))Marked_proper(X)Marked_proper(isNePal(X))Marked_proper(X)Marked_proper(isPal(X))Marked_proper(X)mark0proper10isQid20and220e10active10top0isPal30isNeList10o30__220ok0isNePal120tt0Marked_proper30i10nil20a30isList30u0Marked_proper(isNePal(X))Marked_proper(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)active(__(X1,X2))__(active(X1),X2)active(__(X1,X2))__(X1,active(X2))active(and(X1,X2))and(active(X1),X2)__(mark(X1),X2)mark(__(X1,X2))__(X1,mark(X2))mark(__(X1,X2))and(mark(X1),X2)mark(and(X1,X2))proper(__(X1,X2))__(proper(X1),proper(X2))proper(nil)ok(nil)proper(and(X1,X2))and(proper(X1),proper(X2))proper(tt)ok(tt)proper(isList(X))isList(proper(X))proper(isNeList(X))isNeList(proper(X))proper(isQid(X))isQid(proper(X))proper(isNePal(X))isNePal(proper(X))proper(isPal(X))isPal(proper(X))proper(a)ok(a)proper(e)ok(e)proper(i)ok(i)proper(o)ok(o)proper(u)ok(u)__(ok(X1),ok(X2))ok(__(X1,X2))and(ok(X1),ok(X2))ok(and(X1,X2))isList(ok(X))ok(isList(X))isNeList(ok(X))ok(isNeList(X))isQid(ok(X))ok(isQid(X))isNePal(ok(X))ok(isNePal(X))isPal(ok(X))ok(isPal(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_proper(__(X1,X2))Marked_proper(X1)Marked_proper(__(X1,X2))Marked_proper(X2)Marked_proper(and(X1,X2))Marked_proper(X1)Marked_proper(and(X1,X2))Marked_proper(X2)Marked_proper(isList(X))Marked_proper(X)Marked_proper(isNeList(X))Marked_proper(X)Marked_proper(isQid(X))Marked_proper(X)Marked_proper(isPal(X))Marked_proper(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)active(__(X1,X2))__(active(X1),X2)active(__(X1,X2))__(X1,active(X2))active(and(X1,X2))and(active(X1),X2)__(mark(X1),X2)mark(__(X1,X2))__(X1,mark(X2))mark(__(X1,X2))and(mark(X1),X2)mark(and(X1,X2))proper(__(X1,X2))__(proper(X1),proper(X2))proper(nil)ok(nil)proper(and(X1,X2))and(proper(X1),proper(X2))proper(tt)ok(tt)proper(isList(X))isList(proper(X))proper(isNeList(X))isNeList(proper(X))proper(isQid(X))isQid(proper(X))proper(isNePal(X))isNePal(proper(X))proper(isPal(X))isPal(proper(X))proper(a)ok(a)proper(e)ok(e)proper(i)ok(i)proper(o)ok(o)proper(u)ok(u)__(ok(X1),ok(X2))ok(__(X1,X2))and(ok(X1),ok(X2))ok(and(X1,X2))isList(ok(X))ok(isList(X))isNeList(ok(X))ok(isNeList(X))isQid(ok(X))ok(isQid(X))isNePal(ok(X))ok(isNePal(X))isPal(ok(X))ok(isPal(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_proper(__(X1,X2))Marked_proper(X1)Marked_proper(__(X1,X2))Marked_proper(X2)Marked_proper(and(X1,X2))Marked_proper(X1)Marked_proper(and(X1,X2))Marked_proper(X2)Marked_proper(isList(X))Marked_proper(X)Marked_proper(isNeList(X))Marked_proper(X)Marked_proper(isQid(X))Marked_proper(X)Marked_proper(isPal(X))Marked_proper(X)mark0proper10isQid20and2120e0active10top0isPal20isNeList10o0__120ok0isNePal20tt0Marked_proper30i20nil30a0isList20u0Marked_proper(and(X1,X2))Marked_proper(X1)Marked_proper(and(X1,X2))Marked_proper(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)active(__(X1,X2))__(active(X1),X2)active(__(X1,X2))__(X1,active(X2))active(and(X1,X2))and(active(X1),X2)__(mark(X1),X2)mark(__(X1,X2))__(X1,mark(X2))mark(__(X1,X2))and(mark(X1),X2)mark(and(X1,X2))proper(__(X1,X2))__(proper(X1),proper(X2))proper(nil)ok(nil)proper(and(X1,X2))and(proper(X1),proper(X2))proper(tt)ok(tt)proper(isList(X))isList(proper(X))proper(isNeList(X))isNeList(proper(X))proper(isQid(X))isQid(proper(X))proper(isNePal(X))isNePal(proper(X))proper(isPal(X))isPal(proper(X))proper(a)ok(a)proper(e)ok(e)proper(i)ok(i)proper(o)ok(o)proper(u)ok(u)__(ok(X1),ok(X2))ok(__(X1,X2))and(ok(X1),ok(X2))ok(and(X1,X2))isList(ok(X))ok(isList(X))isNeList(ok(X))ok(isNeList(X))isQid(ok(X))ok(isQid(X))isNePal(ok(X))ok(isNePal(X))isPal(ok(X))ok(isPal(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_proper(__(X1,X2))Marked_proper(X1)Marked_proper(__(X1,X2))Marked_proper(X2)Marked_proper(isList(X))Marked_proper(X)Marked_proper(isNeList(X))Marked_proper(X)Marked_proper(isQid(X))Marked_proper(X)Marked_proper(isPal(X))Marked_proper(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)active(__(X1,X2))__(active(X1),X2)active(__(X1,X2))__(X1,active(X2))active(and(X1,X2))and(active(X1),X2)__(mark(X1),X2)mark(__(X1,X2))__(X1,mark(X2))mark(__(X1,X2))and(mark(X1),X2)mark(and(X1,X2))proper(__(X1,X2))__(proper(X1),proper(X2))proper(nil)ok(nil)proper(and(X1,X2))and(proper(X1),proper(X2))proper(tt)ok(tt)proper(isList(X))isList(proper(X))proper(isNeList(X))isNeList(proper(X))proper(isQid(X))isQid(proper(X))proper(isNePal(X))isNePal(proper(X))proper(isPal(X))isPal(proper(X))proper(a)ok(a)proper(e)ok(e)proper(i)ok(i)proper(o)ok(o)proper(u)ok(u)__(ok(X1),ok(X2))ok(__(X1,X2))and(ok(X1),ok(X2))ok(and(X1,X2))isList(ok(X))ok(isList(X))isNeList(ok(X))ok(isNeList(X))isQid(ok(X))ok(isQid(X))isNePal(ok(X))ok(isNePal(X))isPal(ok(X))ok(isPal(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_proper(__(X1,X2))Marked_proper(X1)Marked_proper(__(X1,X2))Marked_proper(X2)Marked_proper(isList(X))Marked_proper(X)Marked_proper(isNeList(X))Marked_proper(X)Marked_proper(isQid(X))Marked_proper(X)Marked_proper(isPal(X))Marked_proper(X)mark0proper20isQid20and20e0active20top0isPal30isNeList230o10__120ok0isNePal30tt0Marked_proper30i30nil30a0isList10u0Marked_proper(isNeList(X))Marked_proper(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)active(__(X1,X2))__(active(X1),X2)active(__(X1,X2))__(X1,active(X2))active(and(X1,X2))and(active(X1),X2)__(mark(X1),X2)mark(__(X1,X2))__(X1,mark(X2))mark(__(X1,X2))and(mark(X1),X2)mark(and(X1,X2))proper(__(X1,X2))__(proper(X1),proper(X2))proper(nil)ok(nil)proper(and(X1,X2))and(proper(X1),proper(X2))proper(tt)ok(tt)proper(isList(X))isList(proper(X))proper(isNeList(X))isNeList(proper(X))proper(isQid(X))isQid(proper(X))proper(isNePal(X))isNePal(proper(X))proper(isPal(X))isPal(proper(X))proper(a)ok(a)proper(e)ok(e)proper(i)ok(i)proper(o)ok(o)proper(u)ok(u)__(ok(X1),ok(X2))ok(__(X1,X2))and(ok(X1),ok(X2))ok(and(X1,X2))isList(ok(X))ok(isList(X))isNeList(ok(X))ok(isNeList(X))isQid(ok(X))ok(isQid(X))isNePal(ok(X))ok(isNePal(X))isPal(ok(X))ok(isPal(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_proper(__(X1,X2))Marked_proper(X1)Marked_proper(__(X1,X2))Marked_proper(X2)Marked_proper(isList(X))Marked_proper(X)Marked_proper(isQid(X))Marked_proper(X)Marked_proper(isPal(X))Marked_proper(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)active(__(X1,X2))__(active(X1),X2)active(__(X1,X2))__(X1,active(X2))active(and(X1,X2))and(active(X1),X2)__(mark(X1),X2)mark(__(X1,X2))__(X1,mark(X2))mark(__(X1,X2))and(mark(X1),X2)mark(and(X1,X2))proper(__(X1,X2))__(proper(X1),proper(X2))proper(nil)ok(nil)proper(and(X1,X2))and(proper(X1),proper(X2))proper(tt)ok(tt)proper(isList(X))isList(proper(X))proper(isNeList(X))isNeList(proper(X))proper(isQid(X))isQid(proper(X))proper(isNePal(X))isNePal(proper(X))proper(isPal(X))isPal(proper(X))proper(a)ok(a)proper(e)ok(e)proper(i)ok(i)proper(o)ok(o)proper(u)ok(u)__(ok(X1),ok(X2))ok(__(X1,X2))and(ok(X1),ok(X2))ok(and(X1,X2))isList(ok(X))ok(isList(X))isNeList(ok(X))ok(isNeList(X))isQid(ok(X))ok(isQid(X))isNePal(ok(X))ok(isNePal(X))isPal(ok(X))ok(isPal(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_proper(__(X1,X2))Marked_proper(X1)Marked_proper(__(X1,X2))Marked_proper(X2)Marked_proper(isList(X))Marked_proper(X)Marked_proper(isQid(X))Marked_proper(X)Marked_proper(isPal(X))Marked_proper(X)mark0proper10isQid120and0e10active10top0isPal10isNeList0o0__220ok0isNePal20tt0Marked_proper30i20nil0a30isList10u0Marked_proper(isQid(X))Marked_proper(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)active(__(X1,X2))__(active(X1),X2)active(__(X1,X2))__(X1,active(X2))active(and(X1,X2))and(active(X1),X2)__(mark(X1),X2)mark(__(X1,X2))__(X1,mark(X2))mark(__(X1,X2))and(mark(X1),X2)mark(and(X1,X2))proper(__(X1,X2))__(proper(X1),proper(X2))proper(nil)ok(nil)proper(and(X1,X2))and(proper(X1),proper(X2))proper(tt)ok(tt)proper(isList(X))isList(proper(X))proper(isNeList(X))isNeList(proper(X))proper(isQid(X))isQid(proper(X))proper(isNePal(X))isNePal(proper(X))proper(isPal(X))isPal(proper(X))proper(a)ok(a)proper(e)ok(e)proper(i)ok(i)proper(o)ok(o)proper(u)ok(u)__(ok(X1),ok(X2))ok(__(X1,X2))and(ok(X1),ok(X2))ok(and(X1,X2))isList(ok(X))ok(isList(X))isNeList(ok(X))ok(isNeList(X))isQid(ok(X))ok(isQid(X))isNePal(ok(X))ok(isNePal(X))isPal(ok(X))ok(isPal(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_proper(__(X1,X2))Marked_proper(X1)Marked_proper(__(X1,X2))Marked_proper(X2)Marked_proper(isList(X))Marked_proper(X)Marked_proper(isPal(X))Marked_proper(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)active(__(X1,X2))__(active(X1),X2)active(__(X1,X2))__(X1,active(X2))active(and(X1,X2))and(active(X1),X2)__(mark(X1),X2)mark(__(X1,X2))__(X1,mark(X2))mark(__(X1,X2))and(mark(X1),X2)mark(and(X1,X2))proper(__(X1,X2))__(proper(X1),proper(X2))proper(nil)ok(nil)proper(and(X1,X2))and(proper(X1),proper(X2))proper(tt)ok(tt)proper(isList(X))isList(proper(X))proper(isNeList(X))isNeList(proper(X))proper(isQid(X))isQid(proper(X))proper(isNePal(X))isNePal(proper(X))proper(isPal(X))isPal(proper(X))proper(a)ok(a)proper(e)ok(e)proper(i)ok(i)proper(o)ok(o)proper(u)ok(u)__(ok(X1),ok(X2))ok(__(X1,X2))and(ok(X1),ok(X2))ok(and(X1,X2))isList(ok(X))ok(isList(X))isNeList(ok(X))ok(isNeList(X))isQid(ok(X))ok(isQid(X))isNePal(ok(X))ok(isNePal(X))isPal(ok(X))ok(isPal(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_proper(__(X1,X2))Marked_proper(X1)Marked_proper(__(X1,X2))Marked_proper(X2)Marked_proper(isList(X))Marked_proper(X)Marked_proper(isPal(X))Marked_proper(X)mark0proper20isQid20and20e30active10top0isPal20isNeList10o30__2210ok0isNePal120tt30Marked_proper30i30nil30a0isList220u10Marked_proper(__(X1,X2))Marked_proper(X1)Marked_proper(__(X1,X2))Marked_proper(X2)Marked_proper(isList(X))Marked_proper(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)active(__(X1,X2))__(active(X1),X2)active(__(X1,X2))__(X1,active(X2))active(and(X1,X2))and(active(X1),X2)__(mark(X1),X2)mark(__(X1,X2))__(X1,mark(X2))mark(__(X1,X2))and(mark(X1),X2)mark(and(X1,X2))proper(__(X1,X2))__(proper(X1),proper(X2))proper(nil)ok(nil)proper(and(X1,X2))and(proper(X1),proper(X2))proper(tt)ok(tt)proper(isList(X))isList(proper(X))proper(isNeList(X))isNeList(proper(X))proper(isQid(X))isQid(proper(X))proper(isNePal(X))isNePal(proper(X))proper(isPal(X))isPal(proper(X))proper(a)ok(a)proper(e)ok(e)proper(i)ok(i)proper(o)ok(o)proper(u)ok(u)__(ok(X1),ok(X2))ok(__(X1,X2))and(ok(X1),ok(X2))ok(and(X1,X2))isList(ok(X))ok(isList(X))isNeList(ok(X))ok(isNeList(X))isQid(ok(X))ok(isQid(X))isNePal(ok(X))ok(isNePal(X))isPal(ok(X))ok(isPal(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_proper(isPal(X))Marked_proper(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)active(__(X1,X2))__(active(X1),X2)active(__(X1,X2))__(X1,active(X2))active(and(X1,X2))and(active(X1),X2)__(mark(X1),X2)mark(__(X1,X2))__(X1,mark(X2))mark(__(X1,X2))and(mark(X1),X2)mark(and(X1,X2))proper(__(X1,X2))__(proper(X1),proper(X2))proper(nil)ok(nil)proper(and(X1,X2))and(proper(X1),proper(X2))proper(tt)ok(tt)proper(isList(X))isList(proper(X))proper(isNeList(X))isNeList(proper(X))proper(isQid(X))isQid(proper(X))proper(isNePal(X))isNePal(proper(X))proper(isPal(X))isPal(proper(X))proper(a)ok(a)proper(e)ok(e)proper(i)ok(i)proper(o)ok(o)proper(u)ok(u)__(ok(X1),ok(X2))ok(__(X1,X2))and(ok(X1),ok(X2))ok(and(X1,X2))isList(ok(X))ok(isList(X))isNeList(ok(X))ok(isNeList(X))isQid(ok(X))ok(isQid(X))isNePal(ok(X))ok(isNePal(X))isPal(ok(X))ok(isPal(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_proper(isPal(X))Marked_proper(X)mark0proper230isQid10and10e30active20top0isPal330isNeList330o0__230ok220isNePal220tt20Marked_proper30i0nil0a0isList10u20active(__(__(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)active(__(X1,X2))__(active(X1),X2)active(__(X1,X2))__(X1,active(X2))active(and(X1,X2))and(active(X1),X2)__(mark(X1),X2)mark(__(X1,X2))__(X1,mark(X2))mark(__(X1,X2))and(mark(X1),X2)mark(and(X1,X2))proper(__(X1,X2))__(proper(X1),proper(X2))proper(nil)ok(nil)proper(and(X1,X2))and(proper(X1),proper(X2))proper(tt)ok(tt)proper(isList(X))isList(proper(X))proper(isNeList(X))isNeList(proper(X))proper(isQid(X))isQid(proper(X))proper(isNePal(X))isNePal(proper(X))proper(isPal(X))isPal(proper(X))proper(a)ok(a)proper(e)ok(e)proper(i)ok(i)proper(o)ok(o)proper(u)ok(u)__(ok(X1),ok(X2))ok(__(X1,X2))and(ok(X1),ok(X2))ok(and(X1,X2))isList(ok(X))ok(isList(X))isNeList(ok(X))ok(isNeList(X))isQid(ok(X))ok(isQid(X))isNePal(ok(X))ok(isNePal(X))isPal(ok(X))ok(isPal(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_active(__(X1,X2))Marked_active(X1)Marked_active(__(X1,X2))Marked_active(X2)Marked_active(and(X1,X2))Marked_active(X1)mark0proper10isQid210and10Marked_active30e0active10top0isPal0isNeList20o0__1310ok0isNePal220tt20i0nil0a0isList10u20Marked_active(__(X1,X2))Marked_active(X1)Marked_active(__(X1,X2))Marked_active(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)active(__(X1,X2))__(active(X1),X2)active(__(X1,X2))__(X1,active(X2))active(and(X1,X2))and(active(X1),X2)__(mark(X1),X2)mark(__(X1,X2))__(X1,mark(X2))mark(__(X1,X2))and(mark(X1),X2)mark(and(X1,X2))proper(__(X1,X2))__(proper(X1),proper(X2))proper(nil)ok(nil)proper(and(X1,X2))and(proper(X1),proper(X2))proper(tt)ok(tt)proper(isList(X))isList(proper(X))proper(isNeList(X))isNeList(proper(X))proper(isQid(X))isQid(proper(X))proper(isNePal(X))isNePal(proper(X))proper(isPal(X))isPal(proper(X))proper(a)ok(a)proper(e)ok(e)proper(i)ok(i)proper(o)ok(o)proper(u)ok(u)__(ok(X1),ok(X2))ok(__(X1,X2))and(ok(X1),ok(X2))ok(and(X1,X2))isList(ok(X))ok(isList(X))isNeList(ok(X))ok(isNeList(X))isQid(ok(X))ok(isQid(X))isNePal(ok(X))ok(isNePal(X))isPal(ok(X))ok(isPal(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_active(and(X1,X2))Marked_active(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)active(__(X1,X2))__(active(X1),X2)active(__(X1,X2))__(X1,active(X2))active(and(X1,X2))and(active(X1),X2)__(mark(X1),X2)mark(__(X1,X2))__(X1,mark(X2))mark(__(X1,X2))and(mark(X1),X2)mark(and(X1,X2))proper(__(X1,X2))__(proper(X1),proper(X2))proper(nil)ok(nil)proper(and(X1,X2))and(proper(X1),proper(X2))proper(tt)ok(tt)proper(isList(X))isList(proper(X))proper(isNeList(X))isNeList(proper(X))proper(isQid(X))isQid(proper(X))proper(isNePal(X))isNePal(proper(X))proper(isPal(X))isPal(proper(X))proper(a)ok(a)proper(e)ok(e)proper(i)ok(i)proper(o)ok(o)proper(u)ok(u)__(ok(X1),ok(X2))ok(__(X1,X2))and(ok(X1),ok(X2))ok(and(X1,X2))isList(ok(X))ok(isList(X))isNeList(ok(X))ok(isNeList(X))isQid(ok(X))ok(isQid(X))isNePal(ok(X))ok(isNePal(X))isPal(ok(X))ok(isPal(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_active(and(X1,X2))Marked_active(X1)mark0proper230isQid10and1110Marked_active30e0active20top0isPal330isNeList220o0__230ok220isNePal10tt0i0nil0a0isList120u0active(__(__(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)active(__(X1,X2))__(active(X1),X2)active(__(X1,X2))__(X1,active(X2))active(and(X1,X2))and(active(X1),X2)__(mark(X1),X2)mark(__(X1,X2))__(X1,mark(X2))mark(__(X1,X2))and(mark(X1),X2)mark(and(X1,X2))proper(__(X1,X2))__(proper(X1),proper(X2))proper(nil)ok(nil)proper(and(X1,X2))and(proper(X1),proper(X2))proper(tt)ok(tt)proper(isList(X))isList(proper(X))proper(isNeList(X))isNeList(proper(X))proper(isQid(X))isQid(proper(X))proper(isNePal(X))isNePal(proper(X))proper(isPal(X))isPal(proper(X))proper(a)ok(a)proper(e)ok(e)proper(i)ok(i)proper(o)ok(o)proper(u)ok(u)__(ok(X1),ok(X2))ok(__(X1,X2))and(ok(X1),ok(X2))ok(and(X1,X2))isList(ok(X))ok(isList(X))isNeList(ok(X))ok(isNeList(X))isQid(ok(X))ok(isQid(X))isNePal(ok(X))ok(isNePal(X))isPal(ok(X))ok(isPal(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_isNeList(ok(X))Marked_isNeList(X)mark310proper30isQid30and2220e20active330top0isPal10isNeList20o10__3230ok120isNePal10Marked_isNeList30tt30i20nil20a20isList30u20active(__(__(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)active(__(X1,X2))__(active(X1),X2)active(__(X1,X2))__(X1,active(X2))active(and(X1,X2))and(active(X1),X2)__(mark(X1),X2)mark(__(X1,X2))__(X1,mark(X2))mark(__(X1,X2))and(mark(X1),X2)mark(and(X1,X2))proper(__(X1,X2))__(proper(X1),proper(X2))proper(nil)ok(nil)proper(and(X1,X2))and(proper(X1),proper(X2))proper(tt)ok(tt)proper(isList(X))isList(proper(X))proper(isNeList(X))isNeList(proper(X))proper(isQid(X))isQid(proper(X))proper(isNePal(X))isNePal(proper(X))proper(isPal(X))isPal(proper(X))proper(a)ok(a)proper(e)ok(e)proper(i)ok(i)proper(o)ok(o)proper(u)ok(u)__(ok(X1),ok(X2))ok(__(X1,X2))and(ok(X1),ok(X2))ok(and(X1,X2))isList(ok(X))ok(isList(X))isNeList(ok(X))ok(isNeList(X))isQid(ok(X))ok(isQid(X))isNePal(ok(X))ok(isNePal(X))isPal(ok(X))ok(isPal(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_isList(ok(X))Marked_isList(X)mark310proper30isQid10and120e10active330top0isPal30Marked_isList30isNeList10o20__3230ok120isNePal20tt20i10nil20a20isList20u20active(__(__(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)active(__(X1,X2))__(active(X1),X2)active(__(X1,X2))__(X1,active(X2))active(and(X1,X2))and(active(X1),X2)__(mark(X1),X2)mark(__(X1,X2))__(X1,mark(X2))mark(__(X1,X2))and(mark(X1),X2)mark(and(X1,X2))proper(__(X1,X2))__(proper(X1),proper(X2))proper(nil)ok(nil)proper(and(X1,X2))and(proper(X1),proper(X2))proper(tt)ok(tt)proper(isList(X))isList(proper(X))proper(isNeList(X))isNeList(proper(X))proper(isQid(X))isQid(proper(X))proper(isNePal(X))isNePal(proper(X))proper(isPal(X))isPal(proper(X))proper(a)ok(a)proper(e)ok(e)proper(i)ok(i)proper(o)ok(o)proper(u)ok(u)__(ok(X1),ok(X2))ok(__(X1,X2))and(ok(X1),ok(X2))ok(and(X1,X2))isList(ok(X))ok(isList(X))isNeList(ok(X))ok(isNeList(X))isQid(ok(X))ok(isQid(X))isNePal(ok(X))ok(isNePal(X))isPal(ok(X))ok(isPal(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_isQid(ok(X))Marked_isQid(X)mark0proper230isQid220Marked_isQid30and3120e0active20top0isPal220isNeList120o0__230ok220isNePal10tt20i20nil0a10isList330u20active(__(__(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)active(__(X1,X2))__(active(X1),X2)active(__(X1,X2))__(X1,active(X2))active(and(X1,X2))and(active(X1),X2)__(mark(X1),X2)mark(__(X1,X2))__(X1,mark(X2))mark(__(X1,X2))and(mark(X1),X2)mark(and(X1,X2))proper(__(X1,X2))__(proper(X1),proper(X2))proper(nil)ok(nil)proper(and(X1,X2))and(proper(X1),proper(X2))proper(tt)ok(tt)proper(isList(X))isList(proper(X))proper(isNeList(X))isNeList(proper(X))proper(isQid(X))isQid(proper(X))proper(isNePal(X))isNePal(proper(X))proper(isPal(X))isPal(proper(X))proper(a)ok(a)proper(e)ok(e)proper(i)ok(i)proper(o)ok(o)proper(u)ok(u)__(ok(X1),ok(X2))ok(__(X1,X2))and(ok(X1),ok(X2))ok(and(X1,X2))isList(ok(X))ok(isList(X))isNeList(ok(X))ok(isNeList(X))isQid(ok(X))ok(isQid(X))isNePal(ok(X))ok(isNePal(X))isPal(ok(X))ok(isPal(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_isPal(ok(X))Marked_isPal(X)mark310proper130isQid120and2210e10active30top0isPal230isNeList230Marked_isPal30o0__3230ok120isNePal230tt0i0nil0a10isList230u0active(__(__(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)active(__(X1,X2))__(active(X1),X2)active(__(X1,X2))__(X1,active(X2))active(and(X1,X2))and(active(X1),X2)__(mark(X1),X2)mark(__(X1,X2))__(X1,mark(X2))mark(__(X1,X2))and(mark(X1),X2)mark(and(X1,X2))proper(__(X1,X2))__(proper(X1),proper(X2))proper(nil)ok(nil)proper(and(X1,X2))and(proper(X1),proper(X2))proper(tt)ok(tt)proper(isList(X))isList(proper(X))proper(isNeList(X))isNeList(proper(X))proper(isQid(X))isQid(proper(X))proper(isNePal(X))isNePal(proper(X))proper(isPal(X))isPal(proper(X))proper(a)ok(a)proper(e)ok(e)proper(i)ok(i)proper(o)ok(o)proper(u)ok(u)__(ok(X1),ok(X2))ok(__(X1,X2))and(ok(X1),ok(X2))ok(and(X1,X2))isList(ok(X))ok(isList(X))isNeList(ok(X))ok(isNeList(X))isQid(ok(X))ok(isQid(X))isNePal(ok(X))ok(isNePal(X))isPal(ok(X))ok(isPal(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_isNePal(ok(X))Marked_isNePal(X)mark0proper230isQid10and10e0active20top0isPal10isNeList10o0__230ok220isNePal120tt0i0nil0a20isList10Marked_isNePal30u0active(__(__(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)active(__(X1,X2))__(active(X1),X2)active(__(X1,X2))__(X1,active(X2))active(and(X1,X2))and(active(X1),X2)__(mark(X1),X2)mark(__(X1,X2))__(X1,mark(X2))mark(__(X1,X2))and(mark(X1),X2)mark(and(X1,X2))proper(__(X1,X2))__(proper(X1),proper(X2))proper(nil)ok(nil)proper(and(X1,X2))and(proper(X1),proper(X2))proper(tt)ok(tt)proper(isList(X))isList(proper(X))proper(isNeList(X))isNeList(proper(X))proper(isQid(X))isQid(proper(X))proper(isNePal(X))isNePal(proper(X))proper(isPal(X))isPal(proper(X))proper(a)ok(a)proper(e)ok(e)proper(i)ok(i)proper(o)ok(o)proper(u)ok(u)__(ok(X1),ok(X2))ok(__(X1,X2))and(ok(X1),ok(X2))ok(and(X1,X2))isList(ok(X))ok(isList(X))isNeList(ok(X))ok(isNeList(X))isQid(ok(X))ok(isQid(X))isNePal(ok(X))ok(isNePal(X))isPal(ok(X))ok(isPal(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked___(mark(X1),X2)Marked___(X1,X2)Marked___(X1,mark(X2))Marked___(X1,X2)Marked___(ok(X1),ok(X2))Marked___(X1,X2)mark210proper20isQid0and1110e0Marked___20active210top0isPal30isNeList10o0__1110ok10isNePal30tt0i0nil10a0isList10u20Marked___(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)active(__(X1,X2))__(active(X1),X2)active(__(X1,X2))__(X1,active(X2))active(and(X1,X2))and(active(X1),X2)__(mark(X1),X2)mark(__(X1,X2))__(X1,mark(X2))mark(__(X1,X2))and(mark(X1),X2)mark(and(X1,X2))proper(__(X1,X2))__(proper(X1),proper(X2))proper(nil)ok(nil)proper(and(X1,X2))and(proper(X1),proper(X2))proper(tt)ok(tt)proper(isList(X))isList(proper(X))proper(isNeList(X))isNeList(proper(X))proper(isQid(X))isQid(proper(X))proper(isNePal(X))isNePal(proper(X))proper(isPal(X))isPal(proper(X))proper(a)ok(a)proper(e)ok(e)proper(i)ok(i)proper(o)ok(o)proper(u)ok(u)__(ok(X1),ok(X2))ok(__(X1,X2))and(ok(X1),ok(X2))ok(and(X1,X2))isList(ok(X))ok(isList(X))isNeList(ok(X))ok(isNeList(X))isQid(ok(X))ok(isQid(X))isNePal(ok(X))ok(isNePal(X))isPal(ok(X))ok(isPal(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked___(mark(X1),X2)Marked___(X1,X2)Marked___(ok(X1),ok(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)active(__(X1,X2))__(active(X1),X2)active(__(X1,X2))__(X1,active(X2))active(and(X1,X2))and(active(X1),X2)__(mark(X1),X2)mark(__(X1,X2))__(X1,mark(X2))mark(__(X1,X2))and(mark(X1),X2)mark(and(X1,X2))proper(__(X1,X2))__(proper(X1),proper(X2))proper(nil)ok(nil)proper(and(X1,X2))and(proper(X1),proper(X2))proper(tt)ok(tt)proper(isList(X))isList(proper(X))proper(isNeList(X))isNeList(proper(X))proper(isQid(X))isQid(proper(X))proper(isNePal(X))isNePal(proper(X))proper(isPal(X))isPal(proper(X))proper(a)ok(a)proper(e)ok(e)proper(i)ok(i)proper(o)ok(o)proper(u)ok(u)__(ok(X1),ok(X2))ok(__(X1,X2))and(ok(X1),ok(X2))ok(and(X1,X2))isList(ok(X))ok(isList(X))isNeList(ok(X))ok(isNeList(X))isQid(ok(X))ok(isQid(X))isNePal(ok(X))ok(isNePal(X))isPal(ok(X))ok(isPal(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked___(mark(X1),X2)Marked___(X1,X2)Marked___(ok(X1),ok(X2))Marked___(X1,X2)mark0proper20isQid20and220e20Marked___10active10top0isPal10isNeList10o20__10ok110isNePal20tt20i10nil10a10isList20u10Marked___(ok(X1),ok(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)active(__(X1,X2))__(active(X1),X2)active(__(X1,X2))__(X1,active(X2))active(and(X1,X2))and(active(X1),X2)__(mark(X1),X2)mark(__(X1,X2))__(X1,mark(X2))mark(__(X1,X2))and(mark(X1),X2)mark(and(X1,X2))proper(__(X1,X2))__(proper(X1),proper(X2))proper(nil)ok(nil)proper(and(X1,X2))and(proper(X1),proper(X2))proper(tt)ok(tt)proper(isList(X))isList(proper(X))proper(isNeList(X))isNeList(proper(X))proper(isQid(X))isQid(proper(X))proper(isNePal(X))isNePal(proper(X))proper(isPal(X))isPal(proper(X))proper(a)ok(a)proper(e)ok(e)proper(i)ok(i)proper(o)ok(o)proper(u)ok(u)__(ok(X1),ok(X2))ok(__(X1,X2))and(ok(X1),ok(X2))ok(and(X1,X2))isList(ok(X))ok(isList(X))isNeList(ok(X))ok(isNeList(X))isQid(ok(X))ok(isQid(X))isNePal(ok(X))ok(isNePal(X))isPal(ok(X))ok(isPal(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))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)active(__(X1,X2))__(active(X1),X2)active(__(X1,X2))__(X1,active(X2))active(and(X1,X2))and(active(X1),X2)__(mark(X1),X2)mark(__(X1,X2))__(X1,mark(X2))mark(__(X1,X2))and(mark(X1),X2)mark(and(X1,X2))proper(__(X1,X2))__(proper(X1),proper(X2))proper(nil)ok(nil)proper(and(X1,X2))and(proper(X1),proper(X2))proper(tt)ok(tt)proper(isList(X))isList(proper(X))proper(isNeList(X))isNeList(proper(X))proper(isQid(X))isQid(proper(X))proper(isNePal(X))isNePal(proper(X))proper(isPal(X))isPal(proper(X))proper(a)ok(a)proper(e)ok(e)proper(i)ok(i)proper(o)ok(o)proper(u)ok(u)__(ok(X1),ok(X2))ok(__(X1,X2))and(ok(X1),ok(X2))ok(and(X1,X2))isList(ok(X))ok(isList(X))isNeList(ok(X))ok(isNeList(X))isQid(ok(X))ok(isQid(X))isNePal(ok(X))ok(isNePal(X))isPal(ok(X))ok(isPal(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked___(mark(X1),X2)Marked___(X1,X2)mark210proper10isQid0and2310e10Marked___30active230top0isPal30isNeList130o20__2230ok0isNePal20tt0i0nil0a20isList110u0active(__(__(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)active(__(X1,X2))__(active(X1),X2)active(__(X1,X2))__(X1,active(X2))active(and(X1,X2))and(active(X1),X2)__(mark(X1),X2)mark(__(X1,X2))__(X1,mark(X2))mark(__(X1,X2))and(mark(X1),X2)mark(and(X1,X2))proper(__(X1,X2))__(proper(X1),proper(X2))proper(nil)ok(nil)proper(and(X1,X2))and(proper(X1),proper(X2))proper(tt)ok(tt)proper(isList(X))isList(proper(X))proper(isNeList(X))isNeList(proper(X))proper(isQid(X))isQid(proper(X))proper(isNePal(X))isNePal(proper(X))proper(isPal(X))isPal(proper(X))proper(a)ok(a)proper(e)ok(e)proper(i)ok(i)proper(o)ok(o)proper(u)ok(u)__(ok(X1),ok(X2))ok(__(X1,X2))and(ok(X1),ok(X2))ok(and(X1,X2))isList(ok(X))ok(isList(X))isNeList(ok(X))ok(isNeList(X))isQid(ok(X))ok(isQid(X))isNePal(ok(X))ok(isNePal(X))isPal(ok(X))ok(isPal(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_and(mark(X1),X2)Marked_and(X1,X2)Marked_and(ok(X1),ok(X2))Marked_and(X1,X2)mark110proper0isQid0and110e0active110top0isPal0isNeList0o0__110ok20isNePal0tt0i0nil0a0Marked_and10isList0u0Marked_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)active(__(X1,X2))__(active(X1),X2)active(__(X1,X2))__(X1,active(X2))active(and(X1,X2))and(active(X1),X2)__(mark(X1),X2)mark(__(X1,X2))__(X1,mark(X2))mark(__(X1,X2))and(mark(X1),X2)mark(and(X1,X2))proper(__(X1,X2))__(proper(X1),proper(X2))proper(nil)ok(nil)proper(and(X1,X2))and(proper(X1),proper(X2))proper(tt)ok(tt)proper(isList(X))isList(proper(X))proper(isNeList(X))isNeList(proper(X))proper(isQid(X))isQid(proper(X))proper(isNePal(X))isNePal(proper(X))proper(isPal(X))isPal(proper(X))proper(a)ok(a)proper(e)ok(e)proper(i)ok(i)proper(o)ok(o)proper(u)ok(u)__(ok(X1),ok(X2))ok(__(X1,X2))and(ok(X1),ok(X2))ok(and(X1,X2))isList(ok(X))ok(isList(X))isNeList(ok(X))ok(isNeList(X))isQid(ok(X))ok(isQid(X))isNePal(ok(X))ok(isNePal(X))isPal(ok(X))ok(isPal(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_and(ok(X1),ok(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)active(__(X1,X2))__(active(X1),X2)active(__(X1,X2))__(X1,active(X2))active(and(X1,X2))and(active(X1),X2)__(mark(X1),X2)mark(__(X1,X2))__(X1,mark(X2))mark(__(X1,X2))and(mark(X1),X2)mark(and(X1,X2))proper(__(X1,X2))__(proper(X1),proper(X2))proper(nil)ok(nil)proper(and(X1,X2))and(proper(X1),proper(X2))proper(tt)ok(tt)proper(isList(X))isList(proper(X))proper(isNeList(X))isNeList(proper(X))proper(isQid(X))isQid(proper(X))proper(isNePal(X))isNePal(proper(X))proper(isPal(X))isPal(proper(X))proper(a)ok(a)proper(e)ok(e)proper(i)ok(i)proper(o)ok(o)proper(u)ok(u)__(ok(X1),ok(X2))ok(__(X1,X2))and(ok(X1),ok(X2))ok(and(X1,X2))isList(ok(X))ok(isList(X))isNeList(ok(X))ok(isNeList(X))isQid(ok(X))ok(isQid(X))isNePal(ok(X))ok(isNePal(X))isPal(ok(X))ok(isPal(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_and(ok(X1),ok(X2))Marked_and(X1,X2)mark310proper30isQid30and120e30active330top0isPal20isNeList20o20__3230ok120isNePal20tt20i20nil20a10Marked_and10isList20u20