#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")