#include <iostream>
#include <vector>
using namespace std;
int main() {
int n,k;
cin >> n >> k;
vector<int>res;
if(n-1==k){cout << -1;return 0;}
if(n==k){for(int i=1;i<=n;i++){
res.push_back(i);
}}
else{
int a=k;
int b=n;
int i=1;
while(a--){
res.push_back(i++);
}
for(int i=k+2;i<=n;i++){
res.push_back(i);
}
res.push_back(k+1);
}
for(int x:res){
cout << x << " ";
}
}
// 64 位输出请用 printf("%lld")

京公网安备 11010502036488号