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

int N;

bool query(vector<int> x){
	cout << '?';
	for(int i : x){
		cout << " " << i+1;
	}
	cout << endl;
	string S;
	cin >> S;
	assert(S!="Invalid");
	return S=="Yes";
}

int main(){
	cin >> N;
	vector<vector<int>> G(N);
	vector<pair<int,int>> E(N-1);
	for(int i=0;i<N-1;i++){
		int u,v;
		cin >> u >> v;
		u--; v--;
		G[u].emplace_back(v);
		G[v].emplace_back(u);
		E[i]=make_pair(u,v);
	}
	queue<int> que;
	vector<int> col(N,-1);
	col[0]=0;
	que.push(0);
	while(!que.empty()){
		int pos=que.front();
		que.pop();
		for(int nv : G[pos]){
			if(col[nv]!=-1) continue;
			col[nv]=col[pos]^1;
			que.push(nv);
		}
	}
	{
		vector<int> x(N-1);
		for(int i=0;i<N-1;i++){
			//colが0の方にする
			if(col[E[i].first]==0){
				x[i]=E[i].first;
			}
			else{
				x[i]=E[i].second;
			}
		}
		bool check=query(x);
		if(!check){
			//colを反転させる
			for(int i=0;i<N;i++){
				col[i]^=1;
			}
		}
	}
	//colが0の方に宝がある
	vector<int> default_x(N-1);
	for(int i=0;i<N-1;i++){
		if(col[E[i].first]==1){
			default_x[i]=E[i].first;
		}
		else{
			default_x[i]=E[i].second;
		}
	}
	int ans=0;
	for(int i=0;i<14;i++){
		//2^iの位が1になっているcolが1の頂点だけ変更
		vector<int> x=default_x;
		for(int j=0;j<N-1;j++){
			int res=E[j].first;
			if(col[E[j].first]==1){
				res=E[j].second;
			}
			if(res&(1<<i)){
				x[j]=res;
			}
		}
		bool check=query(x);
		if(check){
			ans|=1<<i;
		}
	}
	cout << ans+1 << '\n';
}