닥터 스트레인지와 전시회

닥터 스트레인지의 정원에는 $n$개의 화분이 일렬로 놓여 있다. 각 화분에는 수가 적혀 있다. $i$번째 자리의 화분에 적힌 수는 $a_i$이다. 즉, 화분들이 배열 $a$를 이룬다.

곧 꽃 전시회가 열린다. 닥터 스트레인지는 전시회에 쓸 화분을 정확히 $k$개 고른다. 그는 자신의 컬렉션이 가장 인상적이기를 바란다. 또한 그는 규칙을 좋아해서, 고른 화분에 적힌 수들의 비트 단위 AND가 0이면 그의 꽃이 모든 관람객에게 잊히지 않는 인상을 남길 것이라고 믿는다.

이 조건을 만족하도록 화분 $k$개를 고를 수 있는지 판단하라.

비트 단위 AND는 두 피연산자의 이진 표현에서 같은 자리에 있는 비트끼리 논리곱을 취하는 이항 연산이다.

첫 줄에 두 자연수 $n$, $k$가 주어진다 ($1 \le n \le 2 \cdot 10^4$, $1 \le k \le n$).

다음 줄에는 음이 아닌 정수 $a_i$ $n$개가 주어진다 ($0 \le a_i < 2^{12}$).

고른 화분 $k$개의 비트 단위 AND가 0이 되도록 고를 수 있으면 첫 줄에 YES를 출력한다. 그렇지 않으면 NO를 출력한다.