#include <bits/stdc++.h>

using namespace std;

const int N = 1005;

int used[N];

int main(){
    int n; cin >> n;
    vector <int> ans;
    cout << "? " << n << ' ';
    for (int i = 1; i <= n / 2; ++ i) cout << i << ' ' << i << ' ';
    if (n & 1) cout << n / 2 + 1 << ' ';
    cout << endl;
    int k; cin >> k;
    while (k --){
        int a; cin >> a;
        ans.push_back(a);
    }

    cout << "? " << n << ' ';
    int be = n / 2 + 1;
    if (n & 1) {
        cout << n / 2 + 1 << ' ';
        be ++;
    }
    for (int i = be; i <= n; ++ i) cout << i << ' ' << i << ' ';
    cout << endl;
    cin >> k;
    while (k --){
        int a; cin >> a;
        ans.push_back(a);
    }


    cout << "! ";
    vector <int> arr;
    for (int id = 0; id < ans.size(); ++ id){
        int u = ans[id];
        if (used[u]){
            cout << arr.size() << ' ';
            for (int a : arr) cout << a << ' ';
            for (int i = 0; i < N; ++ i) used[i] = 0;
            id += arr.size() - 1;
        }
        else{
            arr.push_back(u);
            used[u] = 1;
        }
    }

    cout << endl;
}