#include #define VARNAME(x) #x #define show(x) cerr << #x << " = " << x << endl using namespace std; using ll = long long; using ld = long double; template vector Vec(int n, T v) { return vector(n, v); } template auto Vec(int n, Args... args) { auto val = Vec(args...); return vector(n, move(val)); } template ostream& operator<<(ostream& os, const vector& v) { os << "sz:" << v.size() << "\n["; for (const auto& p : v) { os << p << ","; } os << "]\n"; return os; } template ostream& operator<<(ostream& os, const pair& p) { os << "(" << p.first << "," << p.second << ")"; return os; } constexpr ll MOD = (ll)1e9 + 7LL; constexpr ld PI = static_cast(3.1415926535898); template constexpr T INF = numeric_limits::max() / 10; int main() { cin.tie(0); ios::sync_with_stdio(false); int N, M; cin >> N >> M; const int B = N / 2; const int W = N - B; if (B * W < M or M < N - 1) { cout << "NO" << endl; } else { cout << "YES" << endl; for (int i = 0; i < N; i++) { cout << i + 1 << " "; } cout << endl; for (int i = 0; i < B; i++) { cout << i + 1 << " " << B + i + 1 << endl; M--; if (B + i + 2 <= N) { cout << i + 1 << " " << B + i + 2 << endl; M--; } } for (int i = 0; i < B; i++) { for (int j = 0; j < W; j++) { if (j == i or j == i + 1) { continue; } if (M == 0) { return 0; } M--; cout << i + 1 << " " << j + B + 1 << endl; } } } return 0; }