#include <bits/stdc++.h>
using namespace std;
int gcd(int x, int y) {
  if (x % y == 0) return y;
  return gcd(y, x % y);
}
int main() {
  int n, k, i, j;
  while (scanf("%d%d", &n, &k) != EOF) {
    printf("%d\n", (n * 6 - 1) * k);
    j = 0;
    for (i = 1; i <= n; i++) {
      printf("%d %d %d ", (i * 6 - 5) * k, (i * 6 - 3) * k, (i * 6 - 1) * k);
      for (j = j + 2;; j += 2) {
        if (gcd(i * 6 - 5, j) == 1 && gcd(i * 6 - 3, j) == 1 &&
            gcd(i * 6 - 1, j) == 1) {
          printf("%d\n", j * k);
          break;
        }
      }
    }
  }
  return 0;
}
