#include <bits/stdc++.h>
#define rep(i,n) for(int i=(0);i<(n);i++)

using namespace std;

typedef long long ll;

int main(){
	cin.tie(0);
	ios::sync_with_stdio(false);

	int n;
	cin >> n;

	int m = n;
	vector<bool> use(n, true);
	bool first;
	
	rep(i, n){
		m--;
		use[i] = false;
		cout << "? " << m << endl;
		first = true;
		rep(j, n){
			if(use[j]){
				if(first){
					cout << (j + 1);
					first = false;
				}else{
					cout << " " << (j + 1);
				}
			}
		}
		cout << endl;

		int ans;
		cin >> ans;

		m += 1 - ans;
		use[i] = ans == 0;
	}

	cout << "! " << m << endl;
	first = true;
	rep(j, n){
		if(use[j]){
			if(first){
				cout << (j + 1);
				first = false;
			}else{
				cout << " " << (j + 1);
			}
		}
	}
	cout << endl;

}