#include <vector>
#include <iostream>
using namespace std;
int main() {
	int N;
	cin >> N;
	vector<bool> flag(N + 1, true);
	for(int i = 1; i <= N; ++i) {
		cout << "? " << N - 1 << endl;
		int cnt = 0;
		for(int j = 1; j <= N; ++j) {
			if(j == i) continue;
			if(cnt++ != 0) cout << ' ';
			cout << j;
		}
		cout << endl;
		int res;
		cin >> res;
		if(res == 0) {
			flag[i] = false;
		}
	}
	vector<int> ans;
	for(int i = 1; i <= N; ++i) {
		if(flag[i]) ans.push_back(i);
	}
	cout << "! " << ans.size() << endl;
	for(int i = 0; i < ans.size(); ++i) {
		if(i) cout << ' ';
		cout << ans[i];
	}
	cout << endl;
	return 0;
}