Codeforces Beta Round 53
E
Chess
Codeforces
3000
原题
← D→
翻译中…

Brian the Rabbit adores chess. Not long ago he argued with Stewie the Rabbit that a knight is better than a king. To prove his point he tries to show that the knight is very fast but Stewie doesn't accept statements without evidence. He constructed an infinite chessboard for Brian, where he deleted several squares to add some more interest to the game. Brian only needs to count how many different board squares a knight standing on a square with coordinates of $(0, 0)$ can reach in no more than $*k*$ moves. Naturally, it is forbidden to move to the deleted squares.

翻译中…

Brian doesn't very much like exact sciences himself and is not acquainted with programming, that's why he will hardly be able to get ahead of Stewie who has already started solving the problem. Help Brian to solve the problem faster than Stewie.

翻译中…

Input

翻译中…

The first line contains two integers $*k*$ and $*n*$ ($0 ≤ *k* ≤ 10^{18}, 0 ≤ *n* ≤ 440$) which are correspondingly the maximal number of moves a knight can make and the number of deleted cells. Then follow $*n*$ lines, each giving the coordinates of a deleted square in the form $(*x*_{*i*}, *y*_{*i*})$ ($|*x*_{*i*}| ≤ 10, |*y*_{*i*}| ≤ 10$). All the numbers are integer, the deleted squares are different and it is guaranteed that the square $(0, 0)$ is not deleted.

翻译中…

Please, do not use %lld specificator to read or write 64-bit integers in C++. It is preffered to use cin (also you may use %I64d).

翻译中…

Output

翻译中…

You must print the answer on a single line. As it can be rather long, you should print it modulo $1000000007$.

翻译中…

样例

Input #1
1 0
Output #1
9
InputCopy OutputCopy
Input #2
2 7
-1 2
1 2
2 1
2 -1
1 -2
-1 -2
-2 -1
Output #2
9
InputCopy OutputCopy
题目信息
题号
57E
时间限制
2 s
内存限制
256 MB
标签
数学
最短路

题面与样例版权归 Codeforces 及出题人所有;中文翻译由 AI 生成(CI 管线),如有出入请以原文为准。