#abc187f. [abc187_f]Close Group

[abc187_f]Close Group

Problem Statement

Given is a simple undirected graph with NN vertices and MM edges. The vertices are numbered 1,2,dots,N1, 2, \\dots, N, and the ii-th edge connects Vertices AiA_i and BiB_i.

Find the minimum possible number of connected components in the graph after removing zero or more edges so that the following condition will be satisfied:

Condition:
For every pair of vertices (a,b)(a, b) such that 1lea<bleN1 \\le a < b \\le N, if Vertices aa and bb belong to the same connected component, there is an edge that directly connects Vertices aa and bb.

Constraints

  • All values in input are integers.
  • 1leNle181 \\le N \\le 18
  • 0leMlefracN(N1)20 \\le M \\le \\frac{N(N - 1)}{2}
  • 1leAi<BileN1 \\le A_i < B_i \\le N
  • (Ai,Bi)neq(Aj,Bj)(A_i, B_i) \\neq (A_j, B_j) for ineqji \\neq j.

Input

Input is given from Standard Input in the following format:

NN MM A1A_1 B1B_1 vdots\\vdots AMA_M BMB_M

Output

Print the answer.


Sample Input 1

3 2
1 2
1 3

Sample Output 1

2

Without removing edges, the pair (2,3)(2, 3) violates the condition. Removing one of the edges disconnects Vertices 22 and 33, satisfying the condition.


Sample Input 2

4 6
1 2
1 3
1 4
2 3
2 4
3 4

Sample Output 2

1

Sample Input 3

10 11
9 10
2 10
8 9
3 4
5 8
1 8
5 6
2 5
3 6
6 9
1 9

Sample Output 3

5

Sample Input 4

18 0

Sample Output 4

18