#include <bits/stdc++.h>
#pragma GCC target("sse,sse2,sse3,ssse3,sse4,popcnt,abm,mmx,avx,avx2")
// #define ATC
#define IL inline
#define LL long long
#define eb emplace_back
#define writesp(x) write(x), putchar(' ')
#define writeln(x) write(x), putchar('\n')
#define FIO(FILENAME) freopen(FILENAME".in", "r", stdin), freopen(FILENAME".out", "w", stdout)
using namespace std;

#ifdef ATC
#include <atcoder/all>
using namespace atcoder;
#endif

namespace IO {
	char ibuf[1 << 20], *iS, *iT;
#if ONLINE_JUDGE
#define gh() (iS == iT ? iT = (iS = ibuf) + fread(ibuf, 1, 1 << 20, stdin), (iS == iT ? EOF : *iS++) : *iS++)
#else
#define gh() getchar()
#endif
	inline long long read() {
		char ch = gh();
		long long x = 0;
		bool t = 0;
		while (ch < '0' || ch > '9') t |= ch == '-', ch = gh();
		while (ch >= '0' && ch <= '9') x = (x << 1) + (x << 3) + (ch ^ 48), ch = gh();
		return t ? ~(x - 1) : x;
	}
	template<typename _Tp>
	inline void write(_Tp x) {
		static char stk[64], *top = stk;
		if (x < 0) {
			x = ~(x - 1);
			putchar('-');
		}
		do *top++ = x % 10, x /= 10;
		while (x);
		while (top != stk) putchar((*--top) | 48);
	}
}

using IO::read;
using IO::write;

using pii = pair<int, int>;
using vi = vector<int>;
#define fi first
#define se second
#define MP make_pair

constexpr int N = 5e5 + 9, INF = 1e9 + 7;
int n, typ, sz[N], son[N];
vector<int> G[N];

struct vNode {
	int v;
	LL c;
	vNode (int v = INF, LL c = 0) : v(v), c(c) {}
	vNode operator + (const vNode &z) const {
		return v < z.v ? *this : v > z.v ? z : vNode(v, c + z.c);
	}
	vNode& operator += (const vNode &z) {
		return *this = *this + z;
	}
};

/**
 * Cluster
 * x : upper
 * y : lower
 * all : dis(x, y)
 * v : min length
 * u : min length to x
 * d : min length to y
*/

struct cNode {
	enum {I, C, R} typ = I;
	int x, y, all;
	vNode v, u, d;
};

cNode C (const cNode &a, const cNode &b) {
	cNode c;
	c.typ = cNode::C;
	c.x = a.x, c.y = b.y;
	c.all = a.all + b.all;
	c.u = a.u + vNode(a.all + b.u.v, b.u.c);
	c.d = b.d + vNode(b.all + a.d.v, a.d.c);
	c.v = a.v + b.v + vNode(a.d.v + b.u.v, a.d.c * b.u.c);
	return c;
}

cNode R (const cNode &a, const cNode &b) {
	cNode c;
	c.typ = cNode::R;
	c.x = a.x, c.y = a.y;
	c.all = a.all;
	c.u = a.u + b.u;
	c.d = a.d + vNode(a.all + b.u.v, b.u.c);
	c.v = a.v + b.v + vNode(a.u.v + b.u.v, a.u.c * b.u.c);
	return c;
}

#define ls(p) tr[p].lc
#define rs(p) tr[p].rc

int rt, tot;

struct TNode {
	int lc, rc, p, sz;
	cNode v;
} tr[N << 2];

IL void dfs1 (int u, int fa) {
	sz[u] = 1;
	tr[u].v = cNode{cNode::I, fa, u, 1, vNode(), vNode(1, 1), vNode(0, 1)};
	tr[u].sz = 1;
	if (u > 1) {
		G[u].erase(find(G[u].begin(), G[u].end(), fa));
	}
	for (int v : G[u]) {
		dfs1(v, u);
		sz[u] += sz[v];
		if (sz[v] > sz[son[u]]) son[u] = v;
	}
}

IL int bld (vi::iterator L, vi::iterator R, auto F) {
	if (L == R - 1) {
		return *L;
	}
	int all = 0;
	for (auto i = L; i != R; ++i) {
		all += tr[*i].sz;
	}
	vi::iterator mid = L + 1;
	int sum = 0;
	for (auto i = L; i != R; ++i) {
		sum += tr[*i].sz;
		if (sum <= all / 2) {
			mid = i + 1;
		}
	}
	int x = bld(L, mid, F), y = bld(mid, R, F);
	++tot;
	ls(tot) = x, rs(tot) = y;
	tr[x].p = tot, tr[y].p = tot;
	tr[tot].sz = tr[x].sz + tr[y].sz;
	tr[tot].v = F(tr[x].v, tr[y].v);
	return tot;
}

IL int dfs2 (int u) {
	vi vc{u};
	for (int p = u; son[p]; p = son[p]) {
		vi ve{son[p]};
		for (int v : G[p]) {
			if (v != son[p]) {
				ve.eb(dfs2(v));
			}
		}
		vc.eb(bld(ve.begin(), ve.end(), R));
	}
	return bld(vc.begin(), vc.end(), C);
}

int main() {
	n = read(), typ = read();
	for (int i = 1, u, v; i < n; i++) {
		u = read(), v = read();
		G[u].eb(v);
		G[v].eb(u);
	}
	dfs1(1, 0);
	tot = n, rt = dfs2(1);
	LL as = 0;
	for (int i = 1; i < n - 1; i++) {
		LL u = read();
		if (typ) {
			u ^= as;
		}
		tr[u].v.v = tr[u].v.u = tr[u].v.d = vNode();
		for (u = tr[u].p; u; u = tr[u].p) {
			tr[u].v = (tr[u].v.typ == cNode::C ? C : R)(tr[ls(u)].v, tr[rs(u)].v);
		}
		writesp(tr[rt].v.v.v), writeln(as = tr[rt].v.v.c);
	}
}
// I love WHQ!