#pragma GCC optimize ("O3")
#pragma GCC optimize ("unroll-loops")
//#pragma GCC target("sse,sse2,sse3,ssse3,sse4,popcnt,abm,mmx,avx,tune=native")
#include <bits/stdc++.h>
typedef long long ll;
typedef long double ld;
using namespace std;
const int N = 1e5 + 5;
int n;
vector<int> ans[N];
void ask(int l, int r) {
	cout << "? " << (r - l + 1) * 2;
	for(int i = l;i <= r;i++)
		cout << " " << i << " " << i;
	cout << endl;
	int k;
	cin >> k;
	vector<int> tmp;
	set<int> st;
	int cur = l;
	for(int i = 0;i < k;i++) {
		int x;
		cin >> x;
		if(st.count(x)) {
			ans[cur] = tmp;
			cur++;
			for(int j = 1;j < tmp.size();j++)
				cin >> x;
			i += tmp.size() - 1;
			st.clear();
			tmp.clear();
		} else {
			st.insert(x);
			tmp.push_back(x);
		}
	}
}
void answer() {
	cout << "!";
	for(int i = 1;i <= n;i++) {
		cout << " " << ans[i].size();
		for(auto j : ans[i])
			cout << " " << j;
	}
	cout << endl;
}
int main() {
    ios_base::sync_with_stdio(0);cin.tie(0);cout.tie(0);
    cin >> n;
    if(n == 1) {
		ask(1, 1);
		answer();
		return 0;
	}
    ask(1, n / 2);
    ask(n / 2 + 1, n - (n & 1));
    if(n & 1)
		ask(n, n);
	answer();
    return 0;
}