#include using namespace std; #include using namespace atcoder; //高速化 struct ponjuice{ponjuice(){cin.tie(0);ios::sync_with_stdio(0);cout<using vc = vector; templateusing vvc = vc>; templateusing vvvc = vvc>; using vi = vc; using vvi = vvc; using vvvi = vvvc; using vl = vc; using vvl = vvc; using vvvl = vvvc; using pi = pair; using pl = pair; using ull = unsigned ll; templateusing priq = priority_queue; templateusing priqg = priority_queue, greater>; // for文 #define overload4(a, b, c, d, e, ...) e #define rep1(n) for(ll i = 0; i < n; i++) #define rep2(i, n) for(ll i = 0; i < n; i++) #define rep3(i, a, b) for(ll i = a; i < b; i++) #define rep4(i, a, b, step) for(ll i = a; i < b; i+= step) #define rep(...) overload4(__VA_ARGS__, rep4, rep3, rep2, rep1)(__VA_ARGS__) #define per1(n) for(ll i = n-1; i >= 0; i--) #define per2(i, n) for(ll i = n-1; i >= 0; i--) #define per3(i, a, b) for(ll i = b-1; i >= a; i--) #define per4(i, a, b, step) for(ll i = b-1; i >= a; i-= step) #define per(...) overload4(__VA_ARGS__, per4, per3, per2, per1)(__VA_ARGS__) #define fore1(a) for(auto&& i : a) #define fore2(i,a) for(auto&& i : a) #define fore3(x,y,a) for(auto&& [x, y] : a) #define fore4(x,y,z,a) for(auto&& [x, y, z] : a) #define fore(...) overload4(__VA_ARGS__, fore4, fore3, fore2, fore1)(__VA_ARGS__) //関数 #define mp make_pair #define mt make_tuple #define a first #define b second #define pb emplace_back #define all(x) (x).begin(), (x).end() #define rall(x) (x).rbegin(), (x).rend() #define si(x) (ll)(x).size() templateinline bool chmax(S& a, T b){return a < b && ( a = b , true);} templateinline bool chmin(S& a, T b){return a > b && ( a = b , true);} templatevoid uniq(vc&a){sort(all(a));a.erase(unique(all(a)),a.end());} templatevc operator++(vc&v,signed){auto res = v;fore(e,v)e++;return res;} templatevc operator--(vc&v,signed){auto res = v;fore(e,v)e--;return res;} templatevc operator++(vc&v){fore(e,v)e++;return v;} templatevc operator--(vc&v){fore(e,v)e--;return v;} //入出力(operator) templateistream&operator>>(istream&is,static_modint&a){ll v;is>>v;a=v;return is;} istream&operator>>(istream&is,modint&a){ll v;cin>>v;a=v;return is;} templateistream&operator>>(istream&is,pair&a){is>>a.a>>a.b;return is;} templateistream&operator>>(istream&is,vc&a){fore(e,a)is>>e;return is;} templateostream&operator<<(ostream&os,static_modinta){return os<ostream&operator<<(ostream&os,pair&a){return os<ostream&operator<<(ostream&os,set&a){fore(it,a){os<ostream&operator<<(ostream&os,multiset&a){fore(it,a){os<ostream&operator<<(ostream&os,map&a){fore(x,y,a){os<ostream&operator<<(ostream&os,unordered_set&a){fore(it,a){os<ostream&operator<<(ostream&os,unordered_map&a){fore(x,y,a){os<ostream&operator<<(ostream&os,vc&a){fore(e,a)os<ostream&operator<<(ostream&os,vvc&a){fore(e,a)os<>a;return a;} vl readvl(ll n){vl a(n);cin>>a;return a;} vvi readg(ll n,ll m,bool bidirected=true){vvi g(n);rep(i,m){ll a,b;cin>>a>>b;a--;b--;g[a].pb(b);if(bidirected)g[b].pb(a);}return g;} vvcreadgc(ll n,ll m,bool bidirected=true){vvc g(n);rep(i,m){ll a,b,c;cin>>a>>b>>c;a--;b--;g[a].pb(b,c);if(bidirected)g[b].pb(a,c);}return g;} vvi readt(ll n,bool bidirected=true){return readg(n,n-1,bidirected);} vvc readtc(ll n,bool bidirected=true){return readgc(n,n-1,bidirected);} inline void yes(){cout << "Yes\n";} inline void no(){cout << "No\n";} inline void yesno(bool y = true){if(y)yes();else no();} inline void print(){cout<inline void print(T a){cout<inline void print(T a,Ts ...b){cout<>t; while(t--)solve(); } vvcss(100'100); ll md = mod-1; struct mdint { ll val; mdint(int k = 0): val((k % md + md) % md) {} mdint operator*(const mdint other) {return val * other.val % md;} mdint& operator+=(const mdint other) { val = val + other.val >= md? val + other.val - md : val + other.val; return *this; } }; template struct Matrix { int _R , _C; vector> val; Matrix(int r, int c, T Val): val(r,vector(c,Val)), _R(r), _C(c) {} Matrix(int r, int c): Matrix(r, c, 0) {} vector& operator[](int i) { return val[i]; } Matrix operator*(const Matrix& other) { assert(this->_C == other._R); Matrix result(this->_R, other._C); for (int i = 0; i < this->_R; i++) { for (int j = 0; j < other._C; j++) { for (int k = 0; k < this->_C; k++) { result[i][j] += this->val[i][k] * other.val[k][j]; } } } return result; } }; Matrix pow_mat(Matrixa,ll n) { int si = a[0].size(); Matrix res(si,si); for (int i = 0; i < si; i++) res[i][i] = 1; while (n > 0) { if (n & 1) res = res * a; a = a * a; n >>= 1; } return res; } void solve(){ rep(i,2,si(ss)){ if(ss[i].size() == 0){ ll res = 1; while(res*i < 100100){ res*=i; for(int j = res; j < 100100; j += res){ if(ss[j].size() && ss[j].back().first == i){ ss[j].back().second++; }else{ ss[j].emplace_back(i,1); } } } } } ll n,k; cin >> n >> k; vc nw = ss[n]; if(k < 50){ rep(i,k){ vcres,nx; rep(j,si(nw)){ rep(k,si(ss[nw[j].first+1])){ res.emplace_back(ss[nw[j].first+1][k]); res.back().second = res.back().second * nw[j].second % md; } } sort(all(res)); rep(j,si(res)){ if(nx.size() != 0 && nx.back().first == res[j].first){ nx.back().second += res[j].second; }else{ nx.emplace_back(res[j]); } } rep(j,nx.size()){ nx[j].second %= md; } nw.swap(nx); } mint ans = 1; rep(i,si(nw)){ ans *= mint(nw[i].first).pow(nw[i].second); } print(ans); return; } k-=50; rep(i,50){ vcres,nx; rep(j,si(nw)){ rep(k,si(ss[nw[j].first+1])){ res.emplace_back(ss[nw[j].first+1][k]); res.back().second = res.back().second * nw[j].second % md; } } sort(all(res)); rep(j,si(res)){ if(nx.size() != 0 && nx.back().first == res[j].first){ nx.back().second += res[j].second; }else{ nx.emplace_back(res[j]); } } rep(j,nx.size()){ nx[j].second %= md; } nw.swap(nx); } Matrix dp(2,1,0); rep(i,si(nw)){ if(nw[i].first == 2){ dp[0][0] = nw[i].second; }else{ dp[1][0] = nw[i].second; } } Matrix mat(2,2,0); mat[0] = {0,2}; mat[1] = {1,0}; dp = pow_mat(mat,k) * dp; print(mint(2).pow(dp[0][0].val) * mint(3).pow(dp[1][0].val)); }