读写要求

本题采用文件读写，请在提交代码时使用正确的文件读写方式，否则会导致 RE

输入：onetwo.in

输出：onetwo.out

题目描述

给定一个下标从 $1$ 开始、长度为 $n$ 的数组 $a$，其中每个元素都是 $1$ 或 $2$。

处理 $q$ 次询问，询问有以下两种类型：

• 1 s：判断是否存在一个 $a$ 的子数组 $^{\dagger}$，其元素和等于 $s$。
• 2 i v：将 $a_i$ 修改为 $v$。

$^{\dagger}$ 如果数组 $b$ 可以通过从数组 $a$ 的开头删除若干个元素（可以为 $0$ 个或全部），再从末尾删除若干个元素（可以为 $0$ 个或全部）得到，那么称 $b$ 是 $a$ 的子数组。特别地，一个数组本身也是自己的子数组。

输入格式

每个测试点包含多组测试数据。第一行包含一个整数 $t$（$1 \le t \le 10^4$），表示测试数据组数。接下来依次描述每组测试数据。

每组测试数据的第一行包含两个整数 $n$ 和 $q$（$1\le n,q\le 10^5$），分别表示数组 $a$ 的长度和询问次数。

每组测试数据的第二行包含 $n$ 个整数 $a_1,a_2,\ldots,a_n$（$a_i$ 为 $1$ 或 $2$），表示数组 $a$ 的元素。

接下来每组测试数据有 $q$ 行，每行包含若干个整数。第一个整数 $\mathrm{op}$ 为 $1$ 或 $2$。

• 如果 $\mathrm{op}$ 为 $1$，则后面跟着一个整数 $s$（$1 \leq s \leq 2n$）。
• 如果 $\mathrm{op}$ 为 $2$，则后面跟着两个整数 $i$ 和 $v$（$1 \leq i \leq n$，$v$ 为 $1$ 或 $2$）。

保证所有测试数据中 $n$ 的总和不超过 $10^5$，$q$ 的总和也不超过 $10^5$。

输出格式

对于每个 $\mathrm{op}=1$ 的询问，如果存在一个 $a$ 的子数组，其元素和等于 $s$，则输出一行 YES，否则输出 NO。

你可以以任意大小写形式输出答案。例如，字符串 yEs、yes、Yes 和 YES 都会被认为是肯定回答。

输入输出样例

2
5 5
2 1 2 1 2
1 5
1 6
1 7
2 4 2
1 7
3 2
2 2 2
1 6
1 5

YES
YES
NO
YES
YES
NO

说明/提示

考虑第一个样例：

• 第一次询问的答案是 YES，因为 $a_1+a_2+a_3=2+1+2=5$。
• 第二次询问的答案是 YES，因为 $a_1+a_2+a_3+a_4=2+1+2+1=6$。
• 第三次询问的答案是 NO，因为无法找到任何一个 $a$ 的子数组，使其元素和为 $7$。
• 第四次询问后，数组 $a$ 变为 $[2,1,2,2,2]$。
• 第五次询问的答案是 YES，因为 $a_2+a_3+a_4+a_5=1+2+2+2=7$。