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

int main(){
  int n;
  cin>>n;
  vector<int> vec={0};
  for (int t=0;t<n-1;t++){
    int l=t+1;
    cout<<"? "<<l<<endl;
    for (int i=0;i<l;i++) cout<<vec[i]+1<<" \n"[i==l-1];
    cout<<flush;
    int w,i;
    cin>>w>>i;
    i--;
    vec.push_back(i);
    if (i==n-1){
      cout<<"! "<<w<<endl;
      return 0;
    }
  }
}