// Author : hejinming2012
#include <bits/stdc++.h>
#define int long long
#define endl '\n'
#define dbg(x) cout << #x " = " << (x) << endl
#define quickio ios::sync_with_stdio(false);
#define quickin cin.tie(0);
#define quickout cout.tie(0);
#define mod 1000000007
using namespace std;
inline int read() {
    int now = 0, nev = 1; char c = getchar();
    while(c < '0' || c > '9') { if(c == '-') nev = -1; c = getchar(); }
    while(c >= '0' && c <= '9') { now = (now << 1) + (now << 3) + (c & 15); c = getchar(); }
    return now * nev;
}
void write(int x) {
    if(x < 0) putchar('-'), x = -x;
    if(x > 9) write(x / 10);
    putchar(x % 10 + '0');
}
int a[15], b[5];
signed main() {
    quickio
    quickin
    quickout
    for(int i = 1; i <= 10; i++)
        a[i] = read();
    b[1] = 1 + a[2] + a[4] * 2 + a[6] + a[8] * 3 + a[10];
    b[2] = 1 + a[3] + a[6] + a[9] * 2;
    b[3] = 1 + a[5] + a[10];
    b[4] = 1 + a[7];
    write(b[1] % mod * b[2] % mod * b[3] % mod * b[4] % mod);
    return 0;
}