#include <bits/stdc++.h>
using namespace std;

#define lli long long int
#define ld long double
//初期化
#define DEFO(n) lli n = 0;
//整数最大
#define MAX(n) lli n = 9000000000000000000;
//整数最小
#define MIN(n) lli n = -9000000000000000000;
//少数最大
#define MAX_D(n) ld n = 4500;
//少数最小
#define MIN_D(n) ld n = -4500;
//整数入力
#define LLI(n) \
  lli n;       \
  cin >> n;
//少数入力
#define LD(n) \
  ld n;       \
  cin > n;
//整数配列入力
#define LLIV(a, n)            \
  vector<lli> a(n);           \
  for (lli i = 0; i < n; i++) \
  {                           \
    cin >> a.at(i);           \
  };
//２列整数配列入力
#define LLIV2(a, b, n)         \
  vector<lli> a(n), b(n);      \
  for (lli i = 0; i < n; i++)  \
  {                            \
    cin >> a.at(i) >> b.at(i); \
  };
//３列整数配列入力
#define LLIV3(a, b, c, n)                 \
  vector<lli> a(n), b(n), c(n);           \
  for (lli i = 0; i < n; i++)             \
  {                                       \
    cin >> a.at(i) >> b.at(i) >> c.at(i); \
  };
//少数配列入力
#define LDV(a, n)             \
  vector<ld> a(n);            \
  for (lli i = 0; i < n; i++) \
  {                           \
    cin >> a.at(i);           \
  };
//文字列入力
#define STR(n) \
  string n;    \
  cin >> n;
//文字列配列入力
#define STRV(a, n)            \
  vector<string> a(n);        \
  for (lli i = 0; i < n; i++) \
  {                           \
    cin >> a.at(i);           \
  };
//配列の合計
#define SUM(n) accumulate(n.begin(), n.end(), 0);
//配列を昇順
#define SORT(n) sort(n.begin(), n.end());
//配列を降順
#define REVE(n) reverse(n.begin(), n.end());
//Yesと表示
#define yes              \
  cout << "Yes" << endl; \
  return 0;
//Noと表示
#define no              \
  cout << "No" << endl; \
  return 0;
//Noneと表示
#define none              \
  cout << "None" << endl; \
  return 0;
//四捨五入
#define C45(n) (n + 1) / 2
//nを出力
#define OUT(n) cout << n << endl;
//文字列からcを探す
#define SRC(n, c)                    \
  for (lli i = 0; i < s.size(); i++) \
  {                                  \
    if (s.at(i) == c)                \
    {                                \
      n++;                           \
    }                                \
  };

//素数
bool IsPrime(lli num)
{
  if (num < 2)
    return false;
  else if (num == 2)
    return true;
  else if (num % 2 == 0)
    return false;
  long double sqrtNum = sqrt(num);
  for (lli i = 3; i <= sqrtNum; i += 2)
  {
    if (num % i == 0)
      return false;
  }
  return true;
}
//各桁の和
lli KSum(lli n)
{
  lli sum = 0;
  if (n < 0)
    return 0;
  while (n > 0)
  {
    sum += n % 10;
    n /= 10;
  }
  return sum;
}

//数値反転
bool KReve(lli n)
{
  int reverse = 0;
  int remaind;
  int tmp = n;
  while (tmp != 0)
  {
    remaind = tmp % 10;
    reverse = reverse * 10 + remaind;
    tmp /= 10;
  }
  if (reverse == n)
    return true;
  else
    return false;
}

//桁数
unsigned GetDigit(unsigned num)
{
  return log10(num) + 1;
}

int main(void)
{
  ios::sync_with_stdio(false);
  LLIV(c, 9)MAX(a1)MAX(a2)MAX(a3)MAX(b1)MAX(b2)MAX(b3)
  for(lli i = 0;i < 9;i++) {
    if(i%3==0) {
      a1 = min(c[i],a1); 
    }
    else if(i%3==1) {
      a2 = min(c[i], a2);
    }
    else {
      a3 = min(c[i], a3);
    }
    if(i<3) {
      b1 = min(c[i], b1);
    }
    else if(i<6) {
      b2 = min(c[i], b2);
    }
    else {
      b3 = min(c[i], b3);
    }
  }
  for(lli i = 0;i <= a1;i++) {
    for(lli u = 0;u <= a2;u++) {
      for(lli o = 0;o <= a3;o++) {
        if (a1-i + b1-i-u-o == c[0])
        {
          if (a1-i + b2-i-u-o == c[3])
          {
            if (a1-i + b3-i-u-o == c[6])
            {
              if (a2-i + b1-i-u-o == c[1])
              {
                if (a2-i + b2-i-u-o == c[4])
                {
                  if (a2-i + b3-i-u-o == c[7])
                  {
                    if (a3-i + b1-i-u-o == c[2])
                    {
                      if (a3-i + b2-i-u-o == c[5])
                      {
                        if (a3-i + b3-i-u-o == c[8])
                        {
                          yes
                        }
                      }
                    }
                  }
                }
              }
            }
          }
        }
      }
    }
  }
  no
}


Measured memory_bytes: 256