前13个点都有$l_i=1,r_i=n$

测试代码如下：

#include <stdio.h>
#include <assert.h>

int main() {
	int n, q, l, r;
	scanf("%d%d", &n, &q);
	for (int i = 1; i <= n; ++i) scanf("%*d%*d");
	for (int i = 1; i <= q; ++i) scanf("%d%d%*d%*d", &l, &r), assert(l == 1), assert(r == n);
	return 0;
}

但根据题目描述，只有测试点$12,13$有此性质，建议更正。