//#define _GLIBCXX_DEBUG
#include "bits/stdc++.h"

using namespace std;

//------------------------------- Type Names -------------------------------//

using i64 = int_fast64_t;

using seika = string;
//{akari : 1D, yukari : 2D, maki : 3D} vector
template <class kizuna>
using akari = vector<kizuna>;
template <class yuzuki>
using yukari = akari<akari<yuzuki>>;
template <class tsurumaki>
using maki = akari<yukari<tsurumaki>>;
//{akane : ascending order, aoi : decending order} priority queue
template <class kotonoha>
using akane = priority_queue<kotonoha, akari<kotonoha>, greater<kotonoha>>;
template <class kotonoha>
using aoi = priority_queue<kotonoha>;
//------------------------------- Libraries --------------------------------//

//------------------------------- Dubug Functions ---------------------------//
inline void print()
{
    cout << endl;
}
template <typename First, typename... Rest>
void print(const First &first, const Rest &... rest)
{
    cout << first << ' ';
    print(rest...);
}
//------------------------------- Solver ------------------------------------//

void solve()
{
    int n;
    cin >> n;
    akari<int> ans(n);
    for (int i = 0; i < n; i++)
    {
        cout << "? " << n - 1 << '\n';
        for (int j = 0; j < n; j++)
        {
            if (i == j)
            {
                continue;
            }
            cout << j + 1 << ' ';
        }
        cout << endl;
        cin >> ans[i];
        ans[i] = 1 - ans[i];
    }
    cout << "! " << accumulate(ans.begin(), ans.end(), 0) << '\n';
    for (int i = 0; i < n; i++)
    {
        if (ans[i])
        {
            cout << i + 1 << ' ';
        }
    }
    cout << endl;
}

int main()
{
    solve();
    return 0;
}