当前没有测试数据。

题目描述

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

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

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

输入格式

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

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

输出格式

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

样例 #1

输入

3 3
2 8 13

输出

9

数据范围

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

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