// competitive-verifier: PROBLEM #pragma GCC optimize("Ofast,fast-math,unroll-all-loops") #include #if !defined(ATCODER) && !defined(EVAL) #pragma GCC target("sse4.2,avx2,bmi2") #endif template constexpr bool chmax(T &a, const U &b) { return a < (T)b ? a = (T)b, true : false; } template constexpr bool chmin(T &a, const U &b) { return (T)b < a ? a = (T)b, true : false; } constexpr std::int64_t INF = 1000000000000000003; constexpr int Inf = 1000000003; constexpr double EPS = 1e-7; constexpr double PI = 3.14159265358979323846; #define FOR(i, m, n) for (int i = (m); i < int(n); ++i) #define FORR(i, m, n) for (int i = (m) - 1; i >= int(n); --i) #define FORL(i, m, n) for (std::int64_t i = (m); i < std::int64_t(n); ++i) #define rep(i, n) FOR (i, 0, n) #define repn(i, n) FOR (i, 1, n + 1) #define repr(i, n) FORR (i, n, 0) #define repnr(i, n) FORR (i, n + 1, 1) #define all(s) (s).begin(), (s).end() struct Sonic { Sonic() { std::ios::sync_with_stdio(false); std::cin.tie(nullptr); std::cout << std::fixed << std::setprecision(20); } constexpr void operator()() const {} } sonic; struct increment_impl { template const increment_impl &operator>>(std::vector &v) const { for (auto &x : v) ++x; return *this; } } Inc; struct decrement_impl { template const decrement_impl &operator>>(std::vector &v) const { for (auto &x : v) --x; return *this; } } Dec; struct sort_impl { template const sort_impl &operator>>(std::vector &v) const { std::sort(v.begin(), v.end()); return *this; } } Sort; struct unique_impl { template const unique_impl &operator>>(std::vector &v) const { std::sort(v.begin(), v.end()); v.erase(std::unique(v.begin(), v.end()), v.end()); return *this; } } Uniq; using namespace std; using ll = std::int64_t; using ld = long double; template std::istream &operator>>(std::istream &is, std::pair &p) { return is >> p.first >> p.second; } template std::istream &operator>>(std::istream &is, std::vector &v) { for (T &i : v) is >> i; return is; } template std::ostream &operator<<(std::ostream &os, const std::pair &p) { return os << '(' << p.first << ',' << p.second << ')'; } template std::ostream &operator<<(std::ostream &os, const std::vector &v) { for (auto it = v.begin(); it != v.end(); ++it) os << (it == v.begin() ? "" : " ") << *it; return os; } template void co(Head &&head, Tail &&...tail) { if constexpr (sizeof...(tail) == 0) std::cout << head << '\n'; else std::cout << head << ' ', co(std::forward(tail)...); } template void ce(Head &&head, Tail &&...tail) { if constexpr (sizeof...(tail) == 0) std::cerr << head << '\n'; else std::cerr << head << ' ', ce(std::forward(tail)...); } void Yes(bool is_correct = true) { std::cout << (is_correct ? "Yes\n" : "No\n"); } void No(bool is_not_correct = true) { Yes(!is_not_correct); } void YES(bool is_correct = true) { std::cout << (is_correct ? "YES\n" : "NO\n"); } void NO(bool is_not_correct = true) { YES(!is_not_correct); } void Takahashi(bool is_correct = true) { std::cout << (is_correct ? "Takahashi" : "Aoki") << '\n'; } void Aoki(bool is_not_correct = true) { Takahashi(!is_not_correct); } /// @brief 累積和 template struct prefix_sum { prefix_sum() = default; prefix_sum(int _n) : n(_n), data(_n + 1) {} template prefix_sum(const std::vector &v) : n(v.size()), data(v.size() + 1) { std::inclusive_scan(v.rbegin(), v.rend(), data.rbegin() + 1); } void build() { for (int i = n - 1; i >= 0; --i) data[i] += data[i + 1]; } T get(int k) const { assert(0 <= k && k < n); return data[k] - data[k + 1]; } void set(int k, int x) { data[k] = x; } void add(int k, int x) { data[k] += x; } T sum(int r) const { assert(0 <= r && r <= n); return data[0] - data[r]; } T sum(int l, int r) const { assert(0 <= l && l <= r && r <= n); return data[l] - data[r]; } int lower_bound(T x) const { return lower_bound(0, x); } int lower_bound(int l, T x) const { assert(0 <= l && l <= n); int left = l, right = n + 1; while (right - left > 1) { int mid = std::midpoint(left, right); (data[l] - data[mid] >= x ? right : left) = mid; } return right; } int upper_bound(T x) const { return upper_bound(0, x); } int upper_bound(int l, T x) const { assert(0 <= l && l <= n); int left = l, right = n + 1; while (right - left > 1) { int mid = std::midpoint(left, right); (data[l] - data[mid] > x ? right : left) = mid; } return right; } private: int n; std::vector data; }; void solve() { int n, m; cin >> n >> m; vector a(m, vector(n, 0l)); cin >> a; rep (i, m - 1) { rep (j, n) { a[i + 1][j] += a[i][j]; } } rep (i, m) { prefix_sum ps(a[i]); rep (j, n) { int k = ps.lower_bound(j, 777); if (k <= n && ps.sum(j, k) == 777) { YES(); return; } } } NO(); } int main(void) { int t = 1; // std::cin >> t; while (t--) solve(); return 0; }