#ATarc093d. [ARC093F] Dark Horse

[ARC093F] Dark Horse

题目描述

【题意简述】

  • 2N2^N 个人,按照满二叉树的形态进行淘汰赛,一开始的排列顺序为所有 (2N)!(2^N)! 个排列之一。
  • 你是第 11 个人,已知每一对人之间的实力关系,具体地说:
    • 给出 MM 个人 A1AMA_1 \sim A_M
    • MM 个人都打得过你。
    • 你打得过除了这 MM 个人之外的所有其他人。
    • 对于剩下的情况(你不参与的情况),编号小的人胜利。
  • 问你在所有的 (2N)!(2^N)! 种情况中,有多少种情况可以取得最终胜利。答案对 109+7{10}^9 + 7 取模。

输入格式

第一行两个整数 N,MN, M
第二行 MM 个整数 A1,A2,,AMA_1, A_2, \ldots , A_M

输出格式

输出一个数表示方案数,对 109+7{10}^9 + 7 取模。

样例 1

输入

2 1
3

输出

8

样例 2

输入

4 3
2 4 6

输出

0

样例 3

输入

3 0

输出

40320

样例 4

输入

3 3
3 4 7

输出

2688

样例 5

输入

16 16
5489 5490 5491 5492 5493 5494 5495 5497 18993 18995 18997 18999 19000 19001 19002 19003

输出

816646464

说明/提示

1N161 \le N \le 160M160 \le M \le 162Ai2N2 \le A_i \le 2^NAi<Ai+1A_i < A_{i + 1}