CF1647F.Madoka and Laziness

Madoka has become too lazy to write a legend, so let's go straight to the formal description of the problem.

An array of integers $a_1, a_2, \ldots, a_n$ is called a hill if it is not empty and there is an index $i$ in it, for which the following is true: $a_1 < a_2 < \ldots < a_i > a_{i + 1} > a_{i + 2} > \ldots > a_n$ .

A sequence $x$ is a subsequence of a sequence $y$ if $x$ can be obtained from $y$ by deletion of several (possibly, zero or all) elements keeping the order of the other elements. For example, for an array $[69, 1000, 228, -7]$ the array $[1000, -7]$ is a subsequence, while $[1]$ and $[-7, 1000]$ are not.

Splitting an array into two subsequences is called good if each element belongs to exactly one subsequence, and also each of these subsequences is a hill.

You are given an array of distinct positive integers $a_1, a_2, \ldots a_n$ . It is required to find the number of different pairs of maxima of the first and second subsequences among all good splits. Two pairs that only differ in the order of elements are considered same.

The first line of input contains a single integer $n$ ( $2 \le n \le 5 \cdot 10^5$ ) — array size.

The second line of input contains $n$ integers $a_1, a_2, \dots, a_n$ ( $1 \le a_i \le 10^9$ ) — the elements of the array. It is guaranteed that all $a_i$ are pairwise distinct.

In a single line, print exactly one number — the number of different pairs of maxima of the first and second subsequences among all good splits.

In the first test case there are 3 possible pairs: $(3, 4)$ , $(2, 4)$ , $(1, 4)$ . And they are achieved with the following partitions: $[1, 2, 3], [4]$ ; $[4, 3], [1, 2]$ ; $[1], [2, 4, 3]$