Arte Rupestre

Matheus está assistindo um documentário sobre arte rupestre.

Alguns números, pintados de forma caótica, atraíram sua atenção. Matheus rapidamente propôs que eles seríam os restos da divisão de um número $n$ por todos os inteiros $i, (1 \leq i \leq k)$. Infelizmente existem números demais para serem analizados por ele.

Matheus quer que você cheque se todos esses restos são distintos. Formalmente, ele quer checar se todos $n \mod i,\ 1 \leq i \leq k$, são distintos, ou seja que não exista par $(i, j)$, tal que:

• $1 \leq i < j \leq k$
• $n \mod i = n \mod j$, aonde $x \mod y$ é o resto da divisão de $x$ por $y$.

Entrada

A única linha linha contém dois inteiros $n, k, (1 \leq n, k \leq 10^{18})$

Saída

Imprima "Sim", se todos os restos forem distintos, e "Nao" caso contrario.

Exemplos

Entrada	Saída
4 4	Nao
5 3	Sim