#include #include #include #include using namespace std; using ll = long long; constexpr int iINF = 1'000'000'000; constexpr ll llINF = 1'000'000'000'000'000'000; int main () { int N, M; cin >> N >> M; vector A(N); for (int i = 0; i < N; i++) cin >> A[i]; // A[i]として表れてしまった数はその倍数までは責任を持たないとダメ。 // 小さいA[i]から見ていき、上限まで倍数がちゃんと入っているかチェックして、全部クリアすればそいつは必須。(小さいA[i]から見ているので、それ自身を生成する数が必要) vector B; sort(A.begin(), A.end()); map mp; for (auto a : A) mp[a] = true; bool ok = true; map seen; for (int i = 0; i < N; i++) { int a = A[i]; if (a == 0) continue; if (seen[a]) continue; int cur = a; while (cur <= M) { if (mp.find(cur) == mp.end()) ok = false; seen[cur] = true; cur += a; } B.push_back(a); } if (!ok) { cout << -1 << "\n"; return 0; } cout << B.size() << "\n"; for (int i = 0; i < B.size(); i++) { cout << B[i] << (i == B.size() - 1 ? '\n' : ' '); } }