#include<bits/stdc++.h>
using namespace std;
const long long N=500009;
const long long MOD=1e9+7;
long long n,q,a[N];
string s;
struct mat{
	long long a[2][2];
	friend mat operator*(mat a,mat b){
		mat c;
		memset(c.a,0,sizeof(c.a));
		for(long long i=0;i<2;i++){
			for(long long j=0;j<2;j++){
				c.a[i][j]=(a.a[i][0]*b.a[0][j]+a.a[i][1]*b.a[1][j])%MOD;
			}
		}
		return c;
	}
}m[3],E,t[N*4][3];
long long tag[N*4];
void upd(long long u){
	for(long long i=0;i<3;i++){
		t[u][i]=t[u*2][i]*t[u*2+1][i];
	}
}
void build(long long u,long long l,long long r){
	if(l==r){
		for(long long i=0;i<3;i++){
			t[u][i]=m[(a[l]+i)%3];
		}
		return;
	}
	long long mid=(l+r)/2;
	build(u*2,l,mid);
	build(u*2+1,mid+1,r);
	upd(u);
}
void change(long long x){
	swap(t[x][0],t[x][1]);
	swap(t[x][1],t[x][2]);
}
void pushdown(long long u){
	if(!tag[u]){
		return;
	}
	(tag[u*2]+=tag[u])%=3;
	(tag[u*2+1]+=tag[u])%=3;
	for(long long i=1;i<=tag[u];i++){
		change(u*2);
		change(u*2+1);
	}
	tag[u]=0;
}
void modify(long long u,long long l,long long r,long long L,long long R){
	if(L<=l&&r<=R){
		(tag[u]+=1)%=3;
		change(u);
		return;
	}
	pushdown(u);
	long long mid=(l+r)/2;
	if(L<=mid){
		modify(u*2,l,mid,L,R);
	}
	if(mid<R){
		modify(u*2+1,mid+1,r,L,R);
	}
	upd(u);
}
mat query(long long u,long long l,long long r,long long L,long long R){
	if(L<=l&&r<=R){
		return t[u][0];
	}
	long long mid=(l+r)/2;
	pushdown(u);
	mat ans=E;
	if(L<=mid){
		ans=query(u*2,l,mid,L,R);
	}
	if(mid<R){
		ans=ans*query(u*2+1,mid+1,r,L,R);
	}
	return ans;
}
bool cmp(mat x){
	return x.a[0][0]==1&&x.a[0][1]==0&&x.a[1][0]==0&&x.a[1][1]==1;
}
void init(){
	m[0]={998244353,353442899,610614424,1755654};
	m[1]={114514,1919810,358338529,999885493};
	m[2]={123456789,987654321,866052702,876543218};
	E={1,0,0,1};
}
int main(){
	cin>>n>>q;
	cin>>s;
	init();
	for(long long i=1;i<=n;i++){
		a[i]=s[i-1]-'0';
	}
	build(1,1,n);
	while(q--){
		long long op,l,r;
		cin>>op>>l>>r;
		if(op==1){
			modify(1,1,n,l,r);
		}else{
			cout<<(cmp(query(1,1,n,l,r))?"YES":"NO")<<endl;
		}
	}
	return 0;
}