#include <stdio.h>
#include <stdlib.h>

int main()
{
 long unsigned N;
 while (scanf("%lu\n", &N), N != 0)
 {
       long unsigned i,j;
       long unsigned *pole1, *pole2, *pole3;
       pole1 = (long unsigned *) malloc(N*sizeof(long unsigned));
       pole2 = (long unsigned *) malloc(N*sizeof(long unsigned));
       pole3 = (long unsigned *) malloc(N*sizeof(long unsigned));
       for (i=0; i<N; i++)
       {
           scanf("%lu\n", &pole1[i]);
       }
       for (i=0; i<N; i++)
       {
           scanf("%lu\n", &pole2[i]);
       }
       for (i=0; i<N; i++)
       {
           scanf("%lu\n", &pole3[i]);
       }
       long long unsigned pocet = N * (N-1) / 2;
       long unsigned pom;
       for (i = 0; i<N; i++)
       {
           pom = pole1[i];
           for (j = N-1; j>i; j--) 
               if (pole2[j]==pom || pole3[j]==pom)
               {
                   pocet -= j - i;
                   break;     
               }
       }
       printf("%llu\n", pocet);
 
       free((void *) pole1);
       free((void *) pole2);
       free((void *) pole3); 
 }
 
 return 0;   
}