/* -*- coding: utf-8 -*-
 *
 * 934.cc:  No.934 Explosive energy drink - yukicoder
 */

#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<cmath>
#include<iostream>
#include<string>
#include<vector>
#include<map>
#include<set>
#include<stack>
#include<list>
#include<queue>
#include<deque>
#include<algorithm>
#include<numeric>
#include<utility>
#include<complex>
#include<functional>
 
using namespace std;

/* constant */

const int MAX_N = 1000;

/* typedef */

/* global variables */

int bs[MAX_N];

/* subroutines */

int query(int n, int i) {
  printf("? %d\n", n - 1);
  for (int j = 0, cont = 0; j < n; j++)
    if (j != i) {
      if (cont) putchar(' ');
      printf("%d", j + 1);
      cont = 1;
    }
  putchar('\n'); fflush(stdout);

  int a;
  scanf("%d", &a);
  return a;
}

/* main */

int main() {
  int n;
  scanf("%d", &n);

  int k = 0;
  for (int i = 0; i < n; i++)
    if (query(n, i) == 0) bs[k++] = i;

  printf("! %d\n", k);
  for (int i = 0; i < k; i++) {
    if (i) putchar(' ');
    printf("%d", bs[i] + 1);
  }
  putchar('\n'); fflush(stdout);
  return 0;
}