#include using namespace std; #define ms(s, n) memset(s, n, sizeof(s)) #define FOR(i, a, b) for (int i = (a); i < (b); i++) #define FORd(i, a, b) for (int i = (a) - 1; i >= (b); i--) #define FORall(it, a) for (__typeof((a).begin()) it = (a).begin(); it != (a).end(); it++) #define sz(a) int((a).size()) #define pconent(t, x) (t.find(x) != t.end()) #define all(a) (a).begin(), (a).end() #define uni(a) (a).erase(unique(all(a)), (a).end()) #define pb push_back #define pf push_front #define mp make_pair #define fi first #define se second #define prec(n) fixed<> (i)) & 1) #define bitcount(n) __builtin_popcountll(n) typedef long long ll; typedef unsigned long long ull; typedef long double ld; typedef pair pi; typedef vector vi; typedef vector vii; const int MOD = (int) 1e9 + 7; const int FFTMOD = 1007681537; const int INF = (int) 1e9; const ll LINF = (ll) 1e18; const ld PI = acos((ld) -1); const ld EPS = 1e-9; inline ll gcd(ll a, ll b) {ll r; while (b) {r = a % b; a = b; b = r;} return a;} inline ll lcm(ll a, ll b) {return a / gcd(a, b) * b;} inline ll fpow(ll n, ll k, int p = MOD) {ll r = 1; for (; k; k >>= 1) {if (k & 1) r = r * n % p; n = n * n % p;} return r;} template inline int chkmin(T& a, const T& val) {return val < a ? a = val, 1 : 0;} template inline int chkmax(T& a, const T& val) {return a < val ? a = val, 1 : 0;} inline ll isqrt(ll k) {ll r = sqrt(k) + 1; while (r * r > k) r--; return r;} inline ll icbrt(ll k) {ll r = cbrt(k) + 1; while (r * r * r > k) r--; return r;} inline void addmod(int& a, int val, int p = MOD) {if ((a = (a + val)) >= p) a -= p;} inline void submod(int& a, int val, int p = MOD) {if ((a = (a - val)) < 0) a += p;} inline int mult(int a, int b, int p = MOD) {return (ll) a * b % p;} inline int inv(int a, int p = MOD) {return fpow(a, p - 2, p);} inline int sign(ld x) {return x < -EPS ? -1 : x > +EPS;} inline int sign(ld x, ld y) {return sign(x - y);} #define db(x) cerr << #x << " = " << (x) << " "; #define endln cerr << "\n"; template struct RMQOR { int n; vector a; vector > f; T best(T a, T b) { return a | b; } void init(int n) { this->n = n; int p = 1; while ((1 << p) < n) p++; a.resize(n), f.resize(p + 1); for (int i = 0; i < (int) f.size(); i++) { f[i].resize(n); } } void upd(int u, T x) { a[u] = x; } void build() { for (int i = 0; i < n; i++) f[0][i] = a[i]; for (int l = 0, k; (k = 1 << l) < n; l++) { for (int i = 0; i + k < n; i++) { f[l + 1][i] = best(f[l][i], f[l][i + k]); } } } T query(int a, int b) { int l = a == b ? 0 : __lg(b - a); return best(f[l][a], f[l][b - (1 << l) + 1]); } }; RMQOR rmq_or; template struct RMQAND { int n; vector a; vector > f; T best(T a, T b) { return a & b; } void init(int n) { this->n = n; int p = 1; while ((1 << p) < n) p++; a.resize(n), f.resize(p + 1); for (int i = 0; i < (int) f.size(); i++) { f[i].resize(n); } } void upd(int u, T x) { a[u] = x; } void build() { for (int i = 0; i < n; i++) f[0][i] = a[i]; for (int l = 0, k; (k = 1 << l) < n; l++) { for (int i = 0; i + k < n; i++) { f[l + 1][i] = best(f[l][i], f[l][i + k]); } } } T query(int a, int b) { int l = a == b ? 0 : __lg(b - a); return best(f[l][a], f[l][b - (1 << l) + 1]); } }; RMQAND rmq_and; template > struct RMQ2 { int n; vector a; vector > f; T best(T a, T b) { if (cmp()(a, b)) return a; return b; } void init(int n) { this->n = n; int p = 1; while ((1 << p) < n) p++; a.resize(n), f.resize(p + 1); for (int i = 0; i < (int) f.size(); i++) { f[i].resize(n); } } void upd(int u, T x) { a[u] = x; } void build() { for (int i = 0; i < n; i++) f[0][i] = a[i]; for (int l = 0, k; (k = 1 << l) < n; l++) { for (int i = 0; i + k < n; i++) { f[l + 1][i] = best(f[l][i], f[l][i + k]); } } } T query(int a, int b) { int l = a == b ? 0 : __lg(b - a); return best(f[l][a], f[l][b - (1 << l) + 1]); } }; RMQ2 rmq_min; RMQ2 > rmq_max; const int maxn = 1e5 + 5; const int logn = 31; int n, k; int a[maxn]; int nxt0[maxn][logn]; int nxt1[maxn][logn]; void solve() { cin >> n >> k; rmq_or.init(n); rmq_and.init(n); rmq_min.init(n); rmq_max.init(n); FOR(i, 0, n) { cin >> a[i]; rmq_or.upd(i, a[i]); rmq_and.upd(i, a[i]); rmq_min.upd(i, a[i]); rmq_max.upd(i, a[i]); } rmq_or.build(); rmq_and.build(); rmq_min.build(); rmq_max.build(); static int lst0[logn]; static int lst1[logn]; fill_n(lst0, logn, n); fill_n(lst1, logn, n); FORd(i, n, 0) { FOR(j, 0, logn) { if (!bit(a[i], j)) { lst0[j] = i; } else { lst1[j] = i; } } FOR(j, 0, logn) nxt0[i][j] = lst0[j]; FOR(j, 0, logn) nxt1[i][j] = lst1[j]; } vector events; FOR(i, 0, n) { int mx = -1; long long cost = 0, sor = a[i], sand = a[i]; int ptr = i; if (cost >= k) { mx = i; } while (ptr < n - 1) { int nptr = n; FOR(j, 0, logn) { if (bit(sand, j)) { chkmin(nptr, nxt0[ptr + 1][j]); } if (!bit(sor, j)) { chkmin(nptr, nxt1[ptr + 1][j]); } } int lo = ptr, hi = nptr - 1; while (lo < hi) { int mi = lo + hi + 1 >> 1; if (rmq_or.query(i, mi) - rmq_and.query(i, mi) - rmq_max.query(i, mi) + rmq_min.query(i, mi) >= k) { lo = mi; } else { hi = mi - 1; } } int mi = lo + hi >> 1; if (rmq_or.query(i, mi) - rmq_and.query(i, mi) - rmq_max.query(i, mi) + rmq_min.query(i, mi) >= k) { mx = mi; } if (nptr == n) { break; } ptr = nptr; sor = rmq_or.query(i, ptr); sand = rmq_and.query(i, ptr); } if (~mx) { int len = mx - i + 1; events.pb(mp(i, len)); events.pb(mp(mx + 1, -len)); } } sort(all(events)); multiset heap; int ptr = 0; FOR(i, 0, n) { while (ptr < sz(events) && events[ptr].fi <= i) { int x = events[ptr].se; if (x > 0) { heap.insert(x); } else { heap.erase(heap.find(-x)); } ptr++; } cout << (sz(heap) ? *heap.rbegin() : -1) << "\n"; } } int main(int argc, char* argv[]) { ios_base::sync_with_stdio(0), cin.tie(0); if (argc > 1) { assert(freopen(argv[1], "r", stdin)); } if (argc > 2) { assert(freopen(argv[2], "wb", stdout)); } solve(); cerr << "\nTime elapsed: " << 1000 * clock() / CLOCKS_PER_SEC << "ms\n"; return 0; }