#include using namespace std; template vector operator-(vector a) { for (auto&& e : a) e = -e; return a; } template vector& operator+=(vector& l, const vector& r) { l.resize(max(l.size(), r.size())); for (int i = 0; i < (int)r.size(); ++i) l[i] += r[i]; return l; } template vector operator+(vector l, const vector& r) { return l += r; } template vector& operator-=(vector& l, const vector& r) { l.resize(max(l.size(), r.size())); for (int i = 0; i < (int)r.size(); ++i) l[i] -= r[i]; return l; } template vector operator-(vector l, const vector& r) { return l -= r; } template vector& operator<<=(vector& a, size_t n) { return a.insert(begin(a), n, 0), a; } template vector operator<<(vector a, size_t n) { return a <<= n; } template vector& operator>>=(vector& a, size_t n) { return a.erase(begin(a), begin(a) + min(a.size(), n)), a; } template vector operator>>(vector a, size_t n) { return a >>= n; } template vector operator*(const vector& l, const vector& r) { if (l.empty() or r.empty()) return {}; vector res(l.size() + r.size() - 1); for (int i = 0; i < (int)l.size(); ++i) for (int j = 0; j < (int)r.size(); ++j) res[i + j] += l[i] * r[j]; return res; } template vector& operator*=(vector& l, const vector& r) { return l = l * r; } template vector inverse(const vector& a) { assert(not a.empty() and not (a[0] == 0)); vector b{1 / a[0]}; while (b.size() < a.size()) { vector x(begin(a), begin(a) + min(a.size(), 2 * b.size())); x *= b * b; b.resize(2 * b.size()); for (auto i = b.size() / 2; i < min(x.size(), b.size()); ++i) b[i] = -x[i]; } return {begin(b), begin(b) + a.size()}; } template vector operator/(vector l, vector r) { if (l.size() < r.size()) return {}; reverse(begin(l), end(l)), reverse(begin(r), end(r)); int n = l.size() - r.size() + 1; l.resize(n), r.resize(n); l *= inverse(r); return {rend(l) - n, rend(l)}; } template vector& operator/=(vector& l, const vector& r) { return l = l / r; } template vector operator%(vector l, const vector& r) { if (l.size() < r.size()) return l; l -= l / r * r; return {begin(l), begin(l) + (r.size() - 1)}; } template vector& operator%=(vector& l, const vector& r) { return l = l % r; } template vector derivative(const vector& a) { vector res(max((int)a.size() - 1, 0)); for (int i = 0; i < (int)res.size(); ++i) res[i] = (i + 1) * a[i + 1]; return res; } template vector primitive(const vector& a) { vector res(a.size() + 1); for (int i = 1; i < (int)res.size(); ++i) res[i] = a[i - 1] / i; return res; } template vector logarithm(const vector& a) { assert(not a.empty() and a[0] == 1); auto res = primitive(derivative(a) * inverse(a)); return {begin(res), begin(res) + a.size()}; } template vector exponent(const vector& a) { assert(a.empty() or a[0] == 0); vector b{1}; while (b.size() < a.size()) { vector x(begin(a), begin(a) + min(a.size(), 2 * b.size())); x[0] += 1; b.resize(2 * b.size()); x -= logarithm(b); x *= {begin(b), begin(b) + b.size() / 2}; for (auto i = b.size() / 2; i < min(x.size(), b.size()); ++i) b[i] = x[i]; } return {begin(b), begin(b) + a.size()}; } template > T power(T a, long long n, F op = multiplies(), T e = {1}) { assert(n >= 0); while (n) { if (n & 1) e = op(e, a); if (n >>= 1) a = op(a, a); } return e; } template struct modular { using m = modular; unsigned v; modular(long long a = 0) : v((a %= M) < 0 ? a + M : a) {} m operator-() const { return m() -= *this; } m& operator+=(m r) { if ((v += r.v) >= M) v -= M; return *this; } m& operator-=(m r) { if (v < r.v) v += M; v -= r.v; return *this; } m& operator*=(m r) { v = (uint64_t)v * r.v % M; return *this; } m& operator/=(m r) { return *this *= power(r, M - 2); } friend m operator+(m l, m r) { return l += r; } friend m operator-(m l, m r) { return l -= r; } friend m operator*(m l, m r) { return l *= r; } friend m operator/(m l, m r) { return l /= r; } friend bool operator==(m l, m r) { return l.v == r.v; } }; template void ntt(vector>& a, bool inverse) { static vector> dw(30), idw(30); if (dw[0] == 0) { modular root = 2; while (power(root, (M - 1) / 2) == 1) root += 1; for (int i = 0; i < 30; ++i) dw[i] = -power(root, (M - 1) >> (i + 2)), idw[i] = 1 / dw[i]; } int n = a.size(); assert((n & (n - 1)) == 0); if (not inverse) { for (int m = n; m >>= 1; ) { modular w = 1; for (int s = 0, k = 0; s < n; s += 2 * m) { for (int i = s, j = s + m; i < s + m; ++i, ++j) { auto x = a[i], y = a[j] * w; if (x.v >= M) x.v -= M; a[i].v = x.v + y.v, a[j].v = x.v + (M - y.v); } w *= dw[__builtin_ctz(++k)]; } } } else { for (int m = 1; m < n; m *= 2) { modular w = 1; for (int s = 0, k = 0; s < n; s += 2 * m) { for (int i = s, j = s + m; i < s + m; ++i, ++j) { auto x = a[i], y = a[j]; a[i] = x + y, a[j].v = x.v + (M - y.v), a[j] *= w; } w *= idw[__builtin_ctz(++k)]; } } } auto c = 1 / modular(inverse ? n : 1); for (auto&& e : a) e *= c; } template vector> operator*(vector> l, vector> r) { if (l.empty() or r.empty()) return {}; int n = l.size(), m = r.size(), sz = 1 << __lg(2 * (n + m - 1) - 1); if (min(n, m) < 30) { vector res(n + m - 1); for (int i = 0; i < n; ++i) for (int j = 0; j < m; ++j) res[i + j] += (l[i] * r[j]).v; return {begin(res), end(res)}; } bool eq = l == r; l.resize(sz), ntt(l, false); if (eq) r = l; else r.resize(sz), ntt(r, false); for (int i = 0; i < sz; ++i) l[i] *= r[i]; ntt(l, true), l.resize(n + m - 1); return l; } constexpr long long mod = 998244353; using mint = modular; mint fn(int n, int m) { mint res = 1; for (int i = 0; i < n; ++i) { res *= power(mint(2), m) - power(mint(2), i); res /= i + 1; } return res; } int main() { cin.tie(nullptr); ios::sync_with_stdio(false); int n, m; cin >> n >> m; vector> t(2 * n); for (int i = 0; i < n; ++i) { t[n + i] = {1, -power(mint(2), i + 1)}; } for (int i = n; i-- > 1; ) { t[i] = t[2 * i] * t[2 * i + 1]; } vector a{1}; for (int l = n, r = 2 * n; l < r; l >>= 1, r >>= 1) { if (l & 1) { a *= t[l++]; } if (r & 1) { a *= t[--r]; } } a.resize(m - n + 1); a = inverse(a); mint res = accumulate(begin(a), end(a), mint(0)); cout << power(mint(2), n).v << ' ' << fn(n, m).v << ' ' << res.v << '\n'; }