#include<stdio.h>
#include<stdlib.h>

void maxHeapify(int *,int);
void heapIncreaseKey(int *,int,int);

int H=0;

int parent(int i){
  return i/2;
}
int left(int i){
  return 2*i;
}
int right(int i){
  return 2*i+1;
}


int main(){
  int i;
  int *A;
  int key;
  char order[7];


  A=(int *)malloc(sizeof(int)*10000000);
  while(1){
    scanf("%s",order);
    if(order[0]=='i'){
      H++;
      scanf("%d",&key);
      heapIncreaseKey(A,H,key);
    }
    else if(order[1]=='x'){
      printf("%d\n",A[1]);
      A[1]=A[H];
      H--;
      maxHeapify(A,1);
    }
    else break;
    
  }
  
return 0;
}
void maxHeapify(int *A,int i){
  int l;
  int r;
  int largest;
  int temp;
  l=left(i);
  r=right(i);
  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(A,largest);
  }
  return;
}
    
void heapIncreaseKey(int *A,int i,int key){
  int temp;
  A[i]=key;
  while(i>1&&A[parent(i)]<A[i]){
    temp=A[i];
    A[i]=A[parent(i)];
    A[parent(i)]=temp;
    i=parent(i);
  }
}

