#include <iostream>
#include <vector>
#include <map>
#include <set>
#include <queue>
#include <algorithm>
#include <string>
#include <cmath>
#include <cstdio>
#include <iomanip>
#include <fstream>
#include <cassert>
#include <cstring>
#include <unordered_set>
#include <unordered_map>
#include <numeric>
#include <ctime>
#include <bitset>
#include <complex>
#include <random>

using namespace std;

pair<int, int> qr(vector<int> a) {
    cout << "? ";
    for (auto t : a) {
        cout << t + 1 << ' ';
    }
    cout << endl;
    int pos, x;
    cin >> pos >> x;
    return {x, pos};
}

signed main() {
    ios_base::sync_with_stdio(false);
    cin.tie(0);

    int n, k;
    cin >> n >> k;
    vector<int> a(k + 1);
    iota(a.begin(), a.end(), 0);
    map<pair<int, int>, int> cnt;
    for (int i = 0; i < k + 1; i++) {
        a.erase(a.begin());
        cnt[qr(a)]++;
        a.push_back(i);
    }
    cout << "! " << cnt.rbegin()->second << endl;
}