#include <stdio.h>

int A[9][9],hline[9],lline[9],M[9];
int determine(void);

int main(void)
{
int i,j,k=1;

while(k<=2)
{
for(i=0;i<9;i++)
{
for(j=0;j<9;j++)
{
scanf("%d",&A[i][j]);
}
hline[i]=lline[i]=M[i]=0;
}
printf("%s",(determine())?"yes":"no");
}


return 0;

}

int determine(void)
{
int i,j,k;
for(k=1;k<=9;k++)
{
for(i=0;i<9;i++)
{
for(j=0;j<9;j++)
{
if(A[i][j]==k)
{
if(hline[i]==k || lline[j]==k || M[3*(i%3)+(j%3)]==k)
return 0;
hline[i]=lline[j]=M[3*(i%3)+(j%3)]=k;
}
}
}
}
return 1;

}