#include<bits/stdc++.h>
using namespace std;
#define nl "\n"
#define fi first
#define se second
#define pb push_back
#define ll long long
#define ull unsigned ll
#define RV  return void
#define inf 2000000000
#define sz(x) int(x.size())
#define all(v) v.begin(), v.end()
#define rall(v) v.rbegin(), v.rend()
#define Mini(x) *min_element(all(x))
#define Maxi(x) *max_element(all(x))
#define fixed(n) fixed << setprecision(n)
#define ceil(w, m) (((w) / (m)) + ((w) % (m) ? 1 : 0))
#define cin(v) for (auto&i:v) cin >> i;
#define cout(v) for (auto&i:v) cout << i << " ";
#define clr(memo, x) memset(memo, x, sizeof memo)
#define updmin(a, b) a = min(a, b)
#define updmax(a, b) a = max(a, b)
#define vi vector < int >
#define vl vector < ll >
#define vc vector < char >
#define vs vector < string >
#define v2i vector < vector < int > >
#define v2l vector < vector < int > >
#define seti set < int >
#define setl set < ll >
#define mapii map < int , int >
#define mapll map < ll , ll >
#define mapli map < ll , int >
#define mapci map < char , int >
#define mapsi map < string , int >
#define pll pair < ll , ll >
#define pii pair < int , int >
#define range(l,r,x) for(int i=l ; i < r ; i+=x)
#define FastCode ios_base::sync_with_stdio(false); cin.tie(nullptr); cout.tie(nullptr);
vector < string > ternary= {"NO\n" , "YES\n"};

void  Zainab(){
            #ifndef ONLINE_JUDGE
              freopen("input.txt", "r", stdin);
              freopen("output.txt", "w", stdout);
            #endif
}


/*================================  Prblem solution  ================================ */

vector < int > freq(21) ;
const int N = 1005;
vector < vector < int > > dp( N, vector <int> ( 21 ,-1));



int rec(int curr , int last ){

    if(curr <= 0 or last >= 21) return !curr ;
    int& ret = dp[curr][last];
    if(~ret) return ret ;
    ret =0;
    if( curr-last >=0 and freq[last] > 0){
        ret+= rec(curr-last , last);
        freq[last]--;
    }

    ret+= rec(curr , last+1);
    return ret ;
}


void myCode(){


vector < pair < int , int > > v(5) ;
vector < int > val={  4 ,  6 , 8 ,  12 , 20 } , tempFreq(21);

for(int i =0 ; i < 5 ; i++){
    cin >> v[i].fi ;
    v[i].se=val[i];
}


for(int i =0 ; i < 5 ; i++){
    for(int j=1 ; j <= v[i].se ; j++) freq[j]+=v[i].fi ;
}

tempFreq=freq;


vector < pair < int , int > > ans( N );
for(int i =1 ; i < N; i++){
   ans[i].se=rec(i , 0);
   ans[i].fi=i;
  freq= tempFreq;

}

//for(int i =0 ; i < N ; i++){
//    cout << i << " " << ans[i].se << nl;
//}

 // sort
 // print



}




int main(){
                                   FastCode ;
                              //      Zainab() ;

    int testCase=1;
        // cin >> testCase ;
      for(int i=1 ; i<= testCase ; i++)
        myCode();

    return 0;
}