#include<iostream>
#include<vector>
#include<cassert>
using namespace std;
int N;
bool ask(vector<int>B)
{
	if(N<B.size())return false;
	cout<<"? "<<B.size();
	for(int b:B)cout<<" "<<b;
	cout<<endl;
	string s;
	cin>>s;
	return s=="Yes";
}
int main()
{
	ios::sync_with_stdio(false);
	cin.tie(nullptr);
	cin>>N;
	vector<int>B;
	for(int a=1;a<=N;a++)
	{
		for(int cnt=0;;cnt++)
		{
			int f=0;
			if(cnt>0)
			{
				f=B.size();
				while(B[f-1]!=a)f--;
			}
			{
				vector<int>C(B.begin(),B.begin()+f);
				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);
				if(ask(C))L=mid;
				else R=mid;
			}
			B.insert(B.begin()+L,a);
		}
	}
	cout<<"!";
	for(int a:B)cout<<" "<<a;
	cout<<endl;
}