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