#include <bits/stdc++.h>
using namespace std;
inline void read(int &x) {
  int v = 0, f = 1;
  char c = getchar();
  while (!isdigit(c) && c != '-') c = getchar();
  if (c == '-')
    f = -1;
  else
    v = (c & 15);
  while (isdigit(c = getchar())) v = (v << 1) + (v << 3) + (c & 15);
  x = v * f;
}
inline void read(long long &x) {
  long long v = 0ll, f = 1ll;
  char c = getchar();
  while (!isdigit(c) && c != '-') c = getchar();
  if (c == '-')
    f = -1;
  else
    v = (c & 15);
  while (isdigit(c = getchar())) v = (v << 1) + (v << 3) + (c & 15);
  x = v * f;
}
inline void readc(char &x) {
  char c;
  while (((c = getchar()) == ' ') || c == '\n')
    ;
  x = c;
}
long long n, m, i, j, a[5005], s;
int main() {
  read(n);
  read(m);
  for (((i)) = (1); ((i)) <= ((n)); ((i))++) {
    a[i] = i;
    s += (i - 1) / 2;
    if (s >= m) {
      a[i] += (s - m) * 2;
      for ((j) = (i + 1); (j) <= (n); (j)++) {
        a[j] = 100000000 + (a[i] + 3) * (j - i);
      }
      for (((i)) = (1); ((i)) <= ((n)); ((i))++) {
        printf("%d ", a[i]);
      }
      return 0;
    }
  }
  puts("-1");
  return 0;
}
