#include <bits/stdc++.h>
using namespace std;
typedef long long LL;
typedef pair<int, int> II;
const int N = (int) 1e5 + 10;
int n, a[N];
vector<int> adj[N];
#define m ((l + r) >> 1)
struct SegmentTree {
struct Node {
int cnt, val;
Node() {};
Node(int cnt, int val): cnt(cnt), val(val) {};
} ST[N * 5];
void Build(int k, int l, int r) {
if (l == r) return ST[k] = Node(1, 1), void(0);
Build(k << 1, l, m);
Build(k << 1 | 1, m + 1, r);
ST[k].val = ST[k << 1].val + ST[k << 1 | 1].val;
}
void Update(int k, int l, int r, int i, int v) {
if (l == r) {
ST[k].cnt += v;
if (ST[k].cnt == 0) ST[k].val = 0;
else ST[k].val = 1;
return;
}
if (i <= m) Update(k << 1, l, m, i, v);
else Update(k << 1 | 1, m + 1, r, i, v);
ST[k].val = ST[k << 1].val + ST[k << 1 | 1].val;
}
int Query(int k, int l, int r, int i, int j) {
if (l > j || r < i) return 0;
if (i <= l && r <= j) return ST[k].val;
return Query(k << 1, l, m, i, j) + Query(k << 1 | 1, m + 1, r, i, j);
}
} ST;
#undef m
int main() {
#ifdef LOCAL
freopen("Data.inp", "r", stdin);
freopen("Data.out", "w", stdout);
#endif
scanf("%d", &n);
for (int i = 1; i <= n; ++i) scanf("%d", &a[i]);
for (int i = 1; i <= n; ++i) adj[a[i]].push_back(i);
LL ans = 0; ST.Build(1, 1, n);
for (int x = 1; x <= n; ++x) {
int y = a[x]; if (y < x || a[y] != x) continue;
for (int i = 0; i < (int) adj[x].size(); ++i) ST.Update(1, 1, n, adj[x][i], -1);
for (int i = 0; i < (int) adj[y].size(); ++i) ST.Update(1, 1, n, adj[y][i], -1);
if (x + 1 <= y - 1) ans += ST.Query(1, 1, n, x + 1, y - 1);
for (int i = 0; i < (int) adj[x].size(); ++i) ST.Update(1, 1, n, adj[x][i], 1);
for (int i = 0; i < (int) adj[y].size(); ++i) ST.Update(1, 1, n, adj[y][i], 1);
}
for (int y = 1; y <= n; ++y) {
ST.Update(1, 1, n, a[y], -1);
for (int i = 0; i < (int) adj[y].size(); ++i) ST.Update(1, 1, n, adj[y][i], -1);
for (int t = 0; t < (int) adj[y].size(); ++t) {
int x = adj[y][t]; if (x + 1 > y - 1) continue;
for (int i = 0; i < (int) adj[x].size(); ++i) ST.Update(1, 1, n, adj[x][i], -1);
ans -= ST.Query(1, 1, n, x + 1, y - 1);
for (int i = 0; i < (int) adj[x].size(); ++i) ST.Update(1, 1, n, adj[x][i], 1);
}
ST.Update(1, 1, n, a[y], 1);
for (int i = 0; i < (int) adj[y].size(); ++i) ST.Update(1, 1, n, adj[y][i], 1);
}
for (int x = 1; x <= n; ++x) {
ST.Update(1, 1, n, a[x], -1);
for (int i = 0; i < (int) adj[x].size(); ++i) ST.Update(1, 1, n, adj[x][i], -1);
for (int t = 0; t < (int) adj[x].size(); ++t) {
int y = adj[x][t]; if (x + 1 > y - 1) continue;
for (int i = 0; i < (int) adj[y].size(); ++i) ST.Update(1, 1, n, adj[y][i], -1);
ans -= ST.Query(1, 1, n, x + 1, y - 1);
for (int i = 0; i < (int) adj[y].size(); ++i) ST.Update(1, 1, n, adj[y][i], 1);
}
ST.Update(1, 1, n, a[x], 1);
for (int i = 0; i < (int) adj[x].size(); ++i) ST.Update(1, 1, n, adj[x][i], 1);
}
for (int z = 1; z <= n; ++z) {
ST.Update(1, 1, n, a[z], -1);
for (int i = 0; i < (int) adj[z].size(); ++i) ST.Update(1, 1, n, adj[z][i], -1);
int c1 = (z > 1) ? ST.Query(1, 1, n, 1, z - 1) : 0;
int c2 = (z < n) ? ST.Query(1, 1, n, z + 1, n) : 0;
ans += (LL) c1 * c2;
ST.Update(1, 1, n, a[z], 1);
for (int i = 0; i < (int) adj[z].size(); ++i) ST.Update(1, 1, n, adj[z][i], 1);
}
cout << ans;
return 0;
}