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