Problem: You are given two integers b and w. You have a chessboard of size 10^9 × 10^9 with the top left cell at (1; 1), the cell (1; 1) is painted white.

Your task is to find a connected component on this chessboard that contains exactly b black cells and exactly w white cells. Two cells are called connected if they share a side (i.e. for the cell (x, y) there are at most four connected cells: (x - 1, y), (x + 1, y), (x, y - 1), (x, y + 1)). A set of cells is called a connected component if for every pair of cells C_1 and C_2 from this set, there exists a sequence of cells c_1, c_2, ..., c_k such that c_1 = C_1, c_k = C_2, all c_i from 1 to k are belong to this set of cells and for every i ∈ [1, k - 1], cells c_i and c_{i + 1} are connected.

Obviously, it can be impossible to find such component. In this case print "NO". Otherwise, print "YES" and any suitable connected component.

You have to answer q independent queries.

Input

The first line of the input contains one integer q (1 ≤ q ≤ 10^5) — the number of queries. Then q queries follow.

The only line of the query contains two integers b and w (1 ≤ b, w ≤ 10^5) — the number of black cells required and the number of white cells required.

It is guaranteed that the sum of numbers of cells does not exceed 2 ⋅ 10^5 (∑ w + ∑ b ≤ 2 ⋅ 10^5).

Output

For each query, print the answer to it.

If it is impossible to find the required component, print "NO" on the first line.

Otherwise, print "YES" on the first line. In the next b + w lines print coordinates of cells of your component in any order. There should be exactly b black cells and w white cells in your answer. The printed component should be connected.

If there are several answers, you can print any. All coordinates in the answer should be in the range [1; 10^9].

Example

Input


3
1 1
1 4
2 5


Output


YES
2 2
1 2
YES
2 3
1 3
3 3
2 2
2 4
YES
2 3
2 4
2 5
1 3
1 5
3 3
3 5

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
long long int gcd(unsigned long long int a, unsigned long long int b) {
  return (a == 0) ? b : gcd(b % a, a);
}
long long int lcm(unsigned long long int a, unsigned long long int b) {
  return a * (b / gcd(a, b));
}
int trinum(int x) { return x * (x + 1) / 2; }
int kx[8] = {+2, +2, -2, -2, +1, +1, -1, -1};
int ky[8] = {+1, -1, +1, -1, +2, -2, +2, -2};
using namespace std;
int main() {
  int t;
  cin >> t;
  while (t--) {
    int b, w;
    bool p = 0;
    cin >> b >> w;
    vector<pair<int, int> > wells, bells;
    if (w >= b) {
      swap(b, w);
      p = 1;
    }
    if (b > (3 * w + 1)) {
      cout << "NO\n";
    } else {
      for (int i = 0; i < w; i++) {
        wells.push_back({0, i * 2});
        bells.push_back({0, (i * 2) + 1});
        b--;
      }
      if (b != 0) {
        bells.push_back({0, -1});
        b--;
        if (b != 0) {
          for (int i = 0; i < w && b > 0; i++) {
            bells.push_back({-1, i * 2});
            b--;
          }
          if (b != 0) {
            for (int i = 0; i < w && b > 0; i++) {
              bells.push_back({1, i * 2});
              b--;
            }
            if (b != 0) {
              cout << "NO\n";
              continue;
            }
          }
        }
      }
      cout << "YES\n";
      if (p) {
        for (int i = 0; i < bells.size(); i++) {
          cout << bells[i].first + 3 << ' ' << bells[i].second + 2 << endl;
        }
        for (int i = 0; i < wells.size(); i++) {
          cout << wells[i].first + 3 << ' ' << wells[i].second + 2 << endl;
        }
      } else {
        for (int i = 0; i < bells.size(); i++) {
          cout << bells[i].first + 2 << ' ' << bells[i].second + 2 << endl;
        }
        for (int i = 0; i < wells.size(); i++) {
          cout << wells[i].first + 2 << ' ' << wells[i].second + 2 << endl;
        }
      }
    }
    cout << endl;
  }
}