For integers and , we define as the domain enclosed by the parabola and the line :
.
is defined as the number of lattice points contained in .
For example, and .
We also define as the sum of for all the pairs such that the area of is a rational number and .
We can verify that and .
Find . Give your answer mod .
Write-up coming later
The complete problem is available here. An approach, code, and answer will be added later.