#include<stdio.h>
#define N 2000001
void max(int);
int data[N], n=0;

int main(){
  int i;
  char o[10];

  while(1){
    scanf(" %s",o);

    if(o[0]=='i'){
      scanf("%d",&data[++n]);

      for(i=n/2;i>0;i/=2) max(i);
    }
    
    else if(o[0]=='e'){
      if(o[1]=='n') break; 
      
      if(o[1]=='x'){
	printf("%d\n",data[1]);
	data[1]=data[n--];
	max(1);
      }
    }
  }

  
  return 0;
}

void max(int i){
  int le=i*2, ri=i*2+1, ma;
  
  if(le<=n && data[le]>data[i]) ma=le;
  else ma=i;
  if(ri<=n && data[ri]>data[ma]) ma=ri;

  if(ma!=i){
    le=data[i];
    data[i]=data[ma];
    data[ma]=le;

    max(ma);
  }
}
