La combinación de números para la escritura de claves es un práctica muy segura, pero siempre existen mecanismos ladrones que pueden infiltrarse en nuestro sistema y obtener estos datos. Macwin sabe muy bien de estos peligros, el esta tratando de desarrollar un sistema de claves que sea lo más seguro posible para su producto en el mercado informático.

Macwin no es un profesional en la materia, pero en su esforzado trabajo ha buscado muchas formas de obtener y proporcionar claves seguras a los usuarios que compren su software. Macwin esta evaluando el siguiente sistema para generar claves seguras:

Dando un número N, recorrer desde el número 2 hasta N y verificar que números cumplen con la condición "macwin()". Despues del proceso de datos, los K números obtenidos serán los que correspondan a una clave segura.

La condición "macwin" verifica: si un Ni número primo puede expresarse como la suma de dos números primos vecinos mas el número 1, entonces este número es válido para ser parte de una clave segura. Se dice que dos números primos son vecinos, si no hay otro número primo entre ellos.

Por ejemplo:

13 = 5 + 7 + 1
19 = 7 + 11 + 1

Macwin no es muy ingenioso, por lo que se ha basado en la "Conjetura de Goldbach" para definir los patrones de su sistema de claves seguras. Ahora ayuda a Macwin a determinar si por lo menos K números del 2 al N inclusive cumplen con su condición definida.

Input

La primera línea del INPUT comienza con un número M que indica el número de casos del problema propuesto. (1 ≤ M ≤ 100)

Cada caso está compuesto de la(s) siguiente(s) linea(s):

La única línea de la entrada contiene dos enteros, N ( 2 ≤ N ≤ 1000 ) y K ( 0 ≤ K ≤ 1000 ). El número límite al que Macwin debe llegar en su busqueda y total de números que deben superar su prueba.

Output

Salida. Imprime "YES" si al menos K números primos del 2 al N inclusive se puede expresar como se ha descrito anteriormente. De lo contrario la salida "NO".

Entrada de ejemplo

Explicación

En el primer caso la respuesta es YES, por que por lo menos dos números se pueden expresar como se describe (por ejemplo, 13 y 19).

En el segundo caso la respuesta es NO, ya que es imposible expresar 7 números primos del 2 al 45 en la forma deseada.