// yukicoder: No.268 ラッピング（Easy）
// 2019.4.14 bal4u

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

int cmp(const void *a, const void *b) { return *(int *)a - *(int *)b; }
int L[3];
int r[3];

int main()
{
	int L1, L2, L3;

	scanf("%d%d%d%d%d%d", &L1, &L2, &L3, r, r+1, r+2);
	L[0] = L1 + L2, L[1] = L2 + L3, L[2] = L3 + L1;
	qsort(L, 3, sizeof(int), cmp);
	qsort(r, 3, sizeof(int), cmp);

	printf("%d\n", 2 * (r[2] * L[0] + r[1] * L[1] + r[0] * L[2]));
	return 0;
}