Marked_isNePalMarked_activenilttMarked_____isNePalMarked_markactiveandMarked_andmarkX2X1PIZYXactive(__(__(X,Y),Z))mark(__(X,__(Y,Z)))active(__(X,nil))mark(X)active(__(nil,X))mark(X)active(and(tt,X))mark(X)active(isNePal(__(I,__(P,I))))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(isNePal(X))active(isNePal(mark(X)))__(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)isNePal(mark(X))isNePal(X)isNePal(active(X))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(isNePal(__(I,__(P,I))))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(isNePal(X))active(isNePal(mark(X)))__(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)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(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(isNePal(__(I,__(P,I))))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(isNePal(X))Marked_active(isNePal(mark(X)))Marked_mark(isNePal(X))Marked_isNePal(mark(X))Marked_mark(isNePal(X))Marked_mark(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_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_isNePal(mark(X))Marked_isNePal(X)Marked_isNePal(active(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(isNePal(__(I,__(P,I))))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(isNePal(X))active(isNePal(mark(X)))__(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)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(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_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(isNePal(X))Marked_active(isNePal(mark(X)))Marked_mark(isNePal(X))Marked_mark(X)mark10and310active10Marked_mark330isNePal20__2210tt10nil10Marked_active30Marked_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_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(isNePal(X))Marked_active(isNePal(mark(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(isNePal(__(I,__(P,I))))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(isNePal(X))active(isNePal(mark(X)))__(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)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(X)Marked_mark(and(X1,X2))Marked_mark(X1)Marked_mark(isNePal(X))Marked_mark(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(isNePal(__(I,__(P,I))))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(isNePal(X))active(isNePal(mark(X)))__(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)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(X)Marked_mark(and(X1,X2))Marked_mark(X1)Marked_mark(isNePal(X))Marked_mark(X)Marked_mark1Marked_mark(isNePal(X))Marked_mark(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(isNePal(__(I,__(P,I))))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(isNePal(X))active(isNePal(mark(X)))__(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)isNePal(mark(X))isNePal(X)isNePal(active(X))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(isNePal(__(I,__(P,I))))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(isNePal(X))active(isNePal(mark(X)))__(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)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(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(isNePal(__(I,__(P,I))))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(isNePal(X))active(isNePal(mark(X)))__(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)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(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(isNePal(__(I,__(P,I))))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(isNePal(X))active(isNePal(mark(X)))__(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)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(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(isNePal(__(I,__(P,I))))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(isNePal(X))active(isNePal(mark(X)))__(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)isNePal(mark(X))isNePal(X)isNePal(active(X))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(isNePal(__(I,__(P,I))))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(isNePal(X))active(isNePal(mark(X)))__(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)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(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(isNePal(__(I,__(P,I))))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(isNePal(X))active(isNePal(mark(X)))__(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)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(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(isNePal(__(I,__(P,I))))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(isNePal(X))active(isNePal(mark(X)))__(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)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(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(isNePal(__(I,__(P,I))))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(isNePal(X))active(isNePal(mark(X)))__(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)isNePal(mark(X))isNePal(X)isNePal(active(X))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(isNePal(__(I,__(P,I))))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(isNePal(X))active(isNePal(mark(X)))__(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)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(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(isNePal(__(I,__(P,I))))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(isNePal(X))active(isNePal(mark(X)))__(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)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(X)