#include namespace { #pragma GCC diagnostic ignored "-Wunused-function" #include #pragma GCC diagnostic warning "-Wunused-function" using namespace std; using namespace atcoder; #define rep(i,n) for(int i = 0; i < (int)(n); i++) #define rrep(i,n) for(int i = (int)(n) - 1; i >= 0; i--) #define all(x) begin(x), end(x) #define rall(x) rbegin(x), rend(x) template bool chmax(T& a, const T& b) { if (a < b) { a = b; return true; } else return false; } template bool chmin(T& a, const T& b) { if (b < a) { a = b; return true; } else return false; } using ll = long long; using P = pair; using VI = vector; using VVI = vector; using VL = vector; using VVL = vector; using mint = modint998244353; constexpr int FACT_SIZE = 3000; mint Fact[FACT_SIZE + 1]; mint iFact[FACT_SIZE + 1]; mint inv[FACT_SIZE + 1]; const auto fact_init = [] { Fact[0] = mint::raw(1); for(int i = 1; i <= FACT_SIZE; ++i) { Fact[i] = Fact[i-1] * i; } iFact[FACT_SIZE] = Fact[FACT_SIZE].inv(); for(int i = FACT_SIZE; i; --i) { iFact[i-1] = iFact[i] * i; } for (int i = 1; i <= FACT_SIZE; i++) { inv[i] = iFact[i] * Fact[i-1]; } return false; }(); vector prod[4096]; void set_prod(int i) { assert(0 <= i && i < 2048); const mint im = i; int p = 2048 + i; while (p > 0) { auto& f = prod[p]; f.emplace_back(0); rrep(j, ssize(f) - 1) f[j+1] -= im * f[j]; p >>= 1; } } vector get_prod(int l, int r) { int len = bit_ceil(1U * (r - l)); r = l + len; assert(((len - 1) & l) == 0); int p = (2048 + l) / len; assert(p > 0); return prod[p]; } vector fps_inverse(vector f, int precision) { int n = f.size(); assert(n >= 1 && f[0] != 0); int len = 1; const int z = bit_ceil(1U * precision); vector g{f[0].inv()}; const mint inv4 = mint(4).inv(); mint inv4k = 1; while (len < z) { int nlen = 2 * len; vector ft(f.begin(), f.begin() + min(n, nlen)); ft.resize(nlen); butterfly(ft); vector gt = g; gt.resize(nlen); internal::butterfly(gt); for (int i = 0; i < nlen; i++) ft[i] *= gt[i]; internal::butterfly_inv(ft); for (int i = 0; i < len; i++) ft[i] = mint(); internal::butterfly(ft); for (int i = 0; i < nlen; i++) ft[i] *= gt[i]; internal::butterfly_inv(ft); inv4k *= inv4; mint c = -inv4k; for (int i = len; i < nlen; i++) g.emplace_back(c * ft[i]); len = nlen; } g.resize(precision); return g; } vector monomial2factorial(vector f) { // a x = a P^-1 P x = a' P x // a' = a P^-1 int n = f.size(); if (n == 0) return f; ranges::reverse(f); f = convolution(f, fps_inverse(prod[1], n)); f.resize(n); auto dfs2 = [&](auto&& self, int l, int r) { if (r - l == 1) return; int c = l + bit_ceil(1U * (r - l)) / 2; auto g = convolution(vector(f.begin() + n - r, f.begin() + n - l), get_prod(c, r)); copy(g.begin() + r - c, g.begin() + r - l, f.begin() + n - c); self(self, l, c); self(self, c, r); }; dfs2(dfs2, 0, n); ranges::reverse(f); return f; } vector factorial2monomial(vector f) { // a x = a P^-1 P x = a' P x // a = a' P int n = f.size(); auto dfs = [&](auto&& self, int l, int r) { if (r - l == 1) return; int c = l + bit_ceil(1U * (r - l)) / 2; self(self, l, c); self(self, c, r); int p = [&](int l, int r) { int len = bit_ceil(1U * (r - l)); r = l + len; assert(((len - 1) & l) == 0); return (2048 + l) / len; }(l, c); assert(p > 0); ranges::reverse(prod[p]); auto g = convolution(vector(f.begin() + c, f.begin() + r), prod[p]); ranges::reverse(prod[p]); for (int i = l; i < c; i++) f[i] += g[i - l]; for (int i = c; i < r; i++) f[i] = g[i - l]; return; }; dfs(dfs, 0, n); return f; } vector factorial2monomial_shifted(vector f, mint shift) { // a x = a P^-1 P x = a' P x // a = a' P int n = f.size(); auto dfs = [&](auto&& self, int l, int r) { if (r - l == 1) return vector{-l + shift, 1}; int c = (l + r) / 2; auto pl = self(self, l, c); auto pr = self(self, c, r); auto g = convolution(vector(f.begin() + c, f.begin() + r), pl); for (int i = l; i < c; i++) f[i] += g[i - l]; for (int i = c; i < r; i++) f[i] = g[i - l]; return l != 0 || r != n ? convolution(pl, pr) : vector{}; }; dfs(dfs, 0, n); return f; } } int main() { ios::sync_with_stdio(false); cin.tie(0); int n; cin >> n; VI a(n); rep(i, n - 1) cin >> a[i]; string m; cin >> m; for (char& c : m) c -= '0'; vector c(n); rep(i, n - 1) { unsigned int now = 0; rep(j, ssize(m)) { now = 10 * now + m[j]; m[j] = now / a[i]; now %= a[i]; } c[i] = now; } { mint now; for (char c : m) now = 10 * now + c; c[n - 1] = now; } rep(k, 12) for (int i = 1 << k; i < 1 << (k + 1); i++) prod[i].reserve((1 << (11 - k)) + 1); rep(i, 4096) prod[i] = {1}; vector f{1}; set_prod(0); for (int i = 1; i < n; i++) { f = monomial2factorial(move(f)); f.insert(f.begin(), mint()); for (int j = 1; j <= i; j++) f[j] *= inv[j]; set_prod(i); f = factorial2monomial_shifted(move(f), 1 + c[i]); mint aj = 1; rep(j, i + 1) { f[j] *= aj; aj *= a[i]; } } cout << f[0].val() << '\n'; }