Kuroni and the Score Distribution

构造一个序列 $a$ 满足如下： 1、长度为 $n$ 。 2、$\forall i, 1\leq a_i\leq 10^9$ 。 3、$\forall i>1,a_i>a_{i-1}$。 4、满足 $i<j<k$ 且 $a_i+a_j=a_k$ 的三元组 $(i,j,k)$ 数量恰好为 $m$。 $n\leq 5000,m\leq 10^9$ 。

Kuroni is the coordinator of the next Mathforces round written by the "Proof by AC" team. All the preparation has been done, and he is discussing with the team about the score distribution for the round. The round consists of $ n $ problems, numbered from $ 1 $ to $ n $ . The problems are ordered in increasing order of difficulty, no two problems have the same difficulty. A score distribution for the round can be denoted by an array $ a_1, a_2, \dots, a_n $ , where $ a_i $ is the score of $ i $ -th problem. Kuroni thinks that the score distribution should satisfy the following requirements: - The score of each problem should be a positive integer not exceeding $ 10^9 $ . - A harder problem should grant a strictly higher score than an easier problem. In other words, $ 1 \leq a_1 < a_2 < \dots < a_n \leq 10^9 $ . - The balance of the score distribution, defined as the number of triples $ (i, j, k) $ such that $ 1 \leq i < j < k \leq n $ and $ a_i + a_j = a_k $ , should be exactly $ m $ . Help the team find a score distribution that satisfies Kuroni's requirement. In case such a score distribution does not exist, output $ -1 $ .

The first and single line contains two integers $ n $ and $ m $ ( $ 1 \le n \le 5000 $ , $ 0 \leq m \leq 10^9 $ ) — the number of problems and the required balance.

If there is no solution, print a single integer $ -1 $ . Otherwise, print a line containing $ n $ integers $ a_1, a_2, \dots, a_n $ , representing a score distribution that satisfies all the requirements. If there are multiple answers, print any of them.

5 3

4 5 9 13 18

8 0

10 11 12 13 14 15 16 17

4 10

-1

In the first example, there are $ 3 $ triples $ (i, j, k) $ that contribute to the balance of the score distribution. - $ (1, 2, 3) $ - $ (1, 3, 4) $ - $ (2, 4, 5) $