#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;
}

京公网安备 11010502036488号