#ifdef LOCAL #define _GLIBCXX_DEBUG #endif #pragma region #include using namespace std; using ll = long long; using ull = unsigned long long; using i128 = __int128; using u128 = unsigned __int128; using vi = vector; using vll = vector; using vvi = vector>; using vvll = vector>; using vvvi = vector>>; using vpi = vector>; using vpll = vector>; using vs = vector; using vb = vector; using vvb = vector>; using pi = pair; using pll = pair; template using spq = priority_queue, greater>; template using gpq = priority_queue; #define fi first #define se second #define fore(p,a) for (auto p : a) #define overload4(a,b,c,d,name,...) name #define rep1(n) for (int i = 0; i < int (n); ++i) #define rep2(i,n) for (int i = 0; i < int (n); ++i) #define rep3(i,a,b) for (int i = a; i < int (b); ++i) #define rep4(i,a,b,c) for (int i = a; i < int (b); i += c) #define rep(...) overload4(__VA_ARGS__,rep4,rep3,rep2,rep1)(__VA_ARGS__) #define rrep1(n) for (int i = n; i--;) #define rrep2(i,n) for (int i = n; i--;) #define rrep3(i,a,b) for (int i = b; i-- > (a);) #define rrep4(i,a,b,c) for (int i = (a) + ((b) - (a) - 1) / (c) * (c); i >= (a); i -= c) #define rrep(...) overload4(__VA_ARGS__,rrep4,rrep3,rrep2,rrep1)(__VA_ARGS__) #define all(container) begin(container), end(container) #define rall(container) rbegin(container), rend(container) #define mvvi(name, row, column) vvi name(row, vi(column)) #define mvvll(name, row, column) vvll name(row, vll(column)) #define mvvb(name, row, column) vvb name(row, vb(column)) #define Max(...) max({__VA_ARGS__}) #define Min(...) min({__VA_ARGS__}) #define fin exit(0) #define popc __builtin_popcount #define inrange(x, l, r) ((l) <= (x) && (x) < (r)) #define sq(x) ((x) * (x)) #ifdef LOCAL template string internal_vectostr(vector v) { string ret; for (int i = 0; i < (int) v.size(); i++) ret += (i ? ", " : "") + to_string(v[i]); return ret; } #define dbg(x) cerr << "[DEBUG] " << __LINE__ << ": " << #x << " = " << x << endl #define dbv(x) cerr << "[DEBUG] " << __LINE__ << ": " << #x << " = { " << internal_vectostr(x) << " }" << endl #define tabout(tab, n, m) cout << "[DEBUG]\n"; for (int i = 0; i < n; i++) { for (int j = 0; j < m; j++) cout << tab[i][j] << ' '; cout << endl; } #else template void internal_vectostr(vector v) {} #define dbg(x) ((void) 0) #define dbv(x) ((void) 0) #define tabout(tab, n, m) ((void) 0) #endif constexpr int INF = 1001001001; constexpr ll LINF = 1LL << 60; constexpr double EPS = 1e-10; const double PI = acos(-1); template inline bool chmax(T& a, T b) { if (a < b) { a = b; return 1; } return 0; } template inline bool chmin(T& a, T b) { if (a > b) { a = b; return 1; } return 0; } ll fact(ll x) { return x == 0 ? 1 : x * fact(x - 1); } ll comb(ll n, ll r) { if (r < 0 || n < r) return 0; ll ret = 1; for (ll i = 1; i <= r; i++) { ret *= n; n--; ret /= i; } return ret; } int Yes(bool f=1) { cout << (f ? "Yes" : "No") << '\n'; return 0; } int No() { Yes(0); return 0; } int YES(bool f=1) { cout << (f ? "YES" : "NO") << '\n'; return 0; } int NO() { YES(0); return 0; } int yes(bool f=1) { cout << (f ? "yes" : "no") << '\n'; return 0; } int no() { yes(0); return 0; } template int printvec(vector v) { for (int i = 0; i < (int) v.size(); i++) cout << (i ? " " : "") << v[i]; cout << '\n'; return 0; } struct IoInit { IoInit() { ios::sync_with_stdio(false); cin.tie(nullptr); cout << setprecision(15) << fixed; cerr << setprecision(15) << fixed; } } io_init; #pragma endregion template struct Edge { int rev, from, to; // rev:逆向きの辺の番号 T cap, original_cap; Edge(int r, int f, int t, T c) : rev(r), from(f), to(t), cap(c), original_cap(c) {} }; template struct Graph { vector>> G; Graph(int n = 0) : G(n) {} vector>& operator[](int i) { return G[i]; } const size_t size() const { return G.size(); } Edge& redge(Edge e) { // 逆向きの辺を返す return G[e.to][e.rev]; // 自己ループはないと仮定(あれば G[e.to][e.rev + 1] とする必要がある) } void add_edge(int from, int to, T cap) { // 有向辺を加える G[from].push_back(Edge((int)G[to].size(), from, to, cap)); G[to].push_back(Edge((int)G[from].size() - 1, to, from, 0)); } }; /* FordFulkerson: Ford-Fulkersonのアルゴリズムで最大流を求める構造体 max_flow(G,s,t):sからtへのグラフGの最大流を求める 副作用:G は最大流の残余ネットワークになる 計算量: O(|f*||E|) (f*:最大流) (この最悪ケースになることはほぼ無い) */ template struct FordFulkerson { const T INF = 1e9; vector used; FordFulkerson(){}; T dfs(Graph& G, int v, int t, T f) { // 増加可能経路を見つけて増加分のフローを返す if (v == t) return f; used[v] = true; for (auto& e : G[v]) { if (!used[e.to] && e.cap > 0) { T d = dfs(G, e.to, t, min(f, e.cap)); if (d > 0) { e.cap -= d; G.redge(e).cap += d; return d; } } } return 0; } T max_flow(Graph& G, int s, int t) { T flow = 0; while (true) { used.assign(G.size(), 0); T f = dfs(G, s, t, INF); // f が増加分のフロー if (f == 0) { return flow; } else { flow += f; } } return 0; } }; int main(){ int h,w; cin>>h>>w; mvvi(a,h-2,w); rep(h-2)rep(j,w)cin>>a[i][j]; rep(h-2)rep(j,w)if(a[i][j]==-1)a[i][j]=INF; Graphg(2*h*w); auto pos=[&](int i,int j){return i*w+j;}; auto in=[](int x){return x;}; auto out=[&](int x){return h*w+x;}; rep(h-2)rep(j,w)g.add_edge(in(pos(i+1,j)),out(pos(i+1,j)),a[i][j]); rep(h-2)rep(j,w){ if(jf; ll res=f.max_flow(g,0,2*h*w-1); if(res>=INF)cout<<-1<