[语言月赛 202402] 数字串

bj12z_jiasiyuan 有 $n + 1$ 个长度为无穷大的序列，其中这些序列有如下的规律： - 第 $1$ 个序列为 $\texttt{11111111111111\dots}$，即开头为 $1$，相邻的 $1$ 间隔的距离为 $0$。 - 第 $2$ 个序列为 $\texttt{10101010101010\dots}$，即开头为 $1$，相邻的 $1$ 间隔的距离为 $1$。 - 第 $3$ 个序列为 $\texttt{10010010010010\dots}$，即开头为 $1$，相邻的 $1$ 间隔的距离为 $2$。 - $\cdots$ - 第 $n + 1$ 个序列开头为 $1$，相邻的 $1$ 间隔的距离为 $n$。 同时，bj12z_jiasiyuan 给予你一个长度为 $m$ 的 $01$ 数字串 $s$，请你判断这个数字串是否可能是从以上 $n + 1$ 个序列中的某一个序列中截取出来的。 bj12z_jiasiyuan 会询问你很多次，每一次都会给予你一组新的 $n, m, s$。请你帮助回答这些询问。 ## Input **本题单个测试点内有多组测试数据。** 第一行一个整数 $t$，代表测试数据组数。 第 $2 \sim t + 1$ 行，每行两个整数 $n, m$ 和一个长度为 $m$ 的 $01$ 数字串 $s$。 ## Output 输出 $t$ 行，每行输出一个字符串 ```Yes``` 或 ```No```，表示每次询问的答案。如果有可能，输出 ```Yes```，否则输出 ```No```。 [samples] ## Note ### 数据规模与约定 - 对于 $30\%$ 的数据，$t = 1$，$1 \leq n \leq 10$，$1 \leq m \leq 10$； - 对于 $50\%$ 的数据，$1 \leq t \leq 20$，$1 \leq n \leq 10^3$，$1 \leq m \leq 10^3$； - 对于 $100\%$ 的数据，$1 \leq t \leq 20$，$1 \leq n \leq 10^5$，$1 \leq m \leq 10^5$。