/* template.cpp [[[ */ #include using namespace std; #define get_macro(a, b, c, d, name, ...) name #define rep(...) get_macro(__VA_ARGS__, rep4, rep3, rep2, rep1)(__VA_ARGS__) #define rrep(...) get_macro(__VA_ARGS__, rrep4, rrep3, rrep2, rrep1)(__VA_ARGS__) #define rep1(n) rep2(i_, n) #define rep2(i, n) rep3(i, 0, n) #define rep3(i, a, b) rep4(i, a, b, 1) #define rep4(i, a, b, s) for (ll i = (a); i < (ll)(b); i += (ll)s) #define rrep1(n) rrep2(i_, n) #define rrep2(i, n) rrep3(i, 0, n) #define rrep3(i, a, b) rrep4(i, a, b, 1) #define rrep4(i, a, b, s) for (ll i = (ll)(b) - 1; i >= (ll)(a); i -= (ll)s) #define each(x, c) for (auto &&x : c) #define fs first #define sc second #define all(c) begin(c), end(c) using ui = unsigned; using ll = long long; using ul = unsigned long long; using ld = long double; const int inf = 1e9 + 10; const ll inf_ll = 1e18 + 10; const ll mod = 1e9 + 7; const ll mod9 = 1e9 + 9; const int dx[]{-1, 0, 1, 0, -1, 1, 1, -1}; const int dy[]{0, -1, 0, 1, -1, -1, 1, 1}; template void chmin(T &x, const U &y){ x = min(x, y); } template void chmax(T &x, const U &y){ x = max(x, y); } struct prepare_ { prepare_(){ cin.tie(nullptr); ios::sync_with_stdio(false); cout << fixed << setprecision(12); } } prepare__; ll in(){ ll x; cin >> x; return x; } vector in(size_t n){ vector v(n); each(x, v) cin >> x; return v; } /* ]]] */ int n, k; int a[1000]; bool isp[100000]; vector ps, v; ll power(ll x, ll y){ ll s = 1; while (y > 0){ if (y & 1) s = s * x % mod; x = x * x % mod; y >>= 1; } return s; } int main(){ fill_n(isp, 100000, true); isp[0] = isp[1] = false; for (ll i = 2; i * i < 100000; i++){ for (ll j = i * i; j < 100000; j += i){ isp[j] = false; } } rep(i, 100000) if (isp[i]) ps.push_back(i); cin >> n >> k; rep(i, n) cin >> a[i]; map> s; rep(i, n){ each(p, ps){ ll c = 0; while (a[i] % p == 0){ a[i] /= p; c++; } if (c > 0) s[p].push_back(c); } if (a[i] > 1) s[a[i]].push_back(1); } ll res = 1; each(x, s){ sort(all(x.sc), greater()); rep(i, min(k, x.sc.size())){ res = res * power(x.fs, x.sc[i]) % mod; } } cout << res << endl; }