#include #include using namespace std; using namespace atcoder; using mint = modint998244353; vector fact, inv; void init(int n) { fact.push_back(1); inv.push_back(1); for (int i = 0; i < n; i++) { fact.push_back(fact.at(i) * (i + 1)); inv.push_back(fact.at(i + 1).inv()); } } mint ncr(int n, int r) { if (r < 0 or n < r) { return 0; } return fact.at(n) * inv.at(r) * inv.at(n - r); } int main() { int n, m, k; cin >> n >> m >> k; string x; cin >> x; init(n); vector dp(m + 1, vector(n + 1)); dp.at(0).at(n) = 1; for (int i = 0; i < m; i++) { for (int j = k; j <= n; j++) { for (int newj = k; newj <= j; newj++) { if (x.at(i) == '0') { dp.at(i + 1).at(newj) += dp.at(i).at(j) * ncr(j, newj) * mint(2).pow(n - j); } else { dp.at(i + 1).at(j) -= dp.at(i).at(j) * ncr(j, newj) * mint(2).pow(n - j); } } if (x.at(i) == '1') { dp.at(i + 1).at(j) += dp.at(i).at(j) * mint(2).pow(n); } } } cout << reduce(dp.at(m).begin(), dp.at(m).end()).val() << endl; return 0; }