#include<bits/stdc++.h>
using namespace std;
#define pb push_back
#define eb emplace_back
//mt19937 rnd(chrono::steady_clock::now().time_since_epoch().count());
#define mod 998244353
#define ll long long
#define u64 unsigned long long
#define inf 0x3f3f3f3f
#define INF 0x3f3f3f3f3f3f3f3f
inline u64 read()
{
	char ch=getchar(); while(!isdigit(ch)) {ch=getchar();}
	u64 ans=0; while(isdigit(ch)) {ans=ans*10+ch-48;ch=getchar();}
	return ans;
}
void print(vector<u64> x){for(int i=0;i<(int)x.size();i++) printf("%llu%c",x[i]," \n"[i==(int)x.size()-1]);}
#define N 20005
int n,Q,B;
const int SIZ=125;
int _cnt=0;
u64 Add(u64 x,u64 y)
{
	_cnt++;
	assert(_cnt<=1600000);
#ifdef wasa855
	return x+y;
#endif
	printf("A %llu %llu\n",x,y); fflush(stdout);
	return read();
}
u64 Cmp(u64 x,u64 y)
{
	_cnt++;
	assert(_cnt<=1600000);
#ifdef wasa855
	return x<y?x:y;
#endif
	printf("C %llu %llu\n",x,y); fflush(stdout);
	return read();
}
struct Arr
{
	u64 a[N];
	u64 bs[N],sum[N],pre[N];
	int cnt;
	map<int,u64> tb;
	void init()
	{
		cnt=0;
		for(int i=0;i<n;i+=SIZ)
		{
			pre[i]=a[i];
			sum[cnt]=pre[i];
			for(int j=1;i+j<n&&j<SIZ;j++) pre[i+j]=Add(pre[i+j-1],a[i+j]),sum[cnt]=pre[i+j];
			cnt++;
			bs[cnt]=Add(bs[cnt-1],sum[cnt-1]);
		}
	}
	u64 qry(int i)
	{
		if(tb.find(i)!=tb.end()) return tb[i];
		if(i==n) assert(0);
		return tb[i]=Add(bs[i/SIZ],pre[i]);
	}
	void upd(int i,u64 v)
	{
		tb.clear();
		a[i]=v;
		// printf("* %d %d\n",i,v);
		int tw=i/SIZ;
		pre[tw*SIZ]=a[tw*SIZ];
		sum[tw]=pre[tw*SIZ];
		for(int j=max(1,i-tw*SIZ);j<SIZ&&tw*SIZ+j<n;j++) pre[tw*SIZ+j]=Add(pre[tw*SIZ+j-1],a[tw*SIZ+j]),sum[tw]=pre[tw*SIZ+j];
		for(int i=max(1,tw);i<cnt;i++) bs[i]=Add(bs[i-1],sum[i]);
	}
}a,b;
int op[N],t[N],pos[N];
u64 x[N];
signed main()
{
	cin>>n>>Q>>B;
	for(int i=0;i<n;i++) a.a[i]=read();
	for(int i=0;i<n;i++) b.a[i]=read();
	for(int i=1;i<=Q;i++)
	{
		op[i]=read();
		if(op[i]==1) t[i]=read(),pos[i]=read()-1,x[i]=read();
		else t[i]=read();
	}
	a.init(),b.init();
	vector<u64> ANS;
	for(int i=1;i<=Q;i++)
	{
		if(op[i]==1)
		{
			if(t[i]==1) a.upd(pos[i],x[i]);
			else b.upd(pos[i],x[i]);
		}
		else
		{
			if(t[i]==2*n)
			{
				u64 A=a.qry(n-1),B=b.qry(n-1);
				if(Cmp(A,B)==A) ANS.pb(B);
				else ANS.pb(A);
				continue;
			}
			int L=min(n-1,t[i]-2);
			int l=0,r=min(n-1,t[i]-2),ans=L+1;
			while(l<=r)
			{
				int mid=(l+r)/2;
				if(t[i]-mid-2>=n)
				{
					l=mid+1;
					continue;
				}
				u64 A=a.qry(mid),B=b.qry(t[i]-mid-2);
				if(Cmp(A,B)==B) ans=mid,r=mid-1;
				else l=mid+1;
			}
			if(ans==n) ANS.pb(b.qry(t[i]-n-1));
			else
			{
				u64 A=a.qry(ans),B=b.qry(t[i]-ans-1);
				// printf("%d %d - %d %d\n",ans,t[i]-ans-1,A,B);
				ANS.pb(Cmp(A,B));
			}
		}
		// for(int i=0;i<n;i++) printf("%d%c",b.qry(i)," \n"[i==n-1]);
	}
	printf("! %d\n",(int)ANS.size());
	print(ANS);
	return 0;
}