#include <bits/stdc++.h>
using namespace std;
const int N=310;
int n,k,a,b,cnt,h[N],c[N],d[N];
bitset<310>tmp,s[N],t[N],t1[N];
struct AB{
	int x,y,n;
}l[N*2];
void in(int x,int y){
	l[++cnt].x=x,l[cnt].y=y;
	l[cnt].n=h[x],h[x]=cnt;
}
void add(int p,int rt){
	tmp=s[p];
	for(int i=n;i>=1;i--){
		if(!s[p][i])continue;
		else{
			if(t[i][i]){
				s[p]^=t[i];
				if(s[p]==s[0])break;
			}else{
				t[i]=s[p],t1[i]=tmp;
				c[i]=p,d[i]=rt;
				break;
			}
		}
	}
}
void dfs(int a,int p,int st,int rt){
	int b;
	s[a]=s[p],s[a].set(a);
	if(st==k){
		add(a,rt);
		return ;
	}
	for(int i=h[a];i;i=l[i].n){
		b=l[i].y;
		if(b==p)continue;
		dfs(b,a,st+1,rt);
	}
}
int main(){
	scanf("%d%d",&n,&k);
	for(int i=1;i<n;i++){
		scanf("%d%d",&a,&b);
		in(a,b),in(b,a);
	}
	s[0].reset();
	for(int i=1;i<=n;i++){
		dfs(i,0,0,i);
	}
	t[1].set(1),t1[1]=t[1];
	for(int i=1;i<=n;i++){
		if(t[i][i]==0){
			cout<<"NO"<<endl;
			return 0;
		}
	}
	cout<<"YES"<<endl;
	cout<<"? "<<n-1<<' ';
	for(int i=2;i<=n;i++){
		cout<<c[i]<<' '<<d[i]<<' ';
	}
	cout<<endl;
	for(int i=2;i<=n;i++){
		cin>>c[i];
	}
	for(int i=n;i>=1;i--){
		for(int j=i-1;j>=1;j--){
			if(t1[j][i])t1[j]^=t1[i],c[j]^=c[i];
		}
	}
	for(int i=2;i<=n;i++){
		for(int j=1;j<i;j++){
			if(t1[i][j])c[i]^=c[j];
		}
	}
	cout<<"! ";
	for(int i=2;i<=n;i++)cout<<c[i]<<' ';
	cout<<endl;
	return 0;
}