#include <iostream>
#include <vector>
#include <algorithm>
#include <cmath>
#include <queue>
#include <string>
#include <map>
#include <set>
#include <stack>
#include <tuple>
#include <deque>
#include <numeric>
#include <bitset>
#include <iomanip>
#include <cassert>
#include <chrono>
#include <random>
#include <limits>
#include <iterator>
#include <functional>
#include <sstream>
#include <complex>
using namespace std;

#define chmax(x, y) x = max(x, y)
#define chmin(x, y) x = min(x, y)

typedef long long ll;
typedef uint64_t ull;
typedef pair<int, int> P;
typedef pair<int, double> Pid;
typedef pair<double, int> Pdi;
typedef pair<ll, int> Pl;
typedef pair<ll, ll> Pll;
typedef pair<int, pair<int, int>> PP;
typedef pair<P, int> PPi;
constexpr double PI = 3.1415926535897932;   // acos(-1)
constexpr double EPS = 1e-9;
constexpr int INF = 1001001001;
constexpr int mod = 1e+9 + 7;
// constexpr int mod = 998244353;

bool used[1005];

int main(){
    ios::sync_with_stdio(false);
    cin.tie(nullptr);

    int n;
    cin >> n;
    vector<int> a(n);
    for(int i = 0; i < n; ++i){
        a[i] = i;
        used[i] = true;
    }
    int k = 0;
    for(int i = 0; i < n; ++i){
        cout << "? " << n - 1 << "\n" << flush;
        for(int j = 0; j < n; ++j){
            if(j == k)  continue;
            cout << j + 1 << " " << flush;
        }
        int ans;
        cin >> ans;
        if(ans == 1)    used[k] = false;
        ++k;
    }
    vector<int> res;
    for(int i = 0; i < n; ++i)  if(used[i]) res.emplace_back(i + 1);
    int sz = res.size();
    cout << "! " << sz << "\n" << flush;
    for(int i = 0; i < sz; ++i){
        cout << res[i];
        cout << ((i == sz - 1) ? "\n" : " ");
    }
    return 0;
}