RT，看了tj，但莫名WA

qwq

#include<iostream>
#include<cstdio>
#include<stdio.h>
using namespace std;
const long long N=3e5+10;
const long long INF=1e7+10;
long long n,m,a[N*4],lst;
struct node{
	long long sum,maxn,minn,l,r;
	node operator +(node x){
		node ans;
		ans.sum=sum+x.sum;
		ans.maxn=max(maxn,x.maxn);
		ans.minn=min(minn,x.minn);
		return ans;
	}
}t[N*4];
void push_up(long long o){
	t[o].sum=t[o<<1].sum+t[o<<1|1].sum;
	t[o].maxn=max(t[o<<1].maxn,t[o<<1|1].maxn);
	t[o].minn=min(t[o<<1].minn,t[o<<1|1].minn); 
}
void build(long long o,long long l,long long r){
	t[o].l=l,t[o].r=r;
	if(l==r){
		t[o].sum=t[o].maxn=t[o].minn=a[l];
		return;
	}
	long long mid=(l+r)/2;
	build(o<<1,l,mid);
	build(o<<1|1,mid+1,r);
	push_up(o);
}
void add(long long o,long long l,long long v){
	if(t[o].l==t[o].r){
		t[o].sum=t[o].maxn=t[o].minn=v;
		return;
	}
	if(l<=t[o<<1].r) add(o<<1,l,v);
	else add(o<<1|1,l,v);
	push_up(o);
}
node check(long long o,long long l,long long r){
	if(l<=t[o].l&&t[o].r<=r) return t[o];
	node ans=(node){0,0,INF,0,0};
	if(l<=t[o<<1].r) ans=ans+check(o<<1,l,r);
	if(t[o<<1|1].l<=r) ans=ans+check(o<<1|1,l,r);
	return ans;
}
int main(){
	scanf("%lld%lld",&n,&m);
	for(long long i=1;i<=n;i++){
		scanf("%lld",&a[i]);
	}
	build(1,1,n);
	for(long long i=1,opt;i<=m;i++){
		scanf("%lld",&opt);
		if(opt==1){
			long long x,y;
			scanf("%lld%lld",&x,&y);
			x^=lst;
			y^=lst;
			add(1,x,y);
		}else{
			long long l,r,k;
			scanf("%lld%lld%lld",&l,&r,&k);
			l^=lst,r^=lst,k^=lst;
			node ans=check(1,l,r);
			if(ans.maxn-ans.minn==(r-l)*k&&ans.sum==(ans.minn+ans.maxn)*(r-l+1)/2){
				lst++;
				printf("Yes\n");
			}else printf("No\n");
		}
	}
}