#include<bits/stdc++.h>
using namespace std;
#define LL long long
#define max(x...) max({x})
#define min(x...) min({x})
#define FOR(i, x, y) for(int i = (x); i <= (y); i++)
#define ROF(i, x, y) for(int i = (x); i >= (y); i--)
inline LL rd()
{
    LL sign = 1, re = 0; char c = getchar();
    while(!isdigit(c)){if(c == '-') sign = -1; c = getchar();}
    while(isdigit(c)){re = re * 10 + (c - '0'); c = getchar();}
    return sign * re;
}
const int N = 1e5 + 5;
__int128 Sum;
int n, q, a[N];
int dfn[N], tn[N], dcnt;
int sz[N], st[N][17], dep[N];
vector<int> e[N];
void dfs(int now, int fa)
{
    dfn[now] = ++dcnt, tn[dcnt] = now;
    st[now][0] = fa, sz[now] = 1, dep[now] = dep[fa] + 1;
    FOR(i, 1, 16)
    {
        int la = st[now][i - 1];
        if(!la) break;
        st[now][i] = st[la][i - 1];
    }
    for(int to : e[now]) if(to != fa)
    {
        dfs(to, now);
        sz[now] += sz[to];
    }
}
inline int LCA(int x, int y)
{
    if(dep[x] < dep[y]) swap(x, y);
    ROF(i, 16, 0) if(dep[st[x][i]] >= dep[y])
        x = st[x][i];
    if(x == y) return x;
    ROF(i, 16, 0) if(st[x][i] != st[y][i])
        x = st[x][i], y = st[y][i];
    return st[x][0];
}
struct Node {int ty, x, y; LL w;} que[N];
int ss[N << 1], m = 1;
unordered_map<int, int> mp;
namespace Seg
{
    inline int lb(int x) {return x & (-x);}
    int tot2;
    int ls[N << 9], rs[N << 9], rt[N << 1];
    LL tr[N << 9]; __int128 sum[N << 9]; int cnt[N << 9];
    void modify_region(int &now, int l, int r, int L, int R, int val, int ty)
    {
        if(!now) now = ++tot2;
        if(L <= l && r <= R)
        {
            tr[now] += 1ll * ty * val;
            sum[now] += (__int128)ty * val * val;
            cnt[now] += ty;
            return;
        }
        int mid = (l + r) >> 1;
        if(L <= mid) modify_region(ls[now], l, mid, L, R, val, ty);
        if(mid < R) modify_region(rs[now], mid + 1, r, L, R, val, ty);
    }
    void modify(int id, int val, int ty)
    {
        int now = mp[val];
        while(now <= m)
        {
            modify_region(rt[now], 1, n, id, id + sz[tn[id]] - 1, val, ty);
            now += lb(now);
        }
    }
    void query(int now, int l, int r, int id, int ty, LL &nsum, __int128 &nsum2, int &ncnt)
    {
        if(!now) return;
        nsum += tr[now] * ty;
        nsum2 += sum[now] * ty;
        ncnt += cnt[now] * ty;
        if(l == r) return;
        int mid = (l + r) >> 1;
        if(id <= mid) query(ls[now], l, mid, id, ty, nsum, nsum2, ncnt);
        else query(rs[now], mid + 1, r, id, ty, nsum, nsum2, ncnt);
    }
    inline int erfen(int l, int r, LL w, LL sum, __int128 sum2, int cnt)
    {
        int re = r;
        while(l <= r)
        {
            int mid = (l + r) >> 1;
            if(sum - 1ll * mid * cnt <= w) re = mid, r = mid - 1;
            else l = mid + 1;
        }
        return re;
    }
    void Div(int u, int v, int lca, int falca, LL w, __int128 &sub)
    {
        LL sum = 0; __int128 sum2 = 0; int cnt = 0;
        int now = 0;
        ROF(i, __lg(m), 0)
        {
            int nxt = now | (1 << i);
            if(nxt < m)
            {
                int ncnt = 0; LL nsum = 0; __int128 nsum2 = 0;
                query(rt[nxt], 1, n, u, 1, nsum, nsum2, ncnt);
                query(rt[nxt], 1, n, v, 1, nsum, nsum2, ncnt);
                query(rt[nxt], 1, n, lca, -1, nsum, nsum2, ncnt);
                if(falca) query(rt[nxt], 1, n, falca, -1, nsum, nsum2, ncnt);
                if(sum + nsum - 1ll * (ss[nxt]) * (cnt + ncnt) <= w)
                    sum += nsum, sum2 += nsum2, cnt += ncnt, now = nxt;
            }
        }
        int val = erfen(ss[now + 1], ss[now], w, sum, sum2, cnt);
        if(!val) return void(sub = Sum);
        sub = sum2 - (__int128)cnt * val * val;
        w -= sum - 1ll * cnt * val;
        if(w) sub += (__int128)w * (2 * val - 1);
    }
} using namespace Seg;
inline void print(__int128 x)
{
    if(!x) return void(puts("0"));
    int bit[30], cnt = 0;
    while(x) bit[++cnt] = x % 10, x /= 10;
    ROF(i, cnt, 1) putchar(bit[i] + '0');
    puts("");
}
signed main()
{
#ifndef ONLINE_JUDGE
    freopen("test.in", "r", stdin);
    freopen("test.out", "w", stdout);
#endif
    n = rd(), q = rd();
    FOR(i, 2, n)
    {
        int u = rd(), v = rd();
        e[u].emplace_back(v), e[v].emplace_back(u);
    }
    FOR(i, 1, n)
        a[i] = rd(),
        Sum += 1ll * a[i] * a[i],
        ss[++m] = a[i];
    FOR(i, 1, q)
    {
        int ty = rd(), x = rd(), y = rd();
        if(ty == 1) que[i] = (Node){ty, x, y, 0}, ss[++m] = y;
        else que[i] = (Node){ty, x, y, rd()};
    }
    sort(ss + 1, ss + 1 + m); m = unique(ss + 1, ss + 1 + m) - ss - 1;
    reverse(ss + 1, ss + 1 + m); FOR(i, 1, m) mp[ss[i]] = i;
    dfs(1, 0);
    FOR(i, 1, n) modify(dfn[i], a[i], 1);
    FOR(i, 1, q)
    {
        if(que[i].ty == 1)
        {
            modify(dfn[que[i].x], a[que[i].x], -1);
            Sum += 1ll * que[i].y * que[i].y - 1ll * a[que[i].x] * a[que[i].x];
            modify(dfn[que[i].x], a[que[i].x] = que[i].y, 1);
        }
        else
        {
            __int128 sub = 0;
            int lca = LCA(que[i].x, que[i].y);
            Div(dfn[que[i].x], dfn[que[i].y], dfn[lca], dfn[st[lca][0]], que[i].w, sub);
            print(Sum - sub);
        }
    }
    return 0;
}