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