#include<stdio.h>
#define NUM 2000000
void insert(int);
int extract();
void maxHeapify(int);
void heapIncreaseKey(int,int);

int a[NUM],heapsize=0;

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

void insert(int n){
  heapsize++;
  a[heapsize]=-1;
  heapIncreaseKey(heapsize,n);
}

int extract(){
  int max;
  if(heapsize<1){
    return -1;
  }
  max=a[1];
  a[1]=a[heapsize];
  heapsize--;
  maxHeapify(1);
  return max;
}

void maxHeapify(int i){
  int l,r,largest,a1;
  l=2*i;
  r=2*i+1;
  if(l<=heapsize&&a[l]>a[i]){
    largest=l;
  }else{
    largest=i;
  }
  if(r<=heapsize&&a[r]>a[largest]){
    largest=r;
  }
  if(largest!=i){
    a1=a[i];
    a[i]=a[largest];
    a[largest]=a1;
    maxHeapify(largest);
  }
}

void heapIncreaseKey(int i,int n){
  int a1;
  if(n<a[i]){
    return;
  }
  a[i]=n;
  while(i>1&&a[i/2]<a[i]){
    a1=a[i];
    a[i]=a[i/2];
    a[i/2]=a1;
    i=i/2;
  }
}

