#if 1 #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #define in std::cin #define out std::cout template std::enable_if_t< std::is_unsigned::value, Arithmetic> ipow(Arithmetic bace, Integral n) { //繰り返し二条法 auto res = (Arithmetic)(1); while (n > 0) { if (n & 1) res *= bace; bace *= bace; n >>= 1; } return res; } constexpr bool is_prime(uint32_t N) { if (N <= 1) { return false; } for (size_t i = 2; i*i <= N; ++i) { if (N%i == 0) { return false; } } return true; } template class mint_base; //mint_base_base型用の累乗関数 template constexpr mint_base m_pow(mint_base x, uint64_t n)noexcept; //mod計算を自動で行う整数テンプレートクラス template class mint_base { public: static constexpr auto MOD = MOD_; static_assert(!(MOD <= 2), "MOD cannot be below 2."); static_assert(MOD <= (0xFFFFFFFFFFFFFFFF / 2), "MOD is too big");//加算してオーバーフローしない static_assert(MOD <= 0xFFFFFFFF, "MOD is too big");//乗算してオーバーフローしない constexpr mint_base operator+(const mint_base &other)const noexcept { auto v = *this; return v += other; } constexpr mint_base operator-(const mint_base &other)const noexcept { auto v = *this; return v -= other; } constexpr mint_base operator*(const mint_base &other)const noexcept { auto v = *this; return v *= other; } constexpr auto operator/(const mint_base &other)const noexcept { auto v = *this; return v /= other; } constexpr mint_base& operator+=(const mint_base &other) noexcept { a += other.a; if (MOD <= a) { a -= MOD; }; return *this; } constexpr mint_base& operator-=(const mint_base &other) noexcept { if (a >= other.a) { a -= other.a; } else { a = (a + MOD) - other.a; } return *this; } constexpr mint_base& operator*=(const mint_base &other) noexcept { #if 1 a *= other.a; a %= MOD; #else //MOD <= (MAXUINT64 / 2)条件下 uint64_t b = other.a, v = 0; while (b > 0) { if (b & 1) { v += a; if (v >= MOD)v -= MOD; } a += a; if (MOD <= a)a -= MOD; b >>= 1; } a = v; #endif return *this; } constexpr std::enable_if_t&> operator/=(const mint_base &other) noexcept { return *this *= ipow(other, MOD - 2); } constexpr mint_base operator+()const noexcept { return *this; } constexpr mint_base operator-()const noexcept { return{ MOD - a, mod_value_tag{} }; } constexpr mint_base& operator++() noexcept { if (MOD <= ++a) { a = 0; }; return *this; } constexpr mint_base& operator--() noexcept { if (a <= 0) { a = MOD; }; --a; return *this; } constexpr mint_base operator++(int) noexcept { auto tmp = *this; ++*this; return tmp; } constexpr mint_base operator--(int) noexcept { auto tmp = *this; --*this; return tmp; } constexpr mint_base operator~()const noexcept { return ipow(*this, e_phi - 1); } constexpr mint_base& operator=(const mint_base &other) noexcept { a = other.a; return *this; } constexpr explicit operator uint64_t()const noexcept { return a; } constexpr explicit operator unsigned()const noexcept { return (unsigned)a; } static constexpr uint64_t getmod() noexcept { return MOD; } constexpr mint_base(uint64_t a_) noexcept :a(a_ % MOD) {} constexpr mint_base()noexcept : a(0) {} struct mod_value_tag {}; constexpr mint_base(uint64_t a_, mod_value_tag) :a(a_) {} private: static constexpr uint64_t get_e_phi()noexcept { //オイラー値の導出 uint64_t temp = MOD; uint64_t m_ = MOD; for (uint64_t i = 2; i * i <= m_; ++i) { if (m_ % i == 0) { temp = temp / i * (i - 1); for (; m_ % i == 0; m_ /= i); } } if (m_ == 1)temp = temp / m_ * (m_ - 1); return temp; } static constexpr uint64_t e_phi = get_e_phi();//オイラー値 uint64_t a; }; //mint_base型用の累乗関数 templateconstexpr mint_base m_pow(mint_base x, uint64_t n)noexcept { mint_base res = 1; while (n > 0) { if (n & 1)res *= x; x *= x; n >>= 1; } return res; } //mint_baseの階乗計算 //O(x)時間が必要のため、fact_set関数を推奨する。 templateconstexpr mint_base fact(mint_base x)noexcept { mint_base res(1); for (uint64_t i = 1; i <= (uint64_t)x; ++i) { res *= i; } return res; } //mint_baseの階乗計算 //0からxまでの階乗を返す //O(x)時間が必要 templatestd::vector> fact_set(mint_base x = mint_base(-1)) { mint_base res(1); std::vector> set((uint64_t)(x)+1); set[0] = 1; for (uint64_t i = 1; i <= (uint64_t)x; ++i) { res *= i; set[i] = res; } return res; } //mint_base型のstreamへの出力 template std::ostream& operator<<(std::ostream& os, mint_base i) { os << (uint64_t)i; return os; } //mint_base型のstreamからの入力 template std::istream& operator >> (std::istream& is, mint_base& i) { uint64_t tmp; is >> tmp; i = tmp; return is; } typedef mint_base<1000000007> mint; namespace mint_literal { constexpr mint operator""_mi(unsigned long long x)noexcept { return mint(x); } } using namespace mint_literal; //mint_baseの階乗計算 //0からxまでの階乗を返す //O(N) //O(1) template /*constexpr*/ std::array, X + 1> fact_set_c() { mint_base res(1); std::array, X + 1> set; set[0] = 1; for (uint64_t i = 1; i <= X; ++i) { res *= i; set[i] = res; } return set; } int32_t Gx,Gy; auto fact_set_v = fact_set_c<15 * 5 + 10>(); int main() { using std::endl; in.sync_with_stdio(false); out.sync_with_stdio(false); in >> Gx>>Gy; int K; in >> K; int x[5] = {}; int y[5] = {}; int N[5] = {}; for (int i = 0; i < K; i++) { in >>x[i]>>y[i]>> N[i]; } mint count = 0; int i[5] = {}; for (i[0] = 0; i[0] <= N[0]; i[0]++)for (i[1] = 0; i[1] <= N[1]; i[1]++) for (i[2] = 0; i[2] <= N[2]; i[2]++) for (i[3] = 0; i[3] <= N[3]; i[3]++) for (i[4] = 0; i[4] <= N[4]; i[4]++) { if ( x[0] * i[0] + x[1] * i[1] + x[2] * i[2] + x[3] * i[3] + x[4] * i[4] == Gx && y[0] * i[0] + y[1] * i[1] + y[2] * i[2] + y[3] * i[3] + y[4] * i[4] == Gy ) { count += fact_set_v[ i[0] + i[1] + i[2] + i[3] + i[4] ] / fact_set_v[i[0]] / fact_set_v[i[1]] / fact_set_v[i[2]] / fact_set_v[i[3]] / fact_set_v[i[4]] ; } } out << count << endl; return 0; } #endif