monk and chanpions league

// ********* Assalamualaikum****** IN the name of my Almighty****:):)***
#include<bits/stdc++.h>
using namespace std;
#define suni ios_base::sync_with_stdio(0);cin.tie(0);cout.tie(0)
#define endl "\n"
#define f(i,a,b) for(int i=a;i< b;i++)
#define ff(i,a,b) for(int i= a;i>=b;i--)
#define T int t; cin >>t; while(t--)
#define vi  vector<int>
#define vll vector<long long>
#define vs vector<string>
#define vp vector<pair
#define pii pair<int,int>
#define pb push_back
#define mk make_pair
#define b(a) a.begin(),a.end()
#define rb(a) a.rbegin(),a.rend()
#define I  int
#define ll long long
#define st string
#define C char
#define mn int main()
#define fa(u,v) for(auto u:v)
mn
{
    suni;
    ll n,k;
    cin>>n>>k;
    ll ans=0;
    priority_queue<I>p;
    while(n--)
    {
        ll a;
        cin>>a;
        p.push(a);
    }
    while(!p.empty() && k-- ){
        ll m=p.top();
        p.pop();
      //  cout<<m<<endl;
        ans+=m;
        m--;
        if(m>0)
        p.push(m);
    }
    cout<<ans<<endl;
}
//*******Happy Coding*******???******