#include <bits/stdc++.h>

int ri() {
	int n;
	scanf("%d", &n);
	return n;
}

int main() {
	int n = ri();
	assert(n >= 3);
	std::vector<int> res;
	for (int i = 1; i <= n; i++) {
		std::string query = "? " + std::to_string(n - 1) + "\n";
		for (int j = 1; j <= n; j++) if (i != j) query += std::to_string(j) + " ";
		query.pop_back();
		std::cout << query << std::endl;
		if (!ri()) res.push_back(i);
	}
	std::cout << "! " << res.size() << std::endl;
	for (int i = 0; i < (int) res.size(); i++) {
		if (i) std::cout << " ";
		std::cout << res[i];
	}
	std::cout << std::endl;
	
	return 0;
}