#include #define FOR(i,a,b) for (int i=(a);i<(b);i++) #define FORR(i,a,b) for (int i=(a);i>=(b);i--) #define pb push_back #define pcnt __builtin_popcount #define show(x) cout<<#x<<" = "< pii; typedef vector vi; typedef vector vvi; typedef vector vpii; typedef set si; typedef pair pll; typedef vector vl; typedef vector vvl; typedef vector vpll; typedef set sl; templatestring join(vector&v) {stringstream s;FOR(i,0,sz(v))s<<' '<b)swap(a,b);for(;a>0;b%=a,swap(a,b));return b;} int modpow(ll a,ll n,int m){if(a==0)return a;ll p=1;for(;n>0;n/=2,a=a*a%m)if(n&1)p=p*a%m;return(int)p;} void dout(double d){printf("%.12f\n",d);} const int iinf = 1e9; const ll linf = 1e18; const int mod = 1e9+7; const double pi = acos(-1); const double eps = 1e-10; ll n, k; map M; vpii v; struct Prime{ vl pl; bool is_prime(ll a){ if(a < 2)return false; each(itr, pl){ if(*itr * *itr > a)return true; if(a%*itr == 0)return false; } return true; } void init(int a){ pl.resize(0); pl.pb(2); pl.pb(3); int i = 5; while(i <= a){ if(is_prime(i)) pl.pb(i); i += 2; if(is_prime(i)) pl.pb(i); i += 4; } } void prime_division(ll a, vpii&v){ // vに素因数分解の結果が入る v.resize(0); for(vl::iterator itr = pl.begin(); *itr * *itr <= a; itr++){ if(a%*itr == 0){ ll c = 0; while((a%*itr) == 0){ a /= *itr; c++; } v.pb(pii(*itr, c)); } } if(a > 1)v.pb(pii(a, 1)); } }; Prime p; main(){ cin.tie(0); ios::sync_with_stdio(false); p.init(40000); cin >> n >> k; FOR(i, 0, n){ ll a; cin >> a; p.prime_division(a, v); each(itr, v) M[itr->fi].pb(itr->se); } ll ans = 1; each(itr, M){ ll s = 0, b = sz(itr->se); sort(rng(itr->se)); FOR(i, 0, min(k, b)) s += itr->se[b-i-1]; ans = ans * modpow(itr->fi, s, mod) % mod; } cout << ans << endl; return 0; }