Problem: It's holiday. Mashmokh and his boss, Bimokh, are playing a game invented by Mashmokh. 

In this game Mashmokh writes sequence of n distinct integers on the board. Then Bimokh makes several (possibly zero) moves. On the first move he removes the first and the second integer from from the board, on the second move he removes the first and the second integer of the remaining sequence from the board, and so on. Bimokh stops when the board contains less than two numbers. When Bimokh removes numbers x and y from the board, he gets gcd(x, y) points. At the beginning of the game Bimokh has zero points.

Mashmokh wants to win in the game. For this reason he wants his boss to get exactly k points in total. But the guy doesn't know how choose the initial sequence in the right way. 

Please, help him. Find n distinct integers a1, a2, ..., an such that his boss will score exactly k points. Also Mashmokh can't memorize too huge numbers. Therefore each of these integers must be at most 109.

Input

The first line of input contains two space-separated integers n, k (1 ≤ n ≤ 105; 0 ≤ k ≤ 108).

Output

If such sequence doesn't exist output -1 otherwise output n distinct space-separated integers a1, a2, ..., an (1 ≤ ai ≤ 109).

Examples

Input

5 2


Output

1 2 3 4 5


Input

5 3

Output

2 4 3 7 1

Input

7 2


Output

-1

Note

gcd(x, y) is greatest common divisor of x and y.

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
int main() {
  int n, k;
  scanf("%d %d", &n, &k);
  if (k < n / 2) {
    printf("-1\n");
    return 0;
  }
  if (k == 0 && n == 1) {
    printf("1\n");
  } else if (k == 0 || n == 1) {
    printf("-1\n");
    return 0;
  } else {
    int x = k - (n / 2 - 1);
    printf("%d %d", x, x * 2);
    int cur = 1;
    for (int i = 0; i < n / 2 - 1; i++) {
      while (cur == x || cur + 1 == x || cur == x * 2 || cur + 1 == x * 2)
        cur += 1;
      printf(" %d %d", cur, cur + 1);
      cur += 2;
    }
    if (n % 2 == 1) {
      while (cur == x || cur == x * 2) cur += 1;
      printf(" %d", cur);
    }
    printf("\n");
  }
}