#include <stdio.h>
#include <string.h>
int q[2000000];
void swap(int i, int j) {
  int t;
  t=q[i];
  q[i]=q[j];
  q[j]=t;
}
int main(void) {
  int k,s=0,i,pr,l,r;
  char com[2];
  while (1) {
    scanf("%s", com);
    if(!strncmp(com,"en",2)) break;
    if(com[0]=='i'){
      scanf("%d", &k);
      q[i=s]=k;
      while (i>0 && q[i]>q[pr=(i-1)/2]) {
        swap(i,pr);
        i=pr;
      }
      ++s;
    } 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;
}