#include <bits/stdc++.h>
using namespace std;
template <typename T>
inline void read(T &a) {
  T ret(0), f(1);
  char ch(getchar());
  while (ch < '0' || ch > '9') {
    if (ch == '-') f = -1;
    ch = getchar();
  }
  while (ch >= '0' && ch <= '9') {
    ret = ret * 10 + (ch ^ 48);
    ch = getchar();
  }
  a = ret * f;
}
inline long long Max(long long x, long long y) { return x > y ? x : y; }
inline long long Min(long long x, long long y) { return x < y ? x : y; }
inline int gcd(int x, int y) { return y ? gcd(y, x % y) : x; }
int a[10005];
int main() {
  int n, k;
  read(n), read(k);
  if (n == k)
    printf("-1");
  else {
    printf("%d ", n - k);
    for (int i(1); i <= n - k - 1; i++) printf("%d ", i);
    for (int i(n - k + 1); i <= n; i++) printf("%d ", i);
  }
  return 0;
}
