#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の方が都合の良い場合は変更)
*/
#include <bits/stdc++.h>
using namespace std;
#ifdef __DEBUG__
    void debug_out() { cerr << endl; } 
    template <typename Head, typename... Tail>
    void debug_out(Head H, Tail... T) {cerr << " " << H; debug_out(T...);}
    #define debug(...) cerr << "[" << #__VA_ARGS__ << "]:", debug_out(__VA_ARGS__)
#else
    #define debug(...) 
#endif

using ll = long long int;
using ull = unsigned long long int;
using ld = long double;
using pii = pair<int, int>;
using pll = pair<ll, ll>;

inline void fast_io() { ios_base::sync_with_stdio(false); cin.tie(nullptr); cout.tie(nullptr); };
template<typename T, typename S> inline ostream& operator<<(ostream& os, const pair<T, S> p) { cout << "[" << p.first << ";" << p.second << "]"; return os; }
template<typename T, typename S> inline ostream& operator<<(ostream& os, const map<T, S> p) { for (auto el : p) cout << "[" << el.first << ";" << el.second << "]"; return os; }
template<typename T> inline ostream& operator<<(ostream& os, const vector<T>& v) { for (auto el : v) cout << el << " "; return os; }

ll N,M;
inline void input(){
    fast_io();
    cin >> N >> M;
}


int cntR(vector<pll> a){
    auto cmp = [](pll x, pll y){return x.second < y.second;};
    sort(a.begin(),a.end(),cmp);
    debug(a);
    int ret = 0;
    ll last = 0;
    for (int i = 0; i < a.size(); i++)
    {
        if(last < a[i].first){
            ret++;
            last = a[i].second;
        }
    }
    return ret;
}

int cntL(vector<pll> a){
    auto cmp = [](pll x, pll y){return x.first < y.first;};
    sort(a.begin(),a.end(),cmp);
    debug(a);
    int ret = 0;
    ll last = 0;
    for (int i = 0; i < a.size(); i++)
    {
        if(last < a[i].first){
            ret++;
            last = a[i].second;
        }
    }
    return ret;
}

int solve(ll N, ll M){
    if(M<0){
        cout << -1 << endl;
        return 0;
    }
    else if(N==1 && M==0){
        vector<pll> Ans;
        Ans.emplace_back(1,2);
        for(auto [x,y]:Ans) cout << x << " " << y << "\n";
        return 0;
    }
    else if(M>=N-1){
        cout << -1 << endl;
        return 0;
    }
    vector<pll> Ans;
    ll rest = N-M;
    for (int i = 1; i <= min(M+1,N); i++)
    {
        Ans.emplace_back(2*i+rest+10,2*i+rest+11);
    }
    for (int i = 0; i < rest-1; i++)
    {
        Ans.emplace_back(i+1,(ll)1e6+i+1);
    }
    debug(cntR(Ans));
    debug(cntL(Ans));
    debug(Ans.size());
    for(auto [x,y]:Ans) cout << x << " " << y << "\n";
    return 0;
}   

int test(){
    int n = 1;
    for (int m = -n; m <= n; m++)
    {
        debug(n,m);
        solve(n,m);
    }
    return 0;
}

int main()
{
    // test();
    input();
    solve(N,M);
    return 0;
}
