#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::cout << "? " << n - 1 << std::endl;
		for (int j = 1; j <= n; j++) if (i != j) std::cout << j << " ";
		std::cout << 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;
}