#include<algorithm>
#include<algorithm>     //sort,二分探索,など
#include<bitset>        //固定長bit集合
#include<cmath>         //pow,logなど
#include<complex>       //複素数
#include<deque>         //両端アクセスのキュー
#include<functional>    //sortのgreater
#include<iomanip>       //setprecision(浮動小数点の出力の誤差)
#include<iostream>      //入出力
#include<iterator>      //集合演算(積集合,和集合,差集合など)
#include<map>           //map(辞書)
#include<numeric>       //iota(整数列の生成),gcdとlcm(c++17)
#include<queue>         //キュー
#include<set>           //集合
#include<stack>         //スタック
#include<string>        //文字列
#include<unordered_map> //イテレータあるけど順序保持しないmap
#include<unordered_set> //イテレータあるけど順序保持しないset
#include<utility>       //pair
#include<vector>        //可変長配列


using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef long double ld;
typedef vector<int> vi;
typedef vector<ll> vll;
typedef vector<ld> vld;
typedef vector<string> vs;
typedef vector<bool> vb;
typedef vector<vector<int>> vvi;
typedef vector<vector<ll>> vvll;
typedef vector<vector<ld>> vvld;
typedef vector<vector<string>> vvs;
typedef vector<vector<bool>> vvb;
const ll MOD = 1000000007;
const ll INF = 1000000000000000000;
#define rep(i,n) for(int i=0;i<n;i++)
#define repl(i,s,e) for(int i=s;i<e;i++)
#define reple(i,s,e) for(int i=s;i<=e;i++)
#define revrep(i,n) for(int i=n-1;i>=0;i--)
#define all(x) (x).begin(),(x).end()

template<class T> inline bool chmax(T& a, T b) { if (a < b) { a = b; return true; } return false; }
template<class T> inline bool chmin(T& a, T b) { if (a > b) { a = b; return true; } return false; }

ll frac(int n)
{
    return (n == 1) ? 1 : n * frac(n - 1);
}


ll combination(int n, int r)
{
    //nCr = nC(n-r)を使用して計算量を節約
    if (n - r < r) r = n - r;

    //自明な場合の戻り値
    if (r == 0) return 1;
    if (r == 1) return n;

    //組み合わせの数の定義に登場する分母・分子の要素
    vector<int> numerator(r, 0);
    vector<int> denominator(r, 0);

    //初期化
    rep(k, r)
    {
        numerator[k] = n - r + k + 1;
        denominator[k] = k + 1;
    }

    //分子を分母で割っていく。
    reple(p, 2, r)
    {
        int pivot = denominator[p - 1];
        if (pivot > 1)
        {
            int offset = (n - r) % p;
            for (int k = p - 1; k < r; k += p)
            {
                //分子は割り切れる場所までスライド
                numerator[k - offset] /= pivot;
                denominator[k] /= pivot;
            }
        }
    }

    ll result = 1;
    rep(k, r)
    {
        //残りを全部乗算
        if (numerator[k] > 1) result *= numerator[k];
    }

    return result;
}

int main()
{
    ios::sync_with_stdio(false);
    cin.tie(nullptr);

    int N;
    cin >> N;

    vi A(N);
    rep(i, N) cin >> A[i];


    vll dp(N);
    vll count(N);
    vll count2(N);

    ll cnt_zero = 0;

    rep(i, N)
    {
        int num = A[i];

        if (num == 0) cnt_zero++;

        if (num > 0)
        {
            dp[i] = count[num - 1];
            count[num - 1]--;
        }

        count[num]++;
        count2[num]++;

        if (num > 0 && count2[num] > count2[num - 1])
        {
            cout << 0 << endl;
            return 0;
        }
    }

    rep(i, N)
    {
        bool flg = false;

        if (count2[i] > 3) flg = true;

        if (i < N - 1 && count2[i] < count2[i + 1]) flg = true;

        if (flg)
        {
            cout << 0 << endl;
            return 0;
        }
    }

    ll ans = 1;
    rep(i, N)
    {
        ans *= max(dp[i], (ll)1);
        ans %= MOD;
    }

    ans *= combination(3, cnt_zero);
    ans %= MOD;

    ans *= frac(cnt_zero);
    ans %= MOD;

    cout << ans << endl;

    return 0;
}

Measured memory_bytes: 6072