题目描述
给定一个由$n$个0组成的数组$a$。同时，给定$m$个区间（不一定不同）。每个区间由两个数$l_i$和$r_i$（$1 \le l_i \le r_i \le n$）定义，并表示数组$a$的子数组$a_{l_i}, a_{l_i+1}, \dots, a_{r_i}$。如果这个区间上的1的数量严格大于0的数量，我们称区间$l_i, r_i$为美丽的。例如，如果$a=[1, 0, 1, 0, 1]$，那么区间$[1, 5]$是美丽的（1的数量为3，0的数量为2），但区间$[3, 4]$不是美丽的（1和0的数量都是1）。你还有$q$次操作。每次操作你会给出一个数字$1 \le x \le n$，意思是你必须将$a_x$赋值为1。你需要找到第一个变化，在这个变化之后，$m$个给定的区间中至少有一个变成了美丽的操作，或者在处理完所有的$q$次变化后报告没有一个区间是美丽的
输入
第一行两个整数$n$和$m$ ($1 \le m \le n \le 10^5$) 分别是数组的长度和m个区间
然后是m行，每行包含两个数字$l_i$ 和 $r_i$ ($1 \le l_i \le r_i \le n$)
接下来一个整数$q$ ($1 \le q \le n$)，表示更改的总数
接下来$q$行代表每次需要被设置为1的数组元素的索引
每行一个整数$x$ ($1 \le x \le n$)
输出
输出一个整数--最小变化数，在这个变化数之后，至少有一个区间是美丽的，如果执行完所有操作之后没有一个区间是是美丽的，输出-1。
5 5
1 2
4 5
1 5
1 3
2 4
5
5
3
1
2
4
提示
样例解释：
在前两个变化之后，我们不会有任何美丽的区间，但在第三个变化之后，在一个片段[1,5]上会有3个1，只有2个0，所以答案是3。
样例2：
输入：
4 2
1 1
4 4
2
2
3
输出：
-1