Types: 
- N: int
- a: List[int]
- b: List[int]

Ranges: 
- 2 ≤ N ≤ 10^5
- 1 ≤ a_i, b_i ≤ N

Addtl Info: 
- The graph formed by the cells and the roads is a tree.