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;x=!puts(p?"No":"Yes");}