Description

定义天线覆盖道路的不稳定性 $F$ 为 $f(s, t)$ 的总和，即：

道路运营商有一个备用天线，功率为 $x$。为了降低天线覆盖的不稳定性，可以用备用天线替换任意一个现有天线。你需要确定，如果最多替换一个天线为功率 $x$ 的备用天线，不稳定性 $F$ 值最小可能是多少。

Input Format

第一行包含两个整数 $n$ 和 $x$（$1 \leq n \leq 10^6$，$0 \leq x \leq n$），分别为城市的数量和备用天线的功率。

第二行包含 $n$ 个整数 $a_1, a_2, \ldots, a_n$（$0 \leq a_i \leq n$），即每个城市天线的功率。

Output Format

输出在最多用一个备用天线替换现有天线后，$F$ 的最小可能值。

3 1
1 0 0

0

5 0
2 1 0 0 1

6

Hint

在第一个样例中，可以将第二个天线替换为备用天线。这样，卡车从任何位置出发，都会连接到备用天线，避免了任何重新连接。

在第二个样例中，不需要使用备用天线。所有从前 $3$ 个城市出发且到达最后 $2$ 个城市的卡车，都需要重新连接到最后一个天线，因此不稳定性总和为 $6$。

全部数据范围见输入格式。