#pragma GCC target ("avx") #pragma GCC optimize("Ofast") #pragma GCC optimize("unroll-loops") #pragma GCC target("sse,sse2,sse3,ssse3,sse4,popcnt,abm,mmx,avx") #include using namespace std; // #define int long long // #define endl '\n' #pragma region TEMPLATE /* TYPE */ typedef long long ll; typedef long double ld; typedef pair pii; typedef pair pll; typedef vector vpii; typedef vector vpll; typedef vector vi; typedef vector vl; typedef vector vst; typedef vector vb; typedef vector vld; typedef vector> vvi; template> using prique = priority_queue, Cmp>; template using prique_r = prique>; /* CONSTANT */ #define ln '\n' const int INF = 1 << 30; const ll INFF = 1LL << 60; const string ALPHABET = "ABCDEFGHIJKLMNOPQRSTUVWXYZ"; const int MOD = 1e9 + 7; const int MODD = 998244353; const string alphabet = "abcdefghijklmnopqrstuvwxyz"; const double EPS = 1e-9; const ld PI = 3.14159265358979323846264338327950288; const int dx[] = { 1, 0, -1, 0, 1, -1, -1, 1, 0 }; const int dy[] = { 0, 1, 0, -1, -1, -1, 1, 1, 0 }; /* CONTAINER */ #define PB emplace_back #define ALL(v) (v).begin(), (v).end() #define RALL(v) (v).rbegin(), (v).rend() #define SORT(v) sort(ALL(v)) #define RSORT(v) sort(RALL(v)) #define LESS(x, val) (lower_bound(x.begin(), x.end(), val) - x.begin()) #define LEQ(x, val) (upper_bound(x.begin(), x.end(), val) - x.begin()) #define GREATER(x, val) (int)(x).size() - LEQ((x), (val)) #define GEQ(x, val) (int)(x).size() - LESS((x), (val)) #define UNIQUE(v) sort(ALL(v)); (v).erase(unique(ALL(v)), (v).end()) template vector make_v(size_t a) { return vector(a); } template auto make_v(size_t a, Ts... ts) { return vector(ts...))>(a, make_v(ts...)); } template enable_if_t::value != 0> fill_v(U &u, const V... v) { u = U(v...); } template enable_if_t::value == 0> fill_v(U &u, const V... v) { for (auto &e : u) fill_v(e, v...); } /* LOOP */ #define _overload3(_1, _2, _3, name, ...) name #define _REP(i, n) REPI(i, 0, n) #define REPI(i, a, b) for (ll i = (ll)a; i < (ll)b; ++i) #define REP(...) _overload3(__VA_ARGS__, REPI, _REP,)(__VA_ARGS__) #define _RREP(i, n) RREPI(i, n, 0) #define RREPI(i, a, b) for (ll i = (ll)a; i >= (ll)b; --i) #define RREP(...) _overload3(__VA_ARGS__, RREPI, _RREP,)(__VA_ARGS__) #define EACH(e, v) for (auto& e : v) #define PERM(v) sort(ALL(v)); for (bool c##p = true; c##p; c##p = next_permutation(ALL(v))) /* INPUT */ template void SSS(T& t) { cin >> t; } template void SSS(Head&& head, Tail&&... tail) { cin >> head; SSS(tail...); } #define SS(T, ...) T __VA_ARGS__; SSS(__VA_ARGS__); #define SV(T, v, n) vector v(n); for (auto& i : v) cin >> i; #define SVV(T, v, n, m) vector> v(n, vector(m)); for (auto& r : v) for (auto& i : r) cin >> i; /* OUTPUT */ // Yes / No inline int YES(bool x) { cout << (x ? "YES" : "NO") << endl; return 0; } inline int Yes(bool x) { cout << (x ? "Yes" : "No") << endl; return 0; } inline int yes(bool x) { cout << (x ? "yes" : "no") << endl; return 0; } inline int yES(bool x) { cout << (x ? "yES" : "nO") << endl; return 0; } inline int Yay(bool x) { cout << (x ? "Yay!" : ":(") << endl; return 0; } // PROTOTYPE DECLARATION template ostream &operator<<(ostream &os, const pair &j); template ostream &operator<<(ostream &os, const tuple &t); template::value, decltype(declval().begin(), nullptr)> = nullptr> ostream& operator<<(ostream &os, const C &c); template ostream &operator<<(ostream &os, const stack &j); template ostream &operator<<(ostream &os, const queue &j); template ostream &operator<<(ostream &os, const priority_queue &j); // IMPLEMENTATION template ostream &operator<<(ostream &os, const pair &j) { return os << '{' << j.first << ", " << j.second << '}'; } template enable_if_t PRINT_TUPLE(ostream &os, const tuple &t) {} template enable_if_t PRINT_TUPLE(ostream &os, const tuple &t) { os << get(t); if (num + 1 < sizeof...(T)) os << ", "; PRINT_TUPLE(os, t); } template ostream &operator<<(ostream &os, const tuple &t) { PRINT_TUPLE(os << '{', t); return os << '}'; } template::value, decltype(declval().begin(), nullptr)>> ostream& operator<<(ostream &os, const C &c) { os << '{'; for (auto it = begin(c); it != end(c); it++) { if (begin(c) != it) os << ", "; os << *it; } return os << '}'; } template ostream &operator<<(ostream &os, const stack &j) { deque d; for (auto c = j; !c.empty(); c.pop()) d.push_front(c.top()); return os << d; } template ostream &operator<<(ostream &os, const queue &j) { deque d; for (auto c = j; !c.empty(); c.pop()) d.push_back(c.front()); return os << d; } template ostream &operator<<(ostream &os, const priority_queue &j) { deque d; for (auto c = j; !c.empty(); c.pop()) d.push_front(c.top()); return os << d; } // OUTPUT FUNCTION template int PV(T &v) { int sz = v.size(); for (int i = 0; i < sz; ++i) cout << v[i] << " \n"[i == sz - 1]; return 0; } inline int print() { cout << endl; return 0; } template int print(Head&& head){ cout << head; return print(); } template int print(Head&& head, Tail&&... tail) { cout << head << " "; return print(forward(tail)...); } #ifdef LOCAL inline void dump() { cerr << endl; } template void dump(Head&& head) { cerr << head; dump(); } template void dump(Head&& head, Tail&&... tail) { cerr << head << ", "; dump(forward(tail)...); } #define debug(...) do {cerr << __LINE__ << ":\t" << #__VA_ARGS__ << " = "; dump(__VA_ARGS__); } while (false) #else #define dump(...) #define debug(...) #endif /* OTHER */ #define fi first #define se second #define MP make_pair #define MT make_tuple #define tmax(x, y, z) max((x), max((y), (z))) #define tmin(x, y, z) min((x), min((y), (z))) template inline bool between(T x, A a, B b) { return ((a <= x) && (x < b)); } template inline bool chmax(A &a, const B &b) { if (a < b) { a = b; return true; } return false; } template inline bool chmin(A &a, const B &b) { if (a > b) { a = b; return true; } return false; } inline ll gcd(ll a, ll b) { return b ? gcd(b, a % b) : a; } inline ll lcm(ll a, ll b) { return a / gcd(a, b) * b; } inline ll POW(ll a, ll b) { ll r = 1; do { if (b & 1) r *= a; a *= a; } while (b >>= 1); return r; } struct abracadabra { abracadabra() { cin.tie(nullptr); ios::sync_with_stdio(false); cout << fixed << setprecision(20); cerr << fixed << setprecision(5); }; } ABRACADABRA; #pragma endregion #pragma region math modint /** * @brief ModInt * @docs docs/math/modint.md */ template< int MODULO > struct ModInt { using i32 = int; using i64 = long long; using u32 = unsigned int; using u64 = unsigned long long; u64 x; ModInt() : x(0) {} ModInt(i64 y) : x(set(y % MODULO + MODULO)) {} static u64 set(const i64 &y) { return (y < MODULO) ? y : y - MODULO; } ModInt operator+(const ModInt &m) const { return ModInt(set(x + m.x)); } ModInt operator-(const ModInt &m) const { return ModInt(set(x + MODULO - m.x)); } ModInt operator*(const ModInt &m) const { return ModInt(x * m.x % MODULO); } ModInt operator/(const ModInt &m) const { return ModInt(x) * ~ModInt(m.x); } ModInt &operator+=(const ModInt &m) { return *this = *this + m; } ModInt &operator-=(const ModInt &m) { return *this = *this - m; } ModInt &operator*=(const ModInt &m) { return *this = *this * m; } ModInt &operator/=(const ModInt &m) { return *this = *this / m; } ModInt &operator^=(const u64 &y) { return *this = *this ^ y; } ModInt operator~ () const { return *this ^ (MODULO - 2); } ModInt operator- () const { return ModInt(set(MODULO - x)); } ModInt operator++() { return *this = ModInt(set(x + 1)); } ModInt operator--() { return *this = ModInt(set(x + MODULO - 1)); } bool operator==(const ModInt &m) const { return x == m.x; } bool operator!=(const ModInt &m) const { return x != m.x; } bool operator< (const ModInt &m) const { return x < m.x; } bool operator<=(const ModInt &m) const { return x <= m.x; } bool operator> (const ModInt &m) const { return x > m.x; } bool operator>=(const ModInt &m) const { return x >= m.x; } explicit operator u64() const { return x; } ModInt operator^(i64 y) const { return pow(x, y); } static ModInt pow(i64 x, i64 y) { bool neg = false; if (y < 0) y = -y, neg = true; ModInt u(1), t(x); while (y) { if (y & 1) u *= t; t *= t; y >>= 1; } return neg ? ModInt(1) / u : u; } friend ostream &operator<<(ostream &os, const ModInt< MODULO > &m) { return os << m.x; } friend istream &operator>>(istream &is, ModInt< MODULO > &m) { u64 y; is >> y; m = ModInt(y); return is; } }; constexpr int MODULO = (int)1e9 + 7; using modint = ModInt< MODULO >; #pragma endregion #pragma region math matrix /** * @brief Matrix (行列) * @docs docs/math/matrix/matrix.md */ template struct Matrix { vector> A; Matrix() {} Matrix(size_t n, size_t m) : A(n, vector(m, 0)) {} Matrix(size_t n) : A(n, vector(n, 0)) {} size_t height() const { return A.size(); } size_t width() const { assert(height() > 0); return A[0].size(); } inline const vector &operator[](int k) const { return A.at(k); } inline vector &operator[](int k) { return A.at(k); } static Matrix I(size_t n) { Matrix mat(n); for (int i = 0; i < n; ++i) mat[i][i] = 1; return mat; } Matrix& operator+=(const Matrix &B) { size_t n = height(), m = width(); assert(n == B.height() and m == B.width()); for (int i = 0; i < n; ++i) for (int j = 0; j < m; ++j) (*this)[i][j] += B[i][j]; return *this; } Matrix& operator-=(const Matrix &B) { size_t n = height(), m = width(); assert(n == B.height() and m == B.width()); for (int i = 0; i < n; ++i) for (int j = 0; j < m; ++j) (*this)[i][j] -= B[i][j]; return *this; } Matrix& operator*=(const Matrix &B) { size_t n = height(), m = B.width(), p = width(); assert(p == B.height()); vector> C(n, vector(m, 0)); for (int i = 0; i < n; ++i) for (int j = 0; j < m; ++j) for (int k = 0; k < p; ++k) C[i][j] += (*this)[i][k] * B[k][j]; A.swap(C); return *this; } Matrix& operator^=(long long k) { Matrix B = Matrix::I(height()); while (k > 0) { if (k & 1) B *= *this; *this *= *this; k >>= 1LL; } A.swap(B.A); return *this; } Matrix operator+(const Matrix &B) const { return (Matrix(*this) += B); } Matrix operator-(const Matrix &B) const { return (Matrix(*this) -= B); } Matrix operator*(const Matrix &B) const { return (Matrix(*this) *= B); } Matrix operator^(const long long k) const { return (Matrix(*this) ^= k); } friend istream &operator>>(istream &is, Matrix &p) { size_t n = p.height(), m = p.width(); for (int i = 0; i < n; ++i) { for (int j = 0; j < m; ++j) { is >> p[i][j]; } } return is; } friend ostream &operator<<(ostream &os, Matrix &p) { size_t n = p.height(), m = p.width(); for (int i = 0; i < n; ++i) { os << '['; for (int j = 0; j < m; ++j) { os << p[i][j] << (j + 1 == m ? "]\n" : ", "); } } return os; } T determinant() { Matrix B(*this); assert(width() == height()); T ret = 1; for (int i = 0; i < width(); ++i) { int idx = -1; for (int j = i; j < width(); ++j) if (B[j][i] != 0) idx = j; if (idx == -1) return T(0); if (i != idx) { ret *= -1; swap(B[i], B[idx]); } ret *= B[i][i]; T vv = B[i][i]; for (int j = 0; j < width(); ++j) B[i][j] /= vv; for (int j = i + 1; j < width(); ++j) { T a = B[j][i]; for (int k = 0; k < width(); ++k) B[j][k] -= B[i][k] * a; } } return ret; } }; #pragma endregion using mint = modint; bool ok[7][7][7]; signed main() { SS(int, K, M); SS(ll, N); int K3 = K * K * K; Matrix init(K3, 1); Matrix mat(K3, K3); auto conv = [&](int p, int q, int r) -> int { return p * K * K + q * K + r; }; REP(i, M) { SS(int, P, Q, R); --P, --Q, --R; if (P == 0) init[conv(P, Q, R)][0] = 1; ok[P][Q][R] = true; } REP(i, K) REP(j, K) REP(k, K) { if (not ok[i][j][k]) continue; REP(l, K) { if (not ok[j][k][l]) continue; int frm = conv(i, j, k); int to = conv(j, k, l); mat[to][frm] = 1; } } mat ^= N - 3; mat *= init; mint res = 0; REP(i, K * K) res += mat[i * K][0]; print(res); }