#include <stdio.h>          // printf(), scanf(), getc(), ungetc()
#include <ctype.h>          // isdigit()
#include <stdbool.h>

#define MAX_N 2000000
#define swap(a, b) { int t; t = a; a = b; b = t; }

int heap[MAX_N];
int sz;

int
extract()
{
	int res = heap[0];
	int x = heap[--sz];
	int i = 0;
	while (i * 2 + 1 < sz)
	{
		int a = i * 2 + 1, b = i * 2 + 2;
		if (b < sz && heap[b] > heap[a])
			a = b;

		if (heap[a] <= x)
			break;

		heap[i] = heap[a];
		i = a;
	}

	heap[i] = x;
	return res;
}

void
insert(int x)
{
	int i = sz++;
	while (i > 0)
	{
		int p = (i - 1) / 2;
		if (heap[p] >= x)
			break;

		heap[i] = heap[p];
		i = p;
	}

	heap[i] = x;
}

int
main(int argc, char** argv)
{
	char command[8];
	int key;
	int n;
	int c;

	sz = 0;
	while (true)
	{
		scanf("%s", command);
		if (command[0] == 'e' && command[1] == 'n')
			break;

		else if (command[0] == 'e' && command[1] == 'x')
			printf("%d\n", extract());

		else if (command[0] == 'i')
		{
			n = 0;
			c = getc(stdin);
			while (c == ' ' || c == '\n')
				c = getc(stdin);
			
			while (isdigit(c))
			{
				n = 10 * n + c - '0';
				c = getc(stdin);
			}

			ungetc(c, stdin);
			key = n;
			insert(key);
		}
	}

	return 0;
}