#include <bits/stdc++.h>
#define int long long
using namespace std;
const int nmax = 5e5 + 1, inf = 1e9;
int col[nmax];
int qry(vector<int> v) {
cout << v.size() << " ";
for (auto it : v) {
cout << it << " ";
}
cout << endl;
int a;
cin >> a;
return a;
}
vector<int> get_pref(vector<int> v, int nr, int xtra) {
vector<int> g = {xtra};
for (int i = 0; i <= nr; i++) {
g.push_back(v[i]);
}
return g;
}
int32_t main() {
int n;
cin >> n;
vector<int> dif = {1};
for (int i = 2; i <= n; i++) {
int l = 0, r = dif.size() - 1, ans = -1;
while (l <= r) {
int mid = (l + r) / 2;
if (qry(get_pref(dif, mid, i)) < mid + 1) {
ans = mid;
r = mid - 1;
} else {
l = mid + 1;
}
}
if (ans == -1) {
cout << "!" << i << '\n';
col[i] = dif.size();
dif.push_back(i);
} else {
col[i] = col[dif[ans]];
}
}
cout << "0 ";
for (int i = 1; i <= n; i++) {
cout << col[i] + 1 << " ";
}
cout << endl;
return 0;
}
