#line 2 "template.hpp" // #pragma GCC target("avx2") // #pragma GCC optimize("O3") // #pragma GCC optimize("unroll-loops") #include using namespace std; template concept Streamable = requires(ostream os, T &x) { os << x; }; template concept is_modint = requires(mint &x) { { x.val() } -> std::convertible_to; }; #ifdef LOCAL #include #else #define debug(...) #endif template void print_one(const T &value) { cout << value; } template void print_one(const T &value) { cout << value.val(); } void print() { cout << '\n'; } template void print(const T &a, const Ts &...b) { print_one(a); ((cout << ' ', print_one(b)), ...); cout << '\n'; } template requires(!Streamable) void print(const Iterable &v) { for(auto it = v.begin(); it != v.end(); ++it) { if(it != v.begin()) cout << " "; print_one(*it); } cout << '\n'; } using ll = long long; using vl = vector; using vll = vector; using P = pair; #define all(v) v.begin(), v.end() template inline bool chmax(T &a, T b) { return ((a < b) ? (a = b, true) : (false)); } template inline bool chmin(T &a, T b) { return ((a > b) ? (a = b, true) : (false)); } // https://trap.jp/post/1224/ template constexpr auto min(T... a) { return min(initializer_list>{a...}); } template constexpr auto max(T... a) { return max(initializer_list>{a...}); } template void input(T &...a) { (cin >> ... >> a); } template void input(vector &a) { for(T &x : a) cin >> x; } #define INT(...) \ int __VA_ARGS__; \ input(__VA_ARGS__) #define LL(...) \ long long __VA_ARGS__; \ input(__VA_ARGS__) #define STR(...) \ string __VA_ARGS__; \ input(__VA_ARGS__) #define REP1(a) for(ll i = 0; i < a; i++) #define REP2(i, a) for(ll i = 0; i < a; i++) #define REP3(i, a, b) for(ll i = a; i < b; i++) #define REP4(i, a, b, c) for(ll i = a; i < b; i += c) #define overload4(a, b, c, d, e, ...) e #define rep(...) overload4(__VA_ARGS__, REP4, REP3, REP2, REP1)(__VA_ARGS__) #define rep1(i, n) for(ll i = 1; i <= ((ll)n); ++i) ll inf = 3e18; vl dx = {1, -1, 0, 0}; vl dy = {0, 0, 1, -1}; #line 2 "/home/y_midori/cp/a.cpp" template T edmands_karp(vector> &graph, int source, int sink) { assert(source != sink); T flow = 0; vector par(graph.size()), q = par; for(;;) { fill(all(par), -1); par[source] = 0; int ptr = 1; q[0] = source; rep(i, 0, ptr) { int x = q[i]; for(auto e : graph[x]) { if(par[e.first] == -1 and e.second > 0) { par[e.first] = x; q[ptr++] = e.first; if(e.first == sink) goto out; } } } return flow; out: T inc = numeric_limits::max(); for(int y = sink; y != source; y = par[y]) inc = min(inc, graph[par[y]][y]); flow += inc; for(int y = sink; y != source; y = par[y]) { int p = par[y]; if((graph[p][y] -= inc) <= 0) { assert(graph[p][y] == 0); graph[p].erase(y); } graph[y][p] += inc; } } } struct flow_edge { int u, v, p, q; ll w; }; int main() { INT(n, m, d); vector g(m); using pii = pair; map id; vector> t(n); auto ins = [&](int loc, int time) { if(id.contains(pii(loc, time))) return; id[pii(loc, time)] = id.size(); t[loc].insert(time); }; ins(0, 0); ins(n - 1, numeric_limits::max()); rep(i, m) { INT(u, v, p, q, w); u--, v--, q += d; g[i] = flow_edge(u, v, p, q, w); ins(u, p); ins(v, q); } vector> graph(id.size()); for(auto [u, v, p, q, w] : g) { graph[id[pii(u, p)]][id[pii(v, q)]] += w; } rep(i, 0, n) { for(auto itr = begin(t[i]); itr != end(t[i]); ++itr) { if(itr != begin(t[i])) { graph[id[pii(i, *prev(itr))]][id[pii(i, *itr)]] = inf; } } } ll ans = edmands_karp(graph, 0, 1); print(ans); }