#include <stdio.h>
#include <stdlib.h>

/* run this program using the console pauser or add your own getch, system("pause") or input loop */

int main(int argc, char *argv[]) {
int a,b,f,c,i,j,k,all[81],v[9][9],h[9][9];

while(scanf("%d",&all[0])!=EOF){
c=0;
f=0;
a=0;
b=0;
for(i=1;i<81;i++)
scanf("%d",&all[i]);
for(i=0;i<=(i+72);i+=9){
for(j=i;j<(i+9);j++){
v[a][b]=all[j];
b++;
}
a++;
}
a=0;
b=0;
for(i=0;i<9;i++){
for(j=i;j<=(i+72);j+=9){
h[a][b]=all[j];
b++;
}
a++;
}
for(i=0;i<=(i+78);i+=3){
for(j=i;j<=(i+18);j+=9){
for(k=j;k<(j+3);k++){
c+=all[k];
}
}
if(c!=45){
f=1;
break;
}
c=0;
}
for(i=0;i<9;i++){
for(j=0;j<8;j++){
for(k=(j+1);k<9;k++){
if(v[i][j]==v[i][k]){
f=1;
break;
}
}
}
}
for(i=0;i<9;i++){
for(j=0;j<8;j++){
for(k=(j+1);k<9;k++){
if(h[i][j]==h[i][k]){
f=1;
break;
}
}
}
}
if(f==1)
printf("no\n");
else
printf("yes\n");
printf("\n");
}
return 0;
}