#include #include using namespace std; using namespace atcoder; #define overload4(_1, _2, _3, _4, name, ...) name #define rep1(n) for(int i = 0; i < (int)(n); ++i) #define rep2(i, n) for(int i = 0; i < (int)(n); ++i) #define rep3(i, a, b) for(int i = (a); i < (int)(b); ++i) #define rep4(i, a, b, c) for(int i = (a); i < (int)(b); i += (c)) #define rep(...) overload4(__VA_ARGS__, rep4, rep3, rep2, rep1)(__VA_ARGS__) #define rrep(i,n) for(int i = (int)(n) - 1; i >= 0; --i) #define ALL(a) (a).begin(), (a).end() #define Sort(a) (sort((a).begin(), (a).end())) #define RSort(a) (sort((a).rbegin(), (a).rend())) #define UNIQUE(a) (a.erase(unique((a).begin(), (a).end()), (a).end())) typedef long long int ll; typedef unsigned long long ul; typedef long double ld; typedef vector vi; typedef vector vll; typedef vector vc; typedef vector vst; typedef vector vd; typedef vector vld; typedef pair P; template long long sum(const T& a){ return accumulate(a.begin(), a.end(), 0LL); } template auto min(const T& a){ return *min_element(a.begin(), a.end()); } template auto max(const T& a){ return *max_element(a.begin(), a.end()); } const long long MINF = 0x7fffffffffff; const long long INF = 0x1fffffffffffffff; const long long MOD = 998244353; const long double EPS = 1e-9; const long double PI = acos(-1); template inline bool chmax(T& a, T b) { if (a < b) { a = b; return 1; } return 0; } template inline bool chmin(T& a, T b) { if (a > b) { a = b; return 1; } return 0; } template istream &operator>>(istream &is, pair &p){ is >> p.first >> p.second; return is; } template ostream &operator<<(ostream &os, const pair &p){ os << "(" << p.first << ", " << p.second << ")"; return os; } template istream &operator>>(istream &is, vector &v){ for(T &in : v) is >> in; return is; } template ostream &operator<<(ostream &os, const vector &v){ for(int i = 0; i < (int) v.size(); ++i){ os << v[i] << (i + 1 != (int) v.size() ? " " : ""); } return os; } template ostream &operator<<(ostream &os, const map &mp){ for(auto &[key, val] : mp){ os << key << ":" << val << " "; } return os; } template ostream &operator<<(ostream &os, const set &st){ auto itr = st.begin(); for(int i = 0; i < (int)st.size(); ++i){ os << *itr << (i + 1 != (int)st.size() ? " " : ""); itr++; } return os; } template ostream &operator<<(ostream &os, const multiset &st){ auto itr = st.begin(); for(int i = 0; i < (int)st.size(); ++i){ os << *itr << (i + 1 != (int)st.size() ? " " : ""); itr++; } return os; } template ostream &operator<<(ostream &os, queue q){ while(q.size()){ os << q.front() << " "; q.pop(); } return os; } template ostream &operator<<(ostream &os, deque q){ while(q.size()){ os << q.front() << " "; q.pop_front(); } return os; } template ostream &operator<<(ostream &os, stack st){ while(st.size()){ os << st.top() << " "; st.pop(); } return os; } template ostream &operator<<(ostream &os, priority_queue pq){ while(pq.size()){ os << pq.top() << " "; pq.pop(); } return os; } template inline T vin(T& vec, U n) { vec.resize(n); for(int i = 0; i < (int) n; ++i) cin >> vec[i]; return vec; } template inline void vout(T vec, string s = "\n"){ for(auto x : vec) cout << x << s; } template void in(T&... a){ (cin >> ... >> a); } void out(){ cout << '\n'; } template void out(const T& a, const Ts&... b){ cout << a; (cout << ... << (cout << ' ', b)); cout << '\n'; } template void inGraph(vector>& G, U n, U m, bool directed = false){ G.resize(n); for(int i = 0; i < m; ++i){ int a, b; cin >> a >> b; a--, b--; G[a].push_back(b); if(!directed) G[b].push_back(a); } } template struct LazySegTree{ private: int _n, size, log; vector d; vector lz; void pull(int k){ d[k] = op(d[2 * k], d[2 * k + 1]); } void all_apply(int k, F f){ d[k] = mapping(f, d[k]); if(k < size) lz[k] = composition(f, lz[k]); } void push(int k){ all_apply(2 * k, lz[k]); all_apply(2 * k + 1, lz[k]); lz[k] = id(); } public: LazySegTree() : LazySegTree(0){} LazySegTree(int n) : LazySegTree(vector(n, e())){} LazySegTree(const vector& v) : _n(int(v.size())){ log = 0; size = 1; while(size < _n) size <<= 1, log++; d = vector(2 * size, e()); lz = vector(size, id()); for(int i = 0; i < _n; i++) d[size + i] = v[i]; for(int i = size - 1; i >= 1; i--){ pull(i); } } void update(int p, S x){ assert(0 <= p && p < _n); p += size; for(int i = log; i >= 1; i--) push(p >> i); d[p] = x; for(int i = 1; i <= log; i++) pull(p >> i); } S get(int p){ assert(0 <= p && p < _n); p += size; for(int i = log; i >= 1; i--) push(p >> i); return d[p]; } S query(int l, int r){ assert(0 <= l && l <= r && r <= _n); if(l == r) return e(); l += size; r += size; for(int i = log; i >= 1; i--){ if(((l >> i) << i) != l) push(l >> i); if(((r >> i) << i) != r) push(r >> i); } S sml = e(), smr = e(); while(l < r){ if(l & 1) sml = op(sml, d[l++]); if(r & 1) smr = op(d[--r], smr); l >>= 1; r >>= 1; } return op(sml, smr); } S all_query(){ return d[1]; } void apply(int p, F f){ assert(0 <= p && p < _n); p += size; for(int i = log; i >= 1; i--) push(p >> i); d[p] = mapping(f, d[p]); for(int i = 1; i <= log; i++) pull(p >> i); } void apply(int l, int r, F f){ assert(0 <= l && l <= r && r <= _n); if(l == r) return; l += size; r += size; for(int i = log; i >= 1; i--){ if(((l >> i) << i) != l) push(l >> i); if(((r >> i) << i) != r) push((r - 1) >> i); } { int l2 = l, r2 = r; while(l < r){ if(l & 1) all_apply(l++, f); if(r & 1) all_apply(--r, f); l >>= 1; r >>= 1; } l = l2; r = r2; } for(int i = 1; i <= log; i++){ if(((l >> i) << i) != l) pull(l >> i); if(((r >> i) << i) != r) pull((r - 1) >> i); } } template int max_right(int l){ return max_right(l, [](S x){ return g(x); }); } template int max_right(int l, G g){ assert(0 <= l && l <= _n); assert(g(e())); if(l == _n) return _n; l += size; for(int i = log; i >= 1; i--) push(l >> i); S sm = e(); do{ while(l % 2 == 0) l >>= 1; if(!g(op(sm, d[l]))){ while(l < size){ push(l); l = (2 * l); if(g(op(sm, d[l]))){ sm = op(sm, d[l]); l++; } } return l - size; } sm = op(sm, d[l]); l++; } while((l & -l) != l); return _n; } template int min_left(int r){ return min_left(r, [](S x){ return g(x); }); } template int min_left(int r, G g){ assert(0 <= r && r <= _n); assert(g(e())); if(r == 0) return 0; r += size; for(int i = log; i >= 1; i--) push((r - 1) >> i); S sm = e(); do{ r--; while(r > 1 && (r % 2)) r >>= 1; if(!g(op(d[r], sm))){ while(r < size){ push(r); r = (2 * r + 1); if(g(op(d[r], sm))){ sm = op(d[r], sm); r--; } } return r + 1 - size; } sm = op(d[r], sm); } while((r & -r) != r); return 0; } }; using S = vll; using F = ll; ll idx(ll l, ll r){ return 4 * l + r; } S op(S l, S r){ S res(17); rep(i, 4){ rep(j, i, 4){ rep(k, i, j + 1){ chmax(res[idx(i, j)], l[idx(i, k)] + r[idx(k, j)]); if(i + 1 <= k){ chmax(res[idx(i, j)], l[idx(i, k - 1)] + r[idx(k, j)]); } } } }; res[16] = l[16] + r[16]; return res; } S e(){ S res(17); return res; } S mapping(F l, S r){ if(l == -1){ return r; } S res(17); rep(i, 4) rep(j, i, 4){ if(i <= l && l <= j){ res[idx(i, j)] = r[16]; } } // res[idx(l, l)] = r[16]; res[16] = r[16]; return res; } F composition(F l, F r){ if(l == -1){ return r; } return l; } F id(){ return -1; } void input(){ } void solve(){ ll n; in(n); vll a; vin(a, n); rep(i, n) a[i]--; LazySegTree seg(n); rep(k, n){ S e(17); rep(i, 4) rep(j, i, 4){ if(i <= a[k] && a[k] <= j){ e[idx(i, j)] = 1; } } // out(e); // e[idx(a[i], a[i])] = 1; e[16] = 1; seg.update(k, e); } ll q; in(q); while(q--){ ll t; in(t); if(t == 1){ ll l, r; in(l, r); l--; ll ans = 0; S res = seg.query(l, r); // out(res); rep(i, 4) rep(j, i, 4){ chmax(ans, res[idx(i, j)]); } out(ans); }else{ ll l, r, x; in(l, r, x); l--; x--; seg.apply(l, r, x); } } } int main(){ ios::sync_with_stdio(false); cin.tie(nullptr); cout << fixed << setprecision(20); input(); solve(); }