cf1270D——交互，思维

#include<bits/stdc++.h>
using namespace std;
#define N 505

map<int,int>mp;
int a[N],n,k,m;

void ask(){
    cout<<"? ";
    for(int i=1;i<=k;i++)
        cout<<a[i]<<" ";
    cout<<endl;
}

int main(){
    cin>>n>>k;
    if(k==1){puts("! 1");return 0;}
    
    for(int i=1;i<=k+1;i++){
        int cnt=0;
        for(int j=1;j<=k+1;j++)
            if(j!=i)a[++cnt]=j;
        ask();
        int pos,val;
        cin>>pos>>val;
        mp[val]++;
    }

    // 一个数出现(较大的)m次，另一个数出现k+1-m次
    int Max=0,ans;
    for(auto p:mp)
        Max=max(Max,p.first);
    for(auto p:mp)
        if(p.first==Max)
            ans=p.second;
    
    cout<<"! "<<ans<<endl;
}