Jisoo

观察样例，知道肯定和六有关系

并且$gcd(a,b)=gcd(b,a-b)$

就可以构造了

#include<cstdio>
#include<iostream>
#include<cstring>
#include<iomanip>
#include<cmath>
#include<stack>
#include<algorithm>
using namespace std;
template<class T>inline void read(T &x)
{
    x=0;register char c=getchar();register bool f=0;
    while(!isdigit(c))f^=c=='-',c=getchar();
    while(isdigit(c))x=(x<<3)+(x<<1)+(c^48),c=getchar();
    if(f)x=-x;
}
template<class T>inline void print(T x)
{
    if(x<0)putchar('-'),x=-x;
    if(x>9)print(x/10);
    putchar('0'+x%10);
}
int n,k;
int main(){
    read(n);
    read(k);
    printf("%dn",(n*6-1)*k);
    for(int i=0;i<n;++i){
        printf("%d %d %d %dn",(6*i+1)*k,(6*i+2)*k,(6*i+3)*k,(6*i+5)*k);
    }
    return 0;
}