import std.stdio, std.array, std.string, std.conv, std.algorithm; import std.typecons, std.range, std.random, std.math, std.container; import std.numeric, std.bigint, core.bitop, core.stdc.string; immutable long MOD = 10^^8 + 7; immutable long MAX = 2 * 10^^5 + 10; long[MAX] F; long[1<<20] all; // all[S]: 集合Sに含まれる座標をすべて通る経路数 long[1<<20] any; // any[S]: 集合Sに含まれる座標のうち少なくとも1つは通る経路数 void main() { auto s = readln.split.map!(to!int); auto H = s[0]; auto W = s[1]; auto K = s[2]; auto P = K.iota.map!(i => readln.split.map!(to!int).array ~ i).array; P.sort(); F[0] = 1; foreach (i; 1..MAX) F[i] = F[i-1] * i % MOD; all[0] = comb(H+W, H); outer: foreach (mask; 1..(1< mask & (1 << P[i][2])).map!(i => P[i]).array) ~ [H, W, -1]; long tmp = 1; foreach (i; 0..A.length.to!int-1) { if (A[i][1] > A[i+1][1]) { continue outer; } tmp *= comb(A[i+1][0] - A[i][0] + A[i+1][1] - A[i][1], A[i+1][0] - A[i][0]); tmp %= MOD; } all[mask] = tmp; } for (int mask = 0; mask < (1<