#include <bits/stdc++.h>
using namespace std;
int n,tr[32010],rk[8010];
char s[10];
vector<int>v;
void qry(){
	sort(v.begin(),v.end());
	v.erase(unique(v.begin(),v.end()),v.end());
	printf("%d ",v.size());
	for(int i:v) printf("%d ",i);puts("");
	fflush(stdout);
	for(int i=1,w;i<=v.size();i++) scanf("%d",&w),rk[w]=i;
}
void build(int l,int r,int t){
	tr[t]=-1;
	if(l==r) return;
	int mid=(l+r)>>1;
	build(l,mid,t<<1),build(mid+1,r,t<<1|1);
}
void add(int a,int l,int r,int t){
	if(tr[t]>0) v.push_back(tr[t]);
	if(l==r) return;
	int mid=(l+r)>>1;
	if(a<=mid) add(a,l,mid,t<<1);
	else add(a,mid+1,r,t<<1|1);
}
void upd_add(int a,int l,int r,int t){
	if(tr[t]<0||rk[tr[t]]>rk[a]) tr[t]=a;
	if(l==r) return;
	int mid=(l+r)>>1;
	if(a<=mid) upd_add(a,l,mid,t<<1);
	else upd_add(a,mid+1,r,t<<1|1);
}
void del(int a,int l,int r,int t){
	if(l==r) return;
	int mid=(l+r)>>1;
	if(a<=mid){
		del(a,l,mid,t<<1);
		if(tr[t<<1|1]>0) v.push_back(tr[t<<1|1]);
	}
	else{
		del(a,mid+1,r,t<<1|1);
		if(tr[t<<1]>0) v.push_back(tr[t<<1]);
	}
}
void upd_del(int a,int l,int r,int t){
	if(l==r){
		tr[t]=-1;
		return;
	}
	int mid=(l+r)>>1;
	if(a<=mid) upd_del(a,l,mid,t<<1);
	else upd_del(a,mid+1,r,t<<1|1);
	if(tr[t<<1]<0) tr[t]=tr[t<<1|1];
	else if(tr[t<<1|1]<0) tr[t]=tr[t<<1];
	else tr[t]=rk[tr[t<<1]]<rk[tr[t<<1|1]]?tr[t<<1]:tr[t<<1|1];
} 
void dfs(int l,int r,int t){
	if(l==r) return;
	int mid=(l+r)>>1;
	dfs(l,mid,t<<1),dfs(mid+1,r,t<<1|1);
}
int main(){
	scanf("%d",&n);
	build(1,n,1);
	for(int i=1,x;i<=2*n;i++){
		scanf("%s%d",s,&x);
		if(s[0]=='a'){
			v.clear();
			v.push_back(x);
			add(x,1,n,1);
			qry();
			upd_add(x,1,n,1);
		}
		else{
			v.clear();
			del(x,1,n,1);
			qry();
			upd_del(x,1,n,1);
		}
		dfs(1,n,1);
		printf("%d\n",tr[1]),fflush(stdout);
	}
}