// editor1

#include<stdio.h>
#include<stdlib.h>

typedef struct Node{
    int data;
    struct Node *left, *right;
}Node;

Node* createNode(int data){
    Node *newNode=(Node*)malloc(sizeof(Node));
    newNode->data=data;
    newNode->left=newNode->right=NULL;
    return newNode;
}

Node* addNode(Node *node, int data){
    if(node==NULL)return createNode(data);
    if(data<node->data){
        node->left=addNode(node->left, data);
    }else{
        node->right=addNode(node->right, data);
    }
    return node;
}

Node* findNode(Node *node, int data){
    if(data==node->data)return node;
    if(data<node->data){
        return findNode(node->left, data);
    }else{
        return findNode(node->right, data);
    }
}


int main(){
    int n,x data;
    scanf("%d", &n);
    if(n<=0){
        printf("Invalid input");
        return 0;
    }
    Node *root=NULL;
    for(int i=0;i<n;i++){
        scanf("%d", &data);
        root=addNode(root, data);
    }
    scanf("%d", &x);
    if(findNode(root, x)==NULL){
        printf("Node not Found!!");
    }
    else{
        printf("Node Found!!");
    }
    postOrder(root);
    return 0;
}