#include <bits/stdc++.h>
using namespace std;
clock_t start;
void Time(bool timeIt) {
  if (!timeIt) return;
  clock_t end = clock();
  double elapsed_time = ((double)end - (double)start) / (double)CLOCKS_PER_SEC;
  printf("Time elapsed = %0.4lf\n", elapsed_time);
}
int d[300010] = {0}, pres[300010];
int main() {
  start = clock();
  int n, m;
  scanf("%d %d", &n, &m);
  for (int i = 1; i <= n; ++i) {
    for (int j = 2 * i; j <= n; j += i) ++d[j];
  }
  int sum = 0, k = -1, cnt;
  for (int i = 1; i <= n; ++i) {
    pres[i] = 1;
    sum += d[i];
    if (sum >= m) {
      k = i;
      break;
    }
  }
  if (k == -1) {
    printf("No\n");
    return 0;
  }
  cnt = k;
  vector<pair<int, int> > vec;
  for (int i = k / 2 + 1; i <= k; ++i) vec.push_back(make_pair(d[i], i));
  sort(vec.begin(), vec.end());
  for (int i = vec.size() - 1; i >= 0; --i) {
    if (sum - m >= vec[i].first) {
      sum -= vec[i].first;
      pres[vec[i].second] = 0;
      --cnt;
    }
    if (d[k] == m) break;
  }
  printf("Yes\n%d\n", cnt);
  for (int i = 1; i <= k; ++i)
    if (pres[i]) printf("%d%c", i, " \n"[i == k]);
  Time(false);
  return 0;
}
