#include<stdio.h>
#define MAX 2000000
#define MAX2 99999999

int h,data[MAX+1];
int left(int l){
  return 2*l;
}
int right(int r){
  return 2*r+1;
}
void maxHeapify(int i){
  int l,r,largest,t;
  l=left(i);
  r=right(i);
  if(l<=h && data[l]>data[i])largest=l;
  else largest=i;
  if(r<=h && data[r]>data[largest])largest=r;
  if(largest!=i){
    t=data[i];
    data[i]=data[largest];
    data[largest]=t;
    maxHeapify(largest);
  }
}
int alg(){
    int max;
    if(h<1)return -MAX2;
    max=data[1];
    data[1]=data[h--];
    maxHeapify(1);
    return max;
}
void increase(int i,int key){
    int t;
    if(key<data[i])return;
    data[i]=key;
    while(data[i/2]<data[i]&&i>1){
        t=data[i];
        data[i]=data[i/2];
        data[i/2]=t;
        i=i/2;
    }
}
void insert(int x){
    h++;
    data[h]=-MAX2;
    increase(h,x);
}
int main(){
    int x;
    char s[10];
    while(1){
        scanf("%s",s);
        if(s[1]=='n' && s[0]=='e')break;
        if(s[0]=='i'){
            scanf("%d",&x);
            insert(x);
        }else{
            printf("%d\n",alg());
        }
    }
    return 0;
}
