#include using namespace std; using ll = long long; bool chmin(auto &a, auto b) { return a > b ? a = b, true : false; } bool chmax(auto &a, auto b) { return a < b ? a = b, true : false; } #include using mint = atcoder::modint998244353; namespace combination { template struct C { static vector fac, finv; static void init(int n) { int sz = fac.size(); if (n < sz) return; n = clamp(n, 2 * sz, min(1 << 25, mint::mod() - 1)); fac.resize(n + 1); finv.resize(n + 1); for (int i = sz; i <= n; i++) { fac[i] = i * fac[i - 1]; } finv[n] = fac[n].inv(); for (int i = n; i >= sz; i--) { finv[i - 1] = i * finv[i]; } } }; template vector C::fac(1, 1); template vector C::finv(1, 1); template mint fac(int n) { C::init(n); if (n < 0) return 0; return C::fac[n]; } template mint finv(int n) { C::init(n); if (n < 0) return 0; return C::finv[n]; } template mint mod_inv(int n) { assert(n > 0); return finv(n) * fac(n - 1); } template mint nCk(int n, int k) { if (n < 0 || n < k || k < 0) return 0; return fac(n) * finv(n - k) * finv(k); } template mint multi_C(const vector &v) { int n = 0; for (const int &k : v) n += k; mint res = fac(n); for (const int &k : v) res *= finv(k); return res; } template mint nPk(int n, int k) { if (n < 0 || n < k || k < 0) return 0; return fac(n) * finv(n - k); } template mint catalan(int n) { return fac(2 * n) * finv(n) * finv(n + 1); } template mint grid_path(int n, int m) { return nCk(n + m, n); } } // namespace combination int main() { ios::sync_with_stdio(false); cin.tie(nullptr); int N; cin >> N; vector P(N), inv(N); for (int i = 0; i < N; i++) { cin >> P[i]; inv[P[i]] = i; } mint ans = 1; int L = inv[0], R = inv[0]; vector seen(N, false); seen[0] = true; for (int p = 1; p < N; p++) { if (seen[p]) { ans *= R - L - p + 1; continue; } if (inv[p] < L) { for (int i = inv[p]; i < L; i++) { seen[P[i]] = true; } L = inv[p]; } else { assert(R < inv[p]); for (int i = R + 1; i <= inv[p]; i++) { seen[P[i]] = true; } R = inv[p]; } } cout << ans.val() << endl; }