#include <bits/stdc++.h>
using namespace std;
signed main() {
ios_base::sync_with_stdio(0);
cin.tie(0);
cout.tie(0);
int n;
cin >> n;
int a[n+1]={};
int cnt = 1;
cout << n<<" ";
for(int i = 1; i<=n ;i++) cout << i <<" ";
cout << endl;
int k;
cin >> k;
cout << endl;
int lim = 0;
int v[k+1]={};
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!=lim) {
v[cnt] = i;
a[i] = cnt;
cnt++;
lim = x;
}
}
for(int i = 1; i<=n ; i++) {
if(a[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 << v[j]<<" ";
cout <<i<< " ";
cout << endl;
int x;
cin >> x;
cout << endl;
if(x==m) r = m-1;
else l = m+1;
}
a[i] = l;// 1 2 1 2
}
cout << endl;
cout << "0 ";
for(int i = 1; i<=n ; i++) cout << a[i] <<" ";
cout << endl;
}
