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