#include<stdio.h>
int q[2000000];
void Swap(int i, int j){

  int tmp;
  
  tmp=q[i];
  q[i]=q[j];
  q[j]=tmp;

}

int main(){
  int k,s=0;
  int i,pr,l, r;
  char C[2];
  while(1){
    scanf("%s%d",c,&k);
    if(C[0]=='i'){
      i=s;
      q[i]=k;
      while(i>0 && q[i]>q[pr=(i-1)/2]){
          Swap(i,pr);
          i=pr;
        }
        ++s;
    }
    else if(C[1]=='n')
      break;

    else{
      printf("%d\n",q[0]);

      q[i=0]=q[--s];
      --q[s];
      while((l=i*2+1)<s){
        if((r=l+1)<s && q[r] > q[l])l=r;
        if(q[i]<q[l])Swap(i,l);
        i=l;
      }
    }
  }
  return 0;
}