2015 East Central NA Regional Contest

#### Start

2015-10-31 14:00 UTC

## 2015 East Central NA Regional Contest

#### End

2015-10-31 19:00 UTC
The end is near!
Contest is over.
Not yet started.
Contest is starting in -1233 days 23:37:44

5:00:00

0:00:00

# Problem GTray Bien

André Claude Marzipan is the head chef at the French restaurant Le Chaud Chien. He owns a vast number of baking trays, which come in two sizes: $1$ foot by $1$ foot, and $1$ foot by $2$ feet. He stores them along $3$-foot deep shelves of various lengths. For example, on a shelf that is $5$ feet long, he might store baking trays in either of the two ways shown below:

Figure G.1

Of course, there are many more than just these two ways, and in his off hours André often wonders how many different ways he can place trays on a given shelf. André is a bit of un maniaque du rangement (neat freak), so he insists that the trays are always aligned along the two axes defined by the shelf edges, that the edges of the trays are always $1$ foot multiples away from any edge, and that no portion of a tray extends beyond the shelf. The matter is complicated by the fact that often there are locations on the shelf where he does not want to put any baking trays, due to leaks above the shelf, dents in the shelf’s surface, etc. Since André is more adept at cuisine than counting, he needs a little help.

## Input

The input consists of two lines: the first line will contain two integers $m$ $n$, where $1\le m\leq 24$ indicates the length of the shelf (which is always $3$-feet deep) and $n$ indicates the number of bad locations on the shelf. The next line will contain $n$ coordinate pairs $x$ $y$ indicating the locations where trays should not be placed, where $0<x<m$ and $0<y<3$. No location will have integer coordinates and coordinates are specified to the nearest hundredth. If $n=0$, this second line will be blank.

## Output

Output the number of ways that trays could be placed on the shelf.

Sample Input 1 Sample Output 1
4 0


823

Sample Input 2 Sample Output 2
4 2
0.29 2.44 2.73 1.8

149