#line 1 "main.cpp" #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include /* template start */ #define rep(i, a, b) for (long long i = (a); (i) < (b); (i)++) #define all(i) i.begin(), i.end() #ifdef LOCAL #define debug(...) std::cerr << "[" << #__VA_ARGS__ << "]:", debug_out(__VA_ARGS__) #else #define debug(...) #endif void debug_out(){std::cerr< void debug_out(Head h,Tail... t){ std::cerr<<" "<0)std::cout<<" :"; debug_out(t...); } template std::ostream& operator<<(std::ostream& os, std::pair pa) { return os << pa.first << " " << pa.second; } template std::ostream& operator<<(std::ostream& os, std::vector vec) { for (std::size_t i = 0; i < vec.size(); i++)os << vec[i] << (i + 1 == vec.size() ? "" : " "); return os; } template inline bool chmax(T1& a,T2 b){return a inline bool chmin(T1& a,T2 b){return a>b && (a=b,true);} template constexpr Num mypow(Num a, long long b) { if(b==0)return 1; if (a==0)return 0; Num x = 1; while (b > 0) { if(b & 1)x*=a; a*=a; b >>= 1; } return x; } /* template end */ using ll = long long; #line 2 "/mnt/c/Users/Imperi/Documents/cp-library/lib/DisjointSparseTable.hpp" #line 5 "/mnt/c/Users/Imperi/Documents/cp-library/lib/DisjointSparseTable.hpp" template class DisjointSparseTable{ public: using value_t=typename Semigroup::value_t; using size_t=std::size_t; private: size_t n,n0; std::vector ln; std::vector> table; public: DisjointSparseTable(const std::vector& a):n(a.size()){ n0=1; while(n0(n0+1,0); for(size_t i=1;i=(1ull<<(ln[i-1]+1))); table=std::vector>(ln[n0]+1,a); for(size_t i=1;i=j-(1ll<<(i-1));k--) table[i][k]=Semigroup::op(a[k],table[i][k+1]); for(long long k=j+1;k class modint { using u64 = std::uint_fast64_t; public: u64 a; constexpr modint(const u64 x = 0) noexcept : a(x % Modulus) {} constexpr u64 &value() noexcept { return a; } constexpr const u64 &value() const noexcept { return a; } constexpr bool operator==(const modint rhs) const noexcept {return a==rhs.a;} constexpr bool operator!=(const modint rhs) const noexcept {return !(*this==rhs);} constexpr modint operator+(const modint rhs) const noexcept { return modint(*this) += rhs; } constexpr modint operator-(const modint rhs) const noexcept { return modint(*this) -= rhs; } constexpr modint operator*(const modint rhs) const noexcept { return modint(*this) *= rhs; } constexpr modint operator/(const modint rhs) const noexcept { return modint(*this) /= rhs; } constexpr modint &operator+=(const modint rhs) noexcept { a += rhs.a; if (a >= Modulus) { a -= Modulus; } return *this; } constexpr modint &operator-=(const modint rhs) noexcept { if (a < rhs.a) { a += Modulus; } a -= rhs.a; return *this; } constexpr modint &operator*=(const modint rhs) noexcept { a = a * rhs.a % Modulus; return *this; } constexpr modint &operator/=(modint rhs) noexcept { u64 exp = Modulus - 2; while (exp) { if (exp % 2) { *this *= rhs; } rhs *= rhs; exp /= 2; } return *this; } }; #line 86 "main.cpp" constexpr ll MOD=1e9+7; constexpr ll MAX=1e9; using mint=modint; struct Mul{ using value_t=std::pair; static constexpr value_t op(value_t a,value_t b){ if(a.second||b.second)return {0,true}; if(a.first*b.first>=MAX)return {0,true}; return {a.first*b.first,false}; } }; struct Kaidan{ using value_t=std::tuple; static constexpr value_t op(value_t a,value_t b){ value_t ret; auto& [val,mul,size]=ret; mul=std::get<1>(a)*std::get<1>(b); size=std::get<2>(a)+std::get<2>(b); val=std::get<0>(a)*std::get<0>(b)*mypow(std::get<1>(a),std::get<2>(b)); return ret; } }; int main() { std::cin.tie(nullptr); std::ios::sync_with_stdio(false); ll n; std::cin>>n; std::vector a(n); for(auto&& e:a)std::cin>>e; if(std::any_of(all(a),[](ll m){return m==0;})){ std::cout<<0<<"\n"; return 0; } std::vector> tmp(n); rep(i,0,n){ tmp[i].first=a[i]; tmp[i].second=false; } std::vector> kai(n); rep(i,0,n){ auto& [val,mul,size]=kai[i]; val=mint(a[i]); mul=mint(a[i]); size=1; } mint ans=1; DisjointSparseTable mul(tmp); DisjointSparseTable kaidan(kai); rep(i,0,n){ ll l=i+1,r=n+1; while(r-l>1){ ll mid=(l+r)/2; if(mul.fold(i,mid).second)r=mid; else l=mid; } ans*=std::get<0>(kaidan.fold(i,l)); } std::cout<