Problem C

Statement
Copy Copied
Description:
Imp is watching a documentary about cave painting.

Some numbers, carved in chaotic order, immediately attracted his attention. Imp rapidly proposed a guess that they are the remainders of division of a number n by all integers i from 1 to k. Unfortunately, there are too many integers to analyze for Imp.

Imp wants you to check whether all these remainders are distinct. Formally, he wants to check, if all $$n \bmod i$$, 1 ≤ i ≤ k, are distinct, i. e. there is no such pair (i, j) that:

- 1 ≤ i < j ≤ k,
- $$n \bmod i = n \bmod j$$, where $$x \bmod y$$ is the remainder of division x by y.

Input Format:
The only line contains two integers n, k (1 ≤ n, k ≤ 1018).

Output Format:
Print "Yes", if all the remainders are distinct, and "No" otherwise.

You can print each letter in arbitrary case (lower or upper).

Note:
In the first sample remainders modulo 1 and 4 coincide.