Description

小猫有\(N\)条鱼，第\(i\)条鱼的长度为\(L_i\)。由于小猫每天只吃长度为\(10\)的鱼，所以他决定对长度不符合条件的鱼开刀。已知小猫最多能砍\(m\)刀，每次砍鱼的步骤为：
1. 小猫选定一条鱼，假设鱼的长度为\(x\)，则\(x\gt1\)。
2. 小猫选定一个整数\(y\)，其中满足\(0\lt y\lt x\)。
3. 小猫把选定的鱼砍成两边，一边长度为\(y\)，另一边长度为\(x-y\)。

小猫砍完\(m\)刀后，最多能产生几条长度为\(10\)的鱼？

Format

Input

第一行，两个整数\(n\)和\(m\)，表示鱼的条数和小猫最多能砍的刀数。

第二至\(n+1\)行，每行一个整数\(L_i\)，表示第\(i\)条鱼的长度。

Output

一个整数，表示砍完\(m\)刀后长度为\(10\)的鱼的条数

Sample 1

Input

3 2
13 20 13

Output

3

Sample 2

Input

3 4
34 10 48

Output

5

Sample 3

Input

4 350
30 50 30 50

Output

16

Limitation&Appointment

对于\(100\%\)的数据，\(1\le n \le 50\)，\(1\le m \le 1000\)，\(1\le L_i \le 1000\)

共\(20\)个测试点，对于每一个测试点，时间限制为\(1000ms\)，空间限制为\(128MiB\)，分值为\(5\)分。