CF361B Levko and Permutation

Levko 非常喜欢排列。长度为 $n$ 的排列是一个由 $n$ 个互不相同的正整数组成的序列，每个数都不超过 $n$。 我们记 $gcd(a,b)$ 为 $a$ 和 $b$ 的最大公约数。Levko 认为排列 $p_1, p_2, \ldots, p_n$ 中第 $i$ 个元素 $p_i$ 是“优质”的，当且仅当 $gcd(i, p_i) > 1$。Levko 称某个排列是“美丽的”，如果恰好有 $k$ 个“优质”元素。不幸的是，他目前还不知道任何一个美丽的排列。你的任务是帮助他找到至少一个这样的排列。

一行包含两个整数 $n$ 和 $k$，满足 $1 \leq n \leq 10^{5}$，$0 \leq k \leq n$。

输出一行，给出任意一个美丽的排列。如果不存在美丽的排列，输出 $-1$。 如果答案不唯一，你可以输出任意一个满足条件的排列。

在第一个样例中，元素 $4$ 和 $3$ 是优质元素，因为 $gcd(2, 4) = 2 > 1$ 且 $gcd(3, 3) = 3 > 1$。元素 $2$ 和 $1$ 不是优质元素，因为 $gcd(1, 2) = 1$ 且 $gcd(4, 1) = 1$。由于恰好有 $2$ 个优质元素，这个排列是美丽的。 第二个样例没有任何美丽的排列。 由 ChatGPT 5 翻译