#pragma region
#pragma GCC target("avx2")
#pragma GCC optimize("03")
#pragma GCC optimize("unroll-loops")
#include <bits/stdc++.h>
using namespace std; typedef long double ld; typedef long long ll;
typedef unsigned long long ull;
#define endl "\n"
#define FOR(i,a,b) for(int i=(a);i<=(b);i++)
#define PII pair<int, int>
#define PLL pair<ll, ll>
#define VPII vector<PII>
#define VPLL vector<PLL>
#define ALL(x) (x).begin(), (x).end()
constexpr int INF=1<<30; constexpr ll LINF=1LL<<60; constexpr ll mod=1e9+7; constexpr int NIL = -1;
template<class T>inline bool chmax(T &a, const T &b) { if (a<b) { a = b; return 1; } return 0; }
template<class T>inline bool chmin(T &a, const T &b) { if (b<a) { a = b; return 1; } return 0; }
#pragma endregion
//-------------------
vector<int> need;
vector<int> remained;

int main(){
    ios::sync_with_stdio(false); //cout << fixed << setprecision(15);
    auto ask = [](int n, int i) {
        cout << "? " << n-1 << endl;
        FOR(_,1,n) if(_!=i)cout << _ << " ";
        cout << endl;
        int ans; cin >> ans;
        return ans;
    };
    int n; cin >> n;

    FOR(i,1,n) {
        int ans = ask(n, i);
        if(ans==0) {
            need.push_back(i);
        } 
    }

    sort(ALL(need));
    cout << "! " << need.size() << endl;
    for(auto &e: need) cout << e << " ";
    cout << endl;
    return 0;
}