Problem: One drew a closed polyline on a plane, that consisted only of vertical and horizontal segments (parallel to the coordinate axes). The segments alternated between horizontal and vertical ones (a horizontal segment was always followed by a vertical one, and vice versa). The polyline did not contain strict self-intersections, which means that in case any two segments shared a common point, that point was an endpoint for both of them (please consult the examples in the notes section).

Unfortunately, the polyline was erased, and you only know the lengths of the horizonal and vertical segments. Please construct any polyline matching the description with such segments, or determine that it does not exist.

Input

The first line contains one integer t (1 ≤ t ≤ 200) —the number of test cases.

The first line of each test case contains one integer h (1 ≤ h ≤ 1000) — the number of horizontal segments. The following line contains h integers l_1, l_2, ..., l_h (1 ≤ l_i ≤ 1000) — lengths of the horizontal segments of the polyline, in arbitrary order.

The following line contains an integer v (1 ≤ v ≤ 1000) — the number of vertical segments, which is followed by a line containing v integers p_1, p_2, ..., p_v (1 ≤ p_i ≤ 1000) — lengths of the vertical segments of the polyline, in arbitrary order.

Test cases are separated by a blank line, and the sum of values h + v over all test cases does not exceed 1000.

Output

For each test case output Yes, if there exists at least one polyline satisfying the requirements, or No otherwise. If it does exist, in the following n lines print the coordinates of the polyline vertices, in order of the polyline traversal: the i-th line should contain two integers x_i and y_i — coordinates of the i-th vertex.

Note that, each polyline segment must be either horizontal or vertical, and the segments should alternate between horizontal and vertical. The coordinates should not exceed 10^9 by their absolute value.

Examples

Input


2
2
1 1
2
1 1

2
1 2
2
3 3


Output


Yes
1 0
1 1
0 1
0 0
No


Input


2
4
1 1 1 1
4
1 1 1 1

3
2 1 1
3
2 1 1


Output


Yes
1 0
1 1
2 1
2 2
1 2
1 1
0 1
0 0
Yes
0 -2
2 -2
2 -1
1 -1
1 0
0 0


Input


2
4
1 4 1 2
4
3 4 5 12

4
1 2 3 6
2
1 3


Output


Yes
2 0
2 3
3 3
3 7
4 7
4 12
0 12
0 0
No

Note

In the first test case of the first example, the answer is Yes — for example, the following picture illustrates a square that satisfies the requirements: 

<image>

In the first test case of the second example, the desired polyline also exists. Note that, the polyline contains self-intersections, but only in the endpoints: 

<image>

In the second test case of the second example, the desired polyline could be like the one below: 

<image>

Note that the following polyline is not a valid one, since it contains self-intersections that are not endpoints for some of the segments: 

<image>

Solution (in CPP):

Solution:
// not completely proven (see comments in code)
#if not LOCAL
#define NDEBUG 1
#endif
#include<bits/stdc++.h>

void up();
int main(){
	std::ios::sync_with_stdio(0);std::cin.tie(0);
	int numTest; std::cin>>numTest;
	while(numTest--) up();
}

bool split(std::vector<int>& data) {
	// flip signs of data such that the sum is 0.
	for(auto it: data) assert(it>0);
	int sum=std::accumulate(begin(data), end(data), 0);
	if(sum%2!=0) return false;

	int half=sum/2;
	int const maxHalf=500000;
	assert(half<=maxHalf);
	using B=std::bitset<maxHalf+1>;
	
	static std::vector<B> table;
	table.resize(data.size()+1); // memory consumption: 500000/8*1000 = 500/8 MB
	table[0][0]=true; // it's unnecessary to set table[0]={} because the other bits are not set anywhere
	for(int index=1; index<=(int)data.size(); ++index)
		table[index]=table[index-1]|table[index-1]<<data[index-1];

	if(not table[data.size()][half]) return false;

	int curSum=half;
	for(int index=(int)data.size(); index--;){
		assert(table[index+1][curSum]);
		if(not table[index][curSum]){
			assert(data[index]>0);
			curSum-=data[index];
			data[index]=-data[index];
			assert(table[index][curSum]);
		}
	}
	assert(curSum==0);
	return true;
}

void up(){
	// okay...
	int n; std::cin>>n;
	std::vector<int> horizontal(n);
	for(auto& it: horizontal) {
		std::cin>>it;
	}
	int n_; std::cin>>n_;
	std::vector<int> vertical(n_);
	for(auto& it: vertical) {
		std::cin>>it;
	}
	if(n!=n_ or not split(horizontal) or not split(vertical)){
		std::cout<<"No\n";
		return;
	}


	auto horizontalSorted=horizontal, verticalSorted=vertical;
	std::sort(begin(horizontalSorted), end(horizontalSorted));
	std::sort(begin(verticalSorted), end(verticalSorted));

	struct Segment{int index, coordinate;
		bool operator<(Segment other) const{return coordinate<other.coordinate;}
	};
	std::vector<Segment> segments;

	// this is proven to converge, but **not** proven to have a correct result
	// **or** converge in 10 iterations...

	for(int _=0; _<10; ++_){
		// consider horizontal segments
		int x=0, y=0;
		segments.clear();
		for(int i=0; i<n; ++i){
			segments.push_back({i, y});
			x+=horizontal[i];
			y+=vertical[i];
		}
		assert(x==0); assert(y==0);
		std::stable_sort(begin(segments), end(segments));
		for(int index=0; index<n; ++index)
			horizontal[segments[index].index]=horizontalSorted[index];

		// consider vertical segments
		x=0, y=0;
		segments.clear();
		for(int i=0; i<n; ++i){
			x+=horizontal[i];
			segments.push_back({i, x});
			y+=vertical[i];
		}
		assert(x==0); assert(y==0);
		std::stable_sort(begin(segments), end(segments));
		for(int index=0; index<n; ++index)
			vertical[segments[index].index]=verticalSorted[index];
	}

	std::cout<<"Yes\n";
	int x=0, y=0;
	for(int i=0; i<n; ++i){
		std::cout<<x<<' '<<y<<'\n';
		x+=horizontal[i];
		std::cout<<x<<' '<<y<<'\n';
		y+=vertical[i];
	}
	assert(x==0); assert(y==0);


}