#include "bits/stdc++.h"
using namespace std;
#define REP(i, n) for(ll i = 0;i < n;i++)
#define ll long long
#define ull unsigned long long
#define uint unsigned int 

uint digit_level;
uint digitN;
 
const uint MODP0=2013265921; 
const uint MODP1=1811939329;
uint MODP_WnSqrt0,MODP_WnSqrt1;
uint MODP_Wn0,MODP_Wn1;
vector<uint> MTABLE0;
vector<uint> MTABLE1;

uint CreateWnSqrt(uint a,uint m,uint n_level){
  ull ans=a;
  ull ulm=m;
  for(int i=0;i<n_level-digit_level-1;i++){
    ans=ans*ans%ulm;
  }      
  return (uint)ans;
} 

//aの逆元を返す mod m
uint modinv(uint a,uint m){
    ll b = m;
    ll u = 1;
    ll v = 0;
    ll t,tmp;
    while (b!=0){
        t = a / b;
        a -= t * b;
        tmp=a;
        a=b;
        b=tmp;
        u -= t * v;
        tmp = u;
        u = v;
        v = tmp;
    }
    u %= m;
    if (u < 0)u += m;
    return (uint)u;
}
 
//garnerのアルゴリズム、2変数ver
ll Garner(ll a,ll b,ll ar,ll br){
  ll mab=(ll)modinv(a,b);
  ll x=(br - ar) * mab % b;
  if (x<0)
    x+=b;
  x = ar + x * a;
  return x;
}

 
void iFMT0(vector<uint>& arrayA){
  uint t2,t0,t1,arrayAt0,arrayAt1,w0,w1;
  for(int i=0;i<digit_level;i++){
    uint loopCnt_Pow2 = 1 << i;
    for(int idx=0;idx<digitN/2;idx++){
      t2 = idx % loopCnt_Pow2;
      t0 = idx * 2 - t2;
      t1 = t0 + loopCnt_Pow2;
      arrayAt0 = arrayA[t0];
      arrayAt1 = arrayA[t1];
      w0 = MTABLE0[digitN - t2 * (1 << (digit_level - 1 - i))];
      w1 = (uint)((ull)arrayAt1 * (ull)w0 % (ull)MODP0);
      arrayAt1=arrayAt0 + MODP0 - w1;
      if (arrayAt1>=MODP0)arrayAt1-=MODP0;
      arrayAt0+=w1;
      if (arrayAt0>=MODP0)arrayAt0-=MODP0;
      arrayA[t1] = arrayAt1;
      arrayA[t0] = arrayAt0;
    }
  }
}

void iFMT1(vector<uint>& arrayA){
  uint t2,t0,t1,arrayAt0,arrayAt1,w0,w1;
  for(int i=0;i<digit_level;i++){
    uint loopCnt_Pow2 = 1 << i;
    for(int idx=0;idx<digitN/2;idx++){
      t2 = idx % loopCnt_Pow2;
      t0 = idx * 2 - t2;
      t1 = t0 + loopCnt_Pow2;
      arrayAt0 = arrayA[t0];
      arrayAt1 = arrayA[t1];
      w0 = MTABLE1[digitN - t2 * (1 << (digit_level - 1 - i))];
      w1 = (uint)((ull)arrayAt1 * (ull)w0 % (ull)MODP1);
      arrayAt1=arrayAt0 + MODP1 - w1;
      if (arrayAt1>=MODP1)arrayAt1-=MODP1;
      arrayAt0+=w1;
      if (arrayAt0>=MODP1)arrayAt0-=MODP1;
      arrayA[t1] = arrayAt1;
      arrayA[t0] = arrayAt0;
    }
  }
}

 
void uFMT0(vector<uint>& arrayA){
  uint t2,t0,t1,arrayAt0,arrayAt1,w0,w1,r0,r1;
  for(int i=0;i<digit_level;i++){
    uint loopCnt_Pow2 = 1 << (digit_level - i - 1);
    for(int idx=0;idx<digitN/2;idx++){
        t2 = idx % loopCnt_Pow2;
        t0 = idx * 2 - t2;
        t1 = t0 + loopCnt_Pow2;
        arrayAt0 = arrayA[t0];
        arrayAt1 = arrayA[t1];
        w0 = MTABLE0[t2 * (1 << i)%digitN];
        r0 = (arrayAt0 - arrayAt1 + MODP0);
        if (r0>=MODP0)r0-= MODP0;
        r1 = (arrayAt0 + arrayAt1);
        if (r1>=MODP0)r1-= MODP0;
        w1 = (uint)((ull)r0 * (ull)w0 % (ull)MODP0);
        arrayA[t1] = w1;
        arrayA[t0] = r1;
    }
  }
}

void uFMT1(vector<uint>& arrayA){
  uint t2,t0,t1,arrayAt0,arrayAt1,w0,w1,r0,r1;
  for(int i=0;i<digit_level;i++){
    uint loopCnt_Pow2 = 1 << (digit_level - i - 1);
    for(int idx=0;idx<digitN/2;idx++){
        t2 = idx % loopCnt_Pow2;
        t0 = idx * 2 - t2;
        t1 = t0 + loopCnt_Pow2;
        arrayAt0 = arrayA[t0];
        arrayAt1 = arrayA[t1];
        w0 = MTABLE1[t2 * (1 << i)%digitN];
        r0 = (arrayAt0 - arrayAt1 + MODP1);
        if (r0>=MODP1)r0-= MODP1;
        r1 = (arrayAt0 + arrayAt1);
        if (r1>=MODP1)r1-= MODP1;
        w1 = (uint)((ull)r0 * (ull)w0 % (ull)MODP1);
        arrayA[t1] = w1;
        arrayA[t0] = r1;
    }
  }
}
 
void DivN0(vector<uint>& arrayA){
  ull digitN_r = modinv(digitN, MODP0);
  for(int i=0;i<digitN;i++){
    ull ret = (ull)(arrayA[i]) * digitN_r % (ull)MODP0;
    arrayA[i]=(uint)(ret);
  }
}

void DivN1(vector<uint>& arrayA){
  ull digitN_r = modinv(digitN, MODP1);
  for(int i=0;i<digitN;i++){
    ull ret = (ull)(arrayA[i]) * digitN_r % (ull)MODP1;
    arrayA[i]=(uint)(ret);
  }
}

//    #A*Bの畳み込み結果を返す
void Convolution0(vector<uint>& A_,vector<uint>& B_,vector<uint>& E){
  //#正巡回
  vector<uint> A1(digitN),B1(digitN);
  for(int i=0;i<digitN;i++)
    A1[i]=A_[i]%MODP0;
  for(int i=0;i<digitN;i++)
    B1[i]=B_[i]%MODP0;
  uFMT0(A1);
  uFMT0(B1);
  for(int i=0;i<digitN;i++)
    E[i]=(uint)((ull)A1[i]*(ull)B1[i]%(ull)MODP0);
  iFMT0(E);
  DivN0(E);
}


//    #A*Bの畳み込み結果を返す
void Convolution1(vector<uint>& A_,vector<uint>& B_,vector<uint>& E){
  //#正巡回
  vector<uint> A1(digitN),B1(digitN);
  for(int i=0;i<digitN;i++)
    A1[i]=A_[i]%MODP1;
  for(int i=0;i<digitN;i++)
    B1[i]=B_[i]%MODP1;
  uFMT1(A1);
  uFMT1(B1);
  for(int i=0;i<digitN;i++)
    E[i]=(uint)((ull)A1[i]*(ull)B1[i]%(ull)MODP1);
  iFMT1(E);
  DivN1(E);
}


//#E0,E1を使ってgarnerでEを復元
void Carrying(vector<uint>& E0,vector<uint>& E1,vector<ll>& E){
  for(int i=0;i<digitN;i++){
    E[i]=Garner(MODP0,MODP1, E0[i], E1[i]);
  }
}
 
 


 void CreateTable()
 {
  MTABLE0.resize(1<<(digit_level+1));
  MTABLE1.resize(1<<(digit_level+1));
  MTABLE0[0]=1;
  MTABLE1[0]=1;
  for(int i=1;i<digitN*2;i++){
    MTABLE0[i]=(uint)((ull)MTABLE0[i-1]*(ull)MODP_Wn0%(ull)MODP0);
  }
  for(int i=1;i<digitN*2;i++){
    MTABLE1[i]=(uint)((ull)MTABLE1[i-1]*(ull)MODP_Wn1%(ull)MODP1);
  }
 }
 
 

 
ll n,m;
int main(){
  ll ans=0;
  cin >> n >> m;
  vector<int> a(n);
  REP(i,n) cin>>a[i];
 

  digit_level=18;
  digitN=1<<digit_level;//乗算前の要素数。乗算結果は2*digitN要素数になる
  
  //P 2種類作る
  MODP_WnSqrt0=CreateWnSqrt(52278,2013265921,27);
  MODP_Wn0=(uint)((ull)MODP_WnSqrt0*(ull)MODP_WnSqrt0%(ull)MODP0);
  MODP_WnSqrt1=CreateWnSqrt(59189,1811939329,26);
  MODP_Wn1=(uint)((ull)MODP_WnSqrt1*(ull)MODP_WnSqrt1%(ull)MODP1);
 
  CreateTable();

  
 
  vector<uint> A_(digitN),B_(digitN),E0(digitN),E1(digitN);
  for(int i=0;i<n;i++){
    A_[a[i]]++;
    B_[a[i]]++;
  }
 
 
  Convolution0(A_,B_,E0);
  Convolution1(A_,B_,E1);

  vector<ll> E(digitN,0);//結果格納変数
  Carrying(E0,E1,E);
 
 
 
 
  for(ll i=digitN-1;i>=0;i--){
    if (m>E[i]){
      m-=E[i];
      ans+=E[i]*i;
    }else{
      ans+=m*i;
      break;
    }
  }
 
 
 
  cout<<ans<<endl;
  return 0;
}

Measured memory_bytes: 12544