ll@n,@d[n][n],p=0,q=0;
rep(i,n){
	rep(j,n){
		(p,q)|=d[i][j]!=d[j][i]|(!d[i][j]^i==j);
		rep(k,n){
			p|=d[i][j]>d[i][k]+d[k][j];
			q|=d[i][j]>max(d[i][k],d[k][j]);
		}
	}
}
wt(p?"No":"Yes");
wt(q?"No":"Yes");