#include <iostream>
using namespace std;

int main() {
    int n, m;
    cin >> n >> m;
    
    int a[7];  // n <= 7
    for (int i = 0; i < n; i++) {
        cin >> a[i];
    }
    
    int a1 = 2;
    int a2 = 0;
    
    for (int t = 0; t < m; t++) {
        for (int i = 0; i < n; i++) {
            if (a[i] > 0) {
                if (a[i] == a1) {
                    a[i] = 0;
                    a1++;
                } else if (a[i] < a1) {
                    a[i] = 0;
                } else {
                    a[i] -= a1;
                }
            }
        }
        // 攻击敌方英雄
        a2 += a1;
    }
    
    cout << a2 << endl;
    
    return 0;
}