409802: GYM103765 G 排列

给定两个整数N, M，求是否存在一个关于[1, N]的排列A = {a₁, a₂...a_N}和一个关于[M + 1, M + N]的排列B = {b₁, b₂...b_N}，使得对于任意位置满足条件：b_i - a_i是一个完全平方数或b_i + a_i是一个完全平方数。

第一行一个整数T–表示测试样例个数。 然后的每一行表示一个测试样例，包含两个整数N, M。 数据范围1 ≤ T ≤ 1000, 1 ≤ N ≤ 100000, 0 ≤ M ≤ 400。

对每个样例输出一行，如果存在输出"Yes"，否则输出"No"。

5
2 2
3 3
13 2
13 49
13 51

No
Yes
Yes
Yes
No

样例1与样例5没有满足条件的排列。

关于样例2，一个满足条件的情况为A = {1, 2, 3}, B = {5, 6, 4}。

关于样例3，一个满足条件的情况为A = {13, 3, 4, 5, 7, 1, 8, 10, 11, 12, 9, 2, 6}，

B = {3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15}。

关于样例4，一个满足条件的情况为A = {12, 13, 1, 2, 3, 11, 10, 9, 8, 7, 6, 5, 4}，

B = {48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60}。

当答案为Yes时，满足条件的情况不一定唯一。