#include using namespace std; using ll = long long; using pii = pair; using pll = pair; using vi = vector; using vl = vector; #define rep3(i, a, b, c) for (ll i = (a); i < (b); i += (c)) #define rep2(i, a, b) rep3(i, a, b, 1) #define rep1(i, n) rep2(i, 0, n) #define rep0(n) rep1(aaaaa, n) #define ov4(a, b, c, d, name, ...) name #define rep(...) ov4(__VA_ARGS__, rep3, rep2, rep1, rep0)(__VA_ARGS__) #define per(i, a, b) for (ll i = (a) - 1; i >= (b); i--) #define fore(e, v) for (auto&& e : v) #define all(a) begin(a), end(a) #define sz(a) (int)(size(a)) #define lb(v, x) (lower_bound(all(v), x) - begin(v)) #define eb emplace_back template bool chmin(T& a, const S& b) { return a > b ? a = b, 1 : 0; } template bool chmax(T& a, const S& b) { return a < b ? a = b, 1 : 0; } const int INF = 1e9 + 100; const ll INFL = 3e18 + 100; #define i128 __int128_t struct _ { _() { cin.tie(0)->sync_with_stdio(0), cout.tie(0); } } __; namespace Lib { struct range_set { using all2 = array; static constexpr ll minf = numeric_limits::min(); static constexpr ll pinf = numeric_limits::max(); set intervals; int add(all2 a) { auto [l, r] = a; int ret = 1; { auto it = intervals.upper_bound(all2({l, pinf})); if (it != intervals.begin()) { it--; if ((*it)[1] >= r) return 0; if ((*it)[1] >= l) l = (*it)[0]; } } auto it = intervals.lower_bound(all2({l, minf})); while (1) { if (it != intervals.end() && (*it)[0] <= r) { r = max(r, (*it)[1]); auto it2 = it; it++; intervals.erase(it2); ret -= 1; } else { break; } } intervals.insert({l, r}); return ret; } int erase(all2 a) { auto [l, r] = a; int ret = 0; { auto it = intervals.lower_bound(all2({l, minf})); if (it != intervals.begin()) { it--; if ((*it)[1] > l) { auto [l2, r2] = *it; intervals.erase(it); intervals.insert({l2, l}); if (r2 > r) { intervals.insert({r, r2}); ret += 1; } } } } auto it = intervals.lower_bound(all2({l, minf})); while (1) { if (it != intervals.end() && (*it)[1] <= r) { auto it2 = it; it++; intervals.erase(it2); ret -= 1; } else { break; } } if (it != intervals.end() && (*it)[0] < r) { auto [l2, r2] = *it; intervals.erase(it); intervals.insert({r, r2}); } return ret; } pair cover(all2 b) { auto [l, r] = b; auto it = intervals.upper_bound(all2({l, pinf})); if (it != intervals.begin()) { it--; if ((*it)[0] <= l && r <= (*it)[1]) { all2 ret = *it; return make_pair(true, ret); } } return make_pair(false, all2({0, 0})); } }; } int main(){ int N; ll X; cin>>N>>X; --X; vi A(N); fore(i,A)cin>>i; if(X; mapcnt; fore(i,A){ cnt[i]++; S.add(al2{i,i+1}); } rep(i,N+1){ auto [ex,a]=S.cover(al2{0,1}); if(!ex){ A.eb(0); S.add(al2{0,1}); cnt[0]++; }else{ A.eb(a[1]); S.add(al2{a[1],a[1]+1}); cnt[a[1]]++; } cnt[A[i]]--; if(cnt[A[i]]==0){ S.erase(al2{A[i],A[i]+1}); } } cout<