#include <stdio.h>
#define INF 2000000001
int heap[1000000];
int size;

void insert(int);
void heapIncreaseKey(int);
int extractMax();
void maxHeapify(int);
int main (){
    int i,tmp;
    char com[10];
    size=0;
    while(1){
        scanf("%s",com);
        if(com[0]=='i'){
            scanf("%d",&tmp);
            insert(tmp);
        }
        else if(com[1]=='x'){
            printf("%d\n",extractMax());
        }
        else break;
    }
    return 0;
}
void insert(int key){
    size++;
    heap[size]=-INF;
    heapIncreaseKey(key);
}
void heapIncreaseKey(int key){
    int i,tmp;
    i=size;
    heap[i]=key;
    while(i>1 && heap[i/2]<heap[i]){
        tmp=heap[i];
        heap[i]=heap[i/2];
        heap[i/2]=tmp;
        i=i/2;
    }
}
int extractMax(){
    int max;
    max=heap[1];
    heap[1]=heap[size];
    size--;
    maxHeapify(1);
    return max;
}
void maxHeapify(int i){
    int l,r,largest,tmp;
    l=i*2;
    r=i*2+1;
    if(l<=size && heap[l]>heap[i]){
        largest=l;
    }
    else{
        largest=i;
    }
    if(r<=size && heap[r]>heap[largest]){
        largest=r;
    }
    if(largest!=i){
        tmp=heap[i];
        heap[i]=heap[largest];
        heap[largest]=tmp;
        maxHeapify(largest);
    }
}
