#include using namespace std; using lint = long long; using pi = array; #define sz(a) ((int)(a).size()) #define all(a) (a).begin(), (a).end() const int MAXN = 300005; const int mod = 998244353; struct mint { int val; mint() { val = 0; } mint(const lint &v) { val = (-mod <= v && v < mod) ? v : v % mod; if (val < 0) val += mod; } friend ostream &operator<<(ostream &os, const mint &a) { return os << a.val; } friend bool operator==(const mint &a, const mint &b) { return a.val == b.val; } friend bool operator!=(const mint &a, const mint &b) { return !(a == b); } friend bool operator<(const mint &a, const mint &b) { return a.val < b.val; } mint operator-() const { return mint(-val); } mint &operator+=(const mint &m) { if ((val += m.val) >= mod) val -= mod; return *this; } mint &operator-=(const mint &m) { if ((val -= m.val) < 0) val += mod; return *this; } mint &operator*=(const mint &m) { val = (lint)val * m.val % mod; return *this; } friend mint ipow(mint a, lint p) { mint ans = 1; for (; p; p /= 2, a *= a) if (p & 1) ans *= a; return ans; } mint inv() const { return ipow(*this, mod - 2); } mint &operator/=(const mint &m) { return (*this) *= m.inv(); } friend mint operator+(mint a, const mint &b) { return a += b; } friend mint operator-(mint a, const mint &b) { return a -= b; } friend mint operator*(mint a, const mint &b) { return a *= b; } friend mint operator/(mint a, const mint &b) { return a /= b; } operator int64_t() const { return val; } }; mint ret = 0; struct node { int j; mint A, S; bool operator<(const node &nd) const { return j < nd.j; } }; vector gph[MAXN]; int val[MAXN], sz[MAXN], n; mint pwr[MAXN]; vector dfs(int x, int p = -1) { vector a; sz[x] = 1; a.push_back((node){val[x], mint(1), mint(1)}); for (auto &y : gph[x]) { if (y == p) continue; auto b = dfs(y, x); vector nxt; for (auto bb : b) { ret += mint(bb.j) * bb.A * mint((mod + 1) / 2); } sz[x] += sz[y]; int swp = 0; if (sz(a) > sz(b)) swap(a, b), swp = 1; vector bisect(sz(a) + 1); int j = 0; for (int i = 0; i < sz(a); i++) { while (j < sz(b) && b[j].j < a[i].j) j++; bisect[i] = j; } mint tasum = 0, tssum = 0; bisect[sz(a)] = sz(b); for (int i = 0; i < sz(a); i++) { mint asum = 0, ssum = 0; for (int j = 0; j < bisect[i]; j++) { asum += b[j].A; ssum += b[j].S; } tasum += a[i].A; tssum += a[i].S; a[i].A = a[i].A * (mint(1 - swp) + ssum) + a[i].S * asum; a[i].S = a[i].S * (mint(1 - swp) + ssum); for (int j = bisect[i]; j < bisect[i + 1]; j++) { auto cp = b[j]; cp.A = (tssum + mint(swp)) * cp.A + tasum * cp.S; cp.S = (tssum + mint(swp)) * cp.S; nxt.push_back(cp); } } for (int j = 0; j < bisect[0]; j++) { b[j].A = mint(swp) * b[j].A; b[j].S = mint(swp) * b[j].S; nxt.push_back(b[j]); } for (auto &z : a) nxt.push_back(z); a.clear(); sort(all(nxt)); for (int i = 0; i < sz(nxt);) { int j = i; node toput; toput.j = nxt[i].j; while (j < sz(nxt) && nxt[i].j == nxt[j].j) { toput.A += nxt[j].A; toput.S += nxt[j].S; j++; } toput.A /= mint(2); toput.S /= mint(2); i = j; a.push_back(toput); } } return a; } int main() { ios_base::sync_with_stdio(0); cin.tie(0); cout.tie(0); cin >> n; pwr[0] = 1; for (int i = 0; i < n; i++) { pwr[i + 1] = pwr[i] * mint(2); cin >> val[i]; } for (int i = 0; i < n - 1; i++) { int u, v; cin >> u >> v; u--; v--; gph[u].push_back(v); gph[v].push_back(u); } auto ans = dfs(0); for (auto &z : ans) { ret += z.A * mint(z.j); } cout << ret * pwr[n - 1] << "\n"; }