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

int main() {
    
    // 1. 入力情報取得.
    LL alphabet[26];
    for(int i = 0; i < 26; i++) cin >> alphabet[i];
    LL d = alphabet[3];
    LL e = alphabet[4];
    LL h = alphabet[7];
    LL l = alphabet[11];
    LL o = alphabet[14];
    LL r = alphabet[17];
    LL w = alphabet[22];
    // cout << "d="<< d << " e=" << e << " h=" << h << " l=" << l << " o=" << o << " r=" << r << " w=" << w << endl;
    
    // 2. 最大のhelloworld数は？
    // l の 並べ方 … iC2 × (l - i) が 最大になる i = im を使って, 計算.
    // o の 並べ方 … ((o + 1) / 2) × (o / 2) 通り.
    LL im = ((l + 1) + sqrt(0.0 + l * l - l + 1.0)) / 3;
    LL mL = max(im * (im - 1) / 2 * (l - im), (im + 1) * im / 2 * (l - im - 1));
    // cout << im << " " << mL << endl;
    LL ans = d * e * h * mL * ((o + 1) / 2) * (o / 2) * r * w;
    
    // 3. 出力.
    cout << ans << endl;
    return 0;
    
}