#include <stdio.h>
#include <stdlib.h>
int A[15];
int main(){
	int y=0,x=0,z,k,p=0;
	for(;x<16;x++){
		scanf("%d",&k);
		if(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");
}