#include #include using namespace std; using namespace atcoder; //const long nPrime = 1000000007; //const long nPrime = 998244353; typedef long long ll; int main() { ll n,m; cin >> n >> m; vector viNum(n+1,0); for(ll i = 0 ; i < m; i++){ ll x; cin >> x; viNum[x] = 1; } vector> vviDiv(n+1); for(ll i = 1; i <= n; i++){ for(ll j = 1; i*j <= n; j++){ vviDiv[i*j].push_back(i); } } ll nAns = 0; for(ll i = n; i >= 1; i--){ if(viNum[i] == 0){ nAns++; } else { for(ll j = 0; j < vviDiv[i].size(); j++){ viNum[vviDiv[i][j]] = 1-viNum[vviDiv[i][j]]; } } } cout << nAns << endl; return 0; }