#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
using ll = long long;

ll N, A[10101], B[10101], C[10101];
ll ans, cnt;

int main() {
  cin >> N;
  for (int i = 1; i <= N; i++) cin >> A[i];
  for (int i = 1; i <= N; i++) cin >> B[i];
  for (int i = 1; i <= N; i++) cin >> C[i];
  ans = 1;
  cnt = 0;
  for (int i = 1; i <= N; i++) {
    if (A[i] % 3 != 0) cnt++;
  }
  ans *= cnt;
  cnt = 0;
  for (int i = 1; i <= N; i++) {
    if (B[i] % 3 != 0) cnt++;
  }
  ans *= cnt;
  cnt = 0;
  for (int i = 1; i <= N; i++) {
    if (C[i] % 3 != 0) cnt++;
  }
  ans *= cnt;
  cout << ans << endl;
  return 0;
}