#include <bits/stdc++.h>
using namespace std;
inline int read() {
  int x = 0, f = 1;
  char ch = getchar();
  for (; !isdigit(ch); ch = getchar())
    if (ch == '-') f = -1;
  for (; isdigit(ch); ch = getchar()) x = x * 10 + ch - '0';
  return x * f;
}
int main() {
  long long a, b;
  cin >> a >> b;
  cout << "YES\n";
  for (long long i = a; i <= b; i += 2) {
    printf("%I64d %I64d\n", i, i + 1);
  }
  return 0;
}
