#include <bits/stdc++.h>
using namespace std;

struct RURMS {
	using ll = long long;
	static const ll INF = 1e17;
	struct t1 {
		ll left, right, all, sum, size;
		t1() : left(-INF), right(-INF), all(-INF), sum(0), size(0) {}
		t1(ll val) : left(val), right(val), all(val), sum(val), size(1) {}
		t1(ll l, ll r, ll a, ll s, ll si) : left(l), right(r), all(a), sum(s), size(si) {}
		bool operator==(const t1& r) const {
			return left == r.left && right == r.right && all == r.all && sum == r.sum && size == r.size;
		}
	};
	using t2 = ll;
	static t1 id1() { return t1(); }
	static t2 id2() { return -INF; }
	static t1 op1(const t1& l, const t1 & r) {
		return t1(max(l.left, l.sum + r.left), max(r.right, r.sum + l.right), max({ l.all, r.all, l.right + r.left }), l.sum + r.sum, l.size + r.size);
	}
	static t1 op2(const t1& l, const t2 & r) {
		if (r == id2()) return l;
		if (r > 0) return t1(r * l.size, r * l.size, r * l.size, r * l.size, l.size);
		return t1(r, r, r, r * l.size, l.size);
	}
	static t2 op3(const t2& l, const t2 & r) {
		return r == id2() ? l : r;
	}
	static void rev1(t1& x) { swap(x.right, x.left); }
	static void rev2(t2& x) {}
};

template <typename M>
class lct_node {
	using T1 = typename M::t1;
	using T2 = typename M::t2;
	lct_node *l, *r, *p;
	bool rev;
	T1 val, all;
	T2 lazy;

	int pos() {
		if (p && p->l == this) return -1;
		if (p && p->r == this) return 1;
		return 0;
	}
	void update() {
		T1 left = l ? M::op2(l->all, l->lazy) : M::id1();
		T1 right = r ? M::op2(r->all, r->lazy) : M::id1();
		all = M::op1(left, M::op1(val, right));
	}
	void push() {
		if (pos()) p->push();
		if (rev) {
			swap(l, r);
			if (l) l->rev ^= true, M::rev1(l->val), M::rev1(l->all), M::rev2(l->lazy);
			if (r) r->rev ^= true, M::rev1(r->val), M::rev1(r->all), M::rev2(r->lazy);
			rev = false;
		}
		if (lazy == M::id2()) return;
		val = M::op2(val, lazy);
		all = M::op2(all, lazy);
		if (l) l->lazy = M::op3(l->lazy, lazy);
		if (r) r->lazy = M::op3(r->lazy, lazy);
		lazy = M::id2();
	}
	void rot() {
		lct_node *par = p;
		lct_node *mid;
		if (p->l == this) {
			mid = r;
			r = par;
			par->l = mid;
		}
		else {
			mid = l;
			l = par;
			par->r = mid;
		}
		if (mid) mid->p = par;
		p = par->p;
		par->p = this;
		if (p && p->l == par) p->l = this;
		if (p && p->r == par) p->r = this;
		par->update();
		update();
	}
	void splay() {
		push();
		while (pos()) {
			int st = pos() * p->pos();
			if (!st) rot();
			else if (st == 1) p->rot(), rot();
			else rot(), rot();
		}
	}

public:
	lct_node() : l(nullptr), r(nullptr), p(nullptr), rev(false), val(M::id1()), all(M::id1()), lazy(M::id2()) {}
	lct_node(const T1& v) : l(nullptr), r(nullptr), p(nullptr), rev(false), val(v), all(v), lazy(M::id2()) {}
	void expose() {
		for (lct_node *x = this, *y = nullptr; x; y = x, x = x->p) x->splay(), x->r = y, x->update();
		splay();
	}
	void link(lct_node *x) {
		x->expose();
		expose();
		p = x;
	}
	void cut() {
		expose();
		l->p = nullptr;
		l = nullptr;
		update();
	}
	void evert() {
		expose();
		rev = true;
		M::rev1(val);
		M::rev1(all);
		M::rev2(lazy);
	}
	T1 find() {
		expose();
		assert(lazy == M::id2());
		return all;
	}
	void update(T2 v) {
		expose();
		lazy = M::op3(lazy, v);
	}
};

void build(int v, int prev, const vector<vector<int>>& G, vector<lct_node<RURMS>>& lct) {
	for (int to : G[v]) if (to != prev) {
		lct[to].link(&lct[v]);
		build(to, v, G, lct);
	}
}

int main()
{
	ios::sync_with_stdio(false), cin.tie(0);
	int n, q;
	cin >> n >> q;
	vector<lct_node<RURMS>> lct;
	lct.reserve(n);
	for (int i = 0; i < n; i++) {
		int w;
		cin >> w;
		lct.emplace_back(w);
	}
	vector<vector<int>> G(n);
	for (int i = 0; i < n - 1; i++) {
		int u, v;
		cin >> u >> v; u--, v--;
		G[u].push_back(v);
		G[v].push_back(u);
	}
	build(0, -1, G, lct);
	while (q--) {
		int t, a, b, c;
		cin >> t >> a >> b >> c; a--, b--;
		if (t == 1) {
			lct[a].evert();
			lct[b].update(c);
		}
		else {
			lct[a].evert();
			printf("%lld\n", lct[b].find().all);
		}
	}
	return 0;
}



Measured memory_bytes: 68484