// #define _GLIBCXX_DEBUG #include #include #define rep(i,b) for(int i=0;i=0;i--) #define rep1(i,b) for(int i=1;i=x;i--) #define fore(i,a) for(auto i:a) #define fore1(i,a) for(auto &i:a) #define rng(x) (x).begin(), (x).end() #define rrng(x) (x).rbegin(), (x).rend() #define sz(x) ((int)(x).size()) #define pb push_back #define fi first #define se second #define pcnt __builtin_popcountll using namespace std; using namespace atcoder; using ll = long long; using ld = long double; template using mpq = priority_queue, greater>; template bool chmax(T &a, const T &b) { if (a bool chmin(T &a, const T &b) { if (b ll sumv(const vector&a){ll res(0);for(auto&&x:a)res+=x;return res;} bool yn(bool a) { if(a) {cout << "Yes" << endl; return 1;} else {cout << "No" << endl; return 0;}} #define dame { cout << "No" << endl; return 0;} #define dame1 { cout << -1 << endl; return 0;} #define test(x) cout << "test" << x << endl; #define deb(x,y) cout << x << " " << y << endl; #define debp(p) cout << p.fi << " " << p.se << endl; #define deb3(x,y,z) cout << x << " " << y << " " << z << endl; #define deb4(x,y,z,x2) cout << x << " " << y << " " << z << " " << x2 << endl; #define out cout << ans << endl; #define outd cout << fixed << setprecision(20) << ans << endl; #define outm cout << ans.val() << endl; #define outv fore(yans , ans) cout << yans << "\n"; #define outdv fore(yans , ans) cout << yans.val() << "\n"; #define show(x) cerr<<#x<<" = "<;using pil = pair;using pli = pair;using pii = pair;using pdd = pair; using tp = tuple; using vi = vector;using vd = vector;using vl = vector;using vs = vector;using vb = vector; using vpii = vector;using vpli = vector;using vpll = vector;using vpil = vector; using vvi = vector>;using vvl = vector>;using vvs = vector>;using vvb = vector>; using vvpii = vector>;using vvpli = vector>;using vvpll = vector;using vvpil = vector; using mint = modint998244353; using vm = vector; using vvm = vector>; vector dx={1,0,-1,0,1,1,-1,-1},dy={0,1,0,-1,1,-1,1,-1}; ll gcd(ll a, ll b) { return a?gcd(b%a,a):b;} ll lcm(ll a, ll b) { return a/gcd(a,b)*b;} #define yes {cout <<"Yes"<>n; vvi cnt(n-1,vi(2*n-1)); rep(i,n-1){ rep(j,i) cnt[i][j] = 1; } vvi ans; map mp; rep(i,n-1){ vi v; v.pb(2*n-1); rep(j,n-1){ int k = j+1; if (cnt[j][i] == 1){ v.pb(k); }else{ v.pb(2*n-1-k); } } sort(rng(v)); mp[v]++; assert(mp[v] <= 2); ans.pb(v); } vi sp(n-1); rep(i,n-1) sp[i] = i+1; rep(i,n-1){ vi v; rep(j,n-1) v.pb(n+j); v.pb(2*n-1); swap(v[i] , sp[i]); sort(rng(v)); mp[v]++; assert(mp[v] <= 2); ans.pb(v); } sp.pb(2*n-1); vi v= sp; sort(rng(v)); mp[v]++; assert(mp[v] <= 2); ans.pb(v); cout << sz(ans) << endl; rep(i,sz(ans)){ showv(ans[i]); } // 消せ!!!!!! #define _GLIBCXX_DEBUG // priority_queue でしぬ return 0; }