#include <iostream>
#include <string>
#include <vector>
#include <algorithm>
using namespace std;

int main() {
    int n;
    cin >> n;
    vector<int> ans;
    for(int i=1;i<=n;i++){
        vector<int> v = ans;
        for(int j=i+1;j<=n;j++){
            v.push_back(j);
        }
        if(v.size() < 2){
            ans.push_back(i);
            continue;
        }
        cout << "? " << v.size() << endl;
        for(int j=0;j<v.size();j++){
            if(j > 0) cout << " ";
            cout << v[j];
        }
        cout << endl;
        int res;
        cin >> res;
        if(res == 0) ans.push_back(i);
    }
    cout << "! " << ans.size() << endl;
    for(int i=0;i<ans.size();i++){
        if(i > 0) cout << " ";
        cout << ans[i];
    }
    cout << endl;
    return 0;
}