#include<iostream>
#include<vector>
#include<set>
using namespace std;

int main(){
    int n;
    cin >> n;
    set<int> ans;
    int now = n-1;
    while(now >= 1){
        cout << "? " << now+ans.size() << endl << flush;
        for(int i = 1; i <= now; i++){
            if(i-1) cout << " ";
            cout << i;
        }
        for(int x : ans)    cout << " " << x;
        cout << endl << flush;
        int ret;
        cin >> ret;
        if(ret==0) ans.insert(now+1);
        now--;
    }
    cout << "? " << n-1 << endl << flush;
    for(int i = 2; i <= n; i++){
        if(i-2) cout << " ";
        cout << i;
    }
    cout << endl << flush;
    int ret;
    cin >> ret;
    if(ret==0) ans.insert(1);
    cout << "! " << ans.size() << endl << flush;
    for(auto it = ans.begin(); it != ans.end(); it++){
        if(it != ans.begin())   cout << " ";
        cout << *it;
    }
    cout << endl;
    return 0;
}