P23428 [AtCoder] LIDS
NOI
题目描述

Problem Statement

Given N, pos, val, find the number of permutations $P=(P_1, P_2, \ldots, P_N)$ of $(1,2,\ldots,N)$ that satisfy all of the following conditions, modulo 10^9+7:

  • LIS(P) + LDS(P) = N+1
  • P_{pos} = val

Here, LIS(P) denotes the length of the longest increasing subsequence of P, and LDS(P) denotes the length of the longest decreasing subsequence of P.

Input

Input is given from Standard Input in the following format:
N pos val

Output

Print the answer.

Constraints

  • $1 \le N \le 5\cdot 10^6$
  • $1 \le pos, val \le N$
  • All values in the input are integers.

Sample Input 1

3 2 2

Sample Output 1

2

The following permutations satisfy the conditions: (1, 2, 3), (3, 2, 1).

Sample Input 2

4 1 1

Sample Output 2

6

The following permutations satisfy the conditions: (1, 2, 3, 4), (1, 2, 4, 3), (1, 3, 2, 4), (1, 3, 4, 2), (1, 4, 2, 3), (1, 4, 3, 2).

Sample Input 3

5 2 5

Sample Output 3

11

Sample Input 4

2022 69 420

Sample Output 4

128873576

输入格式

见题面 Input 部分

输出格式

见题面 Output 部分

样例输入
3 2 2
样例输出
2