#include #define MOD 1000000007 int n, k, a[1000]; int tree[8000 * 19][2], t_ptr = 1; int array[8001][30], a_ptr = 1; long long int ans = 1; void add(int v, int e) { int p = 0; for(int i = 30 - 1; 0 <= i; i--) { int &pp = tree[p][ (v >> i) % 2 ]; if(pp == 0) { if(i != 0) { pp = t_ptr; t_ptr++; } else { pp = a_ptr; a_ptr++; } } p = pp; } array[p][e]++; return; } int power(int x, int y) { if(y == 0) { return 1; } return x * power(x, y - 1); } void prod(int v, int p) { int c = 0; for(int i = 30 - 1; 0 <= i; i--) { for(int j = 0; j < array[p][i]; j++) { ans *= power(v, i); ans %= MOD; c++; if(c == k) { return; } } } return; } void search(int p, int d, int v) { if(d == -1) { prod(v, p); return; } if(tree[p][0] != 0) { search(tree[p][0], d - 1, v); } if(tree[p][1] != 0) { search(tree[p][1], d - 1, v + (1 << d)); } return; } int main() { scanf("%d%d", &n, &k); for(int i = 0; i < n; i++) { scanf("%d", &a[i]); } for(int i = 0; i < n; i++) { for(int j = 2; 1 < a[i]; j++) { if(a[i] < j * j) { add(a[i], 1); break; } int e = 0; while(a[i] % j == 0) { a[i] /= j; e++; } if(e) { add(j, e); } } } search(0, 30 - 1, 0); printf("%lld\n", ans); return 0; }