Types: N: int, a: List[int], b: List[int]
Ranges: 2 ≤ N ≤ 10^5, 1 ≤ a[i], b[i] ≤ N (1 ≤ i ≤ N-1)
Addtl Info: The given graph is a tree.