#include<bits/stdc++.h>
#define LL long long
#define LLL __int128
#define ldb long double
using namespace std;
typedef pair<int,int> PII;
#define gc() getchar()
#define pc(x) putchar(x)
template<class T>inline T read(){
    T x=0;char ch;bool f=1;
    while(!isdigit(ch=gc()))if(ch=='-')f^=1;
    do x=(x<<1)+(x<<3)+(ch^48);while(isdigit(ch=gc()));
    return f?x:-x;
}
#define read() read<int>()
int n,d;
signed main(){
#define mytest
#ifndef mytest
    freopen("dice.in","r",stdin);
    freopen("dice.out","w",stdout);
#endif
    n=read(),d=read();
    int A=d,B=d<<6,C=d<<12;
    puts("Yes");
    for(int i=1;i<=n;++i)
        printf("%d %d %d %d %d %d\n",A,B,C,A|B,A|C,B|C);
    cerr<<clock()*1.0/CLOCKS_PER_SEC<<endl;
    return 0;
}
/*

*/