#include <bits/stdc++.h>
using namespace std;
int rev(int num, int lg_n) {
  int res = 0;
  for (int i = 0; i < lg_n; ++i)
    if (num & (1 << i)) res |= 1 << (lg_n - 1 - i);
  return res;
}
void fft(vector<complex<double> >& a, bool invert) {
  int n = (int)a.size();
  int lg_n = 0;
  while ((1 << lg_n) < n) ++lg_n;
  for (int i = 0; i < n; ++i)
    if (i < rev(i, lg_n)) swap(a[i], a[rev(i, lg_n)]);
  for (int len = 2; len <= n; len <<= 1) {
    double ang = 2 * acos(-1.0) / len * (invert ? -1 : 1);
    complex<double> wlen(cos(ang), sin(ang));
    for (int i = 0; i < n; i += len) {
      complex<double> w(1);
      for (int j = 0; j < len / 2; ++j) {
        complex<double> u = a[i + j], v = a[i + j + len / 2] * w;
        a[i + j] = u + v;
        a[i + j + len / 2] = u - v;
        w *= wlen;
      }
    }
  }
  if (invert)
    for (int i = 0; i < n; ++i) a[i] /= n;
}
void multiply(const vector<int>& a, const vector<int>& b, vector<int>& res) {
  vector<complex<double> > fa(a.begin(), a.end()), fb(b.begin(), b.end());
  size_t n = 1;
  while (n < max(a.size(), b.size())) n <<= 1;
  n <<= 1;
  fa.resize(n), fb.resize(n);
  fft(fa, false), fft(fb, false);
  for (size_t i = 0; i < n; ++i) fa[i] *= fb[i];
  fft(fa, true);
  res.resize(n);
  for (size_t i = 0; i < n; ++i) res[i] = min(1, int(fa[i].real() + 0.5));
  while (res.back() == 0 && res.size() > 1) res.pop_back();
}
int n, m, x;
int main() {
  ios_base::sync_with_stdio(0);
  cin >> n >> m;
  vector<int> a(m + 1);
  vector<int> res;
  for (int i = 0; i < n; i++) {
    cin >> x;
    a[x] = 1;
  }
  for (int i = 0; i <= m; i++) {
    if (!a[i]) continue;
    for (int j = i + i; j <= m; j += i) {
      if (!a[j]) {
        cout << "NO";
        return 0;
      }
    }
  }
  multiply(a, a, res);
  vector<int> ans;
  for (int i = 0; i <= m; i++) {
    if (res[i]) {
      if (!a[i]) {
        cout << "NO";
        return 0;
      }
    } else {
      if (a[i]) ans.push_back(i);
    }
  }
  cout << "YES\n" << ans.size() << endl;
  for (int i = 0; i < ans.size(); i++) cout << ans[i] << " ";
}
