Problem: There are n types of coins in Byteland. Conveniently, the denomination of the coin type k divides the denomination of the coin type k + 1, the denomination of the coin type 1 equals 1 tugrick. The ratio of the denominations of coin types k + 1 and k equals ak. It is known that for each x there are at most 20 coin types of denomination x.

Byteasar has bk coins of type k with him, and he needs to pay exactly m tugricks. It is known that Byteasar never has more than 3·105 coins with him. Byteasar want to know how many ways there are to pay exactly m tugricks. Two ways are different if there is an integer k such that the amount of coins of type k differs in these two ways. As all Byteland citizens, Byteasar wants to know the number of ways modulo 109 + 7.

Input

The first line contains single integer n (1 ≤ n ≤ 3·105) — the number of coin types.

The second line contains n - 1 integers a1, a2, ..., an - 1 (1 ≤ ak ≤ 109) — the ratios between the coin types denominations. It is guaranteed that for each x there are at most 20 coin types of denomination x.

The third line contains n non-negative integers b1, b2, ..., bn — the number of coins of each type Byteasar has. It is guaranteed that the sum of these integers doesn't exceed 3·105.

The fourth line contains single integer m (0 ≤ m < 1010000) — the amount in tugricks Byteasar needs to pay.

Output

Print single integer — the number of ways to pay exactly m tugricks modulo 109 + 7.

Examples

Input

1

4
2


Output

1


Input

2
1
4 4
2


Output

3


Input

3
3 3
10 10 10
17


Output

6

Note

In the first example Byteasar has 4 coins of denomination 1, and he has to pay 2 tugricks. There is only one way.

In the second example Byteasar has 4 coins of each of two different types of denomination 1, he has to pay 2 tugricks. There are 3 ways: pay one coin of the first type and one coin of the other, pay two coins of the first type, and pay two coins of the second type.

In the third example the denominations are equal to 1, 3, 9.

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
struct Modint {
  static const int MOD = 1000000007;
  int val;
  Modint(int nval = 0) { val = nval; }
  Modint& operator+=(Modint r) {
    val = (val + r.val) % MOD;
    return *this;
  }
  Modint operator+(Modint r) { return Modint(*this) += r; }
  Modint& operator-=(Modint r) {
    val = (val + MOD - r.val) % MOD;
    return *this;
  }
  Modint operator-(Modint r) { return Modint(*this) -= r; }
  Modint& operator*=(Modint r) {
    val = 1LL * val * r.val % MOD;
    return *this;
  }
  Modint operator*(Modint r) { return Modint(*this) *= r; }
};
struct Bignum {
  static const int MOD = 1000000000;
  vector<int> data;
  Bignum(string s) {
    while (s.size() > 0) {
      int l = max((int)s.size() - 9, 0);
      data.push_back(stoi(s.substr(l, 9)));
      s.resize(l);
    }
  }
  Bignum() = default;
  pair<Bignum, int> div(int val) {
    Bignum d;
    d.data.resize(data.size(), 0);
    long long r = 0;
    for (int i = (int)data.size() - 1; i >= 0; i--) {
      r *= MOD;
      r += data[i];
      d.data[i] = r / val;
      r = r % val;
    }
    while (d.data.size() > 0 && d.data.back() == 0) d.data.pop_back();
    return {d, int(r)};
  }
};
int main() {
  ios_base::sync_with_stdio(false);
  cin.tie(0);
  int n;
  cin >> n;
  vector<int> a(n - 1);
  for (int i = 0; i < n - 1; i++) cin >> a[i];
  vector<int> b(n);
  for (int i = 0; i < n; i++) cin >> b[i];
  string m;
  cin >> m;
  vector<int> lim(n, 0);
  for (int i = 0; i < n; i++) {
    lim[i] += b[i];
    if (i < n - 1) lim[i + 1] += lim[i] / a[i];
  }
  vector<int> r(n, 0);
  {
    Bignum val(m);
    int l = 0, d = 1;
    for (int i = 0; i < n; i++) {
      if (i == n - 1 || d > 1000000000 / a[i]) {
        pair<Bignum, int> ret = val.div(d);
        r[l] = ret.second;
        val = ret.first;
        l = i;
        d = 1;
      }
      if (i < n - 1) d *= a[i];
    }
    if (val.data.size() == 0)
      r[n - 1] = 0;
    else if (val.data.size() > 1 || val.data[0] > lim[n - 1]) {
      cout << "0\n";
      return 0;
    } else
      r[n - 1] = val.data[0];
    for (int i = 0; i < n - 1; i++) {
      r[i + 1] += r[i] / a[i];
      r[i] = r[i] % a[i];
    }
  }
  vector<Modint> dp(lim[n - 1] + 1, 0);
  dp[r[n - 1]] = 1;
  for (int lvl = n - 1; lvl > 0; lvl--) {
    vector<Modint> ndp(lim[lvl - 1] + 1, 0), add(lim[lvl - 1] + 1, 0);
    for (int x = 0; x <= lim[lvl]; x++)
      if (dp[x].val != 0) {
        int right = min(x, b[lvl]);
        long long addl = 1LL * (x - right) * a[lvl - 1] + r[lvl - 1];
        long long addr = 1LL * (x + 1) * a[lvl - 1] + r[lvl - 1];
        if (addl <= lim[lvl - 1]) add[addl] += dp[x];
        if (addr <= lim[lvl - 1]) add[addr] -= dp[x];
      }
    Modint cadd = 0;
    for (int i = r[lvl - 1]; i <= lim[lvl - 1]; i += a[lvl - 1]) {
      cadd += add[i];
      ndp[i] += cadd;
    }
    swap(dp, ndp);
  }
  Modint result = 0;
  for (int i = 0; i <= b[0]; i++) result += dp[i];
  cout << result.val << '\n';
  return 0;
}