题目描述

高桥来到了一个游乐园。该游乐园有 $N$ 个景点。第 $i$ 个景点的"乐趣值"初始为 $a_i$。

当高桥乘坐第 $i$ 个景点时，以下事件序列发生。

• 高桥的"满意度"增加 $i$ 个景点当前的乐趣值。
• 然后，第 $i$ 个景点的乐趣值减少 $1$。

高桥的满意度初始为 $0$。他可以以任何顺序总共最多乘坐 $K$ 次景点。
高桥最终能获得的满意度的最大可能值是多少？

除了乘坐景点外，没有其他事物会影响高桥的满意度。

约束条件

• $1 \leq N \leq 10^5$
• $1 \leq K \leq 2 \times 10^9$
• $1 \leq A_i \leq 2 \times 10^9$
• 输入中的所有值都是整数。

输入格式

从标准输入读入数据，输入格式如下：

$N$ $K$ $A_1$ $A_2$ $\ldots$ $A_N$

输出格式

输出高桥最终能获得的满意度的最大可能值。

示例输入1

3 5
100 50 102

示例输出1

502

高桥应该乘坐第一个景点两次，第三个景点三次。
他最终的满意度为 $(100+99)+(102+101+100)=502$。
无法达到 $503$ 或更高的满意度，因此答案是 $502$。

示例输入2

2 2021
2 3

示例输出2

9

高桥可以选择总共少于 $K$ 次乘坐景点。