#include <bits/stdc++.h>

using namespace std;

const int N = 20, P = 1e9 + 7;

int ksm(int x, int y = P - 2) {
    int res = 1;
    while (y) {
        if (y & 1) {
            res = 1ll * res * x % P;
        }
        x = 1ll * x * x % P; y >>= 1;
    }
    return res;
}

int T[N], w[N + 1], C[N + 1][N + 1];
unordered_map<int, int> M[N][N];
vector< pair<int, int> > D[N], dp[1 << N];

vector< pair<int, int> > divide(int x) {
    vector< pair<int, int> > res;
    for (int i = 2; i * i <= x; ++i) {
        if (!(x % i)) {
            int C = 0;
            while (!(x % i)) {
                x /= i, ++C;
            }
            res.push_back({i, C});
        }
    }
    if (x != 1) res.push_back({x, 1});
    return res;
}

signed main() {
    int n; scanf("%d", &n);
    for (int i = 0; i < n; ++i) {
        scanf("%d", &T[i]);
    }
    for (int i = 2; i <= n; ++i) {
        scanf("%d", &w[i]);
    }
    for (int i = C[0][0] = 1; i <= n; ++i) {
        C[i][0] = 1;
        for (int j = C[i][0] = 1; j <= i; ++j) {
            ((C[i][j] = C[i - 1][j - 1] + C[i - 1][j]) >= P) && (C[i][j] -= P);
        }
    }
    for (int i = 3; i <= n; ++i) {
        for (int j = 2; j < i; ++j) {
            w[i] = (w[i] - 1ll * w[j] * C[i][j] % P + P) % P;
        }
    }
    for (int i = 0; i < n; ++i) {
        D[i] = divide(T[i]);
    }
    for (int i = 0; i < n; ++i) {
        for (int j = i + 1; j < n; ++j) {
            for (int k = 0; k < n; ++k) {
                if (k != i && k != j) {
                    for (auto [x, y] : D[k]) {
                        M[i][j][x] += y;
                    }
                }
            }
            vector< pair<int, int> > t = divide(T[j] - T[i]);
            for (auto [x, y] : t) {
                M[i][j][x] += y;
            }
        }
    }
    for (int i = 1; i < 1 << n; ++i) {
        if (__builtin_popcount(i) == 1) continue;
        int j = -1, k;
        for (int z = 0; z < n; ++z) {
            if ((i >> z) & 1) {
                if (!~j) j = z;
                else {k = z; break;}
            }
        }
        if (__builtin_popcount(i) == 2) {
            for (auto [x, y] : M[j][k]) {
                dp[i].push_back({x, y});
            }
            continue;
        }
        for (auto &[x, y] : dp[i ^ (1 << j)]) {
            if (M[j][k].count(x)) dp[i].push_back({x, min(y, M[j][k][x])});
        }
    }
    int res = 0;
    for (int i = 1; i < 1 << n; ++i) {
        if (!w[__builtin_popcount(i)]) continue;
        int val = 2;
        for (auto [x, y] : dp[i]) {
            val = 1ll * val * ksm(x, y) % P;
        }
        res = (res + 1ll * val * w[__builtin_popcount(i)]) % P;
    }
    for (int i = 0; i < n; ++i) {
        res = 1ll * res * ksm(T[i]) % P;
    }
    printf("%d\n", res);
    return 0;
}