#include <bits/stdc++.h>

using namespace std;

using ll = long long;

int main() {
    cin.tie(0);
    ios::sync_with_stdio(false);
    int n;
    cin >> n;

    vector<int> ans;
    for (int i = 1; i <= n; i++) {
        cout << "? " << n - 1 << endl;
        for (int j = 1; j <= n; j++) {
            if (j == i) {
                if (j == n) cout << endl;
                continue;
            }

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

        int query;
        cin >> query;
        if (query == 0) ans.push_back(i);
    }

    cout << "! " << ans.size() << endl;
    for (int i = 0; i < ans.size(); i++) {
        cout << ans[i];
        if (i + 1 == ans.size()) cout << endl;
        else cout << " ";
    }
    return 0;
}