#include #include #define rep(i, a, b) for (ll i = (ll)(a); i < (ll)(b); i++) using namespace std; using namespace atcoder; typedef long long ll; ll make_hash(vector &v) { ll ret = 0; for (auto &x : v) ret = ret * 1000000007 + x; return ret; } int main() { int h, w; cin >> h >> w; vector x(w), t(h); rep(i, 0, w) cin >> x[i]; vector> c(h, vector(w)); unordered_map ma; rep(i, 0, h) { rep(j, 0, w) cin >> c[i][j]; cin >> t[i]; c[i].push_back(t[i]); ma[make_hash(c[i])]++; } vector none = {-1}; auto f = [&](int ind, ll tt) { vector ret(w); rep(j, 0, w) { ll q = 10000LL * x[j]; q -= (100LL - tt) * t[ind] * c[ind][j]; ll p = tt * 100; if (abs(q) % abs(p) != 0) return none; ret[j] = q / p; } ret.push_back(tt); return ret; }; rep(i, 0, h) { ma[make_hash(c[i])]--; rep(j, 1, 101) { auto v = f(i, j); if (v == none) continue; if (ma[make_hash(v)]) { cout << "Yes" << endl; return 0; } } ma[make_hash(c[i])]++; } cout << "No" << endl; }