In the first line of input, there are two integers n and W: the number of types and the desired total mass (1≤n≤60, 0≤W≤4⋅1018).
In the second line of input, there are n integers a_i: the masses of the weights. It is guaranteed that 1≤a_1, 2⋅a_i≤a_i+1, and a_n≤1018.