#include<bits/stdc++.h>
#define N 8005
#define ls ((p)<<1)
#define rs (((p)<<1)|1)
using namespace std;
int n,mi[N<<2],in[N],ans[N],pos[N],nw;
char ch[N];
set<int> S;
bitset<N> q[N],xiao[N];
void ins(int p)
{
    if(!p) return ;
    if(mi[ls]&&in[mi[ls]]) S.insert(mi[ls]);
    if(mi[rs]&&in[mi[rs]]) S.insert(mi[rs]);
    ins(p>>1);
}
void pushup(int p)
{
    if(!p) return ;
    // printf("%d:%d->%d\n",p,mi[ls],mi[rs]);
    if(xiao[mi[ls]][mi[rs]]) mi[p]=mi[ls];
    else mi[p]=mi[rs];
    pushup(p>>1);
}
void update(int p,int L,int R,int pos,int c)
{
    if(L==R)
    {
        mi[p]=c;
        nw=p;
        ins(p>>1);
        return ;
    }
    int mid=(L+R)>>1;
    if(mid>=pos) update(ls,L,mid,pos,c);
    else update(rs,mid+1,R,pos,c);
}
void query()
{
    printf("%d ",S.size());
    for(auto to:S)
        printf("%d ",to);
    printf("\n");
    fflush(stdout);
    for(int i=1;i<=S.size();i++)
        scanf("%d",&ans[i]),pos[ans[i]]=i;
}
void work()
{
    int x;
    scanf("%s%d",ch+1,&x);
    S.clear();
    if(ch[1]=='a') in[x]=1,update(1,1,n,x,x);
    else in[x]=0,update(1,1,n,x,0);
    query();
    for(auto i:S)
        for(auto j:S)
        {
            if(pos[i]<pos[j]) xiao[i][j]=1,xiao[j][i]=0;
            else xiao[i][j]=0,xiao[j][i]=1;
        }
    pushup(nw>>1);
    if(mi[1]==0) puts("-1");
    else printf("%d\n",mi[1]);
    fflush(stdout);
}
int main()
{
    scanf("%d",&n);
    q[0][0]=1;
    for(int i=1;i<=n;i++)
        q[i][0]=q[0][i]=1,xiao[i][0]=1,xiao[0][i]=0,q[i][i]=1;
    for(int i=1;i<=2*n;i++)
        work();
    return 0;
}