#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <cmath>
#include <algorithm>
#include <assert.h>
#define IOS ios::sync_with_stdio(false)
using namespace std;
#define inf (0x3f3f3f3f)
typedef long long int LL;


#include <iostream>
#include <sstream>
#include <vector>
#include <set>
#include <map>
#include <queue>
#include <string>
#include <bitset>
const int maxn = 1e2 + 20;
class GaussMatrix {  //复杂度O(n3)
public:
    int a[maxn][maxn];
    int equ, val; //方程（行）个数，和变量（列）个数，其中第val个是b值，不能取
    void init() {
        for (int i = 1; i <= equ; ++i) {
            for (int j = 1; j <= val; ++j) {
                a[i][j] = 0;
            }
        }
    }
    void swapRow(int rowOne, int rowTwo) {
        for (int i = 1; i <= val; ++i) {
            swap(a[rowOne][i], a[rowTwo][i]);
        }
    }
    void swapCol(int colOne, int colTwo) {
        for (int i = 1; i <= equ; ++i) {
            swap(a[i][colOne], a[i][colTwo]);
        }
    }
//    bool same(double x, double y) {
//        return fabs(x - y) < eps;
//    }
    int guass() {
        int k, col; // col，当前要处理的列， k当前处理的行
        for (k = 1, col = 1; k <= equ && col < val; ++k, ++col) { //col不能取到第val个
            int maxRow = k; //选出列最大值所在的行，这样使得误差最小。（没懂）
            for (int i = k + 1; i <= equ; ++i) {
                if (abs(a[i][col]) > abs(a[maxRow][col])) {
                    maxRow = i;
                }
            }
            if (a[maxRow][col] == 0) { //如果在第k行以后，整一列都是0
                --k; //则这个变量就是一个自由变量。
                continue;
            }
            if (maxRow != k) swapRow(k, maxRow); // k是当前的最大行了
            for (int i = col + 1; i <= val; ++i) { //整一列约去系数
                a[k][i] /= a[k][col];
            }
            a[k][col] = 1; //第一个就要变成1了，然后它下面和上面的变成0
            for (int i = 1; i <= equ; ++i) {
                if (i == k) continue; //当前这行，不操作
                for (int j = col + 1; j <= val; ++j) {
                    a[i][j] = (a[i][j] - a[i][col] * a[k][j] + 2) % 2;
                }
                a[i][col] = 0;
            }
//            debug();
        }
        for (int res = k; res <= equ; ++res) {
            if (a[res][val] != 0) return -1; //方程无解
        }
        return val - k; //自由变量个数
    }
    void debug() {
        for (int i = 1; i <= equ; ++i) {
            for (int j = 1; j <= val; ++j) {
                cout << a[i][j] << " ";
            }
            printf("\n");
        }
        printf("*******************************************\n\n");
    }
}arr;
int be[maxn], en[maxn];
void work() {
    int n;
    cin >> n;
    for (int i = 1; i <= n; ++i) cin >> be[i];
    for (int i = 1; i <= n; ++i) cin >> en[i];
    arr.init();
//    memset(&arr, 0, sizeof arr);
    arr.equ = n, arr.val = n + 1;
    do {
        int x, y;
        cin >> x >> y;
        if (x == 0 && y == 0) break;
        arr.a[x][x] = 1;
        arr.a[y][x] = 1;
    } while (true);
    for (int i = 1; i <= n; ++i) {
        arr.a[i][n + 1] = (en[i] - be[i] + 2) % 2;
        arr.a[i][i] = 1; //这个是必须的。
    }
//    arr.debug();
    int res = arr.guass();
    if (res == -1) {
        cout << "Oh,it‘s impossible~!!" << endl;
    } else cout << (1 << res) << endl;
}

int main() {
#ifdef local
    freopen("data.txt", "r", stdin);
//    freopen("data.txt", "w", stdout);
#endif
    int t;
    cin >> t;
    while (t--) work();
    return 0;
}