#include <bits/stdc++.h>

using namespace std;

#define pb emplace_back
#define rep(i, s, e) for (int i = s; i <= e; ++i)
#define drep(i, s, e) for (int i = s; i >= e; --i)
#define file(a) freopen(#a".in", "r", stdin), freopen(#a".out", "w", stdout)
#define pv(a) cout << #a << " = " << a << endl
#define pa(a, l, r) cout << #a " : "; rep(_, l, r) cout << a[_] << ' '; cout << endl

using ll = long long;
using vi = vector <int>;

const int N = 2e5 + 10;
const int M = 2000;

int read() {
  int x = 0, f = 1; char c = getchar();
  for (; c < '0' || c > '9'; c = getchar()) if (c == '-') f = -1;
  for (; c >= '0' && c <= '9'; c = getchar()) x = x * 10 + c - 48;
  return x * f;
}

mt19937_64 rng(0);
int Rand(int l, int r) {
  return l + rng() % (r - l + 1);
}

int n, cn, m, B, T, lstans, ans;
ll a[N];

set <int> se[N];
vi e[N];
int p[N], dfn[N], dn;
int col[N], top[M], len[M], id[M][M], laz[M], down[M];
double dep[N];

void Link(int u, int v, int w) {
  // cout << "----- Link u, v, w = " << u << ' ' << v << ' ' << w << endl;
  a[++ cn] = w;
  se[u].erase(v), se[v].erase(u);
  se[u].insert(cn), se[cn].insert(u);
  se[v].insert(cn), se[cn].insert(v);
  if (p[u] == v) swap(u, v);
  p[v] = cn, p[cn] = u, dep[cn] = (dep[u] + dep[v]) / 2;
  int c = col[v];
  if (c) {
    // pv(c);
    col[cn] = c, a[cn] -= laz[c], id[c][len[c] + 1] = cn;
    rep(i, 1, len[c]) if (a[cn] <= a[id[c][i]]) {
      drep(j, len[c], i) id[c][j + 1] = id[c][j];
      id[c][i] = cn;
      break;
    }
    ++ len[c];
  }
}

void Add(int u, int w) {
  // cout << "----- Add u, w = " << u << ' ' << w << endl;
  a[++ cn] = w;
  se[u].insert(cn), se[cn].insert(u);
  p[cn] = u, dep[cn] = dep[u] + 1;
}

void Work(int u, int v, int w, int op) {
  // cout << "----- Work u, v, w, op = " << u << ' ' << v << ' ' << w << ' ' << op << " -----\n";
  function <void(int)> f, g;
  function <void(int, int)> h;
  auto ask = [&](int u) {
    return a[u] + laz[col[u]];
  } ;
  if (op == 3) {
    f = [&](int u) {
      a[u] += w;
    } ;
    g = [&](int c) {
      laz[c] += w;
    } ;
    h = [&](int u, int v) {
      static bool tag[N];
      int c = col[v];
      for (int w = v; w != u; w = p[w]) f(w), tag[w] = true;
      vector <int> sl, sr;
      drep(i, len[c], 1) {
        if (tag[id[c][i]]) sl.pb(id[c][i]);
        else sr.pb(id[c][i]);
      }
      rep(i, 1, len[c]) {
        if (!sr.size() || (sl.size() && a[sl.back()] <= a[sr.back()])) {
          id[c][i] = sl.back(), sl.pop_back();
        }
        else id[c][i] = sr.back(), sr.pop_back();
      }
      for (int w = v; w != u; w = p[w]) tag[w] = false;
    } ;
  }
  else {
    ans = 0;
    f = [&](int u) {
      // cout << "u, ask = " << u << ' ' << ask(u) << endl;
      ans += ask(u) >= w;
    } ;
    g = [&](int c) {
      // cout << "g c = " << c << endl;
      // rep(i, 1, len[c]) cout << ask(id[c][i]) << ' ';
      // cout << endl;
      int t = partition_point(id[c] + 1, id[c] + len[c] + 1, [&](int i) {
        return ask(i) < w;
      }) - id[c];
      ans += len[c] - t + 1;
    } ;
    h = [&](int u, int v) {
      for (int w = v; w != u; w = p[w]) f(w);
    } ;
  }
  while (!col[u] || !col[v]) {
    // cout << "3.5 u, v = " << u << ' ' << v << endl;
    if (u == v) return f(u), void();
    if (col[u] || (!col[v] && dep[u] < dep[v])) swap(u, v);
    f(u), u = p[u];
  }
  // cout << "1 u, v = " << u << ' ' << v << endl;
  // pv(ans);
  while (col[u] != col[v]) {
    if (dep[u] < dep[v]) swap(u, v);
    // cout << "1.5 u, v = " << u << ' ' << v << endl;
    int c = col[u];
    // cout << "c, top[c] = " << c << ' ' << top[c] << endl;
    // pa(col, 1, n);
    if (u == down[c]) g(c);
    else h(top[c], u);
    u = top[c];
  }
  // cout << "2 u, v = " << u << ' ' << v << endl;
  // pv(ans);
  if (dep[u] < dep[v]) swap(u, v);
  h(p[v], u);
}

void dfs0(int u, int fa) {
  // cout << "u, fa = " << u << ' ' << fa << endl;
  p[u] = fa, dfn[u] = ++ dn;
  int son = 0;
  for (int v : e[u]) if (v != fa) {
    dep[v] = dep[u] + 1, dfs0(v, u);
    if (col[v]) {
      // cout << "u, v, son = " << u << ' ' << v << ' ' << son << endl;
      if (col[u] || son) {
        if (!col[u]) col[u] = ++ B;
        top[col[son]] = top[col[v]] = u;
      }
      else son = v;
    }
  }
  if (!col[u]) col[u] = col[son];
  else down[col[u]] = u;
}

void rebuild() {
  // cout << "----- rebuild -----\n";
  n = cn, dn = 0;
  rep(c, 1, B) {
    rep(i, 1, len[c]) a[id[c][i]] += laz[c];
    len[c] = laz[c] = top[c] = down[c] = 0;
  }
  rep(i, 1, n) {
    p[i] = dfn[i] = dep[i] = col[i] = 0;
    e[i] = vi(se[i].begin(), se[i].end());
  }
  // cout << "edge : \n";
  // rep(i, 1, n) for (int j : e[i]) {
    // if (i < j) cout << i << ' ' << j << endl;
  // }
  B = sqrt(n * log2(n) + 1);
  col[1] = 1;
  for (int i = 2, u; i <= B; ++ i) {
    do { u = Rand(1, n); } while (col[u]);
    col[u] = i;
  }
  dfs0(1, 0);
  // pa(p, 1, n);
  // pa(col, 1, n);
  // pa(dep, 1, n);
  // pa(top, 1, B);
  // pa(down, 1, B);
  // pa(a, 1, n);
  rep(i, 1, n) if (col[i]) {
    id[col[i]][++ len[col[i]]] = i;
  }
  rep(c, 1, B) {
    sort(id[c] + 1, id[c] + len[c] + 1, [&](int i, int j) {
      return a[i] < a[j];
    });
  }
}

int main() {
  // file(data);
  n = read(), m = read(), cn = n;
  T = sqrt(n / log2(n + 1));
  // T = m;
  // cout << "B, T = " << (int) sqrt(n * log2(n) + 1) << ' ' << T << endl;
  rep(i, 1, n) a[i] = read();
  rep(i, 1, n - 1) {
    int u = read(), v = read();
    se[u].insert(v), se[v].insert(u);
  }
  rep(i, 0, m - 1) {
    if (i % T == 0) rebuild();
    int op = read();
    if (op == 1) {
      int u = read() ^ lstans, v = read() ^ lstans, w = read() ^ lstans;
      Link(u, v, w);
    }
    else if (op == 2) {
      int u = read() ^ lstans, w = read() ^ lstans;
      Add(u, w);
    }
    else {
      int u = read() ^ lstans, v = read() ^ lstans, w = read() ^ lstans;
      Work(u, v, w, op);
      if (op == 4) printf("%d\n", lstans = ans);
      // lstans = 0;
    }
  }
  return 0;
}