#include <bits/stdc++.h>
using namespace std;
using ll=long long;
using vi=vector<int>;
using vvi=vector<vi>;
int main() {
    int N; cin>>N;
    vi A(N), B(N), C(N);
    for (int i = 0; i < N; i++)cin>>A[i];
    for (int i = 0; i < N; i++)cin>>B[i];
    for (int i = 0; i < N; i++)cin>>C[i];
    map<int,int> d,e;
    for (int i = 0; i < N; i++)d[C[i]]++;
    for (int i = 0; i < N; i++)e[B[i]]+=d[i+1];


    ll ans = 0;
    for (int i = 0; i < N; i++)ans += e[A[i]];

    cout << ans << endl;
}
#include <iostream>
#include <algorithm>
#include <set>
#include <vector>

using namespace std;

int main(){
    int n;
    cin >> n;
    string s;
    set<string> no_excl; // '!'なし
    vector<string> excl; // '!'あり
    string result("satisfiable");

    for(int i=0;i<n;++i){
        cin >> s;
        if(s.substr(0,1)=="!"){
            excl.push_back(s.substr(1));
        }
        else{
            no_excl.insert(s);
        }
    }
    for(auto itv : excl){
        auto its = no_excl.find(itv);
        if(its != no_excl.end()){
            result = *its;
            break;
        }
    }
    cout << result << endl;

    return 0;
}
