AT_abc216_e [ABC216E] Amusement Park

高桥君去游乐园玩了。 这个游乐园里有 $N$ 个游乐设施，第 $i$ 个游乐设施的“乐趣”初始值为 $A_i$。 当高桥君乘坐第 $i$ 个游乐设施时，会依次发生以下现象： - 高桥君的“满足度”会增加第 $i$ 个游乐设施当前的“乐趣”值。 - 第 $i$ 个游乐设施的“乐趣”值减少 $1$。 高桥君的“满足度”初始值为 $0$。高桥君最多可以乘坐游乐设施 $K$ 次。 请问高桥君最终能获得的“满足度”的最大值是多少？ 注意，高桥君的“满足度”只会因为乘坐游乐设施而变化。

输入以如下格式从标准输入读入。 > $N$ $K$ $A_1$ $A_2$ $A_3$ $\dots$ $A_N$

请输出高桥君最终能获得的“满足度”的最大值。

### 限制条件 - $1 \leq N \leq 10^5$ - $1 \leq K \leq 2 \times 10^9$ - $1 \leq A_i \leq 2 \times 10^9$ - 输入均为整数 ### 样例解释 1 可以选择第 $1$ 个游乐设施乘坐 $2$ 次，第 $3$ 个游乐设施乘坐 $3$ 次。最终的“满足度”为 $(100+99)+(102+101+100)=502$。没有办法让“满足度”达到 $503$ 或更高，因此答案为 $502$。 ### 样例解释 2 总共乘坐游乐设施的次数可以少于 $K$。 由 ChatGPT 4.1 翻译