思路：询问二成立的充分必要条件是，单调不降，除了开头结尾的连续段之外其他的字母出现次数和原串一样。

维护 $rp_i$ 表示 $i$ 往右的第一个与 $s_i$ 不同的位置，以快速跳过连续段。

目前通过 assert，大概可以确定 rp 的维护没有问题。

#include <cstdio>
#include <cstring>
#include <cassert>
#include <algorithm>
using namespace std;
#ifdef LOCAL
#define debug(...) fprintf(stderr,##__VA_ARGS__)
#else
#define debug(...) void(0)
#endif
typedef long long LL;
template<int N> struct _segtree{//useless
	int rp[N+10];
	void build(int a[]){memcpy(rp,a,sizeof rp);}
	void modify(int L,int R,int k){for(int i=L;i<=R;i++) rp[i]=k;}
	int query(int x){return rp[x];}
};
template<int N> struct segtree{//range cover, check a point
	int tag[N<<2];
	void build(int a[],int p=1,int l=1,int r=N){
		if(tag[p]=0,l==r) return tag[p]=a[l],void();
		int mid=(l+r)>>1;
		build(a,p<<1,l,mid),build(a,p<<1|1,mid+1,r);
	}
	void pushdown(int p){if(tag[p]) tag[p<<1]=tag[p<<1|1]=tag[p],tag[p]=0;}
	void modify(int L,int R,int k,int p=1,int l=1,int r=N){
		if(L<=l&&r<=R) return tag[p]=k,void();
		int mid=(l+r)>>1; pushdown(p);
		if(L<=mid) modify(L,R,k,p<<1,l,mid);
		if(mid<R) modify(L,R,k,p<<1|1,mid+1,r);
	}
	int query(int x,int p=1,int l=1,int r=N){
		if(l==r) return tag[p];
		int mid=(l+r)>>1; pushdown(p);
		if(x<=mid) return query(x,p<<1,l,mid);
		else return query(x,p<<1|1,mid+1,r);
	}
};
int n,m,buc[100010],rp[100010];
char s[100010];
segtree<100010> t;
int binary(int L,int R,int to){
	int ans=R+1;
	for(int mid=(L+R)>>1;L<=R;mid=(L+R)>>1){
		if(t.query(mid)==to) ans=mid,R=mid-1;
		else L=mid+1;
	}
	return ans;
}
int remake(int i){return s[i]==s[i+1]?t.query(i+1):i+1;}
void _modify(int x,char c){
	if(s[x]==c) return ;
	buc[s[x]]--,buc[c]++;
	if(x==1) return s[x]=c,t.modify(x,x,remake(x)),void();
	if(s[x]!=s[x-1]&&c!=s[x-1]) return s[x]=c,t.modify(x,x,remake(x)),void();
	int pos=binary(1,x-1,t.query(x-1));
	if(s[x]==s[x-1]){//aaaaa(a->b)
		s[x]=c;
		t.modify(x,x,remake(x));
		t.modify(pos,x-1,remake(x-1));
	}else if(c==s[x-1]){//aaaaa(b->a)
		s[x]=c;
		t.modify(pos,x,remake(x));
	}
}
bool query(int l,int r){
	char now=0;
	for(int i=1;i<=30;i++){
		int to=t.query(l);
		if(!now){
			now=s[l];
		}else{
			if(++now!=s[l]) return 0;
			if(to<=r&&buc[s[l]]!=to-l) return 0;
		}
		if((l=to)>r) return 1;
	}
	return 0;
}
int main(){
//	#ifdef LOCAL
//		freopen("input.in","r",stdin);
//	#endif
	scanf("%d%s",&n,s+1);
	s[n+1]='$';
	for(int i=n;i>=1;i--) buc[s[i]]++,rp[i]=(s[i]!=s[i+1]?i+1:rp[i+1]);
	t.build(rp);
	scanf("%d",&m);
	for(int i=1,op,l,r;i<=m;i++){
		scanf("%d%d",&op,&l); char ch;
		if(op==1) scanf(" %c",&ch),_modify(l,ch);
		else scanf("%d",&r),puts(query(l,r)?"Yes":"No");
	}
	return 0;
}