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