$_[$_]=++$%for`dd`=~/\d+/g;
while(($a=abs$_[$_[0]]-$_[0])==1||$a==4){
	($_[$_[0]],$_[0])=($_[0],$_[$_[0]])
}
print"@_"eq"@{[16,1..15]}"?Yes:No