珂朵莉给了你一个序列，支持单点修改，或者询问满足区间 or和 $\ge$ 一个数的区间的最短可能长度，无解输出 $-1$。
第一行有两个整数 $n,m$。
接下来一行 $n$ 个数，表示这个序列 $a$
接下来 $m$ 行，形如：
1 i x表示将 $a_i$ 修改为 $x$
1 i x
2 k表示询问最短的一个长度，满足存在一个该长度的区间，其 or和 $\ge k$
2 k
对于 $100\%$ 的数据，$0 \le a_i,k \le 2^{30}$，$n,m \le 50000$
共 $20$ 组数据，数据有梯度
对所有 $2$ 操作，输出一行，包含一个整数，表示答案，无解输出 $-1$
2 3 0 2 2 3 1 1 1 2 3
-1 2
Comet OJ