A[15],x,y,z,k,p;main(){
	for(;~scanf("%d",&k);x++)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");
}