問題文
下図のように,1 辺が N 個の点からなる正三角形状に,N(N+1)/2 個の点が並んでいます. 上から i 段目の左から j 番目の点を (i,j) で表すことにします(1leqileqN, 1leqjleqi). また,(i+1,j) を (i,j) のすぐ左下の点,(i+1,j+1) を (i,j) のすぐ右下の点と呼ぶことにします.

高橋君は,この点を結んで,M 個の折れ線 1,2,...,M を描くことにしました. 各折れ線は,(1,1) から始めて,「現在いる点のすぐ左下の点かすぐ右下の点を選び,現在いる点と選んだ点を直線で結んだのち,選んだ点へ移動する」 ことを N−1 回繰り返すことで得られます. すなわち,ある Xi,1,...,Xi,N が存在して,次が成り立ちます:
- 折れ線 i は,N 個の点 (1,Xi,1),(2,Xi,2),...,(N,Xi,N) をこの順で結んでいる.
- j=1,2,...,N−1 に対して,Xi,j+1=Xi,j または Xi,j+1=Xi,j+1 が成り立つ.
高橋君は,折れ線 i+1 が折れ線 i の左に来ることはないように折れ線を描きたいです. つまり,j=1,2,...,N に対して,X1,jleqX2,jleq...leqXM,j が成り立ちます.
また,高橋君は,折れ線の曲がり方について K 個の条件を満たすように折れ線を描かなければなりません. i 番目の条件は (Ai,Bi,Ci) で表され,これは次を意味します:
- Ci=0 のときは,折れ線 Ai を描くとき,Bi 回目の移動においては,その時いる点のすぐ左下の点を選ぶ.
- Ci=1 のときは,折れ線 Ai を描くとき,Bi 回目の移動においては,その時いる点のすぐ右下の点を選ぶ.
すなわち,XAi,Bi+1=XAi,Bi+Ci を意味します.
高橋君が M 個の折れ線を描く方法が何通りあるかを mod 1000000007 で求めてください.
注意
提出を行う前に,「コードテスト」を利用して実行時間を計測することを強く推奨する.
制約
- 1leqNleq20
- 1leqMleq20
- 0leqKleq(N−1)M
- 1leqAileqM
- 1leqBileqN−1
- Ci=0,1
- (Ai,Bi) として同じ組は複数回与えられない.
入力
入力は以下の形式で標準入力から与えられる。
N M K
A1 B1 C1
A2 B2 C2
:
AK BK CK
出力
高橋君が M 個の折れ線を描く方法は何通りあるかを mod 1000000007 で出力せよ.
入力例 1
3 2 1
1 2 0
出力例 1
6
下図に示すように,6 通りの描き方があります.ただし,赤線は折れ線 1,緑線は折れ線 2 を表します:

入力例 2
3 2 2
1 1 1
2 1 0
出力例 2
0
入力例 3
5 4 2
1 3 1
4 2 0
出力例 3
172
入力例 4
20 20 0
出力例 4
881396682