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