#include #define fastIO (cin.tie(0), cout.tie(0), ios::sync_with_stdio(false)) using namespace std; vector divEnumeration(int num) { vector res; if (num < 2) { res.emplace_back(1); return res; } int mod = 2; while (mod * mod <= num) { if (num % mod == 0) { res.emplace_back(mod); num /= mod; } else { if (mod == 2) { mod++; } else { mod += 2; } } } res.emplace_back(num); return res; } int main() { fastIO; int n, h; cin >> n >> h; int cnt = 0; set divs; for (const auto mod : divEnumeration(h)) { if (divs.find(mod) == divs.end()) { divs.insert(mod); } cnt++; } for (int i = 0, num; i < n; ++i) { cin >> num; for (const auto mod : divEnumeration(num)) { if (divs.find(mod) != divs.end()) { cnt--; } } if (cnt <= 0) { cout << "YES" << '\n'; return 0; } } cout << "NO" << '\n'; return 0; }