#include <bits/stdc++.h>

using i64 = long long;

constexpr int P = 1000000007;

const std::vector<std::vector<std::pair<int, int>>> d {
    {{1, -1}},
    {{2, -2}, {4, 1}},
    {{2, -3}, {8, 1}},
    {{2, -1}, {3, -1}, {6, 1}},
    {{2, -1}, {4, -1}, {8, 1}},
    {{2, -1}, {5, -1}, {10, 1}},
    {{4, -3}, {8, 2}},
};

int main() {
    std::ios::sync_with_stdio(false);
    std::cin.tie(nullptr);
    
    int a[11];
    for (int i = 1; i <= 10; i++) {
        std::cin >> a[i];
    }
    
    int ans = 0;
    for (int s = 0; s < (1 << d.size()); s++) {
        int lo[11] {}, hi[11] {};
        for (int i = 1; i <= 10; i++) {
            hi[i] = a[i];
        }
        for (int i = 0; i < d.size(); i++) {
            if (s >> i & 1) {
                for (auto [x, y] : d[i]) {
                    lo[x] = std::max(lo[x], -y);
                    hi[x] = std::min(hi[x], a[x] - y);
                }
            }
        }
        int res = 1;
        for (int i = 1; i <= 10; i++) {
            res = 1LL * res * std::max(0, hi[i] - lo[i] + 1) % P;
        }
        ans = (ans + 1LL * res * (__builtin_parity(s) ? P - 1 : 1)) % P;
    }
    std::cout << ans << "\n";
    
    return 0;
}