#include <bits/stdc++.h>
using namespace std;
int ans[211111][4];
int main() {
  int n, k;
  cin >> n >> k;
  int s = 1;
  for (int i = 0; i < n; i++) {
    for (int j = 0; j < 4; j++) {
      ans[i][j] = s;
      s++;
    }
    ans[i][3]++;
    s += 2;
  }
  cout << ans[n - 1][3] * k << endl;
  for (int i = 0; i < n; i++) {
    for (int j = 0; j < 4; j++) {
      printf("%d", ans[i][j] * k);
      if (j == 3)
        puts("");
      else
        putchar(' ');
    }
  }
  return 0;
}
