<?php
$precos = [];
while (($linha = fgets(STDIN)) !== false) {
    $linha = trim($linha);
    if ($linha === "") continue;
    $partes = explode(" ", $linha);
    $operacao = intval($partes[0]);
    if ($operacao == 0) break;
    if ($operacao == 1) {
        $valor = intval($partes[1]);
        $precos[] = $valor;
        sort($precos);
    } elseif ($operacao == 3) {
        $quantidade = count($precos);
        if ($quantidade == 0) {
            echo PHP_EOL;
        } else {
            for ($i = 0; $i < $quantidade; $i++) {
                if ($i > 0) {
                    echo " ";
                }
                echo $precos[$i];
            }
            echo PHP_EOL;
        }
    }
}
?>