#include <bits/stdc++.h>
#define maxn 505
#define mod 666013
std::ifstream fin ("pedefe.in");
std::ofstream fout ("pedefe.out");

int x1[maxn];
int x2[maxn];
int x3[maxn];

long long dp[2][maxn][maxn];
long long sum[2][maxn][maxn];

int main(){

    int n1, n2, n3, i, j ,k, ii, jj, kk;
    fin >> n1 >> n2 >> n3;
    for (i=1; i<=n1; i++)
        fin >> x1[i];
    for (i=1; i<=n2; i++)
        fin >> x2[i];
    for (i=1; i<=n3; i++)
        fin >> x3[i];

    dp[0][0][0] = 1;
    for (k=0; k<=n3; k++){
        for (i=1; i<=n1; i++){
            for (j=1; j<=n2; j++){

                if (x1[i] == x2[j] and x2[j] == x3[k] and k){
                    for (ii=0; ii<i; ii++){
                        for (jj=0; jj<j; jj++){
                            if (x1[ii] <= x1[i]){
                                dp[0][i][j] += dp[1][ii][jj];
                            }

                        }
                    }
                }
                if (x1[i] == x2[j] and x1[i] != x3[k]){
                    for (ii=0; ii<i; ii++){
                        for (jj=0; jj<j; jj++){
                            if (x1[ii] <= x1[i]){
                                dp[0][i][j] += dp[0][ii][jj];
                            }

                        }
                    }
                }
            }
        }
        for (i=0; i<=n1; i++)
        for (j=0; j<=n2; j++){
            dp[1][i][j] = dp[0][i][j];
            dp[0][i][j] = 0;
        }

    }
    /*
    for (k=1; k<=n3; k++){
        for (i=1; i<=n1; i++, fout << '\n')
            for (j=1; j<=n2; j++)
            fout << dp[k][i][j] << ' ';
        fout << "**********\n";
    }
    */

    long long ans = 0;
    for (i=1; i<=n1; i++)
        for (j=1; j<=n2; j++)
            ans = ans + dp[1][i][j];

    fout << ans % mod << '\n';

    return 0;
}