#include <stdio.h>

int main(){
  int l[3];
  int r[3];
  int L[3];
  int i,j;
  int tmp;
  int ans=0;
  for(i=0;i<3;i++)scanf("%d",&l[i]);
  for(i=0;i<3;i++)scanf("%d",&r[i]);
  L[0]=l[0]+l[1];
  L[1]=l[1]+l[2];
  L[2]=l[2]+l[0];
  for(i=0;i<3;i++){
    for(j=2;j>i;j--){
      if(L[j]<L[j-1]){
	tmp=L[j];
	L[j]=L[j-1];
	L[j-1]=tmp;
      }
      if(r[j]<r[j-1]){
	tmp=r[j];
      r[j]=r[j-1];
      r[j-1]=tmp;
      }
    }
  }
 
  ans=2*L[0]*r[2]+2*L[1]*r[1]+2*L[2]*r[0];
  printf("%d\n",ans);
  
  return 0;
}