### 问题描述 “数学，是自然科学的皇后；其中数论，又是皇后的皇冠；而哥德巴赫猜想，可谓是皇冠上的明珠”。 近三百年来，哥德巴赫猜想吸引了无数天资绝伦的数学家。在这项艰难的工作中，最令人振奋的，无疑是陈景润先生在 $1966$ 年，证明了 `1+2` 成立，将证明哥德巴赫猜想工作推进了一大步。 现在小蓝正在学习哥德巴赫猜想，他想知道如果给定一个数 $S$，是否可以表示为 $N$ 个素数之和。 先给出 $T$ 组测试样例，每组测试样例给出一个整数 $S,N$，判断是否 $S$ 可以可以表示为 $N$ 个素数之和。若可以输出 `Yes`，否之输出 `No`。 ### 输入格式 第一行包含一个正整数 $T$，代表测试样例数。 第 $2 \sim T+1$ 行，代表每组样例输入，包含两个正整数 $S,N$。 ### 输出格式 输出 $T$ 行，若 $S$ 可以由 $N$ 个素数构成，输出 `Yes` ，反之输出 `No`。 ### 输入样例 ```txt 2 5 3 8 3 ``` ### 输出样例 ```txt No Yes ``` ### 说明 第一组样例，$5$ 无法由 $3$ 个素数构成，输出 `No`； 第二组样例，$8$ 可以由 $2,3,3$ 这 $3$ 个素数构成，输出 `Yes`。 ### 数据范围 $1\leq T \leq 10^4$。 $1\leq S,N \leq 10^{8}$。