#P15. 染色

染色

题目描述

现在有 nn 个点,每个点需要被染成红蓝绿三种颜色之一。

然而存在 mm 条限制。第 ii 条限制形如:

aia_i 的颜色不是 xix_i bib_i 的颜色不是 yiy_i

请求出染色的方案数。

输入格式

第一行包含两个整数 n,mn,m ,表示限制的个数。

接下来 mm 行,每行四个整数 ai,xi,bi,yia_i,x_i,b_i,y_i ,含义如上文所示。

其中 00 代表红色,11 代表蓝色,22 代表绿色。

输出格式

输出一行一个整数,表示合法的染色方案数。

样例

样例输入

2 3
1 0 2 0
1 1 2 0
1 2 2 1

样例输出

6

数据范围

对于所有数据,n22,m9(n2)n\le 22,m\le 9\tbinom{n}{2} ,保证对于 1im1\le i\le m1ai<bin1\le a_i<b_i\le n0xi,yi<30\le x_i,y_i<3 ,不存在两组限制完全相同。

子任务 1 ( 20% ) : n13n\le 13

子任务 2 ( 20% ) :xi,yi=0x_i,y_i=0

子任务 3 ( 20% ) : xi,yi<2x_i,y_i<2

子任务 4 ( 20% ) :n20n\le 20

子任务 5 ( 20% ) :无特殊限制。