#include <bits/stdc++.h>
using namespace std;
#define int long long
#define rep(i,n) for(int (i)=0;(i)<(n);(i)++)
#define rrep(i,n) for(int (i)=((n)-1);(i)>=0;(i)--)
#define itn int
#define all(x) (x).begin(),(x).end()
#define F first
#define S second
const long long INF = 1LL << 60;
const int MOD = 1000000007;
template<class T> inline bool chmin(T& a, T b) { if (a > b) { a = b; return true; } return false; }
template<class T> inline bool chmax(T& a, T b) { if (a < b) { a = b; return true; } return false; }
signed main(void){
    int n; cin>>n;
    int cnt = n;
    vector <int> a(n);
    rep(i,n){
        a[i] = i+1;
    }
    vector <int> tans;
    rep(i,n){
        cout<<"?"<<' '<<n-1<<endl;
        rep(j,n){
            if(j == i) continue;
            else cout<<a[j]<<' ';
        }
        cout<<endl;
        cout.flush();
        int ans;
        cin>>ans;
           
        if(ans == 0){
            tans.push_back(a[i]);
            
            cnt--;
        }

    }
    cout<<'!'<< ' '<< tans.size() <<endl;
    rep(i,tans.size()){
        cout<<tans[i]<<' ';
    }
    cout<<endl;
    cout.flush();
    return 0;  
}