// top tree
// what is matter? never mind. 
#pragma GCC optimize("Ofast")
#pragma GCC optimize("unroll-loops")
//#pragma GCC target("sse,sse2,sse3,sse4,popcnt,abm,mmx,avx,avx2") 
#include<bits/stdc++.h>
#define For(i,a,b) for(int i=(a);i<=(b);++i)
#define Rep(i,a,b) for(int i=(a);i>=(b);--i)
#define ll long long
#define ull unsigned long long
#define int long long
using namespace std;
inline ll read()
{
    char c=getchar();ll x=0;bool f=0;
    for(;!isdigit(c);c=getchar())f^=!(c^45);
    for(;isdigit(c);c=getchar())x=(x<<1)+(x<<3)+(c^48);
    if(f)x=-x;return x;
}

#define fi first
#define se second
#define pb push_back
#define mkp make_pair
typedef pair<ll,ll>pii;
typedef vector<int>vi;
 
#define maxn 1000005
#define inf 0x3f3f3f3f

pii operator +(pii a,pii b){
	if(a.fi!=b.fi)return min(a,b);
	return mkp(a.fi,a.se+b.se);
}
pii operator +(pii a,int b){
	return mkp(a.fi+b,a.se);
}
pii operator *(pii a,pii b){
	return mkp(a.fi+b.fi,1ll*a.se*b.se);
}
bool vis[maxn];

struct info{
	int u,v,d;
	pii su,sv,res;
}emptyinfo;
bool isempty(info o){return !o.u&&!o.v;}
info MR(info x,info y){
	if(y.v==x.u)swap(y.u,y.v),swap(y.su,y.sv);
	if(y.u==x.v)swap(x.u,x.v),swap(x.su,x.sv);
	if(x.v==y.v)swap(y.u,y.v),swap(y.su,y.sv),swap(x.u,x.v),swap(x.su,x.sv);
	assert(x.u==y.u);
	info z;
	z.u=x.u,z.v=x.v,z.d=x.d;
	z.su=x.su+y.su;
	z.sv=x.sv+(y.su+x.d);
	if(!vis[x.u]){
		z.su=x.su;
		z.sv=x.sv;
		z.res=x.res+y.res;
	}else{
		z.res=x.su*y.su;
		z.res=z.res+x.res+y.res;
	}
	return z;
}
info MC(info x,info y,bool bo=0){
	if(y.v==x.u)swap(y.u,y.v),swap(y.su,y.sv);
	if(y.u==x.v)swap(x.u,x.v),swap(x.su,x.sv);
	if(x.v==y.v)swap(y.u,y.v),swap(y.su,y.sv),swap(x.u,x.v),swap(x.su,x.sv);
	swap(x.u,x.v),swap(x.su,x.sv);
	assert(x.v==y.u);
	info z;
	z.u=x.u,z.v=y.v,z.d=x.d+y.d;
	z.su=x.su+(y.su+x.d); if(z.su.fi==x.d && !vis[x.v])--z.su.se;
	z.sv=y.sv+(x.sv+y.d); if(z.sv.fi==y.d && !vis[x.v])--z.sv.se;
//	if(bo){
//		cout<<"MC "<<x.u<<" "<<x.v<<" "<<y.u<<" "<<y.v<<"\n";
//	}
	if(!vis[x.v]){
		z.su=x.su;
		z.sv=y.sv;
		z.res=x.res+y.res;
	}else{
		z.res=x.sv*y.su;
		z.res=z.res+x.res+y.res;
	}
	return z;
}
info getw(int u,int v){
	info z=emptyinfo;
	z.u=u,z.v=v,z.d=1;
	if(!vis[u]&&vis[v]) z.sv=mkp(1,1),z.su=mkp(0,1);
	if(!vis[v]&&vis[u]) z.su=mkp(1,1),z.sv=mkp(0,1);
	if(!vis[u]&&!vis[v]) z.res=mkp(1,1),z.su=z.sv=mkp(0,1);
	return z;
}

info R(info x,info y){return isempty(x)?y:(isempty(y)?x:MR(x,y));}
info C(info x,info y){return isempty(x)?y:(isempty(y)?x:MC(x,y));}

int n,O;
int fa[maxn],son[maxn],siz[maxn],dep[maxn],top[maxn];
vi e[maxn];
info w[maxn];
void dfs1(int u){
//	cout<<"dfs "<<u<<"\n";
	siz[u]=1,dep[u]=dep[fa[u]]+1;
	for(auto v:e[u]){
		if(v==fa[u])continue;
		fa[v]=u,dfs1(v),siz[u]+=siz[v];
		if(siz[v]>siz[son[u]])son[u]=v;
	}
}
void dfs2(int u,int tp){
//	cout<<"Dfs2 "<<u<<"\n";
	top[u]=tp;
	if(son[u])dfs2(son[u],tp);
	for(auto v:e[u])if(v!=fa[u]&&v!=son[u])dfs2(v,v);
}
int lca(int u,int v){
	for(;top[u]!=top[v];u=fa[top[u]])if(dep[top[u]]<dep[top[v]])swap(u,v);
	return dep[u]<dep[v]?u:v;
}
int dist(int u,int v){return dep[u]+dep[v]-2*dep[lca(u,v)];}

struct cluster{
	int u,v,sz,len,op;
	info w;
}t[maxn*2];
int cnt,up[maxn],ls[maxn],rs[maxn],nd[maxn];
int rake(int a,int b){
	if(!a||!b)return a|b;
	int c=++cnt; up[a]=up[b]=c,ls[c]=a,rs[c]=b;
	t[c].sz=t[a].sz+t[b].sz,t[c].op=0;
	t[c].len=t[a].len;
	t[c].w=R(t[a].w,t[b].w);
	t[c].u=t[a].u,t[c].v=t[a].v; return c;
}
int com(int a,int b){
	if(!a||!b)return a|b;
	int c=++cnt; up[a]=up[b]=c,ls[c]=a,rs[c]=b;
	t[c].sz=t[a].sz+t[b].sz,t[c].op=1;
	t[c].w=C(t[a].w,t[b].w);
	t[c].len=t[a].len+t[b].len;
	t[c].u=t[a].u,t[c].v=t[b].v; return c;
}
void upd(int u){
	if(t[u].op==0) t[u].w=R(t[ls[u]].w,t[rs[u]].w);
	else t[u].w=C(t[ls[u]].w,t[rs[u]].w);
}
void updall(int u){
	t[u].w=getw(t[u].u,t[u].v);
	while(u=up[u]) upd(u);
}
void wk(int u){
	if(u<=n);
	else wk(ls[u]),wk(rs[u]),upd(u);
//	cout<<"u,ls[u],rs[u] "<<u<<" "<<ls[u]<<" "<<rs[u]<<"\n";
//	auto z=t[u].w;
//	cout<<z.u<<" "<<z.v<<" "<<z.d<<"\n";
//	cout<<z.su.fi<<" "<<z.su.se<<"\n";
//	cout<<z.sv.fi<<" "<<z.sv.se<<"\n";
//	cout<<z.res.fi<<" "<<z.res.se<<"\n";
//	puts("----------");
}

struct cmp{bool operator ()(int x,int y){return t[x].sz>t[y].sz;}};
int lid[maxn],zid[maxn],rt;
int sid[maxn],su[maxn],len;
int get(int l,int r){
	if(l==r)return lid[sid[l]];
	int sum=0,nw=0,mid=0;
	For(i,l,r)sum+=t[lid[sid[i]]].sz;
	For(i,l,r-1){
		nw+=t[lid[sid[i]]].sz;
		if(nw*2>=sum||i==r-1){mid=i;break;}
	}
	return com(get(l,mid),get(mid+1,r));
}
void solve(int u)
{
	priority_queue<int,vector<int>,cmp>q;
//	cout<<"solve "<<u<<"\n";
	for(auto v:e[u])
		if(v!=fa[u]&&v!=son[u])solve(v),q.push(zid[v]);
	while(q.size()>1){
		int x=q.top();q.pop();
		int y=q.top();q.pop();
		q.push(rake(x,y));
	}
	if(q.size())lid[u]=q.top();
	if(u!=1)lid[u]=rake(u,lid[u]);
	if(son[u])solve(son[u]);
	if(u!=top[u])return;
	len=0;
	for(int x=u;x;x=son[x])sid[++len]=x;
	if(u!=1)zid[u]=get(1,len);
	else zid[u]=rake(lid[u],get(2,len));
}

void mdf(int x){
	if(vis[x])exit(233);
	vis[x]=1;
	for(int v:e[x]) updall(v);
	if(x!=1) updall(x);
//	wk(zid[1]);
}

signed main()
{
	emptyinfo.su=emptyinfo.sv=emptyinfo.res=mkp(inf,0);
	n=read(),O=read();
	For(i,2,n){
		int u=read(),v=read();
		e[u].pb(v),e[v].pb(u);
	}
	dfs1(1),dfs2(1,1);
//	puts("QAQ");
	cnt=n;
	For(i,2,n){
		t[i].sz=1,t[i].u=fa[i],t[i].v=i;
		t[i].w=getw(t[i].u,t[i].v);
		t[i].len=1;
	}
//	cout<<"qwq\n";
	solve(1);
//	cout<<"done\n";
	int rt=zid[1];
	ll las=0;
	For(_,1,n-2){
		ll x=read();
		if(O)x^=las;
		mdf(x);
		auto res=t[rt].w.res;
		las=res.se;
		printf("%lld %lld\n",res.fi,res.se);
	}
    return 0;
}
/*

*/