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

void solve() {
    int N;
    cin >> N;
    vector<bool> ocsortány(N + 1);
    vector<int> ocsortányszomszed(N + 1);
    for (int i = 1; i <= N; i++) {
        int A;
        cin >> A;
        ocsortány[i] = A == -1;
    }
    bool b = true;
    for (int i = 1; i < N; i++) {
        int U, V;
        cin >> U >> V;

        if (b) {
            b = 0;
            if (ocsortány[U] && ocsortány[V]) {
                cout << "NEM\n2\n" << U << " " << V << "\n";
            }
            else if (ocsortányszomszed[U] && ocsortány[V]) {
                cout << "NEM\n3\n" << ocsortányszomszed[U] << " " << U << " " << V << "\n";
            }
            else if (ocsortány[U] && ocsortányszomszed[V]) {
                cout << "NEM\n3\n" << ocsortányszomszed[V] << " " << V << " " << U << "\n";
            }
            else b = 1;
        }
        if (ocsortány[U]) {
            ocsortányszomszed[V] = U;
        }
        if (ocsortány[V]) {
            ocsortányszomszed[U] = V;
        }
    }
    if (b) cout << "IGEN\n";
}

int main() {
    int T;
    cin >> T;
    while (T--) solve();
}