#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
using ll=long long;
random_device seed;
mt19937 rnd(seed());

int main()
{
    ll n,k;
    cin>>n>>k;
    vector<int> a(n);
    for(int i=0;i<n;i++)cin>>a[i];
    vector<map<int,int>> dicts(30);
    for(int i=0;i<n;i++){
        for(int j=0;j<30;j++)dicts[j][(a[i]>>j)]+=1;
    }
    int l=-1,r=(1<<30)-1;
    while(l+1<r){
        int c=(l+r)/2;
        ll cnt=-n;
        for(int i=0;i<n;i++){
            for(int j=0;j<30;j++){
                if(c>>j&1)cnt+=dicts[j][(c>>j)^(a[i]>>j)^1];
            }
        }
        if(cnt/2>=k)r=c;
        else l=c;
    }
    cout<<l<<endl;

    
    return 0;
}