#include<bits/stdc++.h>
using namespace std;

typedef unsigned long long ull;

ull add(ull x,ull y){
    cout<<"A "<<x<<' '<<y<<endl;
    ull t;cin>>t;
    return t;
}

bool cmp(ull x,ull y){
    cout<<"C "<<x<<' '<<y<<endl;
    ull t;cin>>t;
    return t==x;
}

const int N=100100;

ull sum0[2][N],sum1[2][N],a[2][N];
int n,q,B,id[N],lst[N];
vector<ull>ans;



void Init(int t){
    for(int i=1;i<=n;++i){
        if(id[i]!=id[i-1])
            sum0[t][i]=a[t][i];
        else
            sum0[t][i]=add(sum0[t][i-1],a[t][i]);
        if(id[i]!=id[i+1]){
            if(id[i]==1)
                sum1[t][id[i]]=sum0[t][i];
            else
                sum1[t][id[i]]=add(sum1[t][id[i]-1],sum0[t][i]);
        }
    }
}

void modify(int t,int x,ull y){
    a[t][x]=y;
    int i=x;
    for(;id[i]==id[x];++i){
        if(id[i]!=id[i-1])
            sum0[t][i]=a[t][i];
        else
            sum0[t][i]=add(sum0[t][i-1],a[t][i]);
    }
    --i;
    int j=id[i];
    for(;j<=id[n];++j){
        if(j==1)
            sum1[t][j]=sum0[t][lst[j]];
        else
            sum1[t][j]=add(sum1[t][j-1],sum0[t][lst[j]]);
    }
}

ull get_value(int t,int i){
    if(id[i]==1)
        return sum0[t][i];
    return add(sum0[t][i],sum1[t][id[i]-1]);
}

void query(int k){
    int l=max(k-n,1),r=min(n+1,k);
    while(l<r){
        int mid=(l+r)/2;
        ull x=get_value(0,mid),y=get_value(1,k-mid);
        if(cmp(x,y))
            l=mid+1;
        else
            r=mid;
    }
    int u=l,v=k-l+1;
    if(u>n){
        ans.push_back(get_value(1,v));
        return;
    }
    if(v>n){
        ans.push_back(get_value(0,u));
        return;
    }
    ull p=get_value(1,v),q=get_value(0,u);
    if(cmp(p,q))
        ans.push_back(p);
    else
        ans.push_back(q);
}

vector<array<ull,4> >qry;

int main(){
    ios::sync_with_stdio(0);
    cin>>n>>q>>B;B=sqrt(n)+1;
    for(int i=1;i<=n;++i)
        cin>>a[0][i];
    for(int i=1;i<=n;++i)
        cin>>a[1][i];
    for(int i=1;i<=n;++i)
        id[i]=i/B+1,lst[id[i]]=i;
    for(int i=0;i<q;++i){
        ull tp;cin>>tp;
        if(tp==1){
            ull x,y,z;cin>>x>>y>>z;
            qry.push_back(array<ull,4>{tp,x,y,z});
        }else{
            ull x;cin>>x;
            qry.push_back(array<ull,4>{tp,x,0,0});
        }
    }
    Init(0);Init(1);
    for(int i=0;i<q;++i){
        int tp;tp=qry[i][0];
        if(tp==1){
            modify(qry[i][1]-1,qry[i][2],qry[i][3]);
        }else{
            query(qry[i][1]);
        }
    }
    cout<<"! "<<ans.size()<<endl;
    for(int i=0;i<(int)ans.size();++i)
        cout<<ans[i]<<" \n"[i==(int)ans.size()-1];
    return 0;
}