#216059. [CSPro 29] 施肥

洛谷的测试数据仅供民间交流使用，非官方测试数据。官方评测链接：https://www.cspro.org/。

春天到了，西西艾弗岛上的 块田地需要施肥了。 块田地编号为 ，按照编号从小到大的顺序排成一列。

为了给田地施肥，顿顿准备了 辆施肥车。但是由于土地的松软程度不同，施肥车的质量不一，不一定每一辆施肥车都能给每一块田地施肥。其中，第 辆施肥车只能恰好从第 块田地开到第 块田地，并给编号在 与 之间的田地（包含 和 ）都施一遍肥。其中 。

顿顿希望制定一个施肥的计划。首先，他将选定二元组 ()，并选择只给编号在 之间（包含 ）的田地施肥。接着，他会从使用这 辆施肥车中的一部分（或全部）对田地施肥。他想要保证：编号在 和 之内的田地至少被某一辆施肥车施了一次肥，且编号范围外的田地都没有被施过肥。

现在，他想知道，他能够选择多少种不同的二元组 作为施肥范围，使得可以选出一部分（或全部）施肥车，完成他的目标。

从标准输入读入数据。

第一行输入两个正整数 ，表示田地的块数和施肥车的辆数。数据保证 , 。

接下来 行，第 行输入两个正整数 ，表示第 辆施肥车的施肥范围从第 块田地到第 块田地。数据保证 。

输出到标准输出。

输出一个正整数，表示顿顿能够选择多少种不同的二元组 作为施肥范围，使得他可以选出一部分（或全部）施肥车，完成他的目标。

样例输入 1

4 3
1 2
3 4
2 3

样例输出 1

6

样例 1 解释

在这组样例中，顿顿可以选择 种不同的二元组 。

第一种：选择 ，并只选取第 个施肥车施肥。

第二种：选择 ，并只选取第 个施肥车施肥。

第三种：选择 ，并只选取第 个施肥车施肥。

第四种：选择 ，并选取第 个和第 个施肥车施肥。

第五种：选择 ，并选取第 个和第 个施肥车施肥。

第六种：选择 ，并选取第 个和第 个施肥车施肥。

样例 2

见题目目录下的 2.in 与 2.ans。

这个样例满足 。

样例 3

见题目目录下的 3.in 与 3.ans。

这个样例满足 。

样例 4

见题目目录下的 4.in 与 4.ans。

这个样例满足 。

样例 5

见题目目录下的 5.in 与 5.ans。

这个样例满足 。

样例 6

见题目目录下的 6.in 与 6.ans。

这个样例满足特殊性质 A。

样例 7

见题目目录下的 7.in 与 7.ans。

这个样例满足 。

子任务

特殊性质 A：保证任意两个施肥车的施肥范围不存在相互包含的关系，也就是说，对任意 ， 或 。