#include<bits/stdc++.h>
using namespace std;
int main()
{
int n;
cin>>n;
vector<int>col(n+1,0);
cout<<n<<" ";
for(int i=1;i<=n;i++)cout<<i<<" ";
cout<<endl;
int total;
cin>>total;
cout<<endl;
vector<int>rep(1,0);
int seen=0;
for(int i=1;i<=n;i++)
{
cout<<i<<" ";
for(int j=1;j<=i;j++)cout<<j<<" ";
cout<<endl;
int x;
cin>>x;
cout<<endl;
if(x!=seen)
{
rep.push_back(i);
col[i]=rep.size()-1;
seen=x;
}
}
int k=rep.size()-1;
for(int i=1;i<=n;i++)
{
if(col[i])continue;
int l=1,r=k;
while(l<=r)
{
int m=(l+r)/2;
cout<<m+1<<" ";
for(int j=1;j<=m;j++)cout<<rep[j]<<" ";
cout<<i<<" "<<endl;
int x;
cin>>x;
cout<<endl;
if(x==m)r=m-1;
else l=m+1;
}
col[i]=l;
}
cout<<"0 ";
for(int i=1;i<=n;i++)cout<<col[i]<<" ";
cout<<endl;
}
