#include #include using namespace std; using namespace atcoder; typedef long long int ll; typedef long double ld; #define FOR(i,l,r) for(ll i=l;i=l;i--) #define RREP(i,n) RFOR(i,0,n) #define ALL(x) x.begin(),x.end() #define PA pair #define F first #define S second #define BS(A,x) binary_search(ALL(A),x) #define LB(A,x) (ll)(lower_bound(ALL(A),x)-A.begin()) #define UB(A,x) (ll)(upper_bound(ALL(A),x)-A.begin()) #define COU(A,x) (UB(A,x)-LB(A,x)) #define sz(c) ((ll)(c).size()) /* #include namespace mp=boost::multiprecision; using Bint=mp::cpp_int; */ templateusing min_priority_queue=priority_queue,greater>; templateostream&operator<<(ostream&os,pair&p){os<istream&operator>>(istream&is,pair&p){is>>p.F>>p.S;return is;} templateostream&operator<<(ostream&os,vector&v){REP(i,sz(v))os<istream&operator>>(istream&is,vector&v){for(T&in:v)is>>in;return is;} templatebool chmax(T&a,T b){if(abool chmin(T&a,T b){if(b>N>>M>>A>>B; vectorC(M);cin>>C; sets;ll d=1; while(d*d<=N){if(N%d==0)s.insert(d),s.insert(N/d);d++;} vectorD;for(auto i:s)D.emplace_back(i); ll L=sz(D); vectorDP(L,1e18);DP[0]=0; vectorW(L,1e18); REP(i,L)REP(j,M)if(C[j]%D[i]==0)chmin(W[i],C[j]); REP(i,L)if(DP[i]<1e18){ FOR(j,i+1,L)if(D[j]%D[i]==0&&W[i]>D[j])chmin(DP[j],DP[i]+(D[j]/D[i]-1)*A+B); } if(DP[L-1]==1e18)DP[L-1]=B-1; cout<