import Control.Monad
import Data.Maybe
import qualified Data.ByteString.Char8 as BS
import Data.List

readInt = fst . fromJust . BS.readInt
readIntList = map readInt . BS.words
getInt = readInt <$> BS.getLine
getIntList = readIntList <$> BS.getLine

main = do
    [n,k] <- getIntList
    as <- getIntList
    let g = foldl1' gcd as 
    let m = maximum as
    putStrLn $ if m >= k && k `mod` g == 0 then "POSSIBLE" else "IMPOSSIBLE"