Farmer John has a large field, and he is thinking of planting sweet corn in some part of it. After surveying his field, FJ found that it forms an (N−1)×(N−1)(N−1)×(N−1) square. The southwest corner is at coordinates (0,0)(0,0), and the northeast corner is at (N−1,N−1)(N−1,N−1).
At some integer coordinates there are double-headed sprinklers, each one sprinkling both water and fertilizer. A double-heading sprinkler at coordinates (i,j)(i,j) sprinkles water on the part of the field north and east of it, and sprinkles fertilizer on the part of the field south and west of it. Formally, it waters all real coordinates (x,y)(x,y) for which N≥x≥iN≥x≥i and N≥y≥jN≥y≥j, and it fertilizes all real coordinates (x,y)(x,y) for which 0≤x≤i0≤x≤i and 0≤y≤j0≤y≤j.
Farmer John wants to plant sweet corn in some axis-aligned rectangle in his field with integer-valued corner coordinates. However, for the sweet corn to grow, all points in the rectangle must be both watered and fertilized by the double-headed sprinklers. And of course the rectangle must have positive area, or Farmer John wouldn't be able to grow any corn in it!
Help Farmer John determine the number of rectangles of positive area in which he could grow sweet corn. Since this number may be large, output the remainder of this number modulo 109+7109+7.
The first line of the input consists of a single integer NN, the size of the field (1≤N≤1051≤N≤105).The next NN lines each contain two space-separated integers. If these integers are ii and jj, where 0≤i,j≤N−10≤i,j≤N−1, they denote a sprinkler located at (i,j)(i,j).
It is guaranteed that there is exactly one sprinkler in each column and exactly one sprinkler in each row. That is, no two sprinklers have the same xx-coordinate, and no two sprinklers have the same yy-coordinate.
The output should consist of a single integer: the number of rectangles of positive area which are fully watered and fully fertilized, modulo 109+7109+7.
5
0 4
1 1
2 2
3 0
4 3
21
© 2024. All Rights Reserved. 沪ICP备2023009024号-1