#include <bits/stdc++.h>

using namespace std;

#define FOR(i, a, b) for(int i = (a); i < (b); i++)
#define RFOR(i, a, b) for(int i = (a) - 1; i >= (b); i--)
#define SZ(a) int(a.size())
#define ALL(a) a.begin(), a.end()
#define PB push_back
#define MP make_pair
#define F first
#define S second

typedef long long LL;
typedef vector<int> VI;
typedef pair<int, int> PII;
typedef double db;

const int L = 1'000'000;

int main()
{
	ios::sync_with_stdio(0); 
	cin.tie(0);
	int n;
	cin >> n;
	vector a(n, VI(n));
	for (VI& ai : a)
		for (int& aij : ai)
			cin >> aij;
	unordered_set<int> unused;
	FOR(i, 0, n)
		unused.insert(i);
	VI can(n), x(n);
	while (!unused.empty())
	{
		int i = *unused.begin();
		can[i] = 1;
		VI vec;
		while (true)
		{
			int j = -1;
			for (int k : unused)
				if (can[k])
					j = k;
			if (j == -1)
				break;
			unused.erase(j);
			if (j != i)
			{
				unordered_map<int, int> mp;
				int cntNonZero = 0;
				for (int k : vec)
				{
					if (a[j][k] != 0)
					{
						mp[x[k] + L - a[j][k]]++;
						if (a[j][k] != L)
							mp[x[k] + a[j][k] - L]++;
						cntNonZero++;
					}
				}
				assert(cntNonZero != 0);
				bool ok = false;
				for (auto [cand, cntCand] : mp)
				{
					if (!ok && cntCand == cntNonZero)
					{
						ok = true;
						x[j] = cand;
						for (int k : vec)
						{
							if (max(0, min(x[k], x[j]) + L - max(x[k], x[j])) != a[k][j])
							{
								ok = false;
							}
						}
					}
				}
				if (!ok)
				{
					cout << "No\n";
					return 0;
				}
			}
			vec.PB(j);
			FOR(k, 0, n)
			{
				if (a[j][k] != 0)
					can[k] = 1;
			}
		}
	}
	cout << "Yes\n";
	return 0;
}