A10842 | Tree Folding

Vanya wants to minimize a tree. He can perform the following operation multiple times: choose a vertex $v$ , and two disjoint (except for $v$ ) paths of equal length $a_{0}=v$ , $a_{1}$ , ..., $a_{k}$ , and $b_{0}=v$ , $b_{1}$ , ..., $b_{k}$ . Additionally, vertices $a_{1}$ , ..., $a_{k}$ , $b_{1}$ , ..., $b_{k}$ must not have any neighbours in the tree other than adjacent vertices of corresponding paths. After that, one of the paths may be merged into the other, that is, the vertices $b_{1}$ , ..., $b_{k}$ can be effectively erased:

Help Vanya determine if it possible to make the tree into a path via a sequence of described operations, and if the answer is positive, also determine the shortest length of such path.

The first line of input contains the number of vertices $n$ ( $2<=n<=2·10^{5}$ ).

Next $n-1$ lines describe edges of the tree. Each of these lines contains two space-separated integers $u$ and $v$ ( $1<=u,v<=n$ , $u≠v$ ) — indices of endpoints of the corresponding edge. It is guaranteed that the given graph is a tree.

If it is impossible to obtain a path, print -1. Otherwise, print the minimum number of edges in a possible path.