#arc093d. [arc093_d]Dark Horse

[arc093_d]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 取模。

【数据范围】

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