说明

jhr  在最近在玩一个经营游戏《车位大亨》

在这个游戏中他拥有了一个停车场，这个停车场一共有一排车位，编号为 $1 \sim N$。

但是 jhr  不希望自己的停车场看起来过于拥挤， 因此 jhr  会给每个来停车的客户指定车位。

指定车位的规则是：

每次选择间隔最大的两辆车(你可以认为 $0$ 和 $N + 1$ 也算一辆车，如果有多个间隔长度相同，则选择最靠左的)

然后把车停在两辆车的中间（如果两辆车中间的车位恰好是奇数，则停在正中间，否则停在正中间的左边车位）

不巧的是，这些车主都是特别厉害的主，他们各自有一个心理底线 $a[i]$，一旦有一辆车（不包括 $0$ 和 $N$）跟他的距离小于等于 $a[i]$ 时，他就会无法忍受，跟 jhr  发脾气

同理，如果某个车主被分配的车位一开始就不满足他的心理底线，他就不会在这个停车场停车。

jhr   希望在他开业的第一天，所有客户都能在这停车，于是决定花钱给所有客户进行补偿。

jhr  对某个客户每补偿 $1$ 元钱，就可以让这个客户的心理底线降低 $1$。

现在 jhr  想知道，他最少要花多少钱，才能使得第一天来的所有客户都在他的停车场停车。

输入格式

输出格式

样例

10 2
3 3

2