#include <bits/stdc++.h>
using namespace std;
const int N = 151;
vector<int> head;
int ans[N];
int main() {
ios_base::sync_with_stdio(false);
cin.tie(NULL); cout.tie(NULL);
int n;
cin >> n;
ans[1] = 1;
head.push_back(1);
for (int i=2;i<=n;i++) {
int l = 0 , r = head.size() - 1 , anss = -1;
while (l <= r) {
int mid = (l + r) / 2;
//cout << i << ' ' << l << ' ' << r << ' ' << mid << '\n';
cout << mid - l + 2 << ' ';
for (int i=l;i<=mid;i++) cout << head[i] << ' ';
cout << i << endl;
int inp;
cin >> inp;
if (inp==mid-l+1) anss = mid , r = mid - 1;
else l = mid + 1;
}
if (anss==-1) {
ans[i] = head.size()+1;
head.push_back(i);
}
else ans[i] = anss+1;
// cout << i << '\t';
// for (auto i:head) cout << i << ' ';
// cout << '\n';
}
for (int i=0;i<=n;i++) cout << ans[i] << ' ';
return 0;
}
