#include <iostream>
#include <string>
#include <vector>
#define llint long long

using namespace std;

llint n;
vector<llint> ans;

int main(void)
{
	ios::sync_with_stdio(0);
	cin.tie(0);
	
	cin >> n;
	
	llint res;
	for(int i = 1; i <= n; i++){
		cout << "? " << n-1 << endl;
		for(int j = 1; j <= n; j++){
			if(i == j) continue;
			cout << j << " ";
		}
		cout << endl;
		cin >> res;
		if(res == 0) ans.push_back(i);
	}
	
	cout << "! " << ans.size() << endl;
	for(int i = 0; i < ans.size(); i++) cout << ans[i] << " "; cout << endl;
	
	return 0;
}