#define _USE_MATH_DEFINES #include using namespace std; #define FOR(i,m,n) for(int i=(m);i<(n);++i) #define REP(i,n) FOR(i,0,n) #define ALL(v) (v).begin(),(v).end() using ll = long long; constexpr int INF = 0x3f3f3f3f; constexpr long long LINF = 0x3f3f3f3f3f3f3f3fLL; constexpr double EPS = 1e-8; constexpr int MOD = 1000000007; // constexpr int MOD = 998244353; constexpr int dy[] = {1, 0, -1, 0}, dx[] = {0, -1, 0, 1}; constexpr int dy8[] = {1, 1, 0, -1, -1, -1, 0, 1}, dx8[] = {0, -1, -1, -1, 0, 1, 1, 1}; template inline bool chmax(T &a, U b) { return a < b ? (a = b, true) : false; } template inline bool chmin(T &a, U b) { return a > b ? (a = b, true) : false; } struct IOSetup { IOSetup() { std::cin.tie(nullptr); std::ios_base::sync_with_stdio(false); std::cout << fixed << setprecision(20); } } iosetup; template struct SegmentTree { using Monoid = typename T::Monoid; SegmentTree(int n) : SegmentTree(std::vector(n, T::id())) {} SegmentTree(const std::vector &a) : n(a.size()) { while (p2 < n) p2 <<= 1; dat.assign(p2 << 1, T::id()); for (int i = 0; i < n; ++i) dat[i + p2] = a[i]; for (int i = p2 - 1; i > 0; --i) dat[i] = T::merge(dat[i << 1], dat[(i << 1) + 1]); } void set(int idx, Monoid val) { idx += p2; dat[idx] = val; while (idx >>= 1) dat[idx] = T::merge(dat[idx << 1], dat[(idx << 1) + 1]); } Monoid get(int left, int right) const { Monoid l_res = T::id(), r_res = T::id(); for (left += p2, right += p2; left < right; left >>= 1, right >>= 1) { if (left & 1) l_res = T::merge(l_res, dat[left++]); if (right & 1) r_res = T::merge(dat[--right], r_res); } return T::merge(l_res, r_res); } Monoid operator[](const int idx) const { return dat[idx + p2]; } template int find_right(int left, G g) { if (left >= n) return n; Monoid val = T::id(); left += p2; do { while (!(left & 1)) left >>= 1; Monoid nx = T::merge(val, dat[left]); if (!g(nx)) { while (left < p2) { left <<= 1; nx = T::merge(val, dat[left]); if (g(nx)) { val = nx; ++left; } } return left - p2; } val = nx; ++left; } while (__builtin_popcount(left) > 1); return n; } template int find_left(int right, G g) { if (right <= 0) return -1; Monoid val = T::id(); right += p2; do { --right; while (right > 1 && (right & 1)) right >>= 1; Monoid nx = T::merge(dat[right], val); if (!g(nx)) { while (right < p2) { right = (right << 1) + 1; nx = T::merge(dat[right], val); if (g(nx)) { val = nx; --right; } } return right - p2; } val = nx; } while (__builtin_popcount(right) > 1); return -1; } private: int n, p2 = 1; std::vector dat; }; namespace monoid { template struct RangeMinimumQuery { using Monoid = T; static constexpr Monoid id() { return std::numeric_limits::max(); } static Monoid merge(const Monoid &a, const Monoid &b) { return std::min(a, b); } }; template struct RangeMaximumQuery { using Monoid = T; static constexpr Monoid id() { return std::numeric_limits::lowest(); } static Monoid merge(const Monoid &a, const Monoid &b) { return std::max(a, b); } }; template struct RangeSumQuery { using Monoid = T; static constexpr Monoid id() { return 0; } static Monoid merge(const Monoid &a, const Monoid &b) { return a + b; } }; } // monoid struct HeavyLightDecomposition { std::vector parent, subtree, id, inv, head; HeavyLightDecomposition(const std::vector> &graph, int root = 0) : graph(graph) { int n = graph.size(); parent.assign(n, -1); subtree.assign(n, 1); id.resize(n); inv.resize(n); head.resize(n); dfs1(root); head[root] = root; int now_id = 0; dfs2(root, now_id); } template void v_update(int u, int v, Fn f) const { while (true) { if (id[u] > id[v]) std::swap(u, v); f(std::max(id[head[v]], id[u]), id[v] + 1); if (head[u] == head[v]) return; v = parent[head[v]]; } } template T v_query(int u, int v, F f, G g, const T ID) const { T left = ID, right = ID; while (true) { if (id[u] > id[v]) { std::swap(u, v); std::swap(left, right); } left = g(left, f(std::max(id[head[v]], id[u]), id[v] + 1)); if (head[u] == head[v]) break; v = parent[head[v]]; } return g(left, right); } template void subtree_v_update(int ver, Fn f) const { f(id[ver], id[ver] + subtree[ver]); } template T subtree_v_query(int ver, Fn f) const { return f(id[ver], id[ver] + subtree[ver]); } template void e_update(int u, int v, Fn f) const { while (true) { if (id[u] > id[v]) std::swap(u, v); if (head[u] == head[v]) { f(id[u], id[v]); break; } else { f(id[head[v]] - 1, id[v]); v = parent[head[v]]; } } } template T e_query(int u, int v, F f, G g, const T ID) const { T left = ID, right = ID; while (true) { if (id[u] > id[v]) { std::swap(u, v); std::swap(left, right); } if (head[u] == head[v]) { left = g(left, f(id[u], id[v])); break; } else { left = g(left, f(id[head[v]] - 1, id[v])); v = parent[head[v]]; } } return g(left, right); } template void subtree_e_update(int ver, Fn f) const { f(id[ver], id[ver] + subtree[ver] - 1); } template T subtree_e_query(int ver, Fn f) const { return f(id[ver], id[ver] + subtree[ver] - 1); } int lowest_common_ancestor(int u, int v) const { while (true) { if (id[u] > id[v]) std::swap(u, v); if (head[u] == head[v]) return u; v = parent[head[v]]; } } private: std::vector> graph; void dfs1(int ver) { for (int &e : graph[ver]) { if (e != parent[ver]) { parent[e] = ver; dfs1(e); subtree[ver] += subtree[e]; if (subtree[e] > subtree[graph[ver].front()]) std::swap(e, graph[ver].front()); } } } void dfs2(int ver, int &now_id) { id[ver] = now_id++; inv[id[ver]] = ver; for (int e : graph[ver]) { if (e != parent[ver]) { head[e] = (e == graph[ver].front() ? head[ver] : e); dfs2(e, now_id); } } } }; int main() { int n, q; cin >> n >> q; vector c(n); REP(i, n) cin >> c[i]; vector> graph(n); REP(_, n - 1) { int a, b; cin >> a >> b; --a; --b; graph[a].emplace_back(b); graph[b].emplace_back(a); } HeavyLightDecomposition hld(graph, 0); struct S { using Monoid = int; static constexpr Monoid id() { return 0; } static Monoid merge(const Monoid &a, const Monoid &b) { return a ^ b; } }; SegmentTree seg(n); REP(i, n) seg.set(hld.id[i], c[i]); while (q--) { int t, x, y; cin >> t >> x >> y; --x; if (t == 1) { seg.set(hld.id[x], seg[hld.id[x]] ^ y); } else if (t == 2) { cout << hld.subtree_v_query(x, [&](int a, int b) -> int { return seg.get(a, b); }) << '\n'; } // REP(i, n) cout << seg[hld.id[i]] << " \n"[i + 1 == n]; } return 0; }