int A[15];
int main(){
	int x=0,y=0,z,k,p=0;
	for(;x<16;x++)if(scanf("%d",&k),k){for(z=0;z<y;z++)p^=A[z]>k;A[y++]=k--;p|=(abs(x/4-k/4)+abs(x%4-k%4)>1)*2;}else p^=abs(x/4-3)%2;
	puts(p?"No":"Yes");
return 0;
}