問題文

1日2日と指折り数えるとき、吝嗇家は握った手を開くのが惜しくて、6日目を数えられないそうです。このことから俗に、吝嗇家のことを「6日知らず」と言ったというお話が現代にも落語などで伝わっています。

新しく出来たコンピュータは$N$ビットを用いた2進数で非負整数を表します。
例えば、$N=5$の場合、$14$は$01110$ですし、$22$は$10110$です。

このコンピュータは「6日知らず」で、数を順に表していく時、いずれか1ビットずつ立てていって表すのですが、一度1にしたビットを$0$に戻すことを嫌います。このため、このコンピュータが表せる数は、$0$から始まり$2^N-1$で終わる、$N+1$項の非負整数列となります。例えば、$N=4$の場合、$0,2,3,11,15$という数列が表せる数列の一例です。一方、同じ$N=4$であっても、$0,1,3,12,15$という数列は表せません。

今、この「6日知らず」のコンピュータを使って$k$個の非負整数$a_1,a_2,\cdots ,a_k$を表したいとします。$a_1$〜$a_k$のすべてを含み、「6日知らず」のコンピュータで表せるような$N+1$項の非負整数列は一体何通りあるか求めるプログラムを作成してください。但し、$k=0$の場合は、全ての数列が条件を満たします。答えはとても大きくなることがあるので、${10}^9+7$で割った剰余を出力してください。なお、表すことが出来ない場合は$0$通りとします。

入力

$N$ $k$
$a_1$ $a_2$ ... $a_k$

1行目には、整数で$N$と$k$が半角空白を区切りとして与えられます。$1\le N\le 60$、$0\le k\le N+1$
2行目には、半角空白を区切りとして$k$個の非負整数が与えられ、これが順に$a_1,a_2,\cdots ,a_k$を表します。この値はいずれも0以上$2^N-1$以下であり、同じ値が複数含まれることはありません。

$k=0$である入力の場合、2行目の入力がない点に注意してください。

出力

出力は1行のみで、「6日知らず」のコンピュータで表せるような$N+1$項の非負整数列は一体何通りあるか、${10}^9+7$で割った剰余を整数値で出力してください。

サンプル

4 2
2 11

2

10 3
5 1 3

0

3 0

6