#include #include #include #include #include #include // #include // https://github.com/amiast/cpp-utility #ifndef KOTONE_CONTAINER_HASH_HPP #define KOTONE_CONTAINER_HASH_HPP 1 #include #include #include #include namespace kotone { // A hash for pairs of integral values. // If possible, consider hashing plain integers as a computationally-cheaper alternative. template struct pair_hash { std::size_t operator()(const std::pair &p) const { uint64_t x = static_cast(p.first); uint64_t y = static_cast(p.second); return std::hash()((x >> 32 ^ x) << 32 | (y >> 32 ^ y)); } }; } // namespace kotone #endif // KOTONE_CONTAINER_HASH_HPP struct S { int64_t sum = 0, max = 0; int count = 0; }; S op(S a, S b) { return {a.sum + b.sum, a.max > b.max ? a.max : b.max, a.count + b.count}; } S e() { return {}; } S mapping(int64_t f, S x) { if (f < 0) return x; return {f * x.count, f, x.count}; } int64_t composition(int64_t f, int64_t g) { if (f < 0) return g; return f; } int64_t id() { return -1; } int main() { int N, Q; std::cin >> N >> Q; std::vector A(N); for (S &a : A) std::cin >> a.sum, a.max = a.sum, a.count = 1; atcoder::lazy_segtree seg(A); std::map> intervals; int i = 0; while (i < N) { int j = i + 1; if (A[i].sum > 1) { while (j < N && A[i].sum == A[j].sum) j++; intervals[i] = {j, A[i].sum}; } i = j; } std::unordered_map, int64_t, kotone::pair_hash> gcd_map; auto gcd = [&](auto gcd, int64_t a, int64_t b) -> int64_t { if (a < b) return gcd(gcd, b, a); auto iter = gcd_map.find({a, b}); if (b == 0) return a; if (iter != gcd_map.end()) return iter->second; return gcd_map[{a, b}] = gcd(gcd, b, a % b); }; while (Q--) { int t, l, r; std::cin >> t >> l >> r; l--; if (t == 1) { int64_t y; std::cin >> y; seg.apply(l, r, y); auto start = intervals.lower_bound(l); if (start != intervals.begin() && l < std::prev(start)->second.first) { if (std::prev(start)->second.first > r) { start = intervals.emplace(r, std::prev(start)->second).first; } std::prev(start)->second.first = l; } auto stop = intervals.lower_bound(r); if (stop != intervals.begin() && r < std::prev(stop)->second.first) { stop = intervals.emplace(r, std::prev(stop)->second).first; } intervals.erase(start, stop); intervals[l] = {r, y}; } else if (t == 2) { int64_t x; std::cin >> x; auto start = intervals.lower_bound(l); if (start != intervals.begin() && l < std::prev(start)->second.first) { if (std::prev(start)->second.first > r) { start = intervals.emplace(r, std::prev(start)->second).first; } start = intervals.emplace(l, std::prev(start)->second).first; std::prev(start)->second.first = l; } auto stop = intervals.lower_bound(r); if (stop != intervals.begin() && r < std::prev(stop)->second.first) { stop = intervals.emplace(r, std::prev(stop)->second).first; std::prev(stop)->second.first = r; } auto iter = start; while (iter != stop) { int nl = iter->first; auto &[nr, val] = iter->second; val = gcd(gcd, val, x); seg.apply(nl, nr, val); if (val > 1) { if (iter != intervals.begin() && nl == std::prev(iter)->second.first && val == std::prev(iter)->second.second) { std::prev(iter)->second.first = nr; iter = intervals.erase(iter); } else iter++; } else iter = intervals.erase(iter); } } else if (t == 3) { std::cout << seg.prod(l, r).max << std::endl; } else { std::cout << seg.prod(l, r).sum << std::endl; } } }