#include <bits/stdc++.h>

using namespace std;
#include <atcoder/modint>
using mint = atcoder::modint998244353;
void fast_io() {
    ios_base::sync_with_stdio(false);
    cin.tie(nullptr);
}

int main() {
    fast_io();
    vector<vector<long long>> o(5, vector<long long>(34)),
        x(5, vector<long long>(34));
    for (int i = 0; i < 5; i++) {
        for (int j = 0; j < 34; j++) {
            cin >> o[i][j];
        }
    }
    for (int i = 0; i < 5; i++) {
        for (int j = 0; j < 34; j++) {
            cin >> x[i][j];
        }
    }
    vector dp(5, vector(34, vector<mint>(9)));
    dp[0][0][0] = 1;
    for (int i = 0; i < 5; i++) {
        for (int j = 0; j < 34; j++) {
            vector dp_new(5, vector(34, vector<mint>(9)));
            for (int ii = 0; ii < 5; ii++) {
                for (int jj = 0; jj < 34; jj++) {
                    for (int k = 0; k < 9; k++) {
                        int cur_i = ii, cur_j = jj, select = 0;
                        mint comb = 1;
                        while (cur_i < 5 && cur_j < 34 && k + select < 9) {
                            dp_new[cur_i][cur_j][k + select] +=
                                dp[ii][jj][k] * comb;
                            cur_i += i;
                            cur_j += j;
                            comb *= (o[i][j] - select);
                            comb /= select + 1;
                            select++;
                        }
                    }
                }
            }
            swap(dp, dp_new);
        }
    }
    mint ans = 0;
    for (int i = 0; i < 5; i++) {
        ans += dp[4 - i][33][8] * x[i][0];
    }
    cout << ans.val() << endl;
}