#include #include using namespace std; using namespace atcoder; typedef int64_t lint; #define rep(i, n) for(int i=0; i; using vvi = vector>; template inline void vin(vector& v) { rep(i, v.size()) cin >> v.at(i); } template inline bool chmax(T& a, T b) { if (a < b) { a = b; return 1; } return 0; } template inline bool chmin(T& a, T b) { if (a > b) { a = b; return 1; } return 0; } template inline void drop(T x) { cout << x << endl; exit(0); } template void vout(vector v) { rep(i, v.size()) { cout << v.at(i) << ' '; } cout << endl; } constexpr lint LINF = LLONG_MAX/2; vector divisor(lint n) { vector v; for (lint i = 1; i*i <= n; i++) { if (n % i == 0) { v.push_back(i); if (i*i != n) v.push_back(n/i); } } sort(v.begin(), v.end()); return v; } int main() { lint N, M; cin >> N >> M; vi v(M); vin(v); lint a=0, b=0, c=0, x, y, z; set s; rep(i, M) s.insert(v[i]); vi w(N+1); for (size_t i = N; i > 0; i--) { vi t = divisor(i); rep(j, t.size()) w[t[j]] ^= 1; if ((w[i] && !s.count(i)) || (!w[i] && s.count(i))) { b++; rep(j, t.size()) w[t[j]] ^= 1; } } std::cout << b << '\n'; }