Cave Painting

Imp는 동굴 벽화에 관한 다큐멘터리를 보고 있다.

혼란스러운 순서로 새겨진 몇몇 수가 즉시 그의 주의를 끌었다. Imp는 이것들이 어떤 수 n을 1부터 k까지의 모든 정수 i로 나눈 나머지일 것이라고 재빨리 추측했다. 안타깝게도 Imp가 분석하기에는 정수가 너무 많다.

Imp는 이 나머지들이 모두 서로 다른지 확인해 주기를 바란다. 형식적으로 말해, 그는 1 ≤ i ≤ k인 모든 가 서로 다른지, 즉 다음 조건을 만족하는 쌍 (i, j)이 존재하지 않는지 확인하려 한다:

• 1 ≤ i < j ≤ k,
• . 여기서 는 x를 y로 나눈 나머지이다.

유일한 줄에 두 정수 n, k (1 ≤ n, k ≤ 1018)가 주어진다.

모든 나머지가 서로 다르면 "Yes"를, 그렇지 않으면 "No"를 출력한다.

각 문자는 대문자나 소문자 중 어느 것으로 출력해도 된다.

첫 번째 예제에서는 1과 4로 나눈 나머지가 일치한다.