#include<bits/stdc++.h>
using namespace std;
int nowtime,maxtime,worktime[21];
int ans,maxwork,worksum[4],sum;
void search(int nowsum){
	if(nowsum>maxwork){
		maxtime=max(maxtime,nowtime);
		return;
	};
	if(nowtime+worktime[nowsum]<=sum/2){
		nowtime+=worktime[nowsum];
		search(nowtime+1);
		nowtime-=worktime[nowsum];
	};
	search(nowsum+1);
};
int main(void){
	scanf("%d%d%d%d",&worksum[0],&worksum[1],&worksum[2],&worksum[3]);
	for(int counter1=0;counter1<4;counter1++){
		nowtime=0;
		maxwork=worksum[counter1];
		sum=0;
		for(int counter2=1;counter2<=worksum[counter1];counter2++){
			scanf("%d",&worktime[counter2]);
			sum+=worktime[counter2];
		};
		maxtime=0;
		search(1);
		ans+=(sum-maxtime);
	};
	printf("%d",ans);
	return 0;
};