#pragma region template #pragma GCC optimize("Ofast") #include using namespace std; using ll = long long; using ld = long double; using vi = vector; using vll = vector; using pi = pair; using pll = pair; #define overload2(a, b, c, ...) c #define overload3(a, b, c, d, ...) d #define overload4(a, b, c, d, e, ...) e #define overload5(a, b, c, d, e, f, ...) f #define TYPE1(T) template #define TYPE2(T, U) template #define TYPE(...) overload2(__VA_ARGS__, TYPE2, TYPE1)(__VA_ARGS__) #define TYPES1(T) template #define TYPES2(H, T) template #define TYPES(...) overload2(__VA_ARGS__, TYPES2, TYPES1)(__VA_ARGS__) #define REP4(i, s, n, d) for (int i = (s); i < (n); i += (d)) #define REP3(i, s, n) REP4(i, s, n, 1) #define REP2(i, n) REP3(i, 0, n) #define REP1(n) REP2(tomato, n) #define REP(...) overload4(__VA_ARGS__, REP4, REP3, REP2, REP1)(__VA_ARGS__) #define RREP4(i, n, s, d) for (int i = (n)-1; i >= (s); i -= (d)) #define RREP3(i, n, s) RREP4(i, n, s, 1) #define RREP2(i, n) RREP3(i, n, 0) #define RREP1(n) RREP2(tomato, n) #define RREP(...) \ overload4(__VA_ARGS__, RREP4, RREP3, RREP2, RREP1)(__VA_ARGS__) #define FOR4(a, b, c, d, v) for (auto [a, b, c, d] : v) #define FOR3(a, b, c, v) for (auto [a, b, c] : v) #define FOR2(a, b, v) for (auto [a, b] : v) #define FOR1(a, v) for (auto a : v) #define FOR(...) overload5(__VA_ARGS__, FOR4, FOR3, FOR2, FOR1)(__VA_ARGS__) #define AFOR4(a, b, c, d, v) for (auto &[a, b, c, d] : v) #define AFOR3(a, b, c, v) for (auto &[a, b, c] : v) #define AFOR2(a, b, v) for (auto &[a, b] : v) #define AFOR1(a, v) for (auto &a : v) #define AFOR(...) \ overload5(__VA_ARGS__, AFOR4, AFOR3, AFOR2, AFOR1)(__VA_ARGS__) #define CFOR4(a, b, c, d, v) for (const auto &[a, b, c, d] : v) #define CFOR3(a, b, c, v) for (const auto &[a, b, c] : v) #define CFOR2(a, b, v) for (const auto &[a, b] : v) #define CFOR1(a, v) for (const auto &a : v) #define CFOR(...) \ overload5(__VA_ARGS__, CFOR4, CFOR3, CFOR2, CFOR1)(__VA_ARGS__) #define PFOR(v) \ for (bool f = true; (f ? exchange(f, false) : next_permutation(ALL(v)));) #define ALL(v) v.begin(), v.end() #define RALL(v) v.rbegin(), v.rend() #define SORT(v) sort(ALL(v)) #define RSORT(v) sort(RALL(v)) #define REVERSE(v) reverse(ALL(v)) #define UNIQUE(v) SORT(v), v.erase(unique(ALL(v)), v.end()) #define SZ(v) int(v.size()) #define MAX(v) *max_element(ALL(v)) #define MIN(v) *min_element(ALL(v)) template conditional_t, ll, T> SUM(const vector &v) { return accumulate(ALL(v), conditional_t, ll, T>(0)); } TYPES(T) void input(T &...a) { (cin >> ... >> a); } #define DECLARE(T, ...) \ T __VA_ARGS__; \ input(__VA_ARGS__); #define INT(...) DECLARE(int, __VA_ARGS__) #define STR(...) DECLARE(string, __VA_ARGS__) #define LL(...) DECLARE(long long, __VA_ARGS__) #define CHR(...) DECLARE(char, __VA_ARGS__) #define DBL(...) DECLARE(double, __VA_ARGS__) #define VI(n, v) \ vi v(n); \ cin >> v; #define VLL(n, v) \ vll v(n); \ cin >> v; #define VS(n, s) \ vector s(n); \ cin >> s; TYPE(T) istream &operator>>(istream &is, vector &v) { for (auto &a : v) cin >> a; return is; } TYPE(T) ostream &operator<<(ostream &os, const vector &v) { if (&os == &cerr) os << "["; REP (i, v.size()) { os << v[i]; if (i + 1 < v.size()) os << (&os == &cerr ? "," : " "); } if (&os == &cerr) os << "]"; return os; } TYPE(T, S) istream &operator>>(istream &is, pair &p) { cin >> p.first >> p.second; return is; } #ifdef __DEBUG #include #else #define debug(...) void(0) #endif void print() { cout << '\n'; } TYPES(T, Ts) void print(const T &a, const Ts &...b) { cout << a; (cout << ... << (cout << ' ', b)); cout << '\n'; } TYPE(T) using pq = priority_queue; TYPE(T) using pqg = priority_queue, greater>; TYPE(T) T pick(queue &que) { assert(que.size()); T a = que.front(); que.pop(); return a; } TYPE(T) T pick(pq &que) { assert(que.size()); T a = que.top(); que.pop(); return a; } TYPE(T) T pick(pqg &que) { assert(que.size()); T a = que.top(); que.pop(); return a; } TYPE(T) T pick(stack &sta) { assert(sta.size()); T a = sta.top(); sta.pop(); return a; } TYPE(T) void clear(T &v) { v = decltype(v)(); } string YES(bool f = true) { return (f ? "YES" : "NO"); } string Yes(bool f = true) { return (f ? "Yes" : "No"); } string yes(bool f = true) { return (f ? "yes" : "no"); } constexpr int INF = 1e9 + 7; constexpr ll LINF = ll(1e18) + 7; constexpr ld EPS = 1e-10; vi iota(int n) { vi a(n); iota(ALL(a), 0); return a; } TYPE(T) vector> query_sort(const vector &v) { vector> res(v.size()); REP (i, v.size()) res[i] = {v[i], i}; SORT(res); return res; } TYPE(T) void add(vector &v, T a = 1) { AFOR (p, v) p += a; } TYPE(T) T rev(T a) { REVERSE(a); return a; } TYPE(T) void fin(T a) { cout << a << '\n'; exit(0); } TYPE(T) bool chmax(T &a, T b) { return (a < b && (a = b, true)); } TYPE(T) bool chmin(T &a, T b) { return (a > b && (a = b, true)); } TYPES(T, Ns) auto make_vector(T x, int n, Ns... ns) { if constexpr (sizeof...(ns) == 0) return vector(n, x); else return vector(n, make_vector(x, ns...)); } bool in(const ll S, const int a) { return (S >> a) & 1; } int popcount(const ll S) { return __builtin_popcountll(S); } int digit(char c) { return (c >= '0' and c <= '9' ? c - '0' : -1); } ll sqrtll(ll a) { for (ll b = sqrt(a); b * b <= a; b++) if (b * b == a) return b; for (ll b = sqrt(a); b >= 0 and b * b >= a; b--) if (b * b == a) return b; return -1; } #pragma endregion template #include #include using namespace atcoder; using mint = modint998244353; namespace atcoder { ostream &operator<<(ostream &os, mint a) { os << a.val(); return os; } istream &operator>>(istream &is, mint &a) { long long b; is >> b; a = b; return is; } } // namespace atcoder #define REP_(i,n) for(int i=0;i<(n);i++) template struct FormalPowerSeries:vector{ using FPS=FormalPowerSeries; using vector::resize; using vector::size; using vector::at; using vector::assign; using vector::vector; using vector::begin; using vector::end; using vector::back; using vector::pop_back; using value_type=T; void strict(int n){ if(size()>n)resize(n); } void shrink(){ while(size() and back()==0)pop_back(); } FormalPowerSeries(const vector&f){ int n=min(MX,int(f.size())); resize(n); REP_(i,n)at(i)=f[i]; shrink(); } static FPS unit(){ return {1}; } static FPS x(){ return {0,1}; } #pragma region operator FPS operator-()const{ FPS g=*this; for(T&a:g)a=-a; return g; } FPS &operator+=(const FPS&g){ if(size()=MX)return *this=FPS(0); resize(min(MX,int(size())+d)); for(int i=int(size())-1-d;i>=0;i--) at(i+d)=at(i); for(int i=d-1;i>=0;i--)at(i)=0; return *this; } FPS operator<<(const int d)const{ return FPS(*this)<<=d; } FPS&operator>>=(const int d){ if(d>=size())return *this=FPS(0); for(int i=d;i>(const int d)const{ return FPS(*this)>>=d; } #pragma endregion operator FPS pre(int n)const{ if(size()<=n)return *this; return FPS(begin(),begin()+n); } FPS inv(int SZ=MX)const{ assert(size() and at(0)!=0); FPS res(1,at(0).inv()); for(int n=0;(1<=0); if(n==0)return unit(); if(n==1)return *this; FPS now=*this; now.shrink(); if(!now.size())return now; int d; for(d=0;d=(MX+n-1)/n)return FPS(0); now >>= d; d *= n; if(at(0)==1)return exp(n*log(now))<>=1; } return res<=size())return FPS(0); if(d==1)return FPS(1,at(l)); if(d==2)return at(l) + (l+1>1); FPS f2=rec(rec,l+(d>>1),d-(d>>1)); f2 *= g1.pow(d>>1); return f1+f2; }; FPS res = rec(rec,0,size()); FPS dfg=res, g1inv=(differential(g)>>(--z)).inv(), g2pow=FPS::unit(); T factinv=1; for(int i=1;i*m>z)*g1inv; dfg.strict(MX-m*i); (g2pow*=g2).strict(MX-m*i); factinv /= i; res += factinv * (dfg * g2pow) << (m*i); } return res; } T operator()(T a)const{ T res=0,b=1; for(int i=0;i=0;i--){ at(i)*=finv; finv *= i; } } static FPS differential(FPS f){ if(f.size()<=1)return FPS(0); REP_(i,f.size()-1)f[i]=(i+1)*f[i+1]; f.resize(f.size()-1); return f; } static FPS integral(FPS f){ if(f.size()0;i--)f[i]=f[i-1]/i; f[0]=0; return f; } static FPS log(const FPS&f){ assert(f.size() and f[0]==1); return integral(differential(f)/f); } static FPS exp(const FPS f){ if(!f.size())return unit(); assert(f[0]==0); FPS res=unit(); for(int n=0;(1<; int main() { ios::sync_with_stdio(false); cin.tie(nullptr); FPS a = FPS(vector{1, -1}); FPS f = FPS::x() / (a * a); f *= -1; debug(f); FPS g = f / (FPS::unit() - f); g *= -1; debug(g); // REP (i, g.size()) // g[i] = 2 * i - g[i]; debug(g); LL(n, m); REP (i, g.size()) g[i] *= std::max(m - i + 1, 0LL); debug(g); g = g / (1 - g); debug(g); std::cout << g[n] << '\n'; }