#include <bits/stdc++.h> using namespace std; typedef long long ll; typedef pair<int, int> pii; typedef vector<int> vi; typedef vector<ll> vl; typedef vector<vi> vvi; int main(){ std::ios_base::sync_with_stdio(false); std::cin.tie(nullptr); int n, m; cin>>n>>m; if(m>n-1){ cout<<"NO"<<endl; return 0; } cout<<"YES\n"; if(n==1) cout<<"1\n1"; else if (n==2){ cout<<"2\n2 2"; } else{ cout<<2*(n-2)<<" "; for(int i=2; i<n; i++) cout<<i<<" "; for(int i=n-1; i>1; i--) cout<<i<<" "; } return 0; }