#line 1 "/mnt/c/Users/leafc/dev/compro/lib/math/modint.hpp" #include #include #ifndef MOD_INT #define MOD_INT template class ModInt { using u64 = std::uint_fast64_t; public: ModInt(const u64 val = 0) { value = val % MOD; } ModInt operator+(const ModInt rhs) const { return ModInt(*this) += rhs; } ModInt operator-(const ModInt rhs) const { return ModInt(*this) -= rhs; } ModInt operator*(const ModInt rhs) const { return ModInt(*this) *= rhs; } ModInt operator/(const ModInt rhs) const { return ModInt(*this) /= rhs; } ModInt &operator+=(const ModInt rhs) { value += rhs.value; if (value >= MOD) { value -= MOD; } return *this; } ModInt &operator-=(const ModInt rhs) { if (value < rhs.value) { value += MOD; } value -= rhs.value; return *this; } ModInt &operator*=(const ModInt rhs) { value = value * rhs.value % MOD; return *this; } ModInt &operator/=(ModInt rhs) { *this *= rhs.inv(); return *this; } ModInt &operator++(int n) { value++; if (value >= MOD) { value -= MOD; } return *this; } ModInt &operator--(int n) { if (value == 0) { value += MOD; } value--; return *this; } ModInt inv() { return ModInt::pow(*this, MOD - 2); } static ModInt pow(ModInt base, long long int n) { ModInt res = ModInt(1); while (n) { if (n & 1) { res *= base; } base *= base; n /= 2; } return res; } static ModInt comb(ModInt n, ModInt r) { return comb(n.value, r.value); } static ModInt comb(int n, int r) { if (n < r) return ModInt(0); ModInt res = ModInt(1); for (int i = 0; i < r; i++) { res *= ModInt(n - i); } ModInt inv = ModInt(1); for (int i = 0; i < r; i++) { inv *= ModInt(r - i); } return res / inv; } u64 getValue() const { return value; } private: u64 value; friend std::ostream &operator<<(std::ostream &out, const ModInt &m) { out << m.value; return out; } friend std::istream &operator>>(std::istream &in, ModInt &m) { uint_fast64_t i; in >> i; m = ModInt(i); return in; } }; #endif #line 1 "/mnt/c/Users/leafc/dev/compro/lib/template.hpp" #include #define REP(i, n) for (int i = 0; i < n; i++) #define FOR(i, m, n) for (int i = m; i < n; i++) #define ALL(v) (v).begin(), (v).end() #define coutd(n) cout << fixed << setprecision(n) #define ll long long int #define vl vector #define vi vector #define MM << " " << using namespace std; template void say(bool val, T yes = "Yes", T no = "No") { cout << (val ? yes : no) << endl; } template void chmin(T &a, T b) { if (a > b) a = b; } template void chmax(T &a, T b) { if (a < b) a = b; } #line 3 "tmp.cpp" using mint = ModInt<1000000007>; int main() { cin.tie(0); ios::sync_with_stdio(false); int n, m; cin >> n >> m; vi v(n), r(m); REP(i, n) { cin >> v[i]; } REP(j, m) { cin >> r[j]; } ll a, b; cin >> a >> b; vector> dpr(1e5 + 1, vector(2, mint(0))); dpr[0][0] = mint(1); FOR(i, 1, m + 1) { REP(j, 1e5 + 1) { dpr[j][i % 2] = dpr[j][(i - 1) % 2]; if (j - r[i - 1] >= 0) { dpr[j][i % 2] += dpr[j - r[i - 1]][(i - 1) % 2]; } } } vector> dpv(1e5 + 1, vector(2, mint(0))); dpv[0][0] = mint(1); FOR(i, 1, n + 1) { REP(j, 1e5 + 1) { dpv[j][i % 2] = dpv[j][(i - 1) % 2]; if (j - v[i - 1] >= 0) { dpv[j][i % 2] += dpv[j - v[i - 1]][(i - 1) % 2]; } } } FOR(i, 1, 1e5 + 1) { dpv[i][n % 2] += dpv[i - 1][n % 2]; } mint ans(0); FOR(i, 1, 1e5 + 1) { ll low = a * i, high = b * i; if (a * i > (ll)1e5) continue; ans += (dpv[min(high, (ll)1e5)][n % 2] - dpv[low - 1][n % 2]) * dpr[i][m % 2]; } cout << ans << endl; return 0; }