#include<bits/stdc++.h>
#define CSP2026 using
#define RP namespace
#define PLUSPLUS std
CSP2026 RP PLUSPLUS;
#define debug(x) cout<<"clock="<<clock()<<' '<<#x<<'='<<(x)<<'\n'
//#define getchar getchar_unlocked
using ll=long long;
inline int rd(){int x=0,f=1;char ch=getchar();for(;!isdigit(ch);ch=getchar())if(ch=='-')f=-1;for(;isdigit(ch);ch=getchar())x=(x<<3)+(x<<1)+(ch^48);return x*f;}
inline ll rdll(){ll x=0;int f=1;char ch=getchar();for(;!isdigit(ch);ch=getchar())if(ch=='-')f=-1;for(;isdigit(ch);ch=getchar())x=(x<<3)+(x<<1)+(ch^48);return x*f;}
constexpr int N=2e5+5;
int p[N],q[N];
vector<int>v[N];
signed main(){
	int n=rd(),k=rd();
	if(__lg(k)>__lg(n-1))return cout<<"No\n",0;
	for(int i=0;i<n;++i)v[i&k].push_back(i);
	for(int i=0;i<n;++i){
		int r=v[i].size()-1;
		while(r>=1){
			int s=(2<<__lg(r))-1,l=s-r;
			for(int j=l;j<=r;++j)q[v[i][j]]=v[i][s-j];
			r=l-1;
		}if(r==0)q[v[i][0]]=v[i][0];
	}cout<<"Yes\n";
	for(int i=0;i<n;++i)cout<<i<<" \n"[i==n-1];
	for(int i=0;i<n;++i)cout<<q[i]<<" \n"[i==n-1];
	return 0;
}