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

int main() {
    vector<int> ans;
    int n;
    cin >> n;
    for (int i = 0; i < n; i++) {
        cout << "? " << n - 1 << endl;
        for (int j = 0; j < n; j++) {
            if (i == j) continue;
            if (j > 0 && (i > 0 || j >= 2)) cout << " ";
            cout << j + 1;
        }
        cout << endl;
        int e;
        cin >> e;
        if (e == 0) ans.push_back(i + 1);
    }
    cout << "! " << ans.size() << endl;
    for (int i = 0; i < ans.size(); i++) {
        cout << ans.at(i);
        if (i == ans.size() - 1) {
            cout << endl;
        } else {
            cout << " ";
        }
    }
}