import java.util.*;
import gov.nasa.jpf.jvm.*;

public class TestPF {
    public static void main(String[] param) {
	Heap pq = new Heap();
	int rounds = Verify.getInt("rounds");
	for (int i = 0; i < rounds; i++) {
	    if (Verify.getBoolean()) {
		int value = Verify.getInt("value");
		pq.enqueue(value);
	    } else {
		Verify.ignoreIf(pq.isEmpty());
		int v = (Integer) pq.removeFirst();
	    }
	} 
    }
}