Statement
무향 그래프 가 주어진다. 그래프는 개의 정점과 개의 간선으로 이루어져 있으며, 정점에는 의 번호가 붙어 있다.
각 간선은 색 중 하나로 칠할 수 있다. 단, 모든 간선을 모든 색으로 칠할 수 있는 것은 아니다. 번 간선에 대해 이면 번 간선을 번 색으로 칠할 수 있고, 이면 번 간선을 번 색으로 칠할 수 없다.
개의 질의가 주어진다. 각 질의는 일곱 정수 로 이루어져 있다.
각 질의마다, 다음 조건을 모두 만족하는 스패닝 트리와 색 배정이 존재하는지 판단하여라.
- 그래프에서 정확히 개의 간선을 골라 모든 정점을 연결하는 트리를 만든다.
- 고른 각 간선에는 그 간선에 허용된 색 중 하나를 칠한다.
- 모든 ()에 대해, 번 색으로 칠해진 간선의 개수가 정확히 개이다.
가능한 경우 Yes, 불가능한 경우 No를 출력하여라.
그래프가 연결되어 있음은 보장되지 않는다.
Input
입력은 다음과 같은 형식으로 주어진다.
Output
각 질의마다 한 줄에 하나씩 답을 출력한다.
번 질의를 만족하는 스패닝 트리와 색 배정이 존재하면 Yes를 출력한다. 존재하지 않으면 No를 출력한다.
Constraints
- .
- .
- .
- ().
- ().
- 같은 두 정점을 잇는 간선이 여러 개 있을 수 있다.
- (, ).
- 각 번 간선에 대해 이다 ().
- (, ).
Subtasks
Samples
예제 1
입력
4 5
1 2 1 0 0 0 0 0 0
2 3 0 1 0 0 0 0 0
3 4 1 1 0 0 0 0 0
1 3 0 0 1 0 0 0 0
2 4 1 0 1 0 0 0 0
4
2 1 0 0 0 0 0
0 0 3 0 0 0 0
1 1 1 0 0 0 0
2 2 0 0 0 0 0
출력
Yes
No
Yes
No
첫 번째 질의에서는 정점 과 를 잇는 간선을 번 색, 정점 와 을 잇는 간선을 번 색, 정점 과 를 잇는 간선을 번 색으로 칠하면 조건을 만족한다.
두 번째 질의에서는 번 색 간선만 개 사용하는 스패닝 트리를 만들 수 없다.
세 번째 질의에서는 번 색, 번 색, 번 색을 각각 하나씩 사용하는 스패닝 트리를 만들 수 있다.
네 번째 질의에서는 필요한 간선 수가 개이므로, 개의 간선으로 이루어진 스패닝 트리가 될 수 없다.
예제 2
입력
4 5
1 2 1 0 0 0 0 0 0
1 2 0 1 0 0 0 0 0
2 3 0 1 1 0 0 0 0
3 4 0 0 1 0 0 0 0
1 4 1 0 0 1 0 0 0
4
1 1 1 0 0 0 0
2 0 1 0 0 0 0
0 3 0 0 0 0 0
1 1 0 0 0 0 0
출력
Yes
Yes
No
No
예제 3
입력
5 4
1 2 1 0 0 0 0 0 0
1 2 0 1 0 0 0 0 0
2 3 0 0 1 0 0 0 0
4 5 1 1 1 1 1 1 1
3
1 1 1 1 0 0 0
0 0 0 1 0 0 3
1 1 1 0 0 0 0
출력
No
No
No
예제 4
입력
8 18
1 2 1 0 0 0 0 0 0
1 2 0 1 0 0 0 0 0
2 3 1 0 0 0 0 0 0
2 3 0 1 0 0 0 0 0
3 4 1 0 0 0 0 0 0
3 4 0 1 0 0 0 0 0
4 5 1 0 0 0 0 0 0
4 5 0 1 0 0 0 0 0
5 6 1 0 0 0 0 0 0
5 6 0 1 0 0 0 0 0
6 7 1 0 0 0 0 0 0
6 7 0 1 0 0 0 0 0
7 8 1 0 0 0 0 0 0
7 8 0 1 0 0 0 0 0
1 3 0 0 1 0 0 0 0
3 5 0 0 1 0 0 0 0
5 7 0 0 1 0 0 0 0
2 4 0 0 1 0 0 0 0
10
1 0 0 0 0 0 0
6 0 0 0 0 0 0
7 0 0 0 0 0 0
0 7 0 0 0 0 0
3 4 0 0 0 0 0
0 0 7 0 0 0 0
0 0 4 3 0 0 0
5 0 2 0 0 0 0
0 5 2 0 0 0 0
0 0 0 0 0 0 7
출력
No
No
Yes
Yes
Yes
No
No
Yes
Yes
No