#include <bits/stdc++.h>
using namespace std;
int gcd(int a, int b) { return b == 0 ? a : gcd(b, a % b); }
int main() {
  int n, k;
  cin >> n >> k;
  printf("%d\n", (6 * n - 1) * k);
  for (int i = 0; i < n; i++) {
    printf("%d %d %d %d\n", (6 * i + 1) * k, (6 * i + 2) * k, (6 * i + 3) * k,
           (6 * i + 5) * k);
  }
  return 0;
}
