#include <fstream>
#define big(a,b) a>b?a:b
#define small(a,b) a<b?a:b
using namespace std;
ifstream cin("fmcz.in");
ofstream cout("fmcz.out");

int a1,a2,a3,a4,a5,a6,ans = 0;
bool book[1001]={0};
int main()
{
	int i1,i2,i3,i4,i5,i6;
	cin >> a1 >> a2 >> a3 >> a4 >> a5 >> a6;
	for(i1 = 0 ;i1 <= a1;++i1)
		for(i2 = 0 ;i2 <= a2;++i2)
			for(i3 = 0 ;i3 <= a3;++i3)
				for(i4 = 0 ;i4 <= a4;++i4)
					for(i5 = 0 ;i5 <= a5;++i5)
						for(i6 = 0 ;i6 <= a6;++i6)
							book[i1+2*i2+3*i3+5*i4+10*i5+20*i6] = true;
	for(i1 = 1 ;i1 <= 1000;i1++)
		if(book[i1] == true)
			ans++;
		cout << ans;
    cin.close();
	cout.close();
    return 0;
}