# include "bits/stdc++.h" using namespace std; using LL = long long; using ULL = unsigned long long; const double PI = acos(-1); templateconstexpr T INF() { return ::std::numeric_limits::max(); } templateconstexpr T HINF() { return INF() / 2; } template T_char TL(T_char cX) { return tolower(cX); }; template T_char TU(T_char cX) { return toupper(cX); }; typedef pair pii; const int vy[] = { -1, -1, -1, 0, 1, 1, 1, 0 }, vx[] = { -1, 0, 1, 1, 1, 0, -1, -1 }; const int dx[4] = { 0,1,0,-1 }, dy[4] = { 1,0,-1,0 }; int popcnt(unsigned long long n) { int cnt = 0; for (int i = 0; i < 64; i++)if ((n >> i) & 1)cnt++; return cnt; } int d_sum(LL n) { int ret = 0; while (n > 0) { ret += n % 10; n /= 10; }return ret; } int d_cnt(LL n) { int ret = 0; while (n > 0) { ret++; n /= 10; }return ret; } LL gcd(LL a, LL b) { if (b == 0)return a; return gcd(b, a%b); }; LL lcm(LL a, LL b) { LL g = gcd(a, b); return a / g*b; }; # define ALL(qpqpq) (qpqpq).begin(),(qpqpq).end() # define UNIQUE(wpwpw) sort(ALL((wpwpw)));(wpwpw).erase(unique(ALL((wpwpw))),(wpwpw).end()) # define LOWER(epepe) transform(ALL((epepe)),(epepe).begin(),TL) # define UPPER(rprpr) transform(ALL((rprpr)),(rprpr).begin(),TU) # define FOR(i,tptpt,ypypy) for(LL i=(tptpt);i<(ypypy);i++) # define REP(i,upupu) FOR(i,0,upupu) # define INIT std::ios::sync_with_stdio(false);std::cin.tie(0) long long power(long long n, long long k, long long m) { if (k == 0) { return 1; } else if (k % 2 == 1) { return power(n, k - 1, m)*n%m; } else { long long t = power(n, k / 2, m); return t*t%m; } } map primefact(LL n) { map ret; for(LL i = 2;i*i <= n;i++) while(n % i == 0) ret[i]++,n/=i; if(n>1) ret[n]++; return ret; } int n, k; int a[1010]; map> mp; const LL mod = 1e9 + 7; int main(){ cin >> n >> k; REP(i, n){ cin >> a[i]; map e = primefact(a[i]); for(auto it = e.begin();it != e.end(); it++){ mp[it->first].emplace_back(it->second); } } LL ans = 1; for(auto it = mp.begin(); it != mp.end();it++){ auto vec = it->second; sort(ALL(vec)); reverse(ALL(vec)); int num = 0; REP(i, min((int)vec.size(), k))num += vec[i]; (ans *= power(it->first, num, mod)) %= mod; } cout << ans << endl; }