// #define DEBUGGING
#include <bits/stdc++.h>
#define endl '\n'
#define ALL(V) (V).begin(), (V).end()
#define ALLR(V) (V).rbegin(), (V).rend()
template <typename T> using V = std::vector<T>;
template <typename T> using VV = V<V<T>>;
using ll = std::int64_t;
using ull = std::uint64_t;
using PLL = std::pair<ll, ll>;
using TLL = std::tuple<ll, ll, ll>;
template <typename T> const T& var_min(const T &t) { return t; }
template <typename T> const T& var_max(const T &t) { return t; }
template <typename T, typename... Tail> const T& var_min(const T &t, const Tail&... tail) { return std::min(t, var_min(tail...)); }
template <typename T, typename... Tail> const T& var_max(const T &t, const Tail&... tail) { return std::max(t, var_max(tail...)); }
template <typename T, typename... Tail> void chmin(T &t, const Tail&... tail) { t = var_min(t, tail...); }
template <typename T, typename... Tail> void chmax(T &t, const Tail&... tail) { t = var_max(t, tail...); }
template <typename T> const T& clamp(const T &t, const T &low, const T &high) { return std::max(low, std::min(high, t)); }
template <typename T> void chclamp(T &t, const T &low, const T &high) { return t = clamp(t, low, high); }
namespace init__ { struct InitIO { InitIO() { std::cin.tie(nullptr); std::ios_base::sync_with_stdio(false); std::cout << std::fixed << std::setprecision(30); } } init_io; }
#define mv_rec make_v(init, tail...)
template <typename T> T make_v(T init) { return init; }
template <typename T, typename... Tail> auto make_v(T init, size_t s, Tail... tail) { return V<decltype(mv_rec)>(s, mv_rec); }
#undef mv_rec
#ifdef DEBUGGING
#include "../../debug/debug.cpp"
#else
#define DEBUG(...) 0
#define DEBUG_SEPARATOR_LINE 0
#endif
using namespace std;

V<ll> need;
ll N;

bool query(ll left) {
    ll cnt = N - left + 1 + need.size();
    if(cnt == 1) return false;
    cout << "? " << cnt << endl;
    bool space = false;
    if(need.size()) {
        cout << need[0];
        for(ll i = 1; i < need.size(); i++) cout << ' ' << need[i];
        space = true;
    }
    if(left < N + 1) {
        if(space) cout << ' ';
        cout << left;
        for(ll i = left + 1; i <= N; i++) cout << ' ' << i;
    }
    cout << endl << flush;
    ll ans;
    cin >> ans;
    return ans == 1;
}

int main() {
    cin >> N;
    for(ll i = 1; i <= N; i++) {
        bool ok = query(i + 1);
        if(!ok) need.push_back(i);
    }
    cout << "! " << need.size() << endl;
    cout << need[0];
    for(ll i = 1; i < need.size(); i++) cout << ' ' << need[i];
    cout << endl << flush;
    return 0;
}