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) \times (N-1) square. The southwest corner is at coordinates (0,0), and the northeast corner is at (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) 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) for which N \geq x \geq i and N \geq y \geq j, and it fertilizes all real coordinates (x,y) for which 0 \leq x \leq i and 0 \leq y \leq 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 10^9 + 7.

Problem credits: Dhruv Rohatgi

#4047 upload - done - how_to_reg -

Sprinklers timer 2s memory 512MB

#4047

Sprinklers 2s 512MB