#include <stdio.h>

int main(int argc, char const *argv[]) {
   int n;
   int a,b,c;
   int count=0;
   int x[100],y[100],z[100];
   int i,j;
   scanf("%d%d%d%d",&n,&a,&b,&c);
   for(i=0;i<a;i++){
      scanf("%d",x[i] );
   }
   for(i=0;i<b;i++){
      scanf("%d",y[i] );
   }
   for(i=0;i<c;i++){
      scanf("%d",z[i] );
      for(j=0;j<a;j++){
         for(k=0;k<b;k++){
            if (z[i]!=x[j]!=y[k]) {
               count += 1;
            } else if (z[i]==y[k]) {
               count += 1;
            }
         }
      }
   }
   printf("%d\n"count);
   return 0;
}