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

using ll = long long;

int main() {
    int n;
    cin >> n;
    vector<bool> use(n + 1);
    int cnt = 0;
    for (int i = 1; i <= n; i++) {
        cout << "? " << n - 1 << endl;
        for (int j = 1; j <= n; j++) {
            if (i == j) continue;

            cout << j;
            if (j != n) cout << " ";
            else cout << endl;
        }

        int ans;
        cin >> ans;

        use.at(i) = 1 - ans;
        cnt += 1 - ans;
    }

    cout << "! " << cnt << endl;
    for (int i = 1; i <= n; i++) {
        if (use.at(i)) {
            cout << i;
            if (i != n) cout << " ";
            else cout << endl;
        }
    }
}