#include<bits/stdc++.h>
using namespace std;
int n,mnv[50003],lf[50003],rk[50003],stk[50003],tot,k1,k2,k3;
void build(int now,int l,int r){
	if(l==r){lf[l]=now;return;}
	build(now*2,l,((l+r)>>1));
	build(now*2+1,((l+r)>>1)+1,r);
	return;
}
string s;
void pushup(int now){
	if(mnv[now*2]==0||mnv[now*2+1]==0)mnv[now]=(mnv[now*2]|mnv[now*2+1]);
	else{
		if(rk[mnv[now*2]]<rk[mnv[now*2+1]])mnv[now]=mnv[now*2];
		else mnv[now]=mnv[now*2+1];
	}
	return;
}
int main(){
	cin>>n;
	build(1,1,n);
	for(int uuu=1;uuu<=2*n;uuu++){
		cin>>s>>k1;
		if(s[0]=='a')mnv[lf[k1]]=k1;
		else mnv[lf[k1]]=0;
		stk[tot=1]=mnv[lf[k1]];
		for(int i=lf[k1];i!=1;i/=2)stk[++tot]=mnv[i^1];
		sort(stk+1,stk+tot+1);
		for(int i=1,j=0;i<=tot;i++){
			if(stk[i]!=0&&(j==0||stk[j]!=stk[i]))stk[++j]=stk[i];
			if(i==tot)tot=j;
		}
		cout<<tot<<'\n';
		fflush(stdout);
		for(int i=1;i<=tot;i++)cout<<stk[i]<<' ';
		cout<<'\n';
		fflush(stdout);
		for(int i=1;i<=tot;i++){
			cin>>k1;
			rk[k1]=i;
		}
		for(int i=lf[k1];i!=1;i/=2)pushup(i/2);
		if(mnv[1]==0)cout<<-1<<'\n';
		else cout<<mnv[1]<<'\n';
		fflush(stdout);
	}
	return 0;
}