#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"<<n<<"\n"; for(int i=1; i<=n; i++){ cout<<i<<" "; } for(int i=1; i<=n; i++){ cout<<n+1-i<<" "; } cout<<endl; return 0; }