#include<stdio.h>
#include<cstdlib>
using namespace std;
int main()
{
int i,j,k,x,y,n;
int flag1;
int a[10][10];
int flag[10];
while(true)
{
for(i=0;i<9;i++)
{
for(j=0;j<9;j++) scanf("%d", &a[i][j]);
}
{
flag1=0;
for(i=0;i<9;i++)
{
for(j=0;j<9;j++) flag[a[i][j]]++;
for(k=1;k<=9;k++)
{
if(flag[k]==0)
{
flag1=1;
printf("no\n");
}
if(flag1==1) break;
flag[k]=0;
}
if(flag1==1) break;
}
if(flag1==0)
{
for(i=0;i<9;i++)
{
for(j=0;j<9;j++) flag[a[j][i]]++;
for(k=1;k<=9;k++)
{
if(flag[k]==0)
{
flag1=1;
printf("no\n");
}
if(flag1==1) break;
flag[k]=0;
}
if(flag1==1) break;
}
if(flag1==0)
{
for(i=0;i<=6;i+=3)
{
for(j=0;j<=6;j+=3)
{
for(y=i;y<i+3;y++)
{
for(x=j;x<j+3;x++) flag[a[y][x]]++;
}
for(k=1;k<=9;k++)
{
if(flag[k]==0)
{
flag1=1;
printf("no\n");
}
if(flag1==1) break;
flag[k]=0;
}
if(flag1==1) break;
}
if(flag1==1) break;
}
if(flag1==0) printf("yes\n");
}
}
}
}
}