i,a[17],*p=a;main(s){for(;i=~scanf("%d",++p)?*p?s+=abs(~-*p/4-i/4)+abs(~-*p%4-i%4)+(~-*p!=i):0,i+1:a[i];)s-=2;puts(s+31?"No":"Yes");}