Wilbur is playing with a set of n points on the coordinate plane. All points have non-negative integer coordinates. Moreover, if some point (x, y) belongs to the set, then all points (x', y'), such that 0 ≤ x' ≤ x and 0 ≤ y' ≤ y also belong to this set.

Now Wilbur wants to number the points in the set he has, that is assign them distinct integer numbers from 1 to n. In order to make the numbering aesthetically pleasing, Wilbur imposes the condition that if some point (x, y) gets number i, then all (x',y') from the set, such that x' ≥ x and y' ≥ y must be assigned a number not less than i. For example, for a set of four points (0, 0), (0, 1), (1, 0) and (1, 1), there are two aesthetically pleasing numberings. One is 1, 2, 3, 4 and another one is 1, 3, 2, 4.

Wilbur's friend comes along and challenges Wilbur. For any point he defines it's special value as s(x, y) = y - x. Now he gives Wilbur some w₁, w₂,..., w_n, and asks him to find an aesthetically pleasing numbering of the points in the set, such that the point that gets number i has it's special value equal to w_i, that is s(x_i, y_i) = y_i - x_i = w_i.

Now Wilbur asks you to help him with this challenge.

The first line of the input consists of a single integer n (1 ≤ n ≤ 100 000) — the number of points in the set Wilbur is playing with.

Next follow n lines with points descriptions. Each line contains two integers x and y (0 ≤ x, y ≤ 100 000), that give one point in Wilbur's set. It's guaranteed that all points are distinct. Also, it is guaranteed that if some point (x, y) is present in the input, then all points (x', y'), such that 0 ≤ x' ≤ x and 0 ≤ y' ≤ y, are also present in the input.

The last line of the input contains n integers. The i-th of them is w_i ( - 100 000 ≤ w_i ≤ 100 000) — the required special value of the point that gets number i in any aesthetically pleasing numbering.

If there exists an aesthetically pleasant numbering of points in the set, such that s(x_i, y_i) = y_i - x_i = w_i, then print "YES" on the first line of the output. Otherwise, print "NO".

If a solution exists, proceed output with n lines. On the i-th of these lines print the point of the set that gets number i. If there are multiple solutions, print any of them.

In the first sample, point (2, 0) gets number 3, point (0, 0) gets number one, point (1, 0) gets number 2, point (1, 1) gets number 5 and point (0, 1) gets number 4. One can easily check that this numbering is aesthetically pleasing and y_i - x_i = w_i.

In the second sample, the special values of the points in the set are 0,  - 1, and  - 2 while the sequence that the friend gives to Wilbur is 0, 1, 2. Therefore, the answer does not exist.

昏了头，做的时候想太多了.

先把a[i].y-a[i].x的数存进一个vector然后对于每个D[I]，依次判断。

比如：对于D[I],如果V[D[I]].size==0那么输出”NO“；

V[D[I]]内部是按照先x,y排序的。

最后再判断一遍是否合法；

 #include<bits/stdc++.h>

 using namespace std;

 typedef long long ll;

 #define N 211111

 struct node

 {

     int x,y,id;

     node(int _x=,int _y=,int _z=)

     {

         x=_x;

         y=_y;

         id=_z;

     }

 }a[N];

 int d[N],ans[N];

 vector<node>b[N+N];

 int cmp(node a,node b)

 {

    // min(a.x,a.y)<min(b.x,b.y);

    if (a.x==b.x) return a.y<b.y;

    return a.x<b.x;

 }

 int main()

 {

     int n;

     cin>>n;

     for (int i=;i<=n;i++)

     {

         cin>>a[i].x>>a[i].y;

         b[a[i].y-a[i].x+N].push_back(node(a[i].x,a[i].y,i));//要先+N，因为可能为负数

     }

     for (int i=;i<=n;i++)

     {

         cin>>d[i];

         d[i]+=N;

         if (b[d[i]].size()==)

         {

             cout<<"NO";

             return ;

         }

         sort(b[d[i]].begin(),b[d[i]].end(),cmp);//每次都排序 是有点费时间

         ans[i]=(*b[d[i]].begin()).id;

         b[d[i]].erase(b[d[i]].begin());

     }

     for (int i=;i<n;i++)

     if (a[ans[i+]].x<=a[ans[i]].x&&a[ans[i+]].y<=a[ans[i]].y)//这里必须是<=,可能需要想想

     {

         cout<<"NO";

         return ;

     }

     cout<<"YES"<<endl;

     for (int i=;i<=n;i++)

     cout<<a[ans[i]].x<<" "<<a[ans[i]].y<<endl;

     return ;

 }