Entirely Unsorted Sequences

문제

You have recently been promoted to lead scientist at NASA, the National Association for Sorting Algorithms. Congratulations! Your primary responsibility is testing the sorting algorithms that your team produces. Fortunately, NASA has a large budget this year, and you were able to buy some state of the art integers you can use to test the sorting algorithms.

As the lead scientist, you are well aware that algorithms are tested by their behaviour on worst case inputs. So, to test sorting algorithms, you need sequences that are as unsorted as possible.

Given a sequence of numbers (a₁, . . . , a_n) we say that an element a_k is sorted if for all indices j such that j > k, a_j ≥ a_k and for all indices j such that j < k, a_j ≤ a_k. For example, in

(1, 3, 2, 3, 4, 6, 5, 5)

the sorted elements are the 1, the second occurrence of 3, and the 4. Note that a sequence is sorted if and only if all its elements are sorted. A sequence is called entirely unsorted if none of its elements are sorted.

Given a sequence of integers, what is the number of entirely unsorted sequences you can make by permuting its elements? Two sequences (b₁, . . . , b_n) and (c₁, . . . , c_n) are considered to be different if there is some index i ∈ {1, . . . , n} for which b_i ≠ c_i. Because the number of permutations may be very large, please give it modulo 10⁹ + 9.

입력

The input starts with an integer 1 ≤ n ≤ 5000. Then follows a single line with n integers a₁, . . . , a_n, with 0 ≤ a_i ≤ 10⁹ for all i.

출력

Print a single integer: the number of entirely unsorted sequences you can make by permuting the a_i, modulo 10⁹ + 9.