#include #include #include #include #include #include #include #include #include #include #include #include #define debug_value(x) cerr << "line" << __LINE__ << ":<" << __func__ << ">:" << #x << "=" << x << endl; #define debug(x) cerr << "line" << __LINE__ << ":<" << __func__ << ">:" << x << endl; template inline bool chmax(T& a, T b) { if (a < b) { a = b; return 1; } return 0; } template inline bool chmin(T& a, T b) { if (a > b) { a = b; return 1; } return 0; } using namespace std; typedef long long ll; const ll MOD = 998244353; class ModInt{ public: ll v; ModInt(ll _v = 0){ if(_v >= MOD) _v %= MOD; v = _v; } ModInt operator+(ll n){ return ModInt((v+n)%MOD); } ModInt operator-(ll n){ return ModInt((v-n+MOD)%MOD); } ModInt operator*(ll n){ if(n >= MOD) n %= MOD; return ModInt((v*n)%MOD); } ModInt operator/(ll n){ return ModInt((ModInt(n).inv()*v).v%MOD); } void operator+=(ll n){ v = (v+n)%MOD; } void operator-=(ll n){ v = (v-n+MOD)%MOD; } void operator*=(ll n){ v = (v*n+MOD)%MOD; } ModInt operator+(ModInt n){ return ModInt((v+n.v)%MOD); } ModInt operator-(ModInt n){ return ModInt((v-n.v+MOD)%MOD); } ModInt operator*(ModInt n){ return ModInt((v*n.v)%MOD); } ModInt operator/(ModInt n){ return ModInt((n.inv()*v).v%MOD); } void operator+=(ModInt n){ v = (v+n.v)%MOD; } void operator-=(ModInt n){ v = (v-n.v+MOD)%MOD; } void operator*=(ModInt n){ v = (v*n.v)%MOD; } void operator=(ModInt n){ v = n.v; } bool operator==(ModInt n){ return v == n.v; } bool operator!=(ModInt n){ return v != n.v; } void operator=(ll n){ v = n%MOD; } ModInt inv(){ if(v == 1) return ModInt(1); else return ModInt(MOD-ModInt(MOD%v).inv().v*(MOD/v)%MOD); } }; ostream& operator<<(ostream& os, const ModInt& m){ os << m.v; return os; } istream & operator >> (istream &in, ModInt &m){ in >> m.v; return in; } ModInt pow(ModInt a, ll n) { assert(n >= 0); ModInt ans = 1; ModInt tmp = a; for (int i = 0; i <= 60; i++) { ll m = (ll)1 << i; if (m & n) { ans *= tmp; } tmp *= tmp; } return ans; } template struct matrix{ int n, m; vector> dat; matrix(int n_, int m_){ n = n_; m = m_; for(int i = 0; i < n; i++){ dat.push_back(vector(m)); } } vector& operator[](int x) { return dat[x]; } }; template bool prod(matrix a, matrix b, matrix &ans, T zero){ assert(a.m == b.n); for(int i = 0; i < a.n; i++){ for(int j = 0; j < b.m; j++){ ans.dat[i][j] = zero; for(int k = 0; k < b.n; k++){ ans.dat[i][j] += (a.dat[i][k]*b.dat[k][j]); } } } return true; } template void copy_mat(matrix a, matrix &b){ assert(a.n == b.n); assert(a.m == b.m); for(int i = 0; i < a.n; i++){ for(int j = 0; j < a.m; j++){ b.dat[i][j] = a.dat[i][j]; } } } template void pow_mat(matrix a, ll n, matrix &ans, T zero, T unit){ assert(n < ((ll)1<<61)); matrix buf(a.n, a.n); matrix tmp(a.n, a.n); copy_mat(a, tmp); for(int i = 0; i < a.n; i++) { for(int j = 0; j < a.n; j++){ ans.dat[i][j] = zero; } ans.dat[i][i] = unit; } for(int i = 0; i <= 60; i++){ ll m = (ll)1 << i; if(m&n){ prod(tmp, ans, buf, zero); copy_mat(buf, ans); } prod(tmp, tmp, buf, zero); copy_mat(buf, tmp); } } template void print_mat(matrix a){ for(int i = 0; i < a.n; i++){ for(int j = 0; j < a.m; j++){ cout << a.dat[i][j] << ' '; } cout << endl; } } template ostream& operator<<(ostream& os, const matrix& m){ print_mat(m); return os; } using mint = ModInt; class node{ public: mint cnt, sum; node(mint cnt=mint(0), mint sum=mint(0)): cnt(cnt), sum(sum){}; node operator+(node n){ return node(cnt+n.cnt, sum+n.sum); } node operator*(node n){ return node(cnt*n.cnt, sum*n.cnt+cnt*n.sum); } void operator+=(node n){ cnt = cnt+n.cnt; sum = sum+n.sum; } void operator*=(node n){ cnt = cnt*n.cnt; sum = sum*n.cnt+cnt*n.sum; } }; int main(){ ios::sync_with_stdio(false); cin.tie(0); cout << setprecision(10) << fixed; int n, k; cin >> n >> k; auto to_idx = [&](int l, int r){ return l*k+r; }; matrix mat(k*k, k*k), pw(k*k, k*k); for(int l = 0; l < k; l++){ for(int r = 0; r < k; r++){ int idx = to_idx(l, r); if(l == r) continue; for(int p = 0; p < k; p++){ int idx_to = to_idx(r, p); if(p == l || p == r) continue; if(l < r && p < r){ mat[idx_to][idx] = node(mint(1), mint(p)); } if(l > r && p > r){ mat[idx_to][idx] = node(mint(1), mint(p)); } } } } matrix u(k*k, 1), ans(k*k, 1); for(int l = 0; l < k; l++){ for(int r = 0; r < k; r++){ int idx = to_idx(l, r); if(l == r) continue; u[idx][0] = node(mint(1), mint(l+r)); } } pow_mat(mat, n-2, pw, node(0, 0), node(1, 0)); prod(pw, u, ans, node(0, 0)); mint cnt = 0, sum = 0; for(int l = 0; l < k; l++){ for(int r = 0; r < k; r++){ int idx = to_idx(l, r); if(l == r) continue; cnt += ans[idx][0].cnt; sum += ans[idx][0].sum; // cout << l << ' ' << r << ' ' << ans[idx][0].sum << endl; } } cout << cnt << ' ' << sum << endl; }