#include using namespace std; template ostream &operator<<(ostream &s, const pair &v) { s << "(" << v.first << ", " << v.second << ")"; return s; } template requires (!is_convertible_v) istream &operator>>(istream &s, T &&v) { for (auto &&x : v) s >> x; return s; } template requires (!is_convertible_v) ostream &operator<<(ostream &s, T &&v) { for (auto &&x : v) s << x << ' '; return s; } #ifdef LOCAL template void dbg(T... x) { char e{}; ((cerr << e << x, e = ' '), ...); } #define debug(x...) dbg(#x, '=', x, '\n') #else #define debug(...) ((void)0) #endif #define all(v) (v).begin(), (v).end() #define rall(v) (v).rbegin(), (v).rend() #define ff first #define ss second template inline constexpr T inf = numeric_limits::max() / 2; bool chmin(auto &a, auto b) { return (b < a and (a = b, true)); } bool chmax(auto &a, auto b) { return (a < b and (a = b, true)); } using u32 = unsigned int; using i64 = long long; using u64 = unsigned long long; using i128 = __int128; using u128 = unsigned __int128; constexpr i64 mod = 998244353; void solve() { int n; cin >> n; vector A(n); cin >> A; vector gre(n, vector(n + 1)); for (int i = 0; i < n; i++) { if (i) { gre[i] = gre[i - 1]; } if (A[i] != -1) { for (int j = 1; j <= A[i]; j++) { gre[i][j]++; } } } vector pos(n + 1, -1); for (int i = 0; i < n; i++) { if (A[i] != -1) { pos[A[i]] = i; } } vector dp(n + 1); dp[0] = 1; for (int i = 1; i <= n; i++) { int p = pos[i]; vector ndp(n + 1); for (int j = 0; j <= n; j++) { if (dp[j] == 0) { continue; } if (p != -1) { if (p <= j + 1) { (ndp[max(j, p + 1)] += dp[j]) %= mod; } } else { int c = j - (i - 1); if (j - 1 >= 0) { c -= gre[j - 1][i]; } (ndp[j] += dp[j] * c) %= mod; if (j < n and A[j] == -1) { ndp[j + 1] += dp[j]; } if (j + 1 < n and A[j + 1] == -1) { (ndp[j + 2] += dp[j]) %= mod; } } } dp = ndp; } cout << dp[n] << '\n'; } int main() { cin.tie(0)->sync_with_stdio(0); cin.exceptions(cin.failbit); int t = 1; cin >> t; while (t--) { solve(); } return 0; }