#include using namespace std; typedef long long ll; templatebool chmax(T &a, const T &b) { if (abool chmin(T &a, const T &b) { if (b #define vl vector #define vii vector> #define vll vector> #define vvi vector> #define vvl vector> #define vvii vector>> #define vvll vector>> #define vst vector #define pii pair #define pll pair #define pb push_back #define all(x) (x).begin(),(x).end() #define mkunique(x) sort(all(x));(x).erase(unique(all(x)),(x).end()) #define fi first #define se second #define mp make_pair #define si(x) int(x.size()) const int mod=998244353,MAX=300005,INF=15<<26; map MA[13]; ll Z[MAX]; deque ans; void solve(ll N,ll K,ll ad){ if(N<=8){ if(MA[N].count(K)){ for(ll a:MA[N][K]) ans.pb(ad+a-1); }else{ } return; } ll L=N*(N+1)*(N+2)/6,R=Z[N]; //cout<>N>>K; solve(N,K,1); if(si(ans)==N){ cout<<"Yes\n"; for(int i=0;i