#include "bits/stdc++.h"
#define rep(i,n) for(int i=0;i<n;i++)
using namespace std;

using ll = long long;

int main() {
    int N, K, ans;
    cin >> N;
    K = N;
    vector<bool> f(N, false);
    rep(i, N) {
        cout << "? " << K - 1 << endl;
        rep(j, N) {
            if (i == j || f[j]) continue;
            cout << j + 1 << " ";
        }
        cout << endl;
        cin >> ans;
        if (ans == 1) {
            f[i] = true;
            K--;
            if (K == 2) break;
        }
    }
    cout << "! " << K << endl;
    rep(i, N) {
        if (!f[i]) cout << i + 1 << " ";
    }
    cout << endl;
}