#include using namespace std; #include using namespace atcoder; using mint = modint1000000007; int main() { ios::sync_with_stdio(false); cin.tie(nullptr); int N; cin >> N; vector> G(N); for (int i = 0; i < N - 1; i++) { int u, v; cin >> u >> v; u--; v--; G[u].push_back(v); G[v].push_back(u); } vector A(N); for (int i = 0; i < N; i++) { cin >> A[i]; } mint ans = 0; for (int b = 0; b < 30; b++) { auto dfs = [&](auto&& self, int u, int p) -> vector { vector dp(2); dp[(A[u] >> b) & 1]++; for (int v : G[u]) { if (v == p) { continue; } auto dp_v = self(self, v, u); vector dp_new(2); // 辺 (u, v) を削除する dp_new[0] += dp[0] * dp_v[1]; dp_new[1] += dp[1] * dp_v[1]; // 辺 (u, v) を削除しない(繋ぐ) dp_new[0] += dp[0] * dp_v[0]; dp_new[1] += dp[0] * dp_v[1]; dp_new[1] += dp[1] * dp_v[0]; dp_new[0] += dp[1] * dp_v[1]; swap(dp, dp_new); } return dp; }; auto dp = dfs(dfs, 0, -1); ans += (1 << b) * dp[1]; } cout << ans.val() << '\n'; return 0; }