#abc237f. [abc237_f]|LIS| = 3
[abc237_f]|LIS| = 3
Problem Statement
Find the number of sequences that satisfy all of the conditions below, modulo .
- The length is .
- Each of the elements is an integer between and (inclusive).
- Its longest increasing subsequence has the length of exactly .
Notes
A subsequence of a sequence is the result of removing zero or more elements from it and concatenating the remaining elements without changing the order. For example, is a subsequence of , while is not a subsequence of .
A longest increasing subsequence of a sequence is its strictly increasing subsequence with the greatest length.
Constraints
- All values in input are integers.
Input
Input is given from Standard Input in the following format:
Output
Print the answer.
Sample Input 1
4 5
Sample Output 1
135
One sequence that satisfies the conditions is .
On the other hand, do not, because its longest increasing subsequence has the length of .
Sample Input 2
3 4
Sample Output 2
4
Sample Input 3
111 3
Sample Output 3
144980434
Find the count modulo .