#include <cstdio>
int main(void)
{
int n, k ;
scanf("%d%d", &n, &k) ;
printf("%d\n", k*(6*n-1)) ;
for(int i=0;i<n;i++)
printf("%d %d %d %d\n", k*(6*i+1), k*(6*i+3), k*(6*i+4), k*(6*i+5)) ;
return 0 ;
}
#include <cstdio>
int main(void)
{
int n, k ;
scanf("%d%d", &n, &k) ;
printf("%d\n", k*(6*n-1)) ;
for(int i=0;i<n;i++)
printf("%d %d %d %d\n", k*(6*i+1), k*(6*i+3), k*(6*i+4), k*(6*i+5)) ;
return 0 ;
}