#include <bits/stdc++.h>
using namespace std;

int main(void){
    
    long long N,M;
    cin >> N >> M;
    
    //高橋くんの戦略は最適手
    if(M<0){
        cout << -1 << endl;
        return 0;
    }
    
    //大罠にきあくん笑
    if(N==1 && M==0){
        cout << "1 2" << endl;
        return 0;
    }
    
    //青木くんも１つは取るから、高橋くんがいくらヨクバリスしてもN-1以上の差はつかない
    if(M>N-2){
        cout << -1 << endl;
        return 0;
    }
    
    //そうでない時は、高橋くんがM+1個、青木くんが1個とるような区間をまず作る
    
    cout << 1 << " " << 10000000 << endl;
    for(int i=0;i<M+1;i++){
        cout << 2+2*i << " " << 3+2*i << endl;
    }
    
    //余ったN-M-2個は被らないよう雑に置く
    for(int i=0;i<N-M-2;i++){
        cout << 10000001+2*i << " " << 10000002+2*i << endl;
    }
    
    return 0;
}


#pragma GCC optimize("Ofast")
#include <bits/stdc++.h>
#define rep(i,n) for(int i=0;i<n;i++)
#define cinf(n,x) for(int i=0;i<(n);i++)cin>>x[i];
#define ft first
#define sc second
#define pb push_back
#define lb lower_bound
#define ub upper_bound
#define all(v) (v).begin(),(v).end()
#define LB(a,x) lb(all(a),x)-a.begin()
#define UB(a,x) ub(all(a),x)-a.begin()
#define mod 1000000007
//#define mod 998244353
#define FS fixed<<setprecision(15)
using namespace std;
typedef long long ll;
const double pi=3.141592653589793;
template<class T> using V=vector<T>;
using Graph = vector<vector<int>>;
using P=pair<ll,ll>;
typedef unsigned long long ull;
typedef long double ldouble;
template<class T> inline bool chmin(T& a, T b) { if (a > b) { a = b; return true; } return false; }
template<class T> inline bool chmax(T& a, T b) { if (a < b) { a = b; return true; } return false; }
template<class T> inline void out(T a){ cout << a << '\n'; }
void YN(bool ok){if(ok) cout << "Yes" << endl; else cout << "No" << endl;}
//void YN(bool ok){if(ok) cout << "YES" << endl; else cout << "NO" << endl;}


const ll INF=1e18;
const int mx=200005;
//arc106
int main(){
    cin.tie(0);ios::sync_with_stdio(false);
    ll n,m;
    cin>>n>>m;
    V<P> ans;
    bool ok=1;
    if(m==0){
        rep(i,n) ans.emplace_back(2*(i+1)-1,2*(i+1));
    }else if(m>0){
        int r=1;
        for(int i=1;i<=n;i++){
            if(i-2==m){
                ans.emplace_back(1,r+1);
                r++;
            }else{
                ans.emplace_back(r+1,r+2);
                r+=2;
            }
        }
    }else{
        int l=1000000000;
        int tmp=10000000;
        int cnt=1;
        for(int i=1;i<=n;i++){
            if(i==1){
                ans.emplace_back(1,tmp);
                cnt++;
            }else if(i-2<=-m){
                ans.emplace_back(cnt,tmp+cnt);
                //cnt++;
                if(i-1==-m){
                    cnt=tmp+cnt;
                }else cnt++;
            }else{
                ans.emplace_back(cnt+1,cnt+2);
                cnt+=2;
            }
        }
    }
    if(m>=n-1||m<0) ok=0;
    if(n==1&&m==0){
        cout<<1<<' '<<2<<endl;
        return 0;
    }
    if(ok){
        for(auto p:ans) cout<<p.ft<<' '<<p.sc<<'\n';
    }else out(-1);
}
//ペナルティ出しても焦らない　ACできると信じろ！！！
//どうしてもわからないときはサンプルで実験　何か見えてくるかも
//頭で考えてダメなら紙におこせ！！
/*
V,P(大文字)使用不可
乗算などの際にオーバーフローに注意せよ！
(適切にmodをとれ　にぶたんで途中で切り上げろ)
制約をよく読め！
{
    ・全探索できるなら全探索しろ
    ・異常な制約ならそこに注目
}
stringの計算量(扱い)注意
コーナー注意！(特に数値が小さいものについては要検証)
N行出力のときは'¥n'
グリッド上では行先が範囲内におさまるかif文で確認(RE注意)
if文ではちゃんと比較演算子==を使え('='でもエラー出ない)
配列(vector)の大きさが0か1以上かで場合分けせよ(RE注意)
(vector<int> a(m)でm==0というものはできない)
modはなるべく最後に取れ！
doubleを扱うときには(abs)ではなく'fabs'!!!
dpするときは「配る」、「もらう」の両方を考えて最適な方を選べ
Segtreeで区間最大(max)を使うとき,単位元の設定をしっかり
(デフォルトは-INF,0の方が都合の良い場合は変更)
*/