let rec gcd n m =
  if m = 0 then n
  else gcd m (n mod m)

let () =
  let n, k = Scanf.scanf "%d %d\n" (fun n k -> n, k) in
  let as_ = Array.init n (fun _ -> Scanf.scanf "%d " (fun a -> a)) in
  if k <= Array.fold_left max 0 as_ && k mod Array.fold_left gcd 0 as_ = 0 then
    print_endline "POSSIBLE"
  else print_endline "IMPOSSIBLE"