#include using namespace std; using std::cout; using std::cin; using std::endl; using ll=long long; using ld=long double; const ll ILL=2167167167167167167; const int INF=2100000000; #define rep(i,a,b) for (int i=(int)(a);i<(int)(b);i++) #define all(p) p.begin(),p.end() template using _pq = priority_queue, greater>; template ll LB(vector &v,T a){return lower_bound(v.begin(),v.end(),a)-v.begin();} template ll UB(vector &v,T a){return upper_bound(v.begin(),v.end(),a)-v.begin();} template bool chmin(T &a,T b){if(a>b){a=b;return 1;}else return 0;} template bool chmax(T &a,T b){if(a void So(vector &v) {sort(v.begin(),v.end());} template void Sore(vector &v) {sort(v.begin(),v.end(),[](T x,T y){return x>y;});} bool yneos(bool a,bool upp=0){if(a){cout<<(upp?"YES\n":"Yes\n");}else{cout<<(upp?"NO\n":"No\n");}return a;} template void vec_out(vector &p,int ty=0){ if(ty==2){cout<<'{';for(int i=0;i<(int)p.size();i++){if(i){cout<<",";}cout<<'"'< T vec_min(vector &a){assert(!a.empty());T ans=a[0];for(auto &x:a) chmin(ans,x);return ans;} template T vec_max(vector &a){assert(!a.empty());T ans=a[0];for(auto &x:a) chmax(ans,x);return ans;} template T vec_sum(vector &a){T ans=T(0);for(auto &x:a) ans+=x;return ans;} int pop_count(long long a){int res=0;while(a){res+=(a&1),a>>=1;}return res;} template bool inside(T l,T x,T r){return l<=x&&x to = {-1, -1}; }; int f(int a,int d){ return (a & (1 << d)) != 0; } vector nodes; struct binary{ int root; int C = 0; binary(){ root = nodes.size(); node tmp; nodes.push_back(tmp); } void set(int a, ll v = 1){ a -= C; int ind = root; nodes[ind].sum += v; while (nodes[ind].depth != -1){ int b = f(a, nodes[ind].depth); if (nodes[ind].to[b] == -1){ nodes[ind].to[b] = nodes.size(); node tmp; tmp.depth = nodes[ind].depth - 1; nodes.push_back(tmp); } ind = nodes[ind].to[b]; nodes[ind].sum += v; } } ll prod(int l, int r){ ll res = 0; r -= C; auto calc = [&](auto self, int ind, int vall, int varr){ if (ind == -1) return; if (l <= vall && varr <= r){ res += nodes[ind].sum; return; } if (varr <= l || r <= vall) return; varr = vall + (varr - vall) / 2; for (int i = 0; i < 2; i++){ self(self, nodes[ind].to[i], vall, varr); swap(vall, varr); varr += 2 * (vall - varr); } }; calc(calc, root, 0, 1 << D); return res; } vector> get_list(){ vector> res; auto f = [&](auto self, int ind, int val) -> void { if (ind == -1) return; if (nodes[ind].depth == -1){ res.push_back({val + C, nodes[ind].sum}); return; } for (int i = 0; i < 2; i++){ self(self, nodes[ind].to[i], val + i * (1 << nodes[ind].depth)); } }; f(f, root, 0); return res; } }; std::vector> tree_in(int N){ std::vector> G(N); for(int i=0;i>a>>b; a--,b--; G[a].push_back(b); G[b].push_back(a); } return G; } std::tuple,std::vector,std::vector> tree_order_pare_depth(std::vector> &G,int root){ int n=G.size(); std::vector order={root},pare(n,-1),depth(n); pare[root]=-2; for(int i=0;i tree_diameter_path(std::vector> &G){ int n=G.size(); auto r=(std::get<0>(tree_order_pare_depth(G,0))).at(n-1); std::vector order,pare,depth,ans; tie(order,pare,depth)=tree_order_pare_depth(G,r); int ind=order[n-1]; while(ind!=-2){ ans.push_back(ind); ind=pare[ind]; } return ans; } void solve(); // CYAN / FREDERIC int main() { ios::sync_with_stdio(false); cin.tie(nullptr); int t = 1; // cin >> t; rep(i, 0, t) solve(); } void solve(){ int N; cin >> N; auto G = tree_in(N); string S; cin >> S; auto [order, pare, depth] = tree_order_pare_depth(G, 0); rep(i, 1, N){ rep(j, 0, G[i].size()) if (G[i][j] == pare[i]) swap(G[i][j], G[i].back()); G[i].pop_back(); } vector wei(N, 1); rep(i, 0, N){ int a = order[N - i - 1]; if (a) wei[pare[a]] += wei[a]; } rep(i, 0, N) sort(all(G[i]), [&](int l, int r){return wei[l] > wei[r];}); ll ans = 0; auto dfs = [&](auto self, int var) -> binary { binary base; int val = (S[var] == '1' ? -1 : 1); if (G[var].empty()){ // nop } else{ base = self(self, G[var][0]); rep(i, 1, G[var].size()){ binary tmp = self(self, G[var][i]); // merge auto lis = tmp.get_list(); for (auto x : lis){ ans += x.second * base.prod(0, 2 * N - x.first - val); } for (auto x : lis){ base.set(x.first, x.second); } } } base.set(N); base.C += val; ans += base.prod(0, N); //cout << var << " " << nodes[base.root].sum << "\n"; //cout << ans << "\n"; return base; }; auto tr = dfs(dfs, 0); cout << ans << "\n"; }