#include<stdio.h>
#include<string.h>
long k[2000000];
int main(){
    int i, l=0, nmax=-1, imax;
    char op[7];
    while(1){
        scanf("%s", op);
        if(!strcmp(op, "insert"))scanf("%ld", &k[l++]);
        else if(!strcmp(op, "extract")){
            for(i=0; i<l; i++)if(k[i]>nmax){
                imax=i;
                nmax=k[i];
            }
            printf("%d\n", k[imax]);
            k[imax]=-1;
            nmax=-1;
        }else break;
    }
    return 0;
}