//@formatter:off #include #define overload4(_1,_2,_3,_4,name,...) name #define rep1(i,n) for (ll i = 0; i < ll(n); ++i) #define rep2(i,s,n) for (ll i = ll(s); i < ll(n); ++i) #define rep3(i,s,n,d) for(ll i = ll(s); i < ll(n); i+=d) #define rep(...) overload4(__VA_ARGS__,rep3,rep2,rep1)(__VA_ARGS__) #define rrep1(i,n) for (ll i = ll(n)-1; i >= 0; i--) #define rrep2(i,n,t) for (ll i = ll(n)-1; i >= (ll)t; i--) #define rrep3(i,n,t,d) for (ll i = ll(n)-1; i >= (ll)t; i-=d) #define rrep(...) overload4(__VA_ARGS__,rrep3,rrep2,rrep1)(__VA_ARGS__) #define all(a) a.begin(),a.end() #define rall(a) a.rbegin(),a.rend() #define popcount(x) __builtin_popcountll(x) #define pb push_back #define eb emplace_back #ifdef __LOCAL #define debug(...) { cout << #__VA_ARGS__; cout << ": "; print(__VA_ARGS__); cout << flush; } #else #define debug(...) void(0) #endif #define INT(...) int __VA_ARGS__;scan(__VA_ARGS__) #define LL(...) ll __VA_ARGS__;scan(__VA_ARGS__) #define STR(...) string __VA_ARGS__;scan(__VA_ARGS__) #define CHR(...) char __VA_ARGS__;scan(__VA_ARGS__) #define DBL(...) double __VA_ARGS__;scan(__VA_ARGS__) #define LD(...) ld __VA_ARGS__;scan(__VA_ARGS__) using namespace std; using ll = long long; using ld = long double; using P = pair; using LP = pair; using vi = vector; using vvi = vector>; using vl = vector; using vvl = vector>; using vd = vector; using vvd = vector>; using vs = vector; using vc = vector; using vvc = vector>; using vb = vector; using vvb = vector>; using vp = vector

; using vvp = vector>; template istream& operator>>(istream &is,pair &p) { return is >> p.first >> p.second; } template ostream& operator<<(ostream &os,const pair &p) { return os<<'{'< istream& operator>>(istream &is,vector &v) { for(T &t:v){is>>t;} return is; } template ostream& operator<<(ostream &os,const vector &v) { os<<'[';rep(i,v.size())os< void vecout(const vector &v,char div='\n') { rep(i,v.size()) cout< bool chmin(T& a,T b) {if(a > b){a = b; return true;} return false;} template bool chmax(T& a,T b) {if(a < b){a = b; return true;} return false;} void scan(){} template void scan(Head& head, Tail&... tail){ cin >> head; scan(tail...); } template void print(const T& t){ cout << t << '\n'; } template void print(const Head& head, const Tail&... tail){ cout< void fin(const T&... a) { print(a...); exit(0); } struct Init_io { Init_io() { ios::sync_with_stdio(false); cin.tie(nullptr); cout.tie(nullptr); cout << boolalpha << fixed << setprecision(15); } } init_io; const string yes[] = {"no","yes"}; const string Yes[] = {"No","Yes"}; const string YES[] = {"NO","YES"}; const int inf = 1001001001; const ll linf = 1001001001001001001; //@formatter:on class sieve { int n; vi val; void init() { rep(i, n + 1) val[i] = i; for (int i = 2; i * i <= n; i++) { if (val[i] != i) continue; for (int j = i * 2; j <= n; j += i) { if (val[j] == j) val[j] = i; } } } public: sieve(int n) : n(n), val(n + 1) { init(); } map factorlist(int x) { if (n < 2) return {}; map ret; int now = x; while (now > 1) { ret[val[now]]++; now /= val[now]; } return ret; } vi unique_factor(int x) { map m = factorlist(x); vi ret; for (P p : m) ret.pb(p.first); return ret; }; bool isPrime(int x) { return x >= 2 and val[x] == x; } int count_divisor(int x) { int ret = 1; map fl = factorlist(x); for (auto p : fl) ret *= p.second + 1; return ret; }; } sv(20000); int main() { INT(n, k); vi a(n); cin >> a; vector> v(n); rep(i, n) v[i] = sv.factorlist(a[i]); set> st; rep(bit, 1 << n) { if (popcount(bit) < k) continue; map mp; rep(i, n) { if (bit >> i & 1) { for (auto[val, cnt] : v[i]) { mp[val] += cnt; } } } st.insert(mp); } rep(bit, 1 << n) { if (popcount(bit) < k) continue; int now = 0; rep(i, n) { if (bit >> i & 1) { now += a[i]; } } st.insert(sv.factorlist(now)); } fin(st.size()); }