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