#ifdef NACHIA #define _GLIBCXX_DEBUG #else // disable assert #define NDEBUG #endif #include #include #include #include using namespace std; using ll = long long; const ll INF = 1ll << 60; #define REP(i,n) for(ll i=0; i using V = vector; template void chmax(A& l, const B& r){ if(l < r) l = r; } template void chmin(A& l, const B& r){ if(r < l) l = r; } #include namespace nachia{ template< class S, S op(S l, S r) > struct Segtree { private: int N; std::vector A; int xN; void mergev(int i){ if(i < N) A[i] = op(A[i*2], A[i*2+1]); } template int minLeft2(int r, E cmp, int a = 0, int b = 0, int i = -1) const { static S x; if(i == -1){ a=0; b=N; i=1; x=A[0]; } if(r <= a) return a; if(b <= r){ S nx = op(A[i], x); if(cmp(nx)){ x = nx; return a; } } if(b - a == 1) return b; int q = minLeft2(r, cmp, (a+b)/2, b, i*2+1); if(q > (a+b)/2) return q; return minLeft2(r, cmp, a, (a+b)/2, i*2); } template int maxRight2(int l, E cmp, int a = 0, int b = 0, int i = -1) const { static S x; if(i == -1){ a=0; b=N; i=1; x=A[0]; } if(b <= l) return b; if(l <= a){ S nx = op(x, A[i]); if(cmp(nx)){ x = nx; return b; } } if(b - a == 1) return a; int q = maxRight2(l, cmp, a, (a+b)/2, i*2); if(q < (a+b)/2) return q; return maxRight2(l, cmp, (a+b)/2, b, i*2+1); } public: Segtree() : N(0) {} Segtree(int n, S e) : xN(n) { N = 1; while (N < n) N *= 2; A.assign(N * 2, e); } Segtree(const std::vector& a, S e) : Segtree(a.size(), e){ for(int i=0; i<(int)a.size(); i++) A[i + N] = a[i]; for(int i=N-1; i>=1; i--) mergev(i); } S getE() const { return A[0]; } void set(int p, S x){ assert(0 <= p); assert(p < xN); p += N; A[p] = x; for(int d=1; (1<>d); } S get(int p) const { assert(0 <= p); assert(p < xN); return A[N+p]; } S prod(int l, int r) const { assert(0 <= l); assert(r <= xN); l += N; r += N; S ql = A[0], qr = A[0]; while(l int minLeft(int r, E cmp) const { return minLeft2(r, cmp); } // bool cmp(S) template int maxRight(int l, E cmp) const { int x = maxRight2(l, cmp); return x > xN ? xN : x; } }; } // namespace nachia struct Node { ll g = 0; ll mod = 0; ll rem = 0; ll sum = 0; }; Node op(Node l, Node r){ if(l.sum == 0) return r; if(r.sum == 0) return l; Node res; res.sum = l.sum + r.sum; bool ok = 0; if(l.g > 0 && l.g == r.g){ r.rem = (r.rem + l.sum) % r.mod; if(l.mod < r.mod) swap(l, r); if(l.rem % r.mod == r.rem){ ok = 1; res.g = l.g; res.mod = l.mod; res.rem = l.rem; } } if(!ok){ res.g = res.mod = res.rem = -1; } return res; } ll get_g(ll a){ while(a%2 == 0) a /= 2; return a; } Node makeNode(ll a){ Node res; res.g = get_g(a); res.sum = a; res.mod = a; res.rem = 0; return res; } void testcase(){ ll N, Q; cin >> N >> Q; V A(N); REP(i,N) cin >> A[i]; V init(N); REP(i,N) init[i] = makeNode(A[i]); auto ds = nachia::Segtree(init, Node()); REP(qi,Q){ ll ty; cin >> ty; if(ty == 1){ ll k, x; cin >> k >> x; k--; ds.set(k, makeNode(x)); } else { ll l, r; cin >> l >> r; l--; auto prod = ds.prod(l, r); ll g = get_g(prod.sum); if(prod.g == g && prod.rem == 0) cout << "Yes\n"; else cout << "No\n"; } } } int main(){ cin.tie(0)->sync_with_stdio(0); testcase(); return 0; }