#include<stdio.h>
#include<stdlib.h>
typedef struct node{
    int data;
    struct node*next;
}node;
node*head=NULL,*tail;
void create(int num){
    
    node*newNode=(node*)malloc(1*sizeof(node));
    newNode->data=num;
    newNode->next=NULL;
    if(head==NULL){
        head=newNode;
        tail=newNode;
    }
    else{
        tail->next=newNode;
        tail=newNode;
    }
}

void display(){
    node*i;
    for(i=head;i!=NULL;i=i->next){
        if(i->datamax_height){
         printf("%d ",i->data);
        j=1;
    }
    }
    if(j==0){
        printf("Empty");
        return 0;
    }
}
int main(){
    int num,size,i,max_height;
    scanf("%d",&size);
    scanf("%d",&max_height);
    
    
    
    for(i=0;i<size;i++){
        scanf("%d",&num);
        create(num);
    }
    scanf("%d",&max_height);
    display(max_height);
    return 0;
    
}