#include #include using namespace std; using namespace atcoder; #define overload4(_1, _2, _3, _4, name, ...) name #define rep1(n) for(int i = 0; i < (int)(n); ++i) #define rep2(i, n) for(int i = 0; i < (int)(n); ++i) #define rep3(i, a, b) for(int i = (a); i < (int)(b); ++i) #define rep4(i, a, b, c) for(int i = (a); i < (int)(b); i += (c)) #define rep(...) overload4(__VA_ARGS__, rep4, rep3, rep2, rep1)(__VA_ARGS__) #define rrep(i,n) for(int i = (int)(n) - 1; i >= 0; --i) #define ALL(a) a.begin(), a.end() #define Sort(a) sort(a.begin(), a.end()) #define RSort(a) sort(a.rbegin(), a.rend()) typedef long long int ll; typedef unsigned long long ul; typedef long double ld; typedef vector vi; typedef vector vll; typedef vector vc; typedef vector vst; typedef vector vd; typedef vector vld; typedef pair P; template long long sum(const T& a){ return accumulate(a.begin(), a.end(), 0LL); } template auto min(const T& a){ return *min_element(a.begin(), a.end()); } template auto max(const T& a){ return *max_element(a.begin(), a.end()); } const long long MINF = 0x7fffffffffff; const long long INF = 0x1fffffffffffffff; const long long MOD = 1000000007; const long double EPS = 1e-9; const long double PI = acos(-1); template inline bool chmax(T& a, T b) { if (a < b) { a = b; return 1; } return 0; } template inline bool chmin(T& a, T b) { if (a > b) { a = b; return 1; } return 0; } template istream &operator>>(istream &is, pair &p){ is >> p.first >> p.second; return is; } template ostream &operator<<(ostream &os, const pair &p){ os << "(" << p.first << ", " << p.second << ")"; return os; } template istream &operator>>(istream &is, vector &v){ for(T &in : v) is >> in; return is; } template ostream &operator<<(ostream &os, const vector &v){ for(int i = 0; i < (int) v.size(); ++i){ os << v[i] << (i + 1 != (int) v.size() ? " " : ""); } return os; } template ostream &operator<<(ostream &os, const map &mp){ for(auto &[key, val] : mp){ os << key << ":" << val << " "; } return os; } template ostream &operator<<(ostream &os, const set &st){ auto itr = st.begin(); for(int i = 0; i < (int)st.size(); ++i){ os << *itr << (i + 1 != (int)st.size() ? " " : ""); itr++; } return os; } template ostream &operator<<(ostream &os, const multiset &st){ auto itr = st.begin(); for(int i = 0; i < (int)st.size(); ++i){ os << *itr << (i + 1 != (int)st.size() ? " " : ""); itr++; } return os; } template ostream &operator<<(ostream &os, queue q){ while(q.size()){ os << q.front() << " "; q.pop(); } return os; } template ostream &operator<<(ostream &os, deque q){ while(q.size()){ os << q.front() << " "; q.pop_front(); } return os; } template ostream &operator<<(ostream &os, stack st){ while(st.size()){ os << st.top() << " "; st.pop(); } return os; } template ostream &operator<<(ostream &os, priority_queue pq){ while(pq.size()){ os << pq.top() << " "; pq.pop(); } return os; } template inline T vin(T& vec, U n) { vec.resize(n); for(int i = 0; i < (int) n; ++i) cin >> vec[i]; return vec; } template inline void vout(T vec, string s = "\n"){ for(auto x : vec) cout << x << s; } template void in(T&... a){ (cin >> ... >> a); } void out(){ cout << '\n'; } template void out(const T& a, const Ts&... b){ cout << a; (cout << ... << (cout << ' ', b)); cout << '\n'; } template void inGraph(vector>& G, U n, U m, bool directed = false){ G.resize(n); for(int i = 0; i < m; ++i){ int a, b; cin >> a >> b; a--, b--; G[a].push_back(b); if(!directed) G[b].push_back(a); } } class HeavyLightDecomposition{ int V; vector> G; vector stsize, parent, pathtop, depth, in, reverse_in, out; int root; private: // Subtree Size void buildStsize(int curr, int prev){ stsize[curr] = 1, parent[curr] = prev; for(int &v : G[curr]){ if(v == prev){ if(v == G[curr].back()) break; else swap(v, G[curr].back()); } buildStsize(v, curr); stsize[curr] += stsize[v]; if(stsize[v] > stsize[G[curr][0]]){ swap(v, G[curr][0]); } } } void buildPath(int curr, int prev, int &t){ in[curr] = t++; reverse_in[in[curr]] = curr; for(int v : G[curr]){ if(v == prev) continue; if(v == G[curr][0]){ pathtop[v] = pathtop[curr]; }else{ pathtop[v] = v; } depth[v] = depth[curr] + 1; buildPath(v, curr, t); } out[curr] = t; } public: HeavyLightDecomposition(int node_size) : V(node_size), G(V), stsize(V, 0), parent(V, -1), pathtop(V, -1), depth(V, 0), in(V, -1), reverse_in(V, -1), out(V, -1){} void add_edge(int u, int v){ G[u].push_back(v); G[v].push_back(u); } void build(int _root = 0){ root = _root; int t = 0; buildStsize(root, -1); pathtop[root] = root; buildPath(root, -1, t); } inline int get(int a){ return in[a]; } int la(int a, int k) { while(true){ int u = pathtop[a]; if(in[a] - k >= in[u]) return reverse_in[in[a] - k]; k -= in[a] - in[u] + 1; a = parent[u]; } } int lca(int a, int b){ int pa = pathtop[a], pb = pathtop[b]; while(pathtop[a] != pathtop[b]){ if(in[pa] > in[pb]){ a = parent[pa], pa = pathtop[a]; }else{ b = parent[pb], pb = pathtop[b]; } } if(in[a] > in[b]) swap(a, b); return a; } int dist(int a, int b){ return depth[a] + depth[b] - 2 * depth[lca(a, b)]; } int jump(int from, int to, int k) { if(!k) return from; int l = lca(from, to); int d = dist(from, to); if(d < k) return -1; if(depth[from] - depth[l] >= k) return la(from, k); k -= depth[from] - depth[l]; return la(to, depth[to] - depth[l] - k); } void subtree_query(int a, const function &func){ func(in[a], out[a]); } void path_query(int a, int b, const function &func, bool include_root = true, bool reverse_path = false){ vector> path; int pa = pathtop[a], pb = pathtop[b]; while(pathtop[a] != pathtop[b]){ if(in[pa] > in[pb]){ path.emplace_back(in[pa], in[a] + 1); a = parent[pa], pa = pathtop[a]; }else{ path.emplace_back(in[pb], in[b] + 1); b = parent[pb], pb = pathtop[b]; } } if(in[a] > in[b]) swap(a, b); if(include_root) path.emplace_back(in[a], in[b] + 1); else path.emplace_back(in[a] + 1, in[b] + 1); if(!reverse_path) reverse(path.begin(), path.end()); else for(auto& p : path) p = make_pair(V - p.second, V - p.first); for(auto [u, v] : path){ func(u, v); } } void path_noncommutative_query(int a, int b, const function &func, const function &func2){ int l = lca(a, b); path_query(a, l, func2, false, true); path_query(l, b, func, true, false); } }; template struct SegTree{ using FX = function; // X•X -> X となる関数の型 int n; FX fx; const X ex; vector dat; SegTree(int n_, FX fx_, X ex_) : n(), fx(fx_), ex(ex_){ int x = 1; while(n_ > x){ x *= 2; } n = x; dat.assign(n * 2, ex); } X get(int i){ return dat[i + n]; } void set(int i, X x){ dat[i + n] = x; } void build(){ for(int k = n - 1; k >= 1; k--) dat[k] = fx(dat[k * 2], dat[k * 2 + 1]); } void update(int i, X x){ i += n; dat[i] = x; while(i > 0){ i >>= 1; // parent dat[i] = fx(dat[i * 2], dat[i * 2 + 1]); } } X query(int a, int b){ X vl = ex; X vr = ex; int l = a + n; int r = b + n; while(l < r){ if(l & 1) vl = fx(vl, dat[l++]); if(r & 1) vr = fx(dat[--r], vr); l >>= 1; r >>= 1; } return fx(vl, vr); } }; ll n, q; vll c; void input(){ in(n, q); vin(c, n); } void solve(){ HeavyLightDecomposition hld(n); auto fx = [&](ll a, ll b){ return a ^ b; }; SegTree seg(n, fx, 0); rep(i, n - 1){ ll a, b; in(a, b); a--; b--; hld.add_edge(a, b); } hld.build(0); rep(i, n) seg.update(hld.get(i), c[i]); ll ans = 0; auto query = [&](ll l, ll r){ ans ^= seg.query(l, r); }; while(q--){ ll t, x, y; in(t, x, y); x--; if(t == 1){ ll idx = hld.get(x); seg.update(idx, seg.get(idx) ^ y); }else{ ans = 0; hld.subtree_query(x, query); out(ans); } } } int main(){ ios::sync_with_stdio(false); cin.tie(nullptr); cout << fixed << setprecision(20); input(); solve(); }