#include<bits/stdc++.h>
using namespace std;
namespace fastio
{
	constexpr int S1=1<<20;
	char buf1[S1],*l1,*r1;
	inline char getc()
	{
		return ((l1==r1&&(r1=(l1=buf1)+fread(buf1,1,S1,stdin)),l1!=r1)?*l1++:EOF);
	}
	template<typename T=int>inline T read()
	{
		T x=0,y=1;
		char c=getc();
		while(c<'0'||c>'9')
		{
			if(c=='-')
				y=-1;
			c=getc();
		}
		while(c>='0'&&c<='9')
		{
			x=c-'0'+x*10;
			c=getc();
		}
		return x*y;
	}
	inline double read_db()
	{
		double x=0,y=1;
		char c=getc();
		while(c<'0'||c>'9')
		{
			if(c=='-')
				y=-1;
			c=getc();
		}
		while(c>='0'&&c<='9')
		{
			x=x*10+c-'0';
			c=getc();
		}
		if(c=='.')
		{
			double r=.1;
			for(c=getc();c>='0'&&c<='9';c=getc())
			{
				x+=r*(c-'0');
				r*=.1;
			}
		}
		return x*y;
	}
	constexpr int S2=1<<20;
	char buf2[S2],*l2=buf2;
	inline void putc(char c)
	{
		l2==buf2+S2&&(fwrite(buf2,1,S2,stdout),l2=buf2),*l2++=c;
	}
	int _st[22];
	template<typename T>inline void write(T x,char end='\n')
	{
		if(x<0)
			putc('-'),x=-x;
		int tp=0;
		do
			_st[++tp]=x%10;
		while(x/=10);
		while(tp)
			putc(_st[tp--]+'0');
		if(end)
			putc(end);
	}
	constexpr int DIGIT=3;
	constexpr long long _p=pow(10,DIGIT);
	inline void write_db(double y,char end='\n')
	{
		if(y<0)
			putc('-'),y=-y;
		long long x=round(y*_p);
		write(x/_p),putc('.');
		x%=_p;
		for(int i=1;i<=DIGIT;i++)
			_st[i]=x%10,x/=10;
		for(int i=DIGIT;i;i--)
			putc(_st[i]+'0');
		if(end)
			putc(end);
	}
	inline void ps(const char*s,char end='\n')
	{
		for(auto p=s;*p;p++)
			putc(*p);
		if(end)
			putc(end);
	}
	struct end
	{
		~end()
		{
			fwrite(buf2,1,l2-buf2,stdout);
		}
	}ender;
}
using fastio::getc;
using fastio::read;
using fastio::read_db;
using fastio::putc;
using fastio::write;
using fastio::write_db;
using fastio::ps;
constexpr int MN=100005,SIG=100001;
int n,m,q,a[MN],b[MN],p[MN],nxt[MN],sa[MN],rk[MN],tmpp[MN],buc[MN],st[18][MN];
map<int,int>mp;
struct info
{
	int mx,sum;
	info(int _a=-1,int _b=0)
	{
		mx=_a,sum=_b;
	}
	friend info operator*(info x,info y)
	{
		if(x.mx>y.mx)
			return x;
		if(y.mx>x.mx)
			return y;
		return {x.mx,x.sum+y.sum};
	}
	friend info&operator*=(info&x,info y)
	{
		x=x*y;
		return x;
	}
};
struct segt1
{
	struct node
	{
		int l,r;
		info v,tg;
	}T[MN*4];
	void ch(int i,info x)
	{
		T[i].v=T[i].tg=x;
		T[i].v.sum*=T[i].r-T[i].l+1;
	}
	void up(int i)
	{
		T[i].v=T[i<<1].v*T[i<<1|1].v;
	}
	void down(int i)
	{
		if(T[i].tg.mx==-1)
			return;
		ch(i<<1,T[i].tg);
		ch(i<<1|1,T[i].tg);
		T[i].tg=info();
	}
	void build(int i,int l,int r)
	{
		T[i].l=l,T[i].r=r;
		if(l==r)
			return;
		int mid=(l+r)>>1;
		build(i<<1,l,mid);
		build(i<<1|1,mid+1,r);
	}
	void change(int i,int l,int r,info x)
	{
		if(l<=T[i].l&&T[i].r<=r)
		{
			ch(i,x);
			return;
		}
		down(i);
		if(l<=T[i<<1].r)
			change(i<<1,l,r,x);
		if(r>T[i<<1].r)
			change(i<<1|1,l,r,x);
		up(i);
	}
	info ask(int i,int l,int r)
	{
		if(l<=T[i].l&&T[i].r<=r)
			return T[i].v;
		down(i);
		info res;
		if(l<=T[i<<1].r)
			res=ask(i<<1,l,r);
		if(r>T[i<<1].r)
			res*=ask(i<<1|1,l,r);
		return res;
	}
}T1;
inline int LCP(int x,int y)
{
	if(x>m||y>m)
		return 0;
	if(x==y)
		return m-x+1;
	x=rk[x],y=rk[y];
	if(x>y)
		swap(x,y);
	x++;
	int g=__lg(y-x+1);
	return min(st[g][x],st[g][y-(1<<g)+1]);
}
struct segt2
{
	int lg;
	info T[MN*4];
	void build(int n)
	{
		lg=__lg(n+1)+1;
		for(int i=1;i<=n;i++)
			T[i|(1<<lg)]={LCP(1,i),1};
		for(int i=(1<<lg)-1;i;i--)
			T[i]=T[i<<1]*T[i<<1|1];
	}
	info ask(int l,int r)
	{
		info res;
		for(l=(l-1)|(1<<lg),r=(r+1)|(1<<lg);l^r^1;l>>=1,r>>=1)
		{
			if(~l&1)
				res*=T[l^1];
			if(r&1)
				res*=T[r^1];
		}
		return res;
	}
}T2;
inline void buildsa(int n,int*a)
{
	int l=0;
    for(int i=1;i<=n;i++)
		buc[a[i]]++;
	for(int i=1;i<130;i++)
		buc[i]+=buc[i-1];
	for(int i=1;i<=n;i++)
		sa[buc[a[i]]--]=i;
	memset(buc,0,sizeof buc);
	for(int i=1;i<=n;i++)
		rk[sa[i]]=(l+=(a[sa[i]]!=a[sa[i-1]]));
	for(int w=1;l<n;w<<=1)
	{
		for(int i=0;i<w;i++)
			tmpp[i+1]=n-i;
		int cnt=w;
		for(int i=1;i<=n;i++)
		{
			if(sa[i]>w)
				tmpp[++cnt]=sa[i]-w;
			buc[rk[i]]++;
		}
		for(int i=1;i<=l;i++)
			buc[i]+=buc[i-1];
		for(int i=n;i;i--)
			sa[buc[rk[tmpp[i]]]--]=tmpp[i];
		fill_n(buc+1,l,0),l=0;
		copy_n(rk+1,n,tmpp+1);
		for(int i=1;i<=n;i++)
			rk[sa[i]]=(l+=(tmpp[sa[i]]!=tmpp[sa[i-1]]||tmpp[sa[i]+w]!=tmpp[sa[i-1]+w]));
	}
	for(int i=1,j=0;i<=n;i++)
	{
		for(j=max(0,j-1);a[i+j]==a[sa[rk[i]-1]+j];j++);
		st[0][rk[i]]=j;
	}
	for(int j=1;j<18;j++)
		for(int i=1;i+(1<<j)-1<=n;i++)
			st[j][i]=min(st[j-1][i],st[j-1][i+(1<<(j-1))]);
}
inline int conn(int l1,int r1,int l2,int r2)
{
	if(l1>m||l2>m)
		return 0;
	int L=0,R=m+1,M;
	while(L+1<R)
	{
		M=(L+R)>>1;
		int i=sa[M],t=LCP(i,l1);
		bool res;
		if(t<r1-l1+1)
			res=(b[i+t]<b[l1+t]);
		else
		{
			t=LCP(i+(r1-l1+1),l2);
			if(t>=r2-l2+1)
				return i;
			res=(b[i+(r1-l1+1)+t]<b[l2+t]);
		}
		if(res)
			L=M;
		else
			R=M;
	}
	return 0;
}
inline void check(map<int,int>::iterator it)
{
	if(it==mp.begin())
		return;
	auto pit=it,nit=it;
	pit--,nit++;
	int p=conn(pit->second,pit->second+it->first-pit->first-1,it->second,it->second+nit->first-it->first-1);
	if(p)
	{
		mp.erase(it);
		pit->second=p;
	}
}
inline int LCP2(int l1,int r1,int l2,int r2,int l3,int r3,int l4,int r4)
{
	if(l3>r3)
	{
		l3=l4+l3-r3-1,r3=r4;
		if(l3>r3)
			return 0;
		l4=r4=m+1;
	}
	int t=LCP(l1,l3);
	if(t<r1-l1+1&&t<r3-l3+1)
		return t;
	if(r1-l1<r3-l3)
		return r1-l1+1+LCP2(l2,r2,m+1,m+1,l3+r1-l1+1,r3,l4,r4);
	return r3-l3+1+LCP2(l1+r3-l3+1,r1,l2,r2,l4,r4,m+1,m+1);
}
inline info calcw(int l1,int r1,int l2=m+1,int r2=m+1,int l3=m+1,int r3=m+1)
{
	if(l1>m)
		return {0,1};
	info ans;
	int i=r1;
	while(i>r1-l1+1)
		if(nxt[i]*2>i)
		{
			int d=i-nxt[i],q=i%d;
			if(q+d>r1-l1+1)
				i=q+d;
			else
				i=q+(r1-l1+1-q)/d*d;
		}
		else
			i=nxt[i];
	if(i<r1-l1+1)
		ans=T2.ask(l1,r1-i);
	while(i)
		if(nxt[i]*2>i)
		{
			int d=i-nxt[i],l,r,b1,a1,k,b2,t=LCP(i-d+1,i+1);
			l=t/d,r=i/d-2+t/d,b1=t%d,a1=i+t+1;
			t=LCP2(i-d+1,i,m+1,m+1,l2,r2,l3,r3);
			if(t<d)
				k=0,b2=t;
			else
			{
				t=LCP2(l2,r2,l3,r3,l2+d,r2,l3,r3);
				k=t/d+1,b2=t%d;
			}
			if(b1>b2)
				if(l<k)
					ans*={i+l*d+b1,min(k,r+1)-l};
				else
					ans*={i+k*d+b2,1};
			else if(b1<b2)
				if(l<=k)
					ans*={i+l*d+b1,min(k,r)-l+1};
				else
					ans*={i+k*d+b2,1};
			else if(r<k)
				ans*={i+l*d+b1,r-l+1};
			else if(l>k)
				ans*={i+k*d+b2,1};
			else
			{
				t=LCP2(a1,m,m+1,m+1,l2+k*d+b2,r2,l3,r3);
				if(t)
					ans*={i-(k-l)*d+k*d+b2+t,1};
				else
					ans*={i+l*d+b2,k-l+1};
			}
			i=i%d+d;
		}
		else
		{
			ans*={i+LCP2(i+1,m,m+1,m+1,l2,r2,l3,r3),1};
			i=nxt[i];
		}
	return ans;
}
inline void updw(map<int,int>::iterator it1)
{
	info res;
	auto it2=it1;
	it2++;
	int l1=it1->second,r1=l1+it2->first-it1->first-1;
	auto it3=it2;
	it3++;
	if(it3==mp.end())
		res=calcw(l1,r1);
	else
	{
		int l2=it2->second,r2=l2+it3->first-it2->first-1;
		auto it4=it3;
		it4++;
		if(it4==mp.end())
			res=calcw(l1,r1,l2,r2);
		else
			res=calcw(l1,r1,l2,r2,it3->second,it3->second+it4->first-it3->first-1);
	}
	T1.change(1,it1->first,it2->first-1,{0,0});
	T1.change(1,it1->first,it1->first,res);
}
inline void opch(int x,int y)
{
	a[x]=y;
	auto it=mp.upper_bound(x),pit=it;
	pit--;
	int l=pit->first,r=it->first-1,i=pit->second;
	mp.erase(pit);
	if(l<x)
		mp[l]=i;
	mp[x]=p[y];
	if(x<r)
		mp[x+1]=i+x-l+1;
	if(l<x)
		check(mp.find(l));
	check(mp.find(x));
	if(x<r)
		check(mp.find(x+1));
	if(r<n)
		check(mp.find(r+1));
	updw(--mp.upper_bound(x));
	updw(--mp.upper_bound(r));
	it=--mp.upper_bound(l);
	updw(it);
	if(it!=mp.begin())
	{
		it--;
		updw(it);
		if(it!=mp.begin())
			updw(--it);
	}
}
int main()
{
	read(),n=read();
	for(int i=1;i<=n;i++)
		a[i]=read();
	m=read();
	for(int i=1;i<=SIG;i++)
		p[i]=m+1;
	for(int i=1;i<=m;i++)
		p[b[i]=read()]=i;
	for(int i=2,j=0;i<=m;i++)
	{
		while(j&&b[i]!=b[j+1])
			j=nxt[j];
		j+=(b[i]==b[j+1]);
		nxt[i]=j;
	}
	buildsa(m,b);
	T2.build(m);
	T1.build(1,1,n);
	mp[1]=p[a[1]];
	for(int i=2;i<=n;i++)
	{
		auto it=--mp.end();
		int x=p[a[i]],t=conn(it->second,it->second+i-it->first-1,x,x);
		if(t)
			it->second=t;
		else
			mp[i]=x;
	}
	mp[n+1]=m+1;
	for(auto it=mp.begin();it->first<=n;it++)
		updw(it);
	q=read();
	while(q--)
	{
		int o=read();
		if(o==1)
		{
			int x=read(),y=read();
			opch(x,y);
			info ans=T1.ask(1,1,n);
			write(ans.mx,' '),write(ans.sum);
		}
		else if(o==2)
		{
			int l=read(),r=read(),tl=a[l-1],tr=a[r+1];
			if(l>1)
				opch(l-1,SIG);
			if(r<n)
				opch(r+1,SIG);
			info ans=T1.ask(1,l,r);
			write(ans.mx,' '),write(ans.sum);
			if(l>1)
				opch(l-1,tl);
			if(r<n)
				opch(r+1,tr);
		}
		else if(o==3)
		{
			int x=read(),y=read();
			write(LCP(x,y));
		}
		else
		{
			int l1=read(),r1=read(),l2=read(),r2=read();
			if(conn(l1,r1,l2,r2))
				ps("yes");
			else
				ps("no");
		}
	}
	return 0;
}