#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
int main() {
    int N;
    cin >> N;
    int a[N];
    for (int i = 0; i < N; i++) {
        cout << "? " << N - 1 << "\n";
        int t = 0;
        for (int j = 0; j < N; j++) {
            if (j != i) {
                t++;
                if (t == N - 1) {
                    cout << j + 1 << "\n";
                } else {
                    cout << j + 1 << " ";
                }
            }
        }
        cin >> a[i];
    }
    int b = 0;
    for (int i : a) {
        if (i == 0) b++;
    }
    cout << "! "<< b << "\n";
    int c = 0;
    for (int i = 0; i < N; i++) {
        if (a[i] == 0) {
            c++;
            if (c == b) {
                cout << i + 1 << "\n";
            } else {
                cout << i + 1 << " ";
            }
        }
    }
    return 0;
}