// #define _GLIBCXX_DEBUG // #pragma GCC optimize("Ofast") #pragma GCC diagnostic ignored "-Wsign-compare" #include #include #ifdef _MSC_VER #include #endif namespace atcoder { namespace internal { // @param n `0 <= n` // @return minimum non-negative `x` s.t. `n <= 2**x` int ceil_pow2(int n) { int x = 0; while ((1U << x) < (unsigned int)(n)) x++; return x; } // @param n `1 <= n` // @return minimum non-negative `x` s.t. `(n & (1 << x)) != 0` int bsf(unsigned int n) { #ifdef _MSC_VER unsigned long index; _BitScanForward(&index, n); return index; #else return __builtin_ctz(n); #endif } } // namespace internal } // namespace atcoder #include #include namespace atcoder { template struct segtree { public: segtree() : segtree(0) {} segtree(int n) : segtree(std::vector(n, e())) {} segtree(const std::vector& v) : _n(int(v.size())) { log = internal::ceil_pow2(_n); size = 1 << log; d = std::vector(2 * size, e()); for (int i = 0; i < _n; i++) d[size + i] = v[i]; for (int i = size - 1; i >= 1; i--) { update(i); } } void set(int p, S x) { assert(0 <= p && p < _n); p += size; d[p] = x; for (int i = 1; i <= log; i++) update(p >> i); } S get(int p) { assert(0 <= p && p < _n); return d[p + size]; } S prod(int l, int r) { assert(0 <= l && l <= r && r <= _n); S sml = e(), smr = e(); l += size; r += size; while (l < r) { if (l & 1) sml = op(sml, d[l++]); if (r & 1) smr = op(d[--r], smr); l >>= 1; r >>= 1; } return op(sml, smr); } S all_prod() { return d[1]; } template int max_right(int l) { return max_right(l, [](S x) { return f(x); }); } template int max_right(int l, F f) { assert(0 <= l && l <= _n); assert(f(e())); if (l == _n) return _n; l += size; S sm = e(); do { while (l % 2 == 0) l >>= 1; if (!f(op(sm, d[l]))) { while (l < size) { l = (2 * l); if (f(op(sm, d[l]))) { sm = op(sm, d[l]); l++; } } return l - size; } sm = op(sm, d[l]); l++; } while ((l & -l) != l); return _n; } template int min_left(int r) { return min_left(r, [](S x) { return f(x); }); } template int min_left(int r, F f) { assert(0 <= r && r <= _n); assert(f(e())); if (r == 0) return 0; r += size; S sm = e(); do { r--; while (r > 1 && (r % 2)) r >>= 1; if (!f(op(d[r], sm))) { while (r < size) { r = (2 * r + 1); if (f(op(d[r], sm))) { sm = op(d[r], sm); r--; } } return r + 1 - size; } sm = op(d[r], sm); } while ((r & -r) != r); return 0; } private: int _n, size, log; std::vector d; void update(int k) { d[k] = op(d[2 * k], d[2 * k + 1]); } }; } // namespace atcoder #define rep(i, n) for (int i = 0; i < (int)(n); ++i) #define reps(i, s, n) for (int i = s; i < (int)(n); ++i) #define rreps(i, s, n) for (int i = n - 1; (int)(s) <= i; --i) // reps(s,n)[::-1] using namespace std; using ll = long long; template using V = vector; template using VV = V>; template inline bool chmax(T& a, T b) { if (a < b) { a = b; return true; } return false; } template inline bool chmin(T& a, T b) { if (a > b) { a = b; return true; } return false; } constexpr int INF = 1e9 + 7; constexpr ll LINF = 1LL << 60; class Prints { private: class __Prints { public: __Prints(const char* _sep, const char* _term) : sep(_sep), term(_term) {} template void operator()(const Args&... args) const { print(args...); } template void pvec(const T& vec, size_t sz) const { for (size_t i = 0; i < sz; i++) std::cout << vec[i] << (i == sz - 1 ? term : sep); } template void pmat(const T& mat, size_t h, size_t w) { for (size_t i = 0; i < h; i++) for (size_t j = 0; j < w; j++) std::cout << mat[i][j] << (j == w - 1 ? term : sep); } private: const char *sep, *term; void print() const { std::cout << term; } void print_rest() const { std::cout << term; } template void print(const T& head, const Tail&... tail) const { std::cout << head, print_rest(tail...); } template void print_rest(const T& head, const Tail&... tail) const { std::cout << sep << head, print_rest(tail...); } }; public: Prints() {} __Prints operator()(const char* sep = " ", const char* term = "\n") const { return __Prints(sep, term); } }; Prints print; int op(int a, int b) { return a + b; } int e() { return 0; } int k; bool f(int val) { return val < k; } void solve() { int q; cin >> q >> k; V T(q); V V(q); vector queries; rep(i, q) { cin >> T[i]; if (T[i] == 1) { cin >> V[i]; queries.push_back(V[i]); } } sort(queries.begin(), queries.end()); queries.erase(unique(queries.begin(), queries.end()), queries.end()); int cmd, idx; atcoder::segtree seg(200005); rep(i, q) { cmd = T[i]; if (cmd == 1) { idx = (int)(lower_bound(queries.begin(), queries.end(), V[i]) - queries.begin()); seg.set(idx, seg.get(idx) + 1); } else if (cmd == 2) { if (seg.all_prod() < k) { print()(-1); } else { idx = seg.max_right(0); print()(queries[idx]); seg.set(idx, seg.get(idx) - 1); } } } } int main() { cin.tie(nullptr); // ios_base::sync_with_stdio(false); // cout << fixed << setprecision(15); solve(); }