print<>~~[map 4**$_*2-2**$_,1,2,4,6,12,16,18]?Yes:No