#include using namespace std; typedef long long ll; // typedef unsigned long long ull; // const ll INF = numeric_limits::max() / 4; // const int INF = numeric_limits::max() / 4; // cout << std::fixed << std::setprecision(15); int main() { int N; cin >> N; vector X(N, vector(N, 0)); for(int i = 0; i < N; i++){ for(int j = 0; j < N; j++){ cin >> X[i][j]; } } // 群は、結合律、単位元、逆元 bool f = true; for(int i = 0; i < N; i++){ for(int j = 0; j < N; j++){ for(int k = 0; k < N; k++){ // i x (j x k) = (i x j) x k if(X[i][X[j][k]] != X[X[i][j]][k]) f = false; } } } if(!f){ cout << "No" << endl; return 0; } // 単位元 f = false; int u = -1; for(int i = 0; i < N; i++){ bool g = true; for(int j = 0; j < N; j++){ if(X[i][j] != j || X[j][i] != j) g = false; } if(g){ f = true; u = i; } } if(!f){ cout << "No" << endl; return 0; } // 逆元 f = true; for(int i = 0; i < N; i++){ bool g = false; for(int j = 0; j < N; j++){ if(X[i][j] == u && X[j][i] == u) g = true; } if(!g) f = false; } if(!f){ cout << "No" << endl; return 0; } cout << "Yes" << endl; return 0; }