#include using namespace std; #define ALL(x) begin(x),end(x) #define rep(i,n) for(int i=0;i<(n);i++) #define debug(v) cout<<#v<<":";for(auto x:v){cout<bool chmax(T &a,const T &b){if(abool chmin(T &a,const T &b){if(b ostream &operator<<(ostream &os,const vector&v){ for(int i=0;i<(int)v.size();i++) os< istream &operator>>(istream &is,vector&v){ for(T &x:v)is>>x; return is; } // 2^127 = 170141183460469231731687303715884105728 ~ 10^38 using int128=__int128; ostream &operator<<(ostream &os,const __int128 n){ if(n==0){ os<<0; return os; } __int128 num=n; bool neg=false; if(num<0)neg=true,num=-num; string res=""; while(num>0){ res.push_back('0'+num%10); num/=10; } if(neg) res.push_back('-'); reverse(begin(res),end(res)); os<>(istream &is,__int128 &n){ string s; is>>s; int idx=0; bool neg=false; if(s[0]=='-')neg=true,idx++; n=0; for(;idx<(int)s.size();idx++){ n=10*n+s[idx]-'0'; } if(neg) n=-n; return is; } __int128 abs128(__int128 x){ return x<0?-x:x; } __int128 gcd128(__int128 a,__int128 b){ if(a==0) return b; if(b==0) return a; return b>0?gcd128(b,a%b):a; } /* pollard rho 素因数分解 乱択の一種,計算量はよくわかっていない(未解決問題) */ namespace fastprime{ int128 pow_mod(int128 a,int128 n,int128 m){ int128 ret=1; while(n){ if(n&1)ret=ret*a%m; a=a*a%m; n>>=1; } return ret; } bool miller_rabin(int128 n){ if(n<=1) return false; if(n==2) return true; if(n%2==0) return false; int128 d=n-1,s=0; while(!(d&1))d>>=1,s++;// n-1=2^s*d for(int128 a:{2,3,5,7,11,13,17,19,23,29,31,37}){ if(n<=a) break; int128 y=pow_mod(a,d,n);// y=a^d (mod n) int128 t; for(t=d;t pollard_rho(int128 n){ if(n==1) return {}; int128 x=pollard_rho_single(n); if(x==n) return {x}; vector l=pollard_rho(x); vector r=pollard_rho(n/x); l.insert(l.end(),r.begin(),r.end()); return l; } } signed main(){ int n;ll h;cin>>n>>h; vector a(n); cin>>a; for(auto &x:a) x=abs(x); auto vh=fastprime::pollard_rho(h); map cnt; for(auto &x:vh) cnt[x]++; rep(i,n)if(a[i]>1){ auto v=fastprime::pollard_rho(a[i]); for(auto &x:v)if(cnt.count(x)) cnt[x]--; } for(auto [u,v]:cnt)if(v>0){ cout<<"NO"<