s,i,a[17];main(){for(;~scanf("%d",a+i);i++)if(a[i]--)s+=abs(a[i]/4-i/4)+abs(a[i]%4-i%4)+(a[i]!=i);for(i=-i;i=~a[~i]?:!puts(s?"No":"Yes");s-=2);}