#include<iostream>

using namespace std;

int main() {
    int n;
    cin >> n;
    int T;
    cin >> T;
    int a[T];
    for (int i = 0; i < T; i++) cin >> a[i];
    for (long long i = 0; i < (1 << n); i++) {
        bool f = true;
        for (int k = 0; k < T; k++) {
            if (!(i & (1 << a[k]))) f = false;
        }
        if (f) {
            cout << i << ":";
            for (long long j = 0; j < n; j++) {
                if (i & (1 << j)) { cout << " " << j; }
            }
            cout << endl;
        }
    }
}
