//NiceDuck
#include "bits/stdc++.h"
typedef long long ll;
using namespace std;
#define FILE "dovuive"
#define foru(i,a,b) for(int i=(int)(a); i<=(int)(b); ++i)
#define ford(i,a,b) for(int i=(int)(a); i>=(int)(b); --i)
#define fastio ios_base::sync_with_stdio(0);cin.tie(0);
#define pb push_back
#define fi first
#define se second
#define pii pair<int,int>
#define pil pair<int,ll>
#define pli pair<ll,int>
#define MOD 1000000007
#define el "\n"
const int MAX=1e5+5;
int n,k;
ll a[MAX],ans;
vector<pair<ll,ll>> v;
int main()
{
fastio
freopen(FILE ".inp","r",stdin);
freopen(FILE ".out","w",stdout);
cin>>n>>k;
map<ll,ll> mp;
foru(i,1,n)
{
cin>>a[i];
mp[a[i]]++;
}
v.pb(make_pair(0LL,0LL));
for(pair<ll,ll> p:mp)
{
v.pb(p);
}
ford(i,v.size()-1,1)
{
// cerr<<v[i].fi<<' '<<v[i].se<<el;
ll dist=v[i].fi-v[i-1].fi;
if(k>dist*v[i].se)
{
k-=dist*v[i].se;
ans+=((v[i].fi+v[i-1].fi+1)*dist/2)*v[i].se;
v[i-1].se+=v[i].se;
}
else
{
ll tmp=k/v[i].se,du=k%v[i].se;
// cerr<<tmp<<' '<<du<<el;
ans+=(v[i].fi+v[i].fi-tmp+1)*(tmp)/2*v[i].se+((v[i].fi-tmp)*du);
cout<<ans;
return 0;
}
// cerr<<k<<el;
// cerr<<ans<<el;
}
cout<<ans;
return 0;
}
Ly9OaWNlRHVjawojaW5jbHVkZSAiYml0cy9zdGRjKysuaCIKdHlwZWRlZiBsb25nIGxvbmcgbGw7CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CiNkZWZpbmUgRklMRSAiZG92dWl2ZSIKI2RlZmluZSBmb3J1KGksYSxiKSBmb3IoaW50IGk9KGludCkoYSk7IGk8PShpbnQpKGIpOyArK2kpCiNkZWZpbmUgZm9yZChpLGEsYikgZm9yKGludCBpPShpbnQpKGEpOyBpPj0oaW50KShiKTsgLS1pKQojZGVmaW5lIGZhc3RpbyBpb3NfYmFzZTo6c3luY193aXRoX3N0ZGlvKDApO2Npbi50aWUoMCk7CiNkZWZpbmUgcGIgcHVzaF9iYWNrCiNkZWZpbmUgZmkgZmlyc3QKI2RlZmluZSBzZSBzZWNvbmQKI2RlZmluZSBwaWkgcGFpcjxpbnQsaW50PgojZGVmaW5lIHBpbCBwYWlyPGludCxsbD4KI2RlZmluZSBwbGkgcGFpcjxsbCxpbnQ+CiNkZWZpbmUgTU9EIDEwMDAwMDAwMDcKI2RlZmluZSBlbCAiXG4iCgpjb25zdCBpbnQgTUFYPTFlNSs1OwppbnQgbixrOwpsbCBhW01BWF0sYW5zOwp2ZWN0b3I8cGFpcjxsbCxsbD4+IHY7CgppbnQgbWFpbigpCnsKICAgIGZhc3RpbwogICAgZnJlb3BlbihGSUxFICIuaW5wIiwiciIsc3RkaW4pOwogICAgZnJlb3BlbihGSUxFICIub3V0IiwidyIsc3Rkb3V0KTsKICAgIAogICAgY2luPj5uPj5rOwogICAgbWFwPGxsLGxsPiBtcDsKICAgIGZvcnUoaSwxLG4pCiAgICB7CiAgICAgICAgY2luPj5hW2ldOwogICAgICAgIG1wW2FbaV1dKys7CiAgICB9CiAgICB2LnBiKG1ha2VfcGFpcigwTEwsMExMKSk7CiAgICBmb3IocGFpcjxsbCxsbD4gcDptcCkgCiAgICB7CiAgICAgICAgdi5wYihwKTsgCiAgICB9CiAgICBmb3JkKGksdi5zaXplKCktMSwxKQogICAgewogICAgICAgIC8vIGNlcnI8PHZbaV0uZmk8PCcgJzw8dltpXS5zZTw8ZWw7CiAgICAgICAgbGwgZGlzdD12W2ldLmZpLXZbaS0xXS5maTsKICAgICAgICBpZihrPmRpc3QqdltpXS5zZSkKICAgICAgICB7CiAgICAgICAgICAgIGstPWRpc3QqdltpXS5zZTsKICAgICAgICAgICAgYW5zKz0oKHZbaV0uZmkrdltpLTFdLmZpKzEpKmRpc3QvMikqdltpXS5zZTsKICAgICAgICAgICAgdltpLTFdLnNlKz12W2ldLnNlOwogICAgICAgIH0KICAgICAgICBlbHNlIAogICAgICAgIHsKICAgICAgICAgICAgbGwgdG1wPWsvdltpXS5zZSxkdT1rJXZbaV0uc2U7CiAgICAgICAgICAgIC8vIGNlcnI8PHRtcDw8JyAnPDxkdTw8ZWw7CiAgICAgICAgICAgIGFucys9KHZbaV0uZmkrdltpXS5maS10bXArMSkqKHRtcCkvMip2W2ldLnNlKygodltpXS5maS10bXApKmR1KTsKICAgICAgICAgICAgY291dDw8YW5zOwogICAgICAgICAgICByZXR1cm4gMDsKICAgICAgICB9CiAgICAgICAgLy8gY2Vycjw8azw8ZWw7CiAgICAgICAgLy8gY2Vycjw8YW5zPDxlbDsKICAgIH0KICAgIGNvdXQ8PGFuczsKICAgIAogICAgcmV0dXJuIDA7Cn0K