#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
int main() {
  int n;
  cin >> n;
  vector <int> ans;
  for (int i = 1; i <= n; i++) {
	  cout << "? " << n - 1 << endl;
	  for (int j = 1; j <= n; j++) {
		  if (i != j) {
			  cout << j;
			  if (j == n || (i == n && j == n - 1)) {
				  cout << endl;
				} else {
				  cout << " ";
				}
			}
		}
	  int a;
	  cin >> a;
	  if (!a) {
		  ans.push_back(i);
		}
	}
  cout << "! " << ans.size() << endl;
  for (int i = 0; i < ans.size(); i++) {
	  cout << ans[i];
	  if (i == ans.size() - 1) {
		  cout << endl;
		} else {
		  cout << " ";
		}
	}
  return 0;
}