#include <stdio.h>

#include <algorithm>
#pragma GCC target("avx2")
#pragma GCC optimize("O3")
#pragma GCC optimize("unroll-loops")

unsigned char a[200000];
int n;
using ll = long long;

int main() {
    scanf("%d", &n);
    for (int i = 0; i < n; i++) {
        int temp;
        scanf("%d", &temp);
        a[i] = 1 << std::min(temp-1, 2);
    }

    ll ans = 0;
    for (int j = 0; j < n; j++) {
        for (int i = 0; i < j; i++) {
            unsigned char t = ~(a[i] | a[j]);
            t = (t & (-t)) - 1;
            ans += __builtin_popcount(t) + 1;
        }
    }
    printf("%lld\n", ans);
}