#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,i,pr,l,r;
  char c[2];

  s=0;

  while(1){
    scanf("%s%d",c,&k);
    if(c[0]=='i'){
      q[i=s]=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;
}