2421 - 荆州水军
描述

关羽当荆州都督期间,经常训练水军,水军在训练一个三才阵的阵法,士兵们排成一列,士兵们随时能够组成多个三才阵!

士兵里面有多个兵种(d \leq 30),分别编为1,2,3,\dots,同一个兵种三个人就可以组成一个三才阵!

关羽会有多个指令下达:

例如1,l,r,k,意思是在l,r的士兵里面查看一下k兵种的人有多少人;

如果2,x,k的意思是,把第x位置的兵换成k兵种的人!

输入

第一行三个数字n,m,表示水军人数和查询次数;

第二行n个数字a_i

接下来m行查询,1,l,r,k,意思是在l,r的士兵里面查看一下k兵种的人有多少个;

2,x,k的意思是,把第x位置的兵换成k兵种的人!

输出

针对1,输出组成三才阵候选人有多少个!

样例

输入

8 3
1 2 1 1 2 1 1 1
1 1 4 1
2 2 1
1 1 6 1

输出

3
5

输入

16 8
1 2 1 1 2 1 1 1 1 2 1 1 2 1 1 1
1 1 4 1
2 2 1
1 1 6 1
1 1 4 1
2 8 1
1 1 16 1
2 13 1
1 1 16 1

输出

3
5
4
13
14
提示

40\%的数据:n,q\leq 2000

100\%的数据:n,q\leq 2 \times 10^5,兵种d\leq 30


题目参数
时间限制 3 秒
内存限制 256 MB
提交次数 33
通过次数 6