#include <bits/stdc++.h>
using namespace std;
int main () {
	int N;
	cin >> N;
	std::vector<int> D(N, -1);
	D[0] = 0;
	vector<int> ID = {0};
	while (ID.back() != N-1 && ID.back() >= 0) {
		cout << "? " << ID.size() << "\n";
		for (auto& a : ID) {
			cout << a + 1 << (a == ID.back() ? "" : " ");
		}
		cout << endl;
		int w, j;
		cin >> w >> j;
		ID.push_back(j-1);
		if (j > 0) D[j-1] = w;
		if (w < 0) break;
	}
	cout << D.back() << endl;
}