#include <bits/stdc++.h>
using namespace std;
#define int long long
vector<int> couleurs;
int dicho(int pos) {
int c = 0;
int j = 1;
while (j < couleurs.size()) j <<= 1;
while (j > 1)
{
j >>= 1;
cout << j + 1 << " ";
for (int i = 0; i < j; i++)
{
cout << couleurs[c+i] +1 << " ";
}
cout << pos +1 << endl;
int ans;
cin >> ans;
if (ans == j + 1) {
c += j;
}
}
return c;
}
signed main() {
ios_base::sync_with_stdio(false); cin.tie(0), cout.tie(0);
int n;
cin >> n;
int nbCoul = 0;
vector<int> reponse(n, 0);
for (int i = 0; i < n; i++)
{
cout << i+1 << " ";
for (int j = 0; j < i+1; j++)
{
cout << j +1 << " ";
}
cout << endl;
int ans;
cin >> ans;
if (ans != nbCoul) {
nbCoul++;
reponse[i] = nbCoul;
couleurs.push_back(i);
}
else {
reponse[i] = dicho(i) + 1;
}
}
cout << "0 ";
for (int i = 0; i < n; i++)
{
cout << reponse[i] << " ";
}cout << endl;
return 0;
}
