#include <bits/stdc++.h>
using namespace std;
using i64 = long long;

int main()
{
  i64 n;
  cin >> n;
  i64 cnt = n;
  vector<bool> use(n, true);
  for (i64 i = 0; i < n; i++)
  {
    use[i] = false;
    cnt--;
    cout << "? " << cnt << "\n";
    for (i64 j = 0; j < n; j++)
      if (use[j])
        cout << j + 1 << " ";
    cout << endl;
    i64 r;
    cin >> r;
    if (r == 0)
    {
      use[i] = true;
      cnt++;
    }
  }
  cout << "! " << cnt << "\n";
  for (i64 j = 0; j < n; j++)
    if (use[j])
      cout << j + 1 << " ";
  cout << endl;
  return 0;
}