小 A 一家准备采购年货过新年，他们的采购清单中的的年货种类繁多，包括零食、饮料、装饰品等。

为了节省采购预算，小 A 的妈妈把平时攒的折扣券都带上了，一共有 M 张。每张折扣券可以对采购清单中任意一件年货的价格打折，使用 1 张折扣券后，一件原价为 A_i 元的年货可以以 \left\lfloor \frac{A_i}{2} \right\rfloor 元的价格采购。

请编程计算出小 A 一家采购所有年货所需的最少总金额。

输入的第一行包含两个整数 N 和 M，分别表示需要采购年货的件数和折扣券的数量。

第二行包含 N 个整数 A_1, A_2, \dots, A_N，表示每件商品的原价。

输出一个整数，表示购买所有商品所需的最少金额。

样例 1 说明

在第一个样例中，通过合理使用折扣券，最终的最小总花费是 9 元。具体使用方式如下：

• 第 1 种商品不使用折扣券，价格为 2 元。
• 第 2 种商品使用 1 张折扣券，价格变为 4 元。
• 第 3 种商品使用 2 张折扣券，价格变为 3 元。

数据范围

对于 15\% 的数据，满足 M=1。

对于 100\% 的数据，满足 1 \leq N, M \leq 10^5，1 \leq A_i \leq 10^9。