#include <bits/stdc++.h>

using namespace std;

typedef long long ll;
typedef vector<int> vi;
typedef vector<ll> vl;
typedef complex<double> P;
typedef pair<int,int> pii;
#define REP(i,n) for(ll i=0;i<n;++i)
#define REPR(i,n) for(ll i=1;i<n;++i)
#define FOR(i,a,b) for(ll i=a;i<b;++i)

#define DEBUG(x) cout<<#x<<": "<<x<<endl
#define DEBUG_VEC(v) cout<<#v<<":";REP(i,v.size())cout<<" "<<v[i];cout<<endl
#define ALL(a) (a).begin(),(a).end()

#define MOD (ll)(1e9+7)
#define ADD(a,b) a=((a)+(b))%MOD
#define FIX(a) ((a)%MOD+MOD)%MOD

int n,k;
int a[1252];
int st[1252];

ll mdpw(ll a,ll b){
  ll r = 1;
  while(b){
    if(b&1)r=r*a%MOD;
    a=a*a%MOD;
    b>>=1;
  }
  return r;
}

void check(ll &ans, ll p){
  REP(i,n){
    st[i] = 0;
    while(a[i]%p==0)a[i]/=p,st[i]++;
  }
  sort(st,st+n,greater<int>());
  int cnt = 0;
  REP(i,k)cnt += st[i];
  ans = ans * mdpw(p,cnt) % MOD;
}

int main(){
  scanf("%d%d",&n,&k);
  REP(i,n)scanf("%d",&a[i]);
  ll ans = 1;
  int p = 2;
  REP(i,n){
    for(;p*p<=a[i];++p){
      if(a[i]%p!=0)continue;
      check(ans,p);
    }
    // if(a[i]>100000)ans=ans*a[i]%MOD, a[i]=1;
    if(a[i]>1)check(ans,a[i]);
  }
  printf("%lld\n",ans);
  return 0;
}