Types: N: int, a_i: int, b_i: int
Ranges: 2 ≤ N ≤ 10^5, 1 ≤ a_i, b_i ≤ N
Addtl Info: The given graph is a tree.