#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){
			A[y++]=k--;
			for(z=0;z<y-1;z++)p^=A[z]>k;
			int d=abs(x/4-k/4)+abs(x%4-k%4);
			if(d>1){puts("No");return 0;}
		}else{
			p^=abs(x/4-3)%2;
		}
	}
	puts(p?"No":"Yes");
}