#include<iostream>
#include<vector>
#include<random>
#include<cassert>
using namespace std;
const bool debug=false;
vector<int>ans;
int Qc;
int N;
bool ask(vector<int>B)
{
	if(N<B.size())return false;
	if(debug)
	{
		Qc++;
		int idx=0;
		for(int b:B)
		{
			while(idx<ans.size()&&ans[idx]!=b)idx++;
			if(idx==ans.size())return false;
			idx++;
		}
		return true;
	}
	cout<<"? "<<B.size();
	for(int b:B)cout<<" "<<b;
	cout<<endl;
	string s;
	cin>>s;
	return s=="Yes";
}
vector<int>solve(int N)
{
	vector<int>B;
	for(int a=1;a<=N;a++)
	{
		for(int cnt=0;;cnt++)
		{
			int f=0;
			{
				vector<int>C(B.begin(),B.begin()+f);
				C.push_back(a);
				for(int i=f;i<B.size();i++)if(B[i]==a)C.push_back(a);
				if(!ask(C))break;
			}
			int L=f,R=B.size()+1;
			while(R-L>1)
			{
				int mid=(L+R)/2;
				vector<int>C(B.begin(),B.begin()+mid);
				C.push_back(a);
				for(int i=mid;i<B.size();i++)if(B[i]==a)C.push_back(a);
				if(ask(C))L=mid;
				else R=mid;
			}
			B.insert(B.begin()+L,a);
		}
	}
	return B;
}
int main()
{
	ios::sync_with_stdio(false);
	cin.tie(nullptr);
	mt19937 rng;
	while(debug)
	{
		N=rng()%500+1;
		ans.resize(N);
		for(int i=0;i<N;i++)ans[i]=rng()%N+1;
		Qc=0;
		auto A=solve(N);
		if(A!=ans)
		{
			cout<<"ans :";for(int a:ans)cout<<" "<<a;cout<<endl;
			cout<<"A :";for(int a:A)cout<<" "<<a;cout<<endl;
		}
		else cout<<"AC Q = "<<Qc<<endl;
		assert(A==ans);
	}
	cin>>N;
	auto A=solve(N);
	cout<<"!";
	for(int a:A)cout<<" "<<a;
	cout<<endl;
}