#include using namespace std; template struct SegmentTree{ using F = function; int n; //セグ木の幅 F f; //モノイドの作用 T ti; //初期値 vector dat; //セグ木で使う配列 一番上に使われるのがdat[1] 一番下の段の左端がdat[n] SegmentTree(){}; SegmentTree(F f,T ti):f(f),ti(ti){} //fがモノイドとしての作用、tiが単位元 void init(int n_){ //ただの初期化 n=1; while(n &v){ //vector vに合わせた初期化 int n_=v.size(); init(n_); for(int i=0;i>=1) //kがどんどん自分の親になっていく、0になったらおしまい dat[k]=f(dat[(k<<1)|0],dat[(k<<1)|1]); } T query(int a,int b){ //[a,b)の範囲のモノイドの作用を返す T vl=ti,vr=ti; for(int l=a+n,r=b+n;l>=1,r>>=1) { if(l&1) vl=f(vl,dat[l++]); //左端を使いたくなるのはブロックが奇数の時 if(r&1) vr=f(dat[--r],vr); //右端〃偶数の時(開区間なのでr:奇数で反応) } return f(vl,vr); } template int find(int st,C &check,T &acc,int k,int l,int r){ //dat[k]:[l,r)の間にいるenを返す //下のfind用なので先にそっち読むべき //accはst~lとかで確定している値 if(l+1==r){ //答えがちゃんと存在するならこのlが答え acc=f(acc,dat[k]); return check(acc)?k-n:-1; //入るならk-n(==l)を、入らないなら-1を返す } int m=(l+r)>>1; //にぶたんのそれ if(m<=st) return find(st,check,acc,(k<<1)|1,m,r); //mがstより後ろなら明らかにl=m; if(st<=l&&!check(f(acc,dat[k]))){ //今見てるk全部でもダメ(mだと足りないのでl=mにする) acc=f(acc,dat[k]); //kは全部accに加えた上で-1を返す return -1; } int vl=find(st,check,acc,(k<<1)|0,l,m); //まず[l,m)の中にenがいるか探す if(~vl) return vl; //いたならそれを返す(if(~vl)は-1以外にのみ反応する) return find(st,check,acc,(k<<1)|1,m,r); //いなかったら[m,r)の中にenがいるのでそれを返す //acc=f(acc,dat[k]);がここで効いてる } template int find(int st,C &check){ //check(f(dat[st]~dat[en-1]))=false,check(f(dat[st]~dat[en]))=trueとなるenを返す T acc=ti; return find(st,check,acc,1,0,n); } }; signed main(){ int n,q;cin>>n>>q; vector v(n),w(n-1),u(n-1); for(int i=0;i>v[i]; for(int i=0;i seg(f,0); seg.build(u); vector ans; while(q--){ int c;cin>>c; if(c==1){ int l,r,x;cin>>l>>r>>x; if(l>1)w[l-2]+=x,seg.set_val(l-2,!!w[l-2]); if(r>l>>r; ans.push_back(seg.query(--l,--r)+1); } } for(int p:ans)cout<