#include<stdio.h>
int main()
{
	int n;
	scanf("%d", &n);
	int i;
	int a[10004], b[10004], c[10004];
	for (i = 0; i < n; i++)
		scanf("%d", &a[i]);
	for (i = 0; i < n; i++)
		scanf("%d", &b[i]);
	for (i = 0; i < n; i++)
		scanf("%d", &c[i]);
	long long int cnt[3] = { 0,0,0 };
	for (i = 0; i < n; i++)
		if (a[i] % 3 > 0)
			cnt[0]++;
	for (i = 0; i < n; i++)
		if (b[i] % 3 > 0)
			cnt[1]++;
	for (i = 0; i < n; i++)
		if (c[i] % 3 > 0)
			cnt[2]++;
	printf("%lld\n", cnt[0] * cnt[1] * cnt[2]);
	return 0;
}