Al estudiar el problema del isomorfismo de grafos, Pog se encontró con algunas dificultades. Como es bien sabido, el isomorfismo de grafos es un problema famoso en la teoría de la complejidad computacional, cuya complejidad exacta aún no se ha determinado por completo. Por lo tanto, Pog decidió modificar la definición del problema de isomorfismo de grafos.
Primero, en un grafo no dirigido con pesos $G$, se define el peso de un camino $u \to x_1 \to \dots \to x_k \to v$ como el valor máximo de todos los pesos de las aristas en dicho camino.
A continuación, se define la distancia $\text{dis}_{G,u,v}$ entre dos nodos distintos $u, v$ ($u \neq v$) en el grafo $G$ como el valor mínimo de los pesos de todos los caminos de $u$ a $v$. Si $u$ y $v$ no están conectados (es decir, no existe un camino de $u$ a $v$), entonces se define $\text{dis}_{G,u,v} = +\infty$.
Se define que dos grafos $G_1$ y $G_2$ con $n$ vértices, numerados del $1, 2, \dots, n$, son isomorfos si y solo si para todos los $u, v$ ($1 \leq u, v \leq n, u \neq v$), se cumple que $\text{dis}_{G_1,u,v} = \text{dis}_{G_2,u,v}$. Tenga en cuenta que esta definición es diferente del isomorfismo en el sentido habitual, ya que no se permite volver a numerar los vértices.
Ahora, ayude a Pog a determinar si los dos grafos dados son isomorfos bajo esta nueva definición.
Entrada
El problema contiene múltiples casos de prueba. La primera línea contiene un entero $T$ ($1 \leq T \leq 10^4$), que indica el número de casos de prueba.
Para cada caso de prueba: La primera línea contiene tres enteros $n, m_1, m_2$ ($1 \leq n \leq 10^5, 1 \leq m_1, m_2 \leq 2 \times 10^5$), que representan el número de vértices y el número de aristas de $G_1$ y $G_2$, respectivamente.
A continuación, $m_1$ líneas, cada una con tres enteros $u, v, w$ ($1 \leq u, v \leq n, 1 \leq w \leq 10^9$), que representan una arista en $G_1$.
A continuación, $m_2$ líneas, cada una con tres enteros $u, v, w$ ($1 \leq u, v \leq n, 1 \leq w \leq 10^9$), que representan una arista en $G_2$.
Se garantiza que la suma de $n$ en los $T$ casos de prueba no supera $10^5$, y la suma de $m_1$ y la suma de $m_2$ no superan $2 \times 10^5$. Tenga en cuenta que el grafo puede contener aristas múltiples, bucles y puede no estar conectado.
Salida
Para cada caso de prueba: Imprima una línea con una cadena de texto: si son isomorfos, imprima YES; de lo contrario, imprima NO (no distingue entre mayúsculas y minúsculas).
Ejemplos
Entrada 1
3 2 1 1 1 2 1 1 2 2 2 1 1 1 2 1 1 2 1 3 3 3 1 2 1 1 3 1 2 3 2 1 2 1 1 3 2 2 3 1
Salida 1
NO YES YES