#include <bits/stdc++.h>

using namespace std;

typedef long long ll;
typedef vector<ll> vll;
typedef vector<bool> vb;



const ll INF=10000000000;

#define rep(i,m,n) for(int i=m;i<n;i++)


int main(){
   cin.tie(nullptr);
  ios::sync_with_stdio(false);

  ll n,k;
  cin >> n >> k;
  if(2*k-1>n) {
    cout << -1 << endl;
    return 0;
  }
  vll a(n),b(n),c(n);
    ll l=(n+1)/2;
    rep(i,0,l) a[i]=k+2*i;
    rep(i,l,n) a[i]=k+1+2*(i-l);
  if(n%2) {
    rep(i,0,l) b[i]=k+3*l-2-i;
    rep(i,l,n) b[i]=k+4*l-3-(i-l);
    rep(i,0,n) c[i]=k+4*l-2+i;
  }
  else {
   rep(i,0,l) b[i]=k+3*l-1-i;
    rep(i,l,n) b[i]=k+4*l-1-(i-l);
    rep(i,0,n) c[i]=k+4*l+i;
  
  }
  
  rep(i,0,n) cout << a[i] << " " << b[i] << " " << c[i] << endl;
  
}
