#D7458. Endless BFS

    ID: 6200 Type: Default 2000ms 536MiB

Endless BFS

Endless BFS

Mr. Endo wanted to write the code that performs breadth-first search (BFS), which is a search algorithm to explore all vertices on an undirected graph. An example of pseudo code of BFS is as follows:

1: current{start_vertex}current \leftarrow \{start\_vertex\} 2: visitedcurrentvisited \leftarrow current 3: while visitedvisited \ne the set of all the vertices 4: found{}found \leftarrow \{\} 5: for vv in currentcurrent 6: for each uu adjacent to vv 7: foundfound{u}found \leftarrow found \cup\{u\} 8: currentfoundvisitedcurrent \leftarrow found \setminus visited 9: visitedvisitedfoundvisited \leftarrow visited \cup found

However, Mr. Endo apparently forgot to manage visited vertices in his code. More precisely, he wrote the following code:

1: current{start_vertex}current \leftarrow \{start\_vertex\} 2: while currentcurrent \ne the set of all the vertices 3: found{}found \leftarrow \{\} 4: for vv in currentcurrent 5: for each uu adjacent to vv 6: foundfound{u}found \leftarrow found \cup \{u\} 7: currentfoundcurrent \leftarrow found

You may notice that for some graphs, Mr. Endo's program will not stop because it keeps running infinitely. Notice that it does not necessarily mean the program cannot explore all the vertices within finite steps. See example 2 below for more details.Your task here is to make a program that determines whether Mr. Endo's program will stop within finite steps for a given graph in order to point out the bug to him. Also, calculate the minimum number of loop iterations required for the program to stop if it is finite.

Input

The input consists of a single test case formatted as follows.

NN MM U1U_1 V1V_1 ... UMU_M VMV_M

The first line consists of two integers NN (2N100,0002 \leq N \leq 100,000) and MM (1M100,0001 \leq M \leq 100,000), where NN is the number of vertices and MM is the number of edges in a given undirected graph, respectively. The ii-th line of the following MM lines consists of two integers UiU_i and ViV_i (1Ui,ViN1 \leq U_i, V_i \leq N), which means the vertices UiU_i and ViV_i are adjacent in the given graph. The vertex 1 is the start vertex, i.e. startvertexstart\\_vertex in the pseudo codes. You can assume that the given graph also meets the following conditions.

  • The graph has no self-loop, i.e., UiViU_i \ne V_i for all 1iM1 \leq i \leq M.
  • The graph has no multi-edge, i.e., Ui,ViUj,Vj\\{Ui,Vi\\} \ne \\{U_j,V_j\\} for all 1i<jM1 \leq i < j \leq M.
  • The graph is connected, i.e., there is at least one path from UU to VV (and vice versa) for all vertices 1U,VN1 \leq U, V \leq N

Output

If Mr. Endo's wrong BFS code cannot stop within finite steps for the given input graph, print -1 in a line. Otherwise, print the minimum number of loop iterations required to stop.

Examples

Input

3 3 1 2 1 3 2 3

Output

2

Input

4 3 1 2 2 3 3 4

Output

-1

Input

4 4 1 2 2 3 3 4 4 1

Output

-1

Input

8 9 2 1 3 5 1 6 2 5 3 1 8 4 2 7 7 1 7 4

Output

3

inputFormat

Input

The input consists of a single test case formatted as follows.

NN MM U1U_1 V1V_1 ... UMU_M VMV_M

The first line consists of two integers NN (2N100,0002 \leq N \leq 100,000) and MM (1M100,0001 \leq M \leq 100,000), where NN is the number of vertices and MM is the number of edges in a given undirected graph, respectively. The ii-th line of the following MM lines consists of two integers UiU_i and ViV_i (1Ui,ViN1 \leq U_i, V_i \leq N), which means the vertices UiU_i and ViV_i are adjacent in the given graph. The vertex 1 is the start vertex, i.e. startvertexstart\\_vertex in the pseudo codes. You can assume that the given graph also meets the following conditions.

  • The graph has no self-loop, i.e., UiViU_i \ne V_i for all 1iM1 \leq i \leq M.
  • The graph has no multi-edge, i.e., Ui,ViUj,Vj\\{Ui,Vi\\} \ne \\{U_j,V_j\\} for all 1i<jM1 \leq i < j \leq M.
  • The graph is connected, i.e., there is at least one path from UU to VV (and vice versa) for all vertices 1U,VN1 \leq U, V \leq N

outputFormat

Output

If Mr. Endo's wrong BFS code cannot stop within finite steps for the given input graph, print -1 in a line. Otherwise, print the minimum number of loop iterations required to stop.

Examples

Input

3 3 1 2 1 3 2 3

Output

2

Input

4 3 1 2 2 3 3 4

Output

-1

Input

4 4 1 2 2 3 3 4 4 1

Output

-1

Input

8 9 2 1 3 5 1 6 2 5 3 1 8 4 2 7 7 1 7 4

Output

3

样例

4 4
1 2
2 3
3 4
4 1
-1