Lucho está interesado en los números primos. Una vez leyó sobre el problema de Goldbach. Establece que cada número entero mayor que $2$ puede expresarse como la suma de dos primos. Eso llamó la atención de Lucho y decidió inventar un problema propio y llamarlo problema de Noldbach. Dado que Lucho solo está interesado en los números primos, el problema de Noldbach establece que al menos $k$ números primos del $2$ al $n$ inclusive pueden expresarse como la suma de tres números enteros: dos números primos vecinos y $1$. Por ejemplo, $19 = 7 + 11 + 1$, o $13 = 5 + 7 + 1$.

Dos números primos se llaman vecinos si no hay otros números primos entre ellos.

Debes ayudar a Lucho y descubrir si tiene razón o no.

La primera línea contiene dos enteros $n$ ($2 \leq n \leq 100000$) y $k$ ($0 \leq k \leq 100000$).

Genere YES si al menos $k$ números primos de $2$ a $n$ inclusive pueden expresarse como se describió anteriormente. De lo contrario, salida NO.

En la primera muestra, la respuesta es YES ya que al menos dos números se pueden expresar como se describió (por ejemplo, $13$ y $19$). En la segunda muestra, la respuesta es NO, ya que es imposible expresar $7$ números primos del $2$ al $45$ en la forma deseada.