#include <bits/stdc++.h>

using namespace std;

typedef long long ll;
typedef long double ld;

//#define int long long

int dp[36][36][71][4];

int n;
int a_sz;
int b_sz;
int c_sz;
//sort
vector<int> a;
vector<int> b;
vector<int> c;

void init(){
    for(int i=0;i<36;i++){
        for(int j=0;j<36;j++){
            for(int k=0;k<71;k++){
                dp[i][j][k]=0;
            }
        }
    }
    dp[0][0][0]=1;
}

void solve(){
    for(int st=1;st<=n;st++){
        for(int num_a=0;num_a<st;num_a++){
            for(int num_b=0;num_b<st;num_b++){
                int num_c=2*(st-1) - num_a - num_b;
                int was=dp[num_a][num_b][num_c];
                //ab

                if(num_a<a_sz && num_b<b_sz && a[num_a]<b[num_b]){
                    dp[num_a+1][num_b+1][num_c]+=was;
                }
                //ac
                if(num_a<a_sz && num_c<c_sz && a[num_a]<c[num_c]){

                    dp[num_a+1][num_b][num_c+1]+=was;
                }
                //cb
                if(num_c<c_sz && num_b<b_sz && c[num_c]<b[num_b]){

                    dp[num_a][num_b+1][num_c+1]+=was;
                }
                //cc
                if(num_c+1<c_sz){
                    dp[num_a][num_b][num_c+2]+=was;
                }
            }
        }
    }
}


signed main(){
    ios_base::sync_with_stdio(false);
    cin.tie(0);

    cin >> n;
    vector<int> uu(2*n,2);
    cin >> a_sz;
    for(int i=0;i<a_sz;i++){
        int tmp;
        cin >> tmp;
        tmp--;
        uu[tmp]=0;
    }
    cin >> b_sz;
    c_sz=2*n - a_sz - b_sz;
    for(int i=0;i<b_sz;i++){
        int tmp;
        cin >> tmp;
        tmp--;
        uu[tmp]=1;
    }
    for(int i=0;i<2*n;i++){
        if(uu[i]==0){
            a.push_back(i+1);
        }
        if(uu[i]==1){
            b.push_back(i+1);
        }
        if(uu[i]==2){
            c.push_back(i+1);
        }
    }
    sort(c.begin(),c.end());
    sort(b.begin(),b.end());
    sort(a.begin(),a.end());
    init();
    solve();

    cout << dp[1][1][2] << endl;
}