#include <bits/stdc++.h>
using namespace std;

using ll = long long;
using ld  = long double;
using pll = pair<ll, ll>;
using pld = pair<ld, ld>;
const int INF=1e9+7;
const ll LINF=9223372036854775807;
const ll MOD=1e9+7;
const ld PI=acos(-1);
const ld EPS = 1e-10; //微調整用（EPSより小さいと0と判定など）

int ii() { int x; if (scanf("%d", &x)==1) return x; else return 0; }
long long il() { long long x; if (scanf("%lld", &x)==1) return x; else return 0; }
string is() { string x; cin >> x; return x; }
char ic() { char x; cin >> x; return x; }
void oi(int x) { printf("%d ", x); }
void ol(long long x) { printf("%lld ", x); }
void od_nosp(double x) { printf("%.15f", x); } // 古い問題用
void od(double x) { printf("%.15f ", x); }
void os(const string &s) { printf("%s ", s.c_str()); }
void oc(const char &c) { printf("%c ", c); }
#define o_map(v){cerr << #v << endl; for(const auto& xxx: v){cout << xxx.first << " " << xxx.second << "\n";}} //動作未確認
void br() { putchar('\n'); }

// #define gcd __gcd //llは受け取らない C++17~のgcdと違うので注意
// int lcm(int a, int b){return a / gcd(a, b) * b;}
#define b_e(a) a.begin(),a.end() //sort(b_e(vec));
#define REP(i,m,n) for(ll i=(ll)(m) ; i < (ll)(n) ; i++ )
#define DREP(i,m,n) for(ll i=(ll)(m) ; i > (ll)(n) ; i-- )
#define rep(i,n) REP(i,0,n)
#define m_p(a,b) make_pair(a,b)
#define p_b push_back
#define SZ(x) ((ll)(x).size()) //size()がunsignedなのでエラー避けに
#define endk '\n'


// coutによるpairの出力（空白区切り）
template<typename T1, typename T2> ostream& operator<<(ostream& s, const pair<T1, T2>& p) {return s << "(" << p.first << " " << p.second << ")";}
// coutによるvectorの出力（空白区切り）
template<typename T> ostream& operator<<(ostream& s, const vector<T>& v) {
  int len = v.size();
  for (int i = 0; i < len; ++i) {
    s << v[i]; if (i < len - 1) s << " "; //"\t"に変えるとTabで見やすく区切る
  }
  return s;
}
// coutによる多次元vectorの出力（空白区切り）
template<typename T> ostream& operator<<(ostream& s, const vector< vector<T> >& vv) {
  int len = vv.size();
  for (int i = 0; i < len; ++i) {
    s << vv[i] << endl;
  }
  return s;
}

//最大値、最小値の更新。更新したor等しければtrueを返す
template<typename T>
bool chmax(T& a, T b){return (a = max(a, b)) == b;}
template<typename T>
bool chmin(T& a, T b){return (a = min(a, b)) == b;}

//4近傍（上下左右） rep(i, 2) にすると右・下だけに進む
vector<int> dx_4 = {1, 0, -1, 0};
vector<int> dy_4 = {0, 1, 0, -1};

// -------- template end - //


// - library ------------- //

#include <atcoder/all>
using namespace atcoder;

// --------- library end - //


// 数列の要素の型 S : モノイド (S,・) をなす
struct S{
  ll one; // 範囲内の 1 の数
  ll zero; // 範囲内の 0 の数
  ll inv; // 範囲内の inv(転倒数) の数
};

// 作用素の型 F : モノイド (F, □) をなす
using F = bool; // 「何回置き換えるか」-> 偶数回置き換えると元に戻るので、「置き換えるかどうか」と単純化できる

// s1・s2 |-> S : 演算・
S op(S s1, S s2){  return S{s1.one + s2.one, s1.zero + s2.zero, s1.inv + s2.inv + s1.one * s2.zero}; }

// モノイド (S,・) における単位元 e
S e(){  return S{0, 0, 0} ; }

// s☆f |-> S : 作用素を要素へ作用する演算 ☆  ※ 引数の順序に注意
S mapping(F f, S s){
  if (f){
    ll num = s.one + s.zero; // 範囲の広さ
    // 範囲内の数字の「1と0のペア」の中で、invだったものは全てinvではなくなり、invではなかったものが全てinvとなる
    // よって、新しいinv数 = 範囲内の1と0のペア数 - 元のinv数
    s.inv = s.one * s.zero - s.inv;
    swap(s.one, s.zero);
  }
  return s;
}

// f1□f2 |-> F : 作用素どうしをマージする演算 □  ※ 引数の順序に注意
F composition(F f2, F f1){  return (f1 ^ f2); }

// モノイド (F, □) における単位元 
// かつ、 F を S×f |-> S となるような写像の集合と見たときの、恒等写像 id
// つまり、s☆id = s
F id(){  return false; }

int main(){

  ll N, Q;
  cin >> N >> Q;

  lazy_segtree<S, op, e, F, mapping, composition, id> seg(N);

  rep(i, N){
    int a = ii();
    if (a){
      // 1
      seg.set(i, S{1, 0, 0});
    }
    else{
      // 0
      seg.set(i, S{0, 1, 0});
    }
  }

  rep(i, Q){
    ll t = ii();
    int l = ii() - 1; // 0-indexed
    int r = ii(); // 開区間 [l, r) なのでこのまま
    if (t == 1){
      seg.apply(l, r, true);
    }
    else{
      cout << seg.prod(l, r).inv << endk;
    }
  }


  

}



Measured memory_bytes: 20144