#include<bits/stdc++.h>
using namespace std;
typedef long long LL;
const LL mod=1e9+7,MAXN=5e5+8;

struct mat { int v[2][2]; };
mat P[3],Q[3];
int tag[MAXN*4],a[MAXN];

mat mul(mat a,mat b)
{
	mat ret;
	memset(ret.v,0,sizeof(ret.v));
	for(int i=0; i<=1; i++)
		for(int j=0; j<=1; j++)
			for(int k=0; k<=1; k++)
				ret.v[i][j]=(ret.v[i][j]+1ll*a.v[i][k]*b.v[k][j])%mod;
	return ret;
}

mat ma[MAXN*4][3];

void push_up(int p)
{
	for(int i=0; i<3; i++)
		ma[p][i]=mul(ma[p*2][i],ma[p*2+1][i]);
}

void push_down(int p,int l,int r)
{
	mat tmp[3];
	for(int i=0; i<3; i++) tmp[i]=ma[p*2][i];
	for(int i=0; i<3; i++)
		ma[p*2][i]=tmp[(i+tag[p])%3];
	for(int i=0; i<3; i++) tmp[i]=ma[p*2+1][i];
	for(int i=0; i<3; i++)
		ma[p*2+1][i]=tmp[(i+tag[p])%3];
	tag[p*2]=(tag[p*2]+tag[p])%3;
	tag[p*2+1]=(tag[p*2+1]+tag[p])%3;
	tag[p]=0;
	return;
}

void build(int p,int l,int r)
{
	if(l==r)
	{
		if(l%2)
		{
			for(int i=0; i<3; i++)
				ma[p][i]=P[(a[l]+i)%3];
		}
		else
		{
			for(int i=0; i<3; i++)
				ma[p][i]=Q[(a[l]+i)%3];
		}
		return;
	}
	int mid=(l+r)/2;
	build(p*2,l,mid);
	build(p*2+1,mid+1,r);
	push_up(p);
	return;
}

void change(int p,int l,int r,int s,int t,int val)
{
	if(l>=s && r<=t)
	{
		mat tmp[3];
		for(int i=0; i<3; i++) tmp[i]=ma[p][i];
		for(int i=0; i<3; i++)
			ma[p][i]=tmp[(i+val)%3];
		tag[p]=(tag[p]+val)%3;
		return;
	}
	push_down(p,l,r);
	int mid=(l+r)/2;
	if(s<=mid) change(p*2,l,mid,s,t,val);
	if(t>mid) change(p*2+1,mid+1,r,s,t,val);
	push_up(p);
}

mat query(int p,int l,int r,int s,int t)
{
	if(l>=s && r<=t) return ma[p][0];
	push_down(p,l,r);
	int mid=(l+r)/2;
	if(t<=mid) return query(p*2,l,mid,s,t);
	if(s>mid) return query(p*2+1,mid+1,r,s,t);
	return mul(query(p*2,l,mid,s,t),query(p*2+1,mid+1,r,s,t));
}

int main()
{
	ios::sync_with_stdio(false),cin.tie(NULL);
	int n,q;
	cin>>n>>q;
	for(int i=1; i<=n; i++)
	{
		char ch; cin>>ch;
		a[i]=ch-'0';
	}
	P[0].v[0][0]=2,P[0].v[0][1]=3,P[0].v[1][0]=5,P[0].v[1][1]=7;
	Q[0].v[0][0]=1000000000,Q[0].v[0][1]=3,Q[0].v[1][0]=5,Q[0].v[1][1]=1000000005;
	P[1].v[0][0]=11,P[1].v[0][1]=13,P[1].v[1][0]=17,P[1].v[1][1]=19;
	Q[1].v[0][0]=416666668,Q[1].v[0][1]=83333335,Q[1].v[1][0]=416666671,Q[1].v[1][1]=83333333;
	P[2].v[0][0]=1,P[2].v[0][1]=2,P[2].v[1][0]=1,P[2].v[1][1]=1;
	Q[2].v[0][0]=mod-1,Q[2].v[0][1]=2,Q[2].v[1][0]=1,Q[2].v[1][1]=mod-1;
//	mat ans=mul(P[2],Q[2]);
//	for(int i=1; i<=2; i++)
//	{
//		for(int j=1; j<=2; j++)
//			printf("%lld ",ans.v[i][j]);
//		puts("");
//	}
	build(1,1,n);
	for(int i=1; i<=q; i++)
	{
		int op; cin>>op;
		if(op==1)
		{
			int l,r; cin>>l>>r;
			change(1,1,n,l,r,1);
		}
		else
		{
			int l,r; cin>>l>>r;
			mat ans=query(1,1,n,l,r);
			if(ans.v[0][0]==1 && ans.v[1][1]==1 && ans.v[0][1]==0 && ans.v[1][0]==0)
				puts("YES");
			else puts("NO");
		}
	}
	return 0;
}