#abc287c. [abc287_c]Path Graph?

[abc287_c]Path Graph?

Problem Statement

You are given a simple undirected graph with NN vertices and MM edges. The vertices are numbered 1,2,dots,N1, 2, \\dots, N, and the edges are numbered 1,2,dots,M1, 2, \\dots, M.
Edge i,(i=1,2,dots,M)i \\, (i = 1, 2, \\dots, M) connects vertices uiu_i and viv_i.

Determine if this graph is a path graph.

What is a simple undirected graph? A simple undirected graph is a graph without self-loops or multiple edges whose edges do not have a direction.

What is a path graph? A graph with NN vertices numbered 1,2,dots,N1, 2, \\dots, N is said to be a path graph if and only if there is a sequence (v1,v2,dots,vN)(v_1, v_2, \\dots, v_N) that is a permutation of (1,2,dots,N)(1, 2, \\dots, N) and satisfies the following conditions:

  • For all i=1,2,dots,N1i = 1, 2, \\dots, N-1, there is an edge connecting vertices viv_i and vi+1v_{i+1}.
  • If integers ii and jj satisfies 1leqi,jleqN1 \\leq i, j \\leq N and ijgeq2|i - j| \\geq 2, then there is no edge that connects vertices viv_i and vjv_j.

Constraints

  • 2leqNleq2times1052 \\leq N \\leq 2 \\times 10^5
  • 0leqMleq2times1050 \\leq M \\leq 2 \\times 10^5
  • 1lequi,vileqN,(i=1,2,dots,M)1 \\leq u_i, v_i \\leq N \\, (i = 1, 2, \\dots, M)
  • All values in the input are integers.
  • The graph given in the input is simple.

Input

The input is given from Standard Input in the following format:

NN MM u1u_1 v1v_1 u2u_2 v2v_2 vdots\\vdots uMu_M vMv_M

Output

Print Yes if the given graph is a path graph; print No otherwise.


Sample Input 1

4 3
1 3
4 2
3 2

Sample Output 1

Yes

Illustrated below is the given graph, which is a path graph.

example_00


Sample Input 2

2 0

Sample Output 2

No

Illustrated below is the given graph, which is not a path graph.

example_01


Sample Input 3

5 5
1 2
2 3
3 4
4 5
5 1

Sample Output 3

No

Illustrated below is the given graph, which is not a path graph.

example_02