isNePalMarked___nilMarked_activettMarked_U12__U11Marked_U11activeMarked_markU12Marked_isNePalmarkX2X1PIZYXactive(__(__(X,Y),Z))mark(__(X,__(Y,Z)))active(__(X,nil))mark(X)active(__(nil,X))mark(X)active(U11(tt))mark(U12(tt))active(U12(tt))mark(tt)active(isNePal(__(I,__(P,I))))mark(U11(tt))mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(U11(X))active(U11(mark(X)))mark(tt)active(tt)mark(U12(X))active(U12(mark(X)))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)U11(mark(X))U11(X)U11(active(X))U11(X)U12(mark(X))U12(X)U12(active(X))U12(X)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(U11(tt))mark(U12(tt))active(U12(tt))mark(tt)active(isNePal(__(I,__(P,I))))mark(U11(tt))mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(U11(X))active(U11(mark(X)))mark(tt)active(tt)mark(U12(X))active(U12(mark(X)))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)U11(mark(X))U11(X)U11(active(X))U11(X)U12(mark(X))U12(X)U12(active(X))U12(X)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(U11(tt))Marked_mark(U12(tt))Marked_active(U11(tt))Marked_U12(tt)Marked_active(U12(tt))Marked_mark(tt)Marked_active(isNePal(__(I,__(P,I))))Marked_mark(U11(tt))Marked_active(isNePal(__(I,__(P,I))))Marked_U11(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(U11(X))Marked_active(U11(mark(X)))Marked_mark(U11(X))Marked_U11(mark(X))Marked_mark(U11(X))Marked_mark(X)Marked_mark(tt)Marked_active(tt)Marked_mark(U12(X))Marked_active(U12(mark(X)))Marked_mark(U12(X))Marked_U12(mark(X))Marked_mark(U12(X))Marked_mark(X)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_U11(mark(X))Marked_U11(X)Marked_U11(active(X))Marked_U11(X)Marked_U12(mark(X))Marked_U12(X)Marked_U12(active(X))Marked_U12(X)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(U11(tt))mark(U12(tt))active(U12(tt))mark(tt)active(isNePal(__(I,__(P,I))))mark(U11(tt))mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(U11(X))active(U11(mark(X)))mark(tt)active(tt)mark(U12(X))active(U12(mark(X)))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)U11(mark(X))U11(X)U11(active(X))U11(X)U12(mark(X))U12(X)U12(active(X))U12(X)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(U11(tt))Marked_mark(U12(tt))Marked_active(isNePal(__(I,__(P,I))))Marked_mark(U11(tt))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(U11(X))Marked_active(U11(mark(X)))Marked_mark(U11(X))Marked_mark(X)Marked_mark(U12(X))Marked_active(U12(mark(X)))Marked_mark(U12(X))Marked_mark(X)Marked_mark(isNePal(X))Marked_active(isNePal(mark(X)))Marked_mark(isNePal(X))Marked_mark(X)mark0U120Marked_mark10active0U1110__10tt0Marked_active10nil0isNePal10Marked_mark(U12(X))Marked_active(U12(mark(X)))active(__(__(X,Y),Z))mark(__(X,__(Y,Z)))active(__(X,nil))mark(X)active(__(nil,X))mark(X)active(U11(tt))mark(U12(tt))active(U12(tt))mark(tt)active(isNePal(__(I,__(P,I))))mark(U11(tt))mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(U11(X))active(U11(mark(X)))mark(tt)active(tt)mark(U12(X))active(U12(mark(X)))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)U11(mark(X))U11(X)U11(active(X))U11(X)U12(mark(X))U12(X)U12(active(X))U12(X)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(U11(tt))Marked_mark(U12(tt))Marked_active(isNePal(__(I,__(P,I))))Marked_mark(U11(tt))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(U11(X))Marked_active(U11(mark(X)))Marked_mark(U11(X))Marked_mark(X)Marked_mark(U12(X))Marked_mark(X)Marked_mark(isNePal(X))Marked_active(isNePal(mark(X)))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(U11(tt))mark(U12(tt))active(U12(tt))mark(tt)active(isNePal(__(I,__(P,I))))mark(U11(tt))mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(U11(X))active(U11(mark(X)))mark(tt)active(tt)mark(U12(X))active(U12(mark(X)))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)U11(mark(X))U11(X)U11(active(X))U11(X)U12(mark(X))U12(X)U12(active(X))U12(X)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(U11(tt))Marked_mark(U12(tt))Marked_active(isNePal(__(I,__(P,I))))Marked_mark(U11(tt))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(U11(X))Marked_active(U11(mark(X)))Marked_mark(U11(X))Marked_mark(X)Marked_mark(U12(X))Marked_mark(X)Marked_mark(isNePal(X))Marked_active(isNePal(mark(X)))Marked_mark(isNePal(X))Marked_mark(X)mark10U12230Marked_mark230active10U11330__2110tt20Marked_active230nil0isNePal30Marked_active(__(X,nil))Marked_mark(X)Marked_active(__(nil,X))Marked_mark(X)Marked_active(U11(tt))Marked_mark(U12(tt))Marked_active(isNePal(__(I,__(P,I))))Marked_mark(U11(tt))Marked_mark(__(X1,X2))Marked_mark(X1)Marked_mark(__(X1,X2))Marked_mark(X2)Marked_mark(U11(X))Marked_mark(X)Marked_mark(U12(X))Marked_mark(X)active(__(__(X,Y),Z))mark(__(X,__(Y,Z)))active(__(X,nil))mark(X)active(__(nil,X))mark(X)active(U11(tt))mark(U12(tt))active(U12(tt))mark(tt)active(isNePal(__(I,__(P,I))))mark(U11(tt))mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(U11(X))active(U11(mark(X)))mark(tt)active(tt)mark(U12(X))active(U12(mark(X)))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)U11(mark(X))U11(X)U11(active(X))U11(X)U12(mark(X))U12(X)U12(active(X))U12(X)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(X)Marked_active(__(__(X,Y),Z))Marked_mark(__(X,__(Y,Z)))Marked_mark(__(X1,X2))Marked_active(__(mark(X1),mark(X2)))Marked_mark(U11(X))Marked_active(U11(mark(X)))Marked_mark(isNePal(X))Marked_active(isNePal(mark(X)))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(U11(tt))mark(U12(tt))active(U12(tt))mark(tt)active(isNePal(__(I,__(P,I))))mark(U11(tt))mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(U11(X))active(U11(mark(X)))mark(tt)active(tt)mark(U12(X))active(U12(mark(X)))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)U11(mark(X))U11(X)U11(active(X))U11(X)U12(mark(X))U12(X)U12(active(X))U12(X)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(X)Marked_active(__(__(X,Y),Z))Marked_mark(__(X,__(Y,Z)))Marked_mark(__(X1,X2))Marked_active(__(mark(X1),mark(X2)))Marked_mark(U11(X))Marked_active(U11(mark(X)))Marked_mark(isNePal(X))Marked_active(isNePal(mark(X)))Marked_mark(isNePal(X))Marked_mark(X)mark0U120Marked_mark20active0U110__20tt0Marked_active10nil0isNePal10Marked_mark(U11(X))Marked_active(U11(mark(X)))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(U11(tt))mark(U12(tt))active(U12(tt))mark(tt)active(isNePal(__(I,__(P,I))))mark(U11(tt))mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(U11(X))active(U11(mark(X)))mark(tt)active(tt)mark(U12(X))active(U12(mark(X)))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)U11(mark(X))U11(X)U11(active(X))U11(X)U12(mark(X))U12(X)U12(active(X))U12(X)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(X)Marked_active(__(__(X,Y),Z))Marked_mark(__(X,__(Y,Z)))Marked_mark(__(X1,X2))Marked_active(__(mark(X1),mark(X2)))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(U11(tt))mark(U12(tt))active(U12(tt))mark(tt)active(isNePal(__(I,__(P,I))))mark(U11(tt))mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(U11(X))active(U11(mark(X)))mark(tt)active(tt)mark(U12(X))active(U12(mark(X)))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)U11(mark(X))U11(X)U11(active(X))U11(X)U12(mark(X))U12(X)U12(active(X))U12(X)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(X)Marked_active(__(__(X,Y),Z))Marked_mark(__(X,__(Y,Z)))Marked_mark(__(X1,X2))Marked_active(__(mark(X1),mark(X2)))Marked_mark(isNePal(X))Marked_mark(X)mark10U120Marked_mark20active10U110__210tt0Marked_active20nil0isNePal110Marked_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(U11(tt))mark(U12(tt))active(U12(tt))mark(tt)active(isNePal(__(I,__(P,I))))mark(U11(tt))mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(U11(X))active(U11(mark(X)))mark(tt)active(tt)mark(U12(X))active(U12(mark(X)))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)U11(mark(X))U11(X)U11(active(X))U11(X)U12(mark(X))U12(X)U12(active(X))U12(X)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(X)Marked_active(__(__(X,Y),Z))Marked_mark(__(X,__(Y,Z)))Marked_mark(__(X1,X2))Marked_active(__(mark(X1),mark(X2)))active(__(__(X,Y),Z))mark(__(X,__(Y,Z)))active(__(X,nil))mark(X)active(__(nil,X))mark(X)active(U11(tt))mark(U12(tt))active(U12(tt))mark(tt)active(isNePal(__(I,__(P,I))))mark(U11(tt))mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(U11(X))active(U11(mark(X)))mark(tt)active(tt)mark(U12(X))active(U12(mark(X)))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)U11(mark(X))U11(X)U11(active(X))U11(X)U12(mark(X))U12(X)U12(active(X))U12(X)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(X)Marked_active(__(__(X,Y),Z))Marked_mark(__(X,__(Y,Z)))Marked_mark(__(X1,X2))Marked_active(__(mark(X1),mark(X2)))mark10U120Marked_mark110active10U110__2210tt0Marked_active10nil20isNePal0active(__(__(X,Y),Z))mark(__(X,__(Y,Z)))active(__(X,nil))mark(X)active(__(nil,X))mark(X)active(U11(tt))mark(U12(tt))active(U12(tt))mark(tt)active(isNePal(__(I,__(P,I))))mark(U11(tt))mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(U11(X))active(U11(mark(X)))mark(tt)active(tt)mark(U12(X))active(U12(mark(X)))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)U11(mark(X))U11(X)U11(active(X))U11(X)U12(mark(X))U12(X)U12(active(X))U12(X)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(U11(tt))mark(U12(tt))active(U12(tt))mark(tt)active(isNePal(__(I,__(P,I))))mark(U11(tt))mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(U11(X))active(U11(mark(X)))mark(tt)active(tt)mark(U12(X))active(U12(mark(X)))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)U11(mark(X))U11(X)U11(active(X))U11(X)U12(mark(X))U12(X)U12(active(X))U12(X)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(U11(tt))mark(U12(tt))active(U12(tt))mark(tt)active(isNePal(__(I,__(P,I))))mark(U11(tt))mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(U11(X))active(U11(mark(X)))mark(tt)active(tt)mark(U12(X))active(U12(mark(X)))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)U11(mark(X))U11(X)U11(active(X))U11(X)U12(mark(X))U12(X)U12(active(X))U12(X)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(U11(tt))mark(U12(tt))active(U12(tt))mark(tt)active(isNePal(__(I,__(P,I))))mark(U11(tt))mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(U11(X))active(U11(mark(X)))mark(tt)active(tt)mark(U12(X))active(U12(mark(X)))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)U11(mark(X))U11(X)U11(active(X))U11(X)U12(mark(X))U12(X)U12(active(X))U12(X)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(U11(tt))mark(U12(tt))active(U12(tt))mark(tt)active(isNePal(__(I,__(P,I))))mark(U11(tt))mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(U11(X))active(U11(mark(X)))mark(tt)active(tt)mark(U12(X))active(U12(mark(X)))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)U11(mark(X))U11(X)U11(active(X))U11(X)U12(mark(X))U12(X)U12(active(X))U12(X)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(X)Marked_U11(mark(X))Marked_U11(X)Marked_U11(active(X))Marked_U11(X)Marked_U111Marked_U11(active(X))Marked_U11(X)Marked_U11(mark(X))Marked_U11(X)active(__(__(X,Y),Z))mark(__(X,__(Y,Z)))active(__(X,nil))mark(X)active(__(nil,X))mark(X)active(U11(tt))mark(U12(tt))active(U12(tt))mark(tt)active(isNePal(__(I,__(P,I))))mark(U11(tt))mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(U11(X))active(U11(mark(X)))mark(tt)active(tt)mark(U12(X))active(U12(mark(X)))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)U11(mark(X))U11(X)U11(active(X))U11(X)U12(mark(X))U12(X)U12(active(X))U12(X)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(U11(tt))mark(U12(tt))active(U12(tt))mark(tt)active(isNePal(__(I,__(P,I))))mark(U11(tt))mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(U11(X))active(U11(mark(X)))mark(tt)active(tt)mark(U12(X))active(U12(mark(X)))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)U11(mark(X))U11(X)U11(active(X))U11(X)U12(mark(X))U12(X)U12(active(X))U12(X)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(X)Marked_U12(mark(X))Marked_U12(X)Marked_U12(active(X))Marked_U12(X)Marked_U121Marked_U12(active(X))Marked_U12(X)Marked_U12(mark(X))Marked_U12(X)active(__(__(X,Y),Z))mark(__(X,__(Y,Z)))active(__(X,nil))mark(X)active(__(nil,X))mark(X)active(U11(tt))mark(U12(tt))active(U12(tt))mark(tt)active(isNePal(__(I,__(P,I))))mark(U11(tt))mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(U11(X))active(U11(mark(X)))mark(tt)active(tt)mark(U12(X))active(U12(mark(X)))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)U11(mark(X))U11(X)U11(active(X))U11(X)U12(mark(X))U12(X)U12(active(X))U12(X)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(U11(tt))mark(U12(tt))active(U12(tt))mark(tt)active(isNePal(__(I,__(P,I))))mark(U11(tt))mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(U11(X))active(U11(mark(X)))mark(tt)active(tt)mark(U12(X))active(U12(mark(X)))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)U11(mark(X))U11(X)U11(active(X))U11(X)U12(mark(X))U12(X)U12(active(X))U12(X)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(U11(tt))mark(U12(tt))active(U12(tt))mark(tt)active(isNePal(__(I,__(P,I))))mark(U11(tt))mark(__(X1,X2))active(__(mark(X1),mark(X2)))mark(nil)active(nil)mark(U11(X))active(U11(mark(X)))mark(tt)active(tt)mark(U12(X))active(U12(mark(X)))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)U11(mark(X))U11(X)U11(active(X))U11(X)U12(mark(X))U12(X)U12(active(X))U12(X)isNePal(mark(X))isNePal(X)isNePal(active(X))isNePal(X)