#include <bits/stdc++.h>
using namespace std;

int main()
{
    long long g1o,g1p,g2o,g2p,g3o,g3p,g4o,g4p,c1o,c1p,c2o,c2p,c3o,c3p,c4o,c4p,c1pp,c2pp,c3pp,c4pp,zero=0;
    long long o,p,count=0;
    cin >> g1o >> g1p >> g2o >> g2p >> g3o >> g3p >> g4o >> g4p;
    cin >> c1o >> c1p >> c2o >> c2p >> c3o >> c3p >> c4o >> c4p;
    o=g1o;
    p=g1p;
       //cout << o << " " << p << " " << c1o << " " << c1p << " " << c1pp << " " << count <<  endl;
    count+=min(c1o,o);
    o=max(zero,o-c1o);
    count+=min(c1p,p);
    c1pp=max(zero,c1p-min(c1p,p));
    p=max(zero,p-c1p);
   // cout << o << " " << p-g2p << " " << c1pp <<  endl;
    count+=min(c1pp,o);
    o=max(zero,o-c1pp);//cout << o << " " << p << " " << c2o << " " << c2p << " " << c1pp << " " << count <<  endl;
    o+=g2o;
    p+=g2p;
    count+=min(c2o,o);
    o=max(zero,o-c2o);
    count+=min(c2p,p);
    c2pp=max(zero,c2p-min(c2p,p));
    p=max(zero,p-c2p);
   // cout << o << " " << p - g3p<<" " << c2pp <<  endl;
    count+=min(c2pp,o);
    o=max(zero,o-c2pp);
//cout << o << " " << p << " " << c3o << " " << c3p << " " << c2pp << " " << count <<  endl;
    o+=g3o;p+=g3p;
    count+=min(c3o,o);
    o=max(zero,o-c3o);
    count+=min(c3p,p);
    c3pp=max(zero,c3p-min(c3p,p));
    p=max(zero,p-c3p);
   // cout << o << " " << p - g4p<<" " << c3pp <<  endl;
    count+=min(c3pp,o);
    o=max(zero,o-c3pp);
//cout << o << " " << p << " " << c4o << " " << c4p << " " << c3pp << " " << count <<  endl;
o+=g4o;p+=g4p;
    count+=min(c4o,o);
    o=max(zero,o-c4o);
    count+=min(c4p,p);
    c4pp=max(zero,c4p-min(c4p,p));
   // cout <<"// " <<  c4pp << " " << c4p << " " << p  << endl;
    p=max(zero,p-c4p);
  //  cout << o << " " << p  << endl;
    count+=min(c4pp,o);
    o=max(zero,o-c4pp);
//cout << o << " " << p << " " << c4o << " " << c4p << " " << c4pp << " " << count <<  endl;
    cout << count;

}