Marked_isNePalandisNePalMarked___nilMarked_activateactivatettMarked_and__PIZYX__(__(X,Y),Z)__(X,__(Y,Z))__(X,nil)X__(nil,X)Xand(tt,X)activate(X)isNePal(__(I,__(P,I)))ttactivate(X)X__(__(X,Y),Z)__(X,__(Y,Z))__(X,nil)X__(nil,X)Xand(tt,X)activate(X)isNePal(__(I,__(P,I)))ttactivate(X)XMarked___(__(X,Y),Z)Marked___(X,__(Y,Z))Marked___(__(X,Y),Z)Marked___(Y,Z)Marked_and(tt,X)Marked_activate(X)__(__(X,Y),Z)__(X,__(Y,Z))__(X,nil)X__(nil,X)Xand(tt,X)activate(X)isNePal(__(I,__(P,I)))ttactivate(X)XMarked___(__(X,Y),Z)Marked___(X,__(Y,Z))Marked___(__(X,Y),Z)Marked___(Y,Z)Marked___1Marked___(__(X,Y),Z)Marked___(Y,Z)Marked___(__(X,Y),Z)Marked___(X,__(Y,Z))__(__(X,Y),Z)__(X,__(Y,Z))__(X,nil)X__(nil,X)Xand(tt,X)activate(X)isNePal(__(I,__(P,I)))ttactivate(X)X