United Cows of Farmer John

United Cows of Farmer John(UCFJ)은 International bOvine olympIad(IOI)에 대표단을 파견한다.

대표단 선발에 참여하는 소는 $N$마리이다($1 \leq N \leq 2 \cdot 10^5$). 소들은 한 줄로 서 있고, $i$번째 소의 품종은 $b\_i$이다.

대표단은 적어도 두 마리의 연속한 구간으로 구성된다. 즉, $1\le l<r\le N$인 정수 $l$과 $r$에 대해 $l\ldots r$번째 소들이다. 선택한 구간의 양 끝 두 마리는 "대표"로 지정된다. 품종 간의 갈등을 피하기 위해, 각 대표의 품종은 대표단의 나머지 소들(대표이든 아니든)의 품종과 달라야 한다.

UCFJ가 IOI에 파견할 대표단을 선택할 수 있는 경우의 수를 (세금 문제로) 구하도록 도와주자.

첫째 줄에 $N$이 주어진다.

둘째 줄에 $N$개의 정수 $b\_1,b\_2,\ldots,b\_N$이 주어지며, 각 값은 $[1,N]$ 범위에 있다.

가능한 대표단의 수를 한 줄에 출력한다.

이 문제에서 다루는 정수의 크기가 크므로 64비트 정수형(예: C/C++의 "long long")이 필요할 수 있다.

각 대표단은 다음 대표 쌍 중 하나에 대응한다: $(1,2),(1,3),(1,4),(1,7),(2,3),(2,4),(3,4),(4,5),(4,6),(4,7),(5,6),(5,7),(6,7).$