#include #include using namespace std; using namespace atcoder; using ll = long long; using mint = modint998244353; int main() { /* F */ ll H, W, K; cin >> H >> W >> K; vector> dp(W + 1, vector(1 << H, 0)); dp[0][(1 << H) - 1] = 1LL; for (ll j = 0; j < W; j++) { for (ll s = 0; s < (1 << H); s++) { for (ll t = 0; t < (1 << H); t++) { ll u = s & t; ll cnt = __builtin_popcount(u); if (cnt >= K) { dp[j + 1][t] += dp[j][s]; } } } } mint ans = 0; for (ll s = 0; s < (1 << H); s++) { ans += dp[W][s]; } cout << ans.val() << endl; return 0; }