#include<bits/stdc++.h>
#define N 8005
#define ls ((p)<<1)
#define rs (((p)<<1)|1)
using namespace std;
int n,mi[N<<2],ans[N],pos[N];
char ch[N];
set<int> S,ned;
bitset<N> q[N],xiao[N];
void pushup(int p)
{
    if(!p) return ;
    if(q[mi[ls]][mi[rs]])
    {
        if(xiao[mi[ls]][mi[rs]]) mi[p]=mi[ls];
        else mi[p]=mi[rs];
        pushup(p>>1);
    }
    else ned.insert(p);
}
void update(int p,int L,int R,int pos,int c)
{
    if(L==R)
    {
        mi[p]=c;
        pushup(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);
    if(ch[1]=='a') update(1,1,n,x,x);
    else update(1,1,n,x,0);
    S.clear();
    for(auto p:ned)
    {
        // printf("%d:%d->%d\n",p,mi[ls],mi[rs]);
        // cout<<q[mi[ls]][mi[rs]]<<endl;
        S.insert(mi[ls]);
        S.insert(mi[rs]);
        q[mi[ls]][mi[rs]]=q[mi[rs]][mi[ls]]=1;
    }
    query();
    for(auto p:ned)
    {
        if(pos[mi[ls]]<pos[mi[rs]]) xiao[mi[ls]][mi[rs]]=1,xiao[mi[rs]][mi[ls]]=0;
        else xiao[mi[ls]][mi[rs]]=0,xiao[mi[rs]][mi[ls]]=1;
    }
    set<int> tmp;
    for(auto to:ned)
        tmp.insert(to);
    ned.clear();
    for(auto to:tmp)
        pushup(to);
    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;
}