【题目描述】

给定 $n+1$ 个无限长的 $01$ 序列，它们的规律如下：

• 第 $1$ 个序列为 111111...，相邻两个 1 之间间隔 $0$ 个字符；
• 第 $2$ 个序列为 101010...，相邻两个 1 之间间隔 $1$ 个字符；
• 第 $3$ 个序列为 100100100...，相邻两个 1 之间间隔 $2$ 个字符；
• 依此类推，第 $n+1$ 个序列中，相邻两个 1 之间间隔 $n$ 个字符。

每次询问给定一个长度为 $m$ 的 $01$ 字符串 $s$。

请判断 $s$ 是否可能是从上述某一个无限序列中截取出来的连续片段。

【输入描述】

第一行输入整数 $t$，表示测试数据组数。

接下来 $t$ 行，每行输入两个整数 $n,m$ 和一个长度为 $m$ 的 $01$ 字符串 $s$。

保证：

• $1\le t\le 20$；
• $1\le n\le 10^5$；
• $1\le m\le 10^5$；
• $s$ 只包含字符 0 和 1。

【输出描述】

输出 $t$ 行。

对于每组数据，如果 $s$ 可能是某个序列的连续片段，输出 Yes；

否则输出 No。

【样例 1】

【样例 1 输入】

1
5 5 10010

【样例 1 输出】

Yes

【样例 1 解释】

10010 可以看作相邻两个 1 之间间隔 $2$ 个字符的序列中的一段。

【样例 2】

【样例 2 输入】

1
5 12 000001000010

【样例 2 输出】

No

【数据规模与约定】