CF1570I Minimum Difference

### 题目大意 这是一个关于数组查询的问题。给定一个整数数组 $a$ 和一系列查询操作，每个查询操作可以是计算最小差异值或更新数组中的元素。最小差异值的计算基于子数组中不同整数的出现次数，要求满足一定条件。查询操作的类型和参数会在输入中给出，需要根据查询操作进行相应的处理并输出结果。

- 第一行包含两个整数 $n$ 和 $m$，表示数组 $a$ 的大小和查询的数量。 - 第二行包含 $n$ 个整数$a_{1}$，$a_{2}$，$\dots$，$a_{n}$，表示数组 $a$ 的元素。 - 接下来的 $m$ 行，每行包含一个查询操作。每个查询操作有两种类型之一： - `1 l r k`：计算最小值`dif`，使得在子数组 $a[l..r]$ 中存在 $k$ 个不同的整数，满足每个整数出现次数的差的绝对值不超过`dif`。其中 $1 \le l \le r \le n$，$1 \le k \le 10^{5}$。 - `2 p x`：将数组 $a$ 的第 $p$ 个元素赋值为 $x$。其中$1 \le p \le n$，$1 \le x \le 10^{5}$。

- 对于每个第一类型的查询，输出满足所有要求条件的最小`dif`值，如果无法选择 $k$ 个不同的整数，则输出 $-1$。每个结果占一行。