#include #include using namespace std; using namespace atcoder; using ll=long long; using ld=long double; ld pie=3.141592653589793; ll inf=144494; ll mod=1000000007; int main(){ ll n; cin >> n; vector>a(n,vector(n)); for (ll i = 0; i < n; i++) { for (ll j = 0; j < n; j++) { cin >> a[i][j]; if (a[i][j]>=n) { cout << "No" << endl; return 0; } } } ll id=-1; for (ll i = 0; i < n; i++) { bool ok=false; for (ll j = 0; j < n; j++) { if (a[i][j]!=j) { ok=true; break; } } if (!ok) { id=i; } } if (id==-1) { cout << "No" << endl; return 0; } for (ll i = 0; i < n; i++) { if (a[i][id]!=i) { cout << "No" << endl; return 0; } } for (ll i = 0; i < n; i++) { bool ok=false; for (ll j = 0; j < n; j++) { if (a[i][j]==id) { ok=true; break; } } if (!ok) { cout << "No"<< endl; return 0; } } for (ll i = 0; i < n; i++) { for (ll j = 0; j < n; j++) { for (ll k = 0; k < n; k++) { if (a[a[i][j]][k]!=a[i][a[j][k]]) { cout << "No" << endl; return 0; } } } } cout << "Yes"<< endl; }