United Cows of Farmer John (Platinum)
The United Cows of Farmer John (UCFJ) are sending a delegation to the International bOvine olympIad (IOI).
There are cows participating in delegation selection. They are standing in a line, and cow has breed .
The delegation will consist of a contiguous interval of at least three cows — that is, cows for integers and satisfying and . Three of the cows in the chosen interval are marked as delegation leaders. For legal reasons, the two outermost cows of the chosen interval must be leaders. Moreover, to avoid intra-breed conflict, every leader must be of a different breed from the rest of the delegation (leaders or not).
Help the UCFJ determine (for tax reasons) the number of ways they might choose a delegation to send to the IOI. Two delegations are considered different if they have different members or different leaders.
Input
The first line contains the number of the cows .
The second line contains integers .
Output
Print the number of possible delegations.
Examples
Each delegation corresponds to one of the following triples of leaders:
.