/* -*- coding: utf-8 -*- * * 498.cc: No.498 ワープクリスタル (給料日編) - yukicoder */ #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; /* constant */ const int MAX_K = 5; const int BN = 4; const int MAX_CN = (1 << BN) * MAX_K; typedef long long ll; const ll MOD = 1000000007; /* typedef */ /* global variables */ ll facts[MAX_CN + 1]; int xs[MAX_K], ys[MAX_K], cns[MAX_K], cs[MAX_K]; /* subroutines */ ll powmod(ll a, int b) { ll pm = 1; while (b > 0) { if (b & 1) pm = (pm * a) % MOD; a = (a * a) % MOD; b >>= 1; } return pm; } /* main */ int main() { facts[0] = 1; for (int i = 1; i <= MAX_CN; i++) facts[i] = (facts[i - 1] * i) % MOD; int gx, gy, k; scanf("%d%d%d", &gx, &gy, &k); for (int i = 0; i < k; i++) scanf("%d%d%d", &xs[i], &ys[i], &cns[i]); int maxbits = 1 << (BN * k); ll cnt = 0; for (int bits = 0; bits < maxbits; bits++) { int x = 0, y = 0, csum = 0; bool ok = true; for (int i = 0; i < k; i++) { cs[i] = (bits >> (i * BN)) & ((1 << BN) - 1); if (cs[i] > cns[i]) { ok = false; break; } x += xs[i] * cs[i], y += ys[i] * cs[i]; csum += cs[i]; } if (ok && x == gx && y == gy) { ll d = facts[csum]; for (int i = 0; i < k; i++) d = (d * powmod(facts[cs[i]], MOD - 2)) % MOD; cnt = (cnt + d) % MOD; } } printf("%lld\n", cnt); return 0; }