#include using namespace std; #if __has_include() #include using namespace atcoder; #endif using ll = long long; using ld = long double; using ull = unsigned long long; #define endl "\n" typedef pair Pii; #define REP(i, n) for (int i = 0; i < (n); ++i) #define REP3(i, m, n) for (int i = (m); (i) < int(n); ++ (i)) #define FOR(i,a,b) for(ll i=a;i<=(ll)(b);i++) #define rep(i,a,b) for(int i=(int)(a);i<(int)(b);i++) #define ALL(x) begin(x), end(x) #define rrep(i,a,b) for(int i=a;i>=b;i--) #define fore(i,a) for(auto &i:a) #define all(s) (s).begin(),(s).end() #define drep2(i, m, n) for (int i = (m)-1; i >= (n); --i) #define drep(i, n) drep2(i, n, 0) #define rever(vec) reverse(vec.begin(), vec.end()) #define sor(vec) sort(vec.begin(), vec.end()) #define fi first #define se second #define pb push_back #define P pair #define PQminll priority_queue, greater> #define PQmaxll priority_queue,less> #define PQminP priority_queue, greater

> #define PQmaxP priority_queue,less

> #define NP next_permutation typedef string::const_iterator State; class ParseError {}; //const ll mod = 1000000009; const ll mod = 998244353; //const ll mod = 1000000007; const ll inf = 4100000000000000000ll; const ld eps = ld(0.00000000001); //static const long double pi = 3.141592653589793; templatevoid vcin(vector &n){for(int i=0;i>n[i];} templatevoid vcin(vector &n,vector &m){for(int i=0;i>n[i]>>m[i];} templatevoid vcout(vector &n){for(int i=0;ivoid vcin(vector> &n){for(int i=0;i>n[i][j];}}} templatevoid vcout(vector> &n){for(int i=0;iauto min(const T& a){ return *min_element(all(a)); } templateauto max(const T& a){ return *max_element(all(a)); } templatevoid print(pair a){cout<bool chmax(T &a, const T &b) { if (abool chmin(T &a, const T &b) { if (b void ifmin(T t,T u){if(t>u){cout<<-1< void ifmax(T t,T u){if(t>u){cout<<-1<>=1;v>>=1;}else if(eu&&!ev){u>>=1;}else if(!eu&&ev){v>>=1;}else if(u>=v){u=(u-v)>>1;}else{ll tmp=u;u=(v-u)>>1;v=tmp;}}return !u?v<>= 1; } return ret; } vector divisor(ll x){ vector ans; for(ll i = 1; i * i <= x; i++){ if(x % i == 0) {ans.push_back(i); if(i*i!=x){ ans.push_back(x / ans[i]);}}}sor(ans); return ans; } ll pop(ll x){return __builtin_popcountll(x);} ll poplong(ll x){ll y=-1;while(x){x/=2;y++;}return y;} P hyou(P a){ll x=fastgcd(abs(a.fi),abs(a.se));a.fi/=x;a.se/=x;if(a.se<0){a.fi*=-1;a.se*=-1;}return a;} P Pplus(P a,P b){ return hyou({a.fi*b.se+b.fi*a.se,a.se*b.se});} P Ptimes(P a,ll b){ return hyou({a.fi*b,a.se});} P Ptimes(P a,P b){ return hyou({a.fi*b.fi,a.se*b.se});} P Pminus(P a,P b){ return hyou({a.fi*b.se-b.fi*a.se,a.se*b.se});} P Pgyaku(P a){ return hyou({a.se,a.fi});} void cincout(){ ios::sync_with_stdio(false); std::cin.tie(nullptr); cout<< fixed << setprecision(15); } using Board = array; using mint = modint; map check; map ok; map seen; int n,m; vector dsum; vector X={1,1,1,-1,-1},Y={-1,0,1,1,-1}; bool dfs(Board a){ int x=pop(a[0])+pop(a[1]); if(x==1){ ok[a]=(a[2]==1); return ok[a]; } int p=a[2],q=a[3]; Board b=a; b[p]-=(1ll<=2||nq<0||nq>=m) continue; if((b[np]>>nq)&1){ b[2]=np,b[3]=nq; if(!check[b]) continue; if(dfs(b)){ finish=true; } } } if(finish) ok[a]=true; return finish; } void dfs2(Board a){ seen[a]=true; if(pop(a[0])+pop(a[1])==2*m){ dsum[a[3]]++; return; } for(int i=0;i<5;i++){ int np=a[2]-X[i],nq=a[3]-Y[i]; if(np<0||np>=2||nq<0||nq>=m) continue; if(!((a[np]>>nq)&1)){ Board b=a; b[2]=np; b[3]=nq; b[np]+=(1ll<> multi(vector> &a,vector> &b){ vector> c(a.size(),vector(b[0].size())); for(int i=0;i> mul_exp(vector> adj, ll k){ if (k == 1) return adj; vector> res(int(adj.size()),vector(int(adj[0].size()))); for(int i=0;i0){ if(k&1) res=multi(adj,res); adj=multi(adj,adj); k/=2; } return res; } int main() { cincout(); cin>>n>>m; if(m==1){ cout<<1<>M; mint::set_mod(M); for(int i=0;i<=m;i++){ for(int j=i;j<=m;j++){ for(int x=0;x<2;x++){ for(int y=0;y<2;y++){ for(int z=0;z<2;z++){ Board u; u[0]=u[1]=u[2]=u[3]=0; for(int k=0;kk){ if(x){ u[0]+=(1ll<k){ if((z+k)%2==0){ u[0]+=(1ll<>k)&1){ u[2]=0; u[3]=k; check[u]=true; } if((u[1]>>k)&1){ u[2]=1; u[3]=k; check[u]=true; } } } } } } } vector> sum(m); for(int i=0;i> dp(m,vector(m)); for(int i=0;i> dp2(m,vector(m)); for(int i=0;i