#define LOCAL #define _USE_MATH_DEFINES #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; template ostream& operator <<(ostream& out, const pair& a) { out << "(" << a.first << "," << a.second << ")"; return out; } template ostream& operator <<(ostream& out, const array& a) { out << "["; bool first = true; for (auto& v : a) { out << (first ? "" : ", "); out << v; first = 0;} out << "]"; return out; } template ostream& operator <<(ostream& out, const vector& a) { out << "["; bool first = true; for (auto v : a) { out << (first ? "" : ", "); out << v; first = 0;} out << "]"; return out; } template ostream& operator <<(ostream& out, const set& a) { out << "{"; bool first = true; for (auto& v : a) { out << (first ? "" : ", "); out << v; first = 0;} out << "}"; return out; } template ostream& operator <<(ostream& out, const map& a) { out << "{"; bool first = true; for (auto& p : a) { out << (first ? "" : ", "); out << p.first << ":" << p.second; first = 0;} out << "}"; return out; } #ifdef LOCAL #define trace(...) __f(#__VA_ARGS__, __VA_ARGS__) #else #define trace(...) 42 #endif template void __f(const char* name, Arg1&& arg1){ cerr << name << ": " << arg1 << endl; } template void __f(const char* names, Arg1&& arg1, Args&&... args){ const char* comma = strchr(names + 1, ','); cerr.write(names, comma - names) << ": " << arg1 << " |"; __f(comma + 1, args...); } template auto vect(const T& v, int n) { return vector(n, v); } template auto vect(const T& v, int n, D... m) { return vector(n, vect(v, m...)); } typedef long long int64; typedef pair ii; #define SZ(x) (int)((x).size()) template static constexpr T inf = numeric_limits::max() / 2; // const int MOD = 1e9 + 7; const int MOD = 998244353; mt19937 mrand(random_device{}()); int rnd(int x) { return mrand() % x; } // mt19937_64 mrand(random_device{}()); // int64 rnd(int64 x) { return mrand() % x; } template void out(const vector& a) { for (int i = 0; i < SZ(a); ++i) cout << a[i] << " \n"[i + 1 == SZ(a)]; } template bool ckmin(T& a, const T& b) { return b < a ? a = b, 1 : 0; } template bool ckmax(T& a, const T& b) { return a < b ? a = b, 1 : 0; } template void dedup(vector& v) { sort(v.begin(), v.end()); v.erase(unique(v.begin(), v.end()), v.end()); } void add(int& x, int y) { x += y; if (x >= MOD) x -= MOD; } struct fast_ios { fast_ios() { cin.tie(nullptr); ios::sync_with_stdio(false); cout << fixed << setprecision(10); }; } fast_ios_; template struct modnum { static constexpr int MOD = MOD_; static_assert(MOD_ > 0, "MOD must be positive"); private: int v; static int minv(int a, int m) { a %= m; assert(a); return a == 1 ? 1 : int(m - int64(minv(m, a)) * int64(m) / a); } public: modnum() : v(0) {} modnum(int64 v_) : v(int(v_ % MOD)) { if (v < 0) v += MOD; } explicit operator int() const { return v; } friend std::ostream& operator << (std::ostream& out, const modnum& n) { return out << int(n); } friend std::istream& operator >> (std::istream& in, modnum& n) { int64 v_; in >> v_; n = modnum(v_); return in; } friend bool operator == (const modnum& a, const modnum& b) { return a.v == b.v; } friend bool operator != (const modnum& a, const modnum& b) { return a.v != b.v; } modnum inv() const { modnum res; res.v = minv(v, MOD); return res; } friend modnum inv(const modnum& m) { return m.inv(); } modnum neg() const { modnum res; res.v = v ? MOD-v : 0; return res; } friend modnum neg(const modnum& m) { return m.neg(); } modnum operator- () const { return neg(); } modnum operator+ () const { return modnum(*this); } modnum& operator ++ () { ++v; if (v == MOD) v = 0; return *this; } modnum& operator -- () { if (v == 0) v = MOD; --v; return *this; } modnum& operator += (const modnum& o) { v += o.v; if (v >= MOD) v -= MOD; return *this; } modnum& operator -= (const modnum& o) { v -= o.v; if (v < 0) v += MOD; return *this; } modnum& operator *= (const modnum& o) { v = int(int64(v) * int64(o.v) % MOD); return *this; } modnum& operator /= (const modnum& o) { return *this *= o.inv(); } friend modnum operator ++ (modnum& a, int) { modnum r = a; ++a; return r; } friend modnum operator -- (modnum& a, int) { modnum r = a; --a; return r; } friend modnum operator + (const modnum& a, const modnum& b) { return modnum(a) += b; } friend modnum operator - (const modnum& a, const modnum& b) { return modnum(a) -= b; } friend modnum operator * (const modnum& a, const modnum& b) { return modnum(a) *= b; } friend modnum operator / (const modnum& a, const modnum& b) { return modnum(a) /= b; } friend modnum power(modnum a, int64 n) { modnum ret = 1; for (; n; n >>= 1) { if (n & 1) ret *= a; a *= a; } return ret; } }; using mint = modnum; int main() { int n, m; cin >> n >> m; auto dp = vect(0, m, m); auto sum = vect(0, m, m); auto pre = vect(0, m, m + 1); auto pre2 = vect(0, m, m + 1); for (int i = 0; i < m; ++i) { for (int j = 0; j < m; ++j) { dp[i][j] = i != j; sum[i][j] = (i != j ? i + j : 0); pre[i][j + 1] = pre[i][j] + dp[i][j]; pre2[i][j + 1] = pre2[i][j] + sum[i][j]; } } for (int pos = n - 1; pos >= 2; --pos) { auto ndp = vect(0, m, m); auto nsum = vect(0, m, m); for (int i = 0; i < m; ++i) { for (int j = 0; j < m; ++j) { if (i == j) continue; if (i < j) { ndp[i][j] = pre[j][j] - dp[j][i]; nsum[i][j] = pre2[j][j] - sum[j][i] + i * ndp[i][j]; } else { ndp[i][j] = pre[j][m] - pre[j][j + 1] - dp[j][i]; nsum[i][j] = pre2[j][m] - pre2[j][j + 1] - sum[j][i] + i * ndp[i][j]; } } } swap(dp, ndp); swap(sum, nsum); for (int i = 0; i < m; ++i) { for (int j = 0; j < m; ++j) { pre[i][j + 1] = pre[i][j] + dp[i][j]; pre2[i][j + 1] = pre2[i][j] + sum[i][j]; } } } mint ret1 = 0, ret2 = 0; for (int i = 0; i < m; ++i) { for (int j = 0; j < m; ++j) { if (i != j) { ret1 += dp[i][j]; ret2 += sum[i][j]; } } } cout << ret1 << " " << ret2 << '\n'; return 0; }