#include<bits/stdc++.h>
using namespace std;
vector<int> n3;
signed main(){
int n;
cin>>n;
int x1 = 0;
vector<int> n1;
int c = 0;
n3.assign(n,0);
for (int i = 0;i<n;i++){
n1.push_back(i+1);
cout<<n1.size()<<" ";
for (int j = 0;j<(int)n1.size();j++) cout<<n1[j]<<" ";
cout<<endl;
int n2;
cin>>n2;
if (n2>c){
c++;
x1++;
}
else{n1.pop_back();}
}
for (int i = 0;i<(int)n1.size();i++){n3[n1[i]-1] = i+1;}
for (int i = 0;i<n;i++){
if (n3[i]!=0) continue;
int a = 0;
int b = (int)n3.size()-1;
while (a<b){
int x = (a+b)/2;
vector<int> n4;
for (int j= a;j<=x;j++) n4.push_back(n1[j]);
n4.push_back(i+1);
cout<<n4.size()<<" ";
for (int j = 0;j<(int)n4.size();j++) cout<<n4[j]<<" ";
cout<<endl;
int y;
cin>>y;
if (y==(x-a+1)) b = x;
else a = x+1;
}
n3[i] = n3[n1[a]-1];
}
cout<<0<<" ";
for (int i = 0;i<(int)n3.size();i++) cout<<n3[i]<<" ";
cout<<endl;
return 0;
}
