//Validation (Tree Xor Query)

#include <iostream>
#include "testlib.h"

using namespace std;
using ll=long long;

struct Union_Find {

	std::vector<int> parent;
	std::vector<int> rank;
	int N;

	Union_Find(int n) {
		N = n;
		parent = std::vector<int>(N, -1);
		rank = std::vector<int>(N, 0);
	}

	int find(int x) {
		if (parent[x] < 0) return x;
		return parent[x] = find(parent[x]);
	}

	int size(int x) {
		return -parent[find(x)];
	}

	void unite(int x, int y) {
		x = find(x);
		y = find(y);

		if (x == y) return;
		if (parent[x] > parent[y]) std::swap(x, y);
		parent[x] += parent[y];
		parent[y] = x;
		return;
	}

	bool same(int x, int y) {
		return find(x) == find(y);
	}

	int group_count() {
		int K = 0;
		for (int i = 0; i < N; i++) {
			if (parent[i] < 0) K++;
		}
		return K;
	}

	std::vector<int> members(int x) {
		std::vector<int> v(0);

		int r= find(x);
		for (int i = 0; i < N; i++) {
			if (find(i) == r) v.push_back(i);
		}
		return v;
	}
};

int main(){
    registerValidation();

    int N=inf.readInt(2,100000); inf.readSpace();
    int Q=inf.readInt(1,100000);
    inf.readEoln();

    int value_max=1024-1;

    vector<int> C=inf.readIntegers(N,0,value_max);
    inf.readEoln();

    Union_Find U(N+1);
    int a,b;
    for (int i=1; i<=N-1; i++){
        a=inf.readInt(1,N); inf.readSpace();
        b=inf.readInt(1,N);
        inf.readEoln();

        ensure(!U.same(a,b));
        U.unite(a,b);
    }

    ensure(U.group_count()==2);

    bool flag=false;
    int T,x,y;
    for (int q=1; q<=Q; q++){
        T=inf.readInt(1,2); inf.readSpace();
        x=inf.readInt(1,N); inf.readSpace();
        y=inf.readInt(0,value_max);
        inf.readEoln();

        if (T==2){
            flag=true;
            ensure(y==0);
        }
    }

    ensure(flag);
    inf.readEof();
    return 0;
}