// An AC a day keeps the doctor away. #include using namespace std; /*{{{*/ #define all(x) begin(x), end(x) #ifdef CKISEKI #include #define safe cerr<<__PRETTY_FUNCTION__<<" line "<<__LINE__<<" safe\n" #define debug(a...) debug_(#a, a) #define orange(a...) orange_(#a, a) void debug_(auto s, auto ...a) { cerr << "\e[1;32m(" << s << ") = ("; int f = 0; (..., (cerr << (f++ ? ", " : "") << a)); cerr << ")\e[0m\n"; } void orange_(auto s, auto L, auto R) { cerr << "\e[1;33m[ " << s << " ] = [ "; using namespace experimental; copy(L, R, make_ostream_joiner(cerr, ", ")); cerr << " ]\e[0m\n"; } #else #define safe ((void)0) #define debug(...) safe #define orange(...) safe #endif template class Modular { public: constexpr Modular() : v() {} template Modular(const U &u) { v = (0 <= u && u < MOD ? u : (u%MOD+MOD)%MOD); } template explicit operator U() const { return U(v); } T operator()() const { return v; } #define REFOP(type, expr...) Modular &operator type (const Modular &rhs) { return expr, *this; } REFOP(+=, v += rhs.v - MOD, v += MOD & (v >> width)) ; REFOP(-=, v -= rhs.v, v += MOD & (v >> width)) // fits for MOD^2 <= 9e18 REFOP(*=, v = static_cast(1LL * v * rhs.v % MOD)) ; REFOP(/=, *this *= inverse(rhs.v)) #define VALOP(op) friend Modular operator op (Modular a, const Modular &b) { return a op##= b; } VALOP(+) ; VALOP(-) ; VALOP(*) ; VALOP(/) Modular operator-() const { return 0 - *this; } friend bool operator == (const Modular &lhs, const Modular &rhs) { return lhs.v == rhs.v; } friend bool operator != (const Modular &lhs, const Modular &rhs) { return lhs.v != rhs.v; } friend std::istream & operator>>(std::istream &I, Modular &m) { T x; I >> x, m = x; return I; } friend std::ostream & operator<<(std::ostream &O, const Modular &m) { return O << m.v; } private: constexpr static int width = sizeof(T) * 8 - 1; T v; static T inverse(T a) { // copy from tourist's template T u = 0, v = 1, m = MOD; while (a != 0) { T t = m / a; m -= t * a; std::swap(a, m); u -= t * v; std::swap(u, v); } assert(m == 1); return u; } }; using lld = int64_t; using llf = long double; template using max_heap = std::priority_queue,less >; template using min_heap = std::priority_queue,greater >; template int get_pos(const V &v, T x) { return lower_bound(all(v),x) - begin(v); } template void sort_uni(V &v) { sort(all(v)), v.erase(unique(all(v)),end(v)); } template bool chmin(T &x, const T &v) { return v < x ? (x=v, true) : false; } template bool chmax(T &x, const T &v) { return x < v ? (x=v, true) : false; } constexpr inline lld cdiv(lld x, lld m) { return x/m + (x%m ? (x<0) ^ (m>0) : 0); } // ceiling divide constexpr inline lld modpow(lld e,lld p,lld m) { lld r=1; for(e%=m;p;p>>=1,e=e*e%m) if(p&1) r=r*e%m; return r; }/*}}}*/ constexpr llf eps = 1e-9; constexpr lld maxn = 200025, INF = 1e18, mod = 998244353, K = 14699, inf = 1e9; using Mint = Modular; Mint modpow(Mint e, uint64_t p) { Mint r = 1; while (p) (p&1) && (r *= e), e *= e, p >>= 1; return r; } // 0^0 = 1 const auto dummy = [] { return cin.tie(nullptr)->sync_with_stdio(false); }(); using PII = pair; int lowbit(int x) { return x & -x; } struct LBD { int n, timer, chains; vector> G; vector tl, tr, ord, chain, top, dep, pa; // chains : number of chain // tl, tr[u] : subtree interval in the seq. of u // top[i] : top of the chain of vertex i // chian[u] : chain id of the chain u is on void predfs(int u, int f) { dep[u] = dep[pa[u] = f] + 1; for (int v : G[u]) if (v != f) { predfs(v, u); if (lowbit(chain[u]) < lowbit(chain[v])) chain[u] = chain[v]; } if (chain[u] == 0) chain[u] = ++chains; } void dfschain(int u, int f, int t) { ord[timer] = u; tl[u] = timer++; top[u] = t; for (int v : G[u]) if (v != f and chain[v] == chain[u]) dfschain(v, u, t); for (int v : G[u]) if (v != f and chain[v] != chain[u]) dfschain(v, u, v); tr[u] = timer; } public: LBD(auto &&G_) : n((int)size(G_)), timer(0), chains(0), G(G_), tl(n), tr(n), ord(n), chain(n), top(n + 1, -1), dep(n), pa(n) { predfs(0, 0); dfschain(0, 0, 0); } PII get_subtree(int u) { return {tl[u], tr[u]}; } vector get_path(int u, int v) { vector res; while (top[u] != top[v]) { if (dep[top[u]] < dep[top[v]]) swap(u, v); int s = top[u]; res.emplace_back(tl[s], tl[u] + 1); u = pa[s]; } if (dep[u] < dep[v]) swap(u, v); res.emplace_back(tl[v], tl[u] + 1); return res; } }; // 記得在資結上對點的修改要改成對其 dfs 序的修改 struct Segtree { int n; vector sum; Segtree(int n_) : n(n_), sum(n * 2) {} void edit(int p, lld x) { p += n; sum[p] = x; while (p >>= 1) sum[p] = sum[p << 1] + sum[p << 1 | 1]; } lld query(int l, int r) { lld res = 0; for (l += n, r += n; l < r; l >>= 1, r >>= 1) { if (l & 1) res = res + sum[l++]; if (r & 1) res = res + sum[--r]; } return res; } }; signed main() { int N, Q; cin >> N >> Q; vector a(N), cha(N); for (auto &x : a) cin >> x; vector> g(N); for (int i = 1; i < N; i++) { int u, v; cin >> u >> v; --u, --v; g[u].emplace_back(v); g[v].emplace_back(u); } LBD lbd(g); Segtree sgt(N); for (int i = 1; i < N; i++) { cha[lbd.pa[i]] += a[i]; } for (int i = 0; i < N; i++) sgt.edit(lbd.tl[i], cha[i]); while (Q--) { int t; cin >> t; if (t == 0) { int v, x; cin >> v >> x; --v; a[v] += x; if (v != 0) { cha[lbd.pa[v]] += x; sgt.edit(lbd.tl[lbd.pa[v]], cha[lbd.pa[v]]); } } else { int u, v; cin >> u >> v; --u, --v; auto path = lbd.get_path(u, v); lld ans = 0; for (auto [l, r] : path) { ans += sgt.query(l, r); } int w = lbd.ord[path.back().first]; debug(u, v, w); ans += a[w]; // w if (w != 0) ans += a[lbd.pa[w]]; // pa[w] cout << ans << '\n'; } } }