#include<stdio.h>
#define MAX 2000000
#define INFTY (1<<30)
int H,A[MAX+1];

 void maxHeapify(int i){
                        int l,r,largest,temp;
                        l=2*i;
                        r=2*i+1;
                        
                        if(l<=H && A[l]>A[i])largest=l;
                        else largest=i;
                        if(r<=H && A[r]>A[largest])largest=r;

                        if(largest!=i){
                                       temp=A[i];
                                       A[i]=A[largest];
                                       A[largest]=temp;
                                       maxHeapify(largest);
                                       }
                         }

 int extract(){
               int maxv;
               if(H<1)return -INFTY;
               maxv=A[1];
               A[1]=A[H--];
               maxHeapify(1);
               return maxv;
               }

 void increaseKey(int i,int key){
                                 int temp;
                                 if(key<A[i])return;
                                 A[i]=key;
                                 while(i>1 && A[i/2]<A[i]){
                                                           temp=A[i];
                                                           A[i]=A[i/2];
                                                           A[i/2]=temp;
                                                           i=i/2;
                                                           }
                                  }
 
 void insert(int key){
                      H++;
                      A[H]=-INFTY;
                      increaseKey(H,key);
                      }


 int main(){
            int key;
            char com[10];
            while(1){
                     scanf("%s %d",&com,&key);
                     if(com[0]=='i'){
                                     insert(key);
                                     }
                     else if(com[1]=='x'){
                                          printf("%d\n",extract());
                                          }
                     else break;
                     }
           return 0;
           }


                                       
