#pragma GCC target("avx2")
#pragma GCC optimize("O3")
#pragma GCC optimize("unroll-loops")
#include <bits/stdc++.h>
using namespace std;
#define int long long
signed main(){
  int N,K;
  cin>>N>>K;
  if(K == 0){
      cout<<-1<<endl;
      return 0;
  }
  cout<<K*K+2*(N-K)*K<<endl;
  for(int i=1;i<=K;i++) cout<<i<<' '<<i<<endl;
  for(int i=1;i<=K;i++)for(int j=1;j<=K;j++)if(i!=j) cout<<i<<' '<<j<<endl;
  for(int i=1;i<=K;i++)for(int j=K+1;j<=N;j++) cout<<i<<' '<<j<<endl;
  for(int i=K+1;i<=N;i++)for(int j=1;j<=K;j++) cout<<i<<' '<<j<<endl;
}