let rec gcd a b = if b = 0 then a else gcd b (a mod b)
let _ = Scanf.scanf "%d %d" @@ fun n k ->
  let a = Array.init n (fun _ -> Scanf.scanf " %d" ((+) 0)) in
  let v = Array.fold_left gcd a.(0) a in
  Array.fold_left (fun b x -> b || x >= k && (x - k) mod v = 0) false a
  |> fun b -> print_endline (if b then "POSSIBLE" else "IMPOSSIBLE")