The biggest event of the year – Cota 2 world championship "The Innernational" is right around the corner. $2^n$ teams will compete in a double-elimination format (please, carefully read problem statement even if you know what is it) to identify the champion. 

Teams are numbered from $1$ to $2^n$ and will play games one-on-one. All teams start in the upper bracket.

All upper bracket matches will be held played between teams that haven't lost any games yet. Teams are split into games by team numbers. Game winner advances in the next round of upper bracket, losers drop into the lower bracket.

Lower bracket starts with $2^{n-1}$ teams that lost the first upper bracket game. Each lower bracket round consists of two games. In the first game of a round $2^k$ teams play a game with each other (teams are split into games by team numbers). $2^{k-1}$ loosing teams are eliminated from the championship, $2^{k-1}$ winning teams are playing $2^{k-1}$ teams that got eliminated in this round of upper bracket (again, teams are split into games by team numbers). As a result of each round both upper and lower bracket have $2^{k-1}$ teams remaining. See example notes for better understanding.

Single remaining team of upper bracket plays with single remaining team of lower bracket in grand-finals to identify championship winner.

You are a fan of teams with numbers $a_1, a_2, ..., a_k$. You want the championship to have as many games with your favourite teams as possible. Luckily, you can affect results of every championship game the way you want. What's maximal possible number of championship games that include teams you're fan of?


-----Input-----

First input line has two integers $n, k$ — $2^n$ teams are competing in the championship. You are a fan of $k$ teams ($2 \le n \le 17; 0 \le k \le 2^n$).

Second input line has $k$ distinct integers $a_1, \ldots, a_k$ — numbers of teams you're a fan of ($1 \le a_i \le 2^n$).


-----Output-----

Output single integer — maximal possible number of championship games that include teams you're fan of.


-----Examples-----
Input
3 1
6

Output
6

Input
3 3
1 7 8

Output
11

Input
3 4
1 3 5 7

Output
14



-----Note-----

On the image, each game of the championship is denoted with an English letter ($a$ to $n$). Winner of game $i$ is denoted as $Wi$, loser is denoted as $Li$. Teams you're a fan of are highlighted with red background.

In the first example, team $6$ will play in 6 games if it looses the first upper bracket game (game $c$) and wins all lower bracket games (games $h, j, l, m$). [Image]

In the second example, teams $7$ and $8$ have to play with each other in the first game of upper bracket (game $d$). Team $8$ can win all remaining games in upper bracket, when teams $1$ and $7$ will compete in the lower bracket. [Image]

In the third example, your favourite teams can play in all games of the championship. [Image]

```python

USER_FILENAME = "<user_code>"
import sys, json, builtins
import math, heapq, bisect, itertools, functools, collections, statistics, fractions, decimal, operator, array, random, re, string, os, pathlib
try:
    import resource as _res
except Exception:
    _res = None
from collections import Counter, defaultdict, deque, OrderedDict
from functools import lru_cache, reduce
from itertools import accumulate, permutations, combinations, product
from math import gcd, ceil, floor, sqrt
from decimal import Decimal
try:
    from typing import *
except Exception:
    pass
try:
    sys.setrecursionlimit(1_000_000)
except Exception:
    pass
try:
    import site as _site
    try:
        _sys_sites = _site.getsitepackages() if hasattr(_site, "getsitepackages") else []
        for _p in _sys_sites:
            if _p and _p not in sys.path:
                sys.path.append(_p)
    except Exception:
        pass
    try:
        _usp = _site.getusersitepackages()
        if isinstance(_usp, str):
            _usp = [_usp]
        for _p in _usp:
            if _p and _p not in sys.path:
                sys.path.append(_p)
    except Exception:
        pass
except Exception:
    pass

ns = {"__name__": "__main__"}
for _k, _v in list(globals().items()):
    if not _k.startswith("_"):
        ns[_k] = _v
_CODE = 'import sys\ninput = sys.stdin.readline\n\nn,k=list(map(int,input().split()))\nif k==0:\n    print(0)\n    return\n\nA=sorted(map(int,input().split()))\n\n# DP[UL][n][left]\n# [left*pow(2,n),left*pow(2,n)+pow(2,n))の間のチームで,\n# ファンのチームが\n# UL=0: upperでもlowerでも勝ち残っている\n# UL=1: upperでのみ勝ち残っている\n# UL=2: lowerでのみ勝ち残っている\n# ときの、そこまでのファンのチームの試合数の最大値.\n\nDP=[[[0]*((1<<n)+2) for i in range(n+1)] for UL in range(3)]\n\nfor i in range(k):\n    if A[i]%2==1:\n        DP[1][1][A[i]]=1\n        DP[2][1][A[i]]=1\n    else:\n        DP[1][1][A[i]-1]=1\n        DP[2][1][A[i]-1]=1\n\n    if i<k-1 and A[i]%2==1 and A[i+1]==A[i]+1:\n        DP[0][1][A[i]]=1\n        \nfor i in range(2,n+1):\n    for left in range(1,(1<<n)+1,1<<i):\n\n        if DP[0][i-1][left]:\n            DP[0][i][left]=max(DP[0][i-1][left] + DP[0][i-1][left+(1<<(i-1))] + 3,DP[0][i-1][left] + DP[1][i-1][left+(1<<(i-1))] + 3,\\\n                               DP[0][i-1][left] + DP[2][i-1][left+(1<<(i-1))] + 3)\n            \n        if DP[0][i-1][left+(1<<(i-1))]:\n            DP[0][i][left]=max(DP[0][i][left], DP[0][i-1][left] + DP[0][i-1][left+(1<<(i-1))] + 3,\\\n                               DP[1][i-1][left] + DP[0][i-1][left+(1<<(i-1))] + 3,DP[2][i-1][left] + DP[0][i-1][left+(1<<(i-1))] + 3)\n\n        if DP[1][i-1][left]:\n            DP[1][i][left]=max(DP[1][i][left], DP[1][i-1][left] + 1)\n            DP[2][i][left]=max(DP[2][i][left], DP[1][i-1][left] + 2)\n\n        if DP[2][i-1][left]:\n            DP[2][i][left]=max(DP[2][i][left], DP[2][i-1][left] + 2)\n\n        if DP[1][i-1][left+(1<<(i-1))]:\n            DP[1][i][left]=max(DP[1][i][left], DP[1][i-1][left+(1<<(i-1))] + 1)\n            DP[2][i][left]=max(DP[2][i][left], DP[1][i-1][left+(1<<(i-1))] + 2)\n\n        if DP[2][i-1][left+(1<<(i-1))]:\n            DP[2][i][left]=max(DP[2][i][left], DP[2][i-1][left+(1<<(i-1))] + 2)\n\n\n        if DP[1][i-1][left] and DP[1][i-1][left+(1<<(i-1))]:\n            DP[0][i][left]=max(DP[0][i][left], DP[1][i-1][left] + DP[1][i-1][left+(1<<(i-1))] + 2)\n\n        if DP[1][i-1][left] and DP[2][i-1][left+(1<<(i-1))]:\n            DP[0][i][left]=max(DP[0][i][left], DP[1][i-1][left] + DP[2][i-1][left+(1<<(i-1))] + 3)\n\n        if DP[2][i-1][left] and DP[1][i-1][left+(1<<(i-1))]:\n            DP[0][i][left]=max(DP[0][i][left], DP[2][i-1][left] + DP[1][i-1][left+(1<<(i-1))] + 3)\n\n        if DP[2][i-1][left] and DP[2][i-1][left+(1<<(i-1))]:\n            DP[2][i][left]=max(DP[2][i][left], DP[2][i-1][left] + DP[2][i-1][left+(1<<(i-1))] + 2)\n\n\n"""                          \nfor i in range(n+1):\n    print(DP[0][i])\nprint()\nfor i in range(n+1):\n    print(DP[1][i])\nprint()\nfor i in range(n+1):\n    print(DP[2][i])\nprint()\nfor i in range(n+1):\n    print(DP[0][0][i])\n"""\nprint(max(DP[0][n][1],DP[1][n][1],DP[2][n][1])+1)\n'
_co = compile(_CODE, USER_FILENAME, "exec")
exec(_co, ns, ns)

```

Measured memory_bytes: