#include<iostream>
#include<vector>
#include<cassert>
#include<atcoder/modint>
using namespace std;
using mint=atcoder::modint998244353;
int N,A[1<<17];
vector<int>G[1<<17];
mint dp[1<<17][2];
void dfs(int u,int p,int k)
{
	dp[u][0]=dp[u][1]=0;
	dp[u][A[u]>>k&1]=1;
	for(int v:G[u])if(v!=p)
	{
		dfs(v,u,k);
		mint dp0=dp[u][0]*dp[v][1]+dp[u][0]*dp[v][0]+dp[u][1]*dp[v][1];
		mint dp1=dp[u][1]*dp[v][1]+dp[u][0]*dp[v][1]+dp[u][1]*dp[v][0];
		dp[u][0]=dp0;
		dp[u][1]=dp1;
	}
}
int main()
{
	ios::sync_with_stdio(false);
	cin.tie(nullptr);
	cin>>N;
	for(int i=1;i<N;i++)
	{
		int u,v;cin>>u>>v;
		u--,v--;
		G[u].push_back(v);
		G[v].push_back(u);
	}
	for(int i=0;i<N;i++)cin>>A[i];
	mint ans=0;
	for(int k=30;k--;)
	{
		ans*=2;
		dfs(0,-1,k);
		ans+=dp[0][1];
	}
	cout<<ans.val()<<"\n";
}