28961번 - Доктор Стрэндж и выставка 다국어

У доктора Стрэнджа есть сад, в котором в ряд выставлены $n$ горшков с цветами. На каждом горшке написано некоторое число. На позиции номер $i$ стоит горшок с числом $a_i$. Иначе говоря, горшки образуют массив $a$.

Грядет выставка цветов. Доктор Стрэндж выберет для нее ровно $k$ горшков. Он хочет, чтобы его коллекция была самая запоминающаяся. Также доктор Стрэндж любит закономерности, поэтому он верит, что если побитовый AND чисел, написанных на выбранных горшках, будет равняться нулю, то его цветы произведут на всех неизгладимое впечатление.

Помогите доктору Стрэнджу понять, можно ли выбрать $k$ горшков, которые удовлетворяют этому условию.

Побитовый AND --- это бинарная операция, действие которой эквивалентно применению логического AND к каждой паре битов, которые стоят на одинаковых позициях в двоичных представлениях операндов.

В первой строке находятся два натуральных числа $n, k$ ($1 \le n \le 2 \cdot 10^4, 1 \le k \le n$).

В следующей строке находятся $n$ неотрицательных целых чисел $a_i$ ($0 \le a_i < 2^{12}$).

В первой строке выведите YES, если существует способ выбрать $k$ горшков, чтобы их побитовый AND был равен нулю.

Если ответа не существует --- выведите NO.