#include using ll = long long; using ull = unsigned long long; constexpr ll MOD = 1000000007; constexpr std::size_t PC(ull v) { return v = (v & 0x5555555555555555ULL) + (v >> 1 & 0x5555555555555555ULL), v = (v & 0x3333333333333333ULL) + (v >> 2 & 0x3333333333333333ULL), v = (v + (v >> 4)) & 0x0F0F0F0F0F0F0F0FULL, static_cast(v * 0x0101010101010101ULL >> 56 & 0x7f); } constexpr std::size_t LG(ull v) { return v == 0 ? 0 : (v--, v |= (v >> 1), v |= (v >> 2), v |= (v >> 4), v |= (v >> 8), v |= (v >> 16), v |= (v >> 32), PC(v)); } constexpr ull SZ(const ull v) { return 1ULL << LG(v); } template constexpr std::pair extgcd(const T a, const T b) { if (b == 0) { return std::pair{1, 0}; } const auto p = extgcd(b, a % b); return {p.second, p.first - p.second * (a / b)}; } template constexpr T inverse(const T a, const T mod = MOD) { return (mod + extgcd(a, mod).first % mod) % mod; } template class NumberTheoreticTransformation { private: NumberTheoreticTransformation() = delete; static T add(const T x, const T y) { return (x + y < mod) ? x + y : x + y - mod; } static T mul(const T x, const T y) { return (x * y) % mod; } static T power(const T x, const T n) { return n == 0 ? (T)1 : n % 2 == 1 ? mul(power(x, n - 1), x) : power(mul(x, x), n / 2); } static T inverse(const T x) { return ::inverse(x, mod); } public: static void ntt(std::vector& a, const bool rev = false) { const std::size_t size = a.size(), height = LG(size); for (std::size_t i = 0, j = 0; i < size; i++, j = 0) { for (std::size_t k = 0; k < height; k++) { j |= (i >> k & 1) << (height - 1 - k); } if (i < j) { std::swap(a[i], a[j]); } } for (std::size_t i = 1; i < size; i <<= 1) { T w = power(root, (mod - 1) / (i * 2)); if (rev) { w = inverse(w); } for (std::size_t j = 0; j < size; j += i * 2) { T wn = 1; for (std::size_t k = 0; k < i; k++, wn = mul(wn, w)) { const T s = a[j + k + 0], t = mul(a[j + k + i], wn); a[j + k + 0] = add(s, t), a[j + k + i] = add(s, mod - t); } } } if (not rev) { return; } const T v = inverse(size); for (std::size_t i = 0; i < size; i++) { a[i] = mul(a[i], v); } } static std::vector convolute(const std::vector& a, const std::vector& b) // ans[i] = \sum_{A+B = i} a[A]*b[B] { const std::size_t size = a.size() + b.size() - 1, t = (std::size_t)SZ(size); std::vector A(t, 0), B(t, 0); for (std::size_t i = 0; i < a.size(); i++) { A[i] = a[i]; } for (std::size_t i = 0; i < b.size(); i++) { B[i] = b[i]; } ntt(A), ntt(B); for (std::size_t i = 0; i < t; i++) { A[i] = mul(A[i], B[i]); } ntt(A, true); A.resize(size); return A; } }; template class GarnerNumberTheoreticTransformation { private: static constexpr T mod1 = 167772161; static constexpr T mod2 = 469762049; static constexpr T mod3 = 1224736769; static constexpr T mod1_inv_mod2 = inverse(mod1, mod2); static constexpr T mod1mod2_inv_mod3 = inverse(mod1 * mod2, mod3); using NTT1 = NumberTheoreticTransformation; using NTT2 = NumberTheoreticTransformation; using NTT3 = NumberTheoreticTransformation; GarnerNumberTheoreticTransformation() = delete; public: static std::vector convolute(const std::vector& a, const std::vector& b, const T mod) // ans[i] = \sum_{A+B = i} a[A]*b[B] { const auto x = NTT1::convolute(a, b), y = NTT2::convolute(a, b), z = NTT3::convolute(a, b); const std::size_t size = x.size(); std::vector ans(size); const T mod1mod2_mod = mod1 * mod2 % mod; for (std::size_t i = 0; i < size; i++) { T v1 = (y[i] - x[i]) * mod1_inv_mod2 % mod2; if (v1 < 0) { v1 += mod2; } T v2 = (z[i] - (x[i] + mod1 * v1) % mod3) * mod1mod2_inv_mod3 % mod3; if (v2 < 0) { v2 += mod3; } T c = (x[i] + mod1 * v1 + mod1mod2_mod * v2) % mod; if (c < 0) { c += mod; } ans[i] = c; } return ans; } }; int main() { int N; std::cin >> N; std::vector a(N + 1), b(N + 1); for (int i = 0; i <= N; i++) { std::cin >> a[i]; } for (int i = 0; i <= N; i++) { std::cin >> b[i]; } const auto c = GarnerNumberTheoreticTransformation::convolute(a, b, MOD); ll ans = 0; for (int i = 0; i <= N; i++) { (ans += c[i]) %= MOD; } std::cout << ans << std::endl; return 0; }