#include <bits/stdc++.h>

#define debug(x) cerr << #x << ": " << x << endl
#define debugArray(x, n)                                                       \
    for(long long hoge = 0; (hoge) < (n); ++(hoge))                            \
    cerr << #x << "[" << hoge << "]: " << x[hoge] << endl
using namespace std;

typedef long long ll;
typedef unsigned long long ull;
typedef vector<ll> vll;
const ll INF = LLONG_MAX / 2;
const ll MOD = 1e9 + 7;

signed main() {
    cin.tie(0);
    ios::sync_with_stdio(false);
    int num[9] = {2, 5, 5, 4, 5, 6, 3, 7, 6};
    int N, M;
    cin >> N >> M;
    bool exist[10] = {};
    for(int i = 0; i < M; i++) {
        int A;
        cin >> A;
        exist[A - 1] = true;
    }
    string ans;
    if(exist[0]) {
        if(N & 1) {
            if(exist[6]) {
                ans += "7";
                for(int i = 0; i < (N - 3) / 2; i++) {
                    ans += "1";
                }
            } else if(exist[4]) {
                ans += "5";
                for(int i = 0; i < (N - 5) / 2; i++) {
                    ans += "1";
                }
            } else if(exist[2]) {
                ans += "3";
                for(int i = 0; i < (N - 5) / 2; i++) {
                    ans += "1";
                }
            } else if(exist[1]) {
                ans += "2";
                for(int i = 0; i < (N - 5) / 2; i++) {
                    ans += "1";
                }
            } else if(exist[7]) {
                ans += "8";
                for(int i = 0; i < (N - 7) / 2; i++) {
                    ans += "1";
                }
            }
        } else {
            for(int i = 0; i < N / 2; i++) {
                ans += "1";
            }
        }
    }else if(exist[6]){
        if(N%3==0){
            for(int i = 0; i < N/3;i++){
                ans += "7";
            }
        }else if(N%3==1){
            if(exist[3]){
                for(int i = 0; i < (N-4) / 3; i++) {
                    ans += "7";
                }
                ans += "4";
            }else if(exist[7]){
                ans += "8";
                for(int i = 0; i < (N-7) / 3; i++) {
                    ans += "7";
                }
            }else if(exist[4]){
                for(int i = 0; i < (N-10) / 3; i++) {
                    ans += "7";
                }
                ans += "55";
            }else if(exist[2]){
                for(int i = 0; i < (N-10) / 3; i++) {
                    ans += "7";
                }
                ans += "33";
            }else if(exist[1]){
                for(int i = 0; i < (N-10) / 3; i++) {
                    ans += "7";
                }
                ans += "22";
            }
        }else{
            if(exist[4]){
                for(int i = 0; i < (N-5) / 3; i++) {
                    ans += "7";
                }
                ans += "5";
            }else if(exist[2]){
                for(int i = 0; i < (N-5) / 3; i++) {
                    ans += "7";
                }
                ans += "3";
            }else if(exist[1]){
                for(int i = 0; i < (N-5) / 3; i++) {
                    ans += "7";
                }
                ans += "2";
            }else if(exist[3]){
                for(int i = 0; i < (N-8) / 3; i++) {
                    ans += "7";
                }
                ans += "44";
            }else if(exist[7]){
                ans += "88";
                for(int i = 0; i < (N-14) / 3; i++) {
                    ans += "7";
                }
            }
        }
    }else if(exist[3]){
        if(N%4==0){
            for(int i=0;i<N/4;i++){
                ans += "4";
            }
        }else if(N%4==1){
            if(exist[4]){
                ans += "5";
                for(int i=0;i<(N-5)/4;i++){
                    ans += "4";
                }
            }else if(exist[2]){
                for(int i=0;i<(N-5)/4;i++){
                    ans += "4";
                }
                ans += "3";
            }else if(exist[1]){
                for(int i=0;i<(N-5)/4;i++){
                    ans += "4";
                }
                ans += "2";
            }else if(exist[7]){
                if(exist[8]){
                    ans += "98";
                    for(int i=0;i<(N-13)/4;i++){
                        ans += "4";
                    }
                }else if(exist[5]){
                    ans += "86";
                    for(int i=0;i<(N-13)/4;i++){
                        ans += "4";
                    }
                }else{
                    ans += "888";
                    for(int i=0;i<(N-21)/4;i++){
                        ans += "4";
                    }
                }
            }
        }else if(N%4==2){
            if(exist[8]){
                ans += "9";
                for(int i=0;i<(N-6)/4;i++){
                    ans += "4";
                }
            }else if(exist[5]){
                ans += "6";
                for(int i=0;i<(N-6)/4;i++){
                    ans += "4";
                }
            }else if(exist[4]){
                ans += "55";
                for(int i=0;i<(N-10)/4;i++){
                    ans += "4";
                }
            }else if(exist[2]){
                for(int i=0;i<(N-10)/4;i++){
                    ans += "4";
                }
                ans += "33";
            }else if(exist[1]){
                for(int i=0;i<(N-10)/4;i++){
                    ans += "4";
                }
                ans += "22";
            }else if(exist[7]){
                ans += "88";
                for(int i=0;i<(N-14)/4;i++){
                    ans += "4";
                }
            }
        }else{
            if(exist[8]){
                if(exist[4]){
                    ans += "95";
                    for(int i=0;i<(N-11)/4;i++){
                        ans += "4";
                    }
                }else if(exist[2]){
                    ans += "9";
                    for(int i=0;i<(N-11)/4;i++){
                        ans += "4";
                    }
                    ans += "3";
                }else if(exist[1]){
                    ans += "9";
                    for(int i=0;i<(N-11)/4;i++){
                        ans += "4";
                    }
                    ans += "2";
                }
            }else if(exist[7]){
                ans += "8";
                for(int i=0;i<(N-7)/4;i++){
                    ans += "4";
                }
            }else if(exist[5]){
                if(exist[4]){
                    ans += "65";
                    for(int i=0;i<(N-11)/4;i++){
                        ans += "4";
                    }
                }else if(exist[2]){
                    ans += "6";
                    for(int i=0;i<(N-11)/4;i++){
                        ans += "4";
                    }
                    ans += "3";
                }else if(exist[1]){
                    ans += "6";
                    for(int i=0;i<(N-11)/4;i++){
                        ans += "4";
                    }
                    ans += "2";
                }
            }else if(exist[4]){
                ans += "555";
                for(int i=0;i<(N-15)/4;i++){
                    ans += "4";
                }
            }else if(exist[2]){
                for(int i=0;i<(N-15)/4;i++){
                    ans += "4";
                }
                ans += "333";
            }else if(exist[1]){
                for(int i=0;i<(N-15)/4;i++){
                    ans += "4";
                }
                ans += "222";
            }
        }
    }else if(exist[4]){
        if(N%5==0){
            for(int i=0;i<N/5;i++){
                ans += "5";
            }
        }else if(N%5==1){
            if(exist[8]){
                ans += "9";
                for(int i=0;i<(N-6)/5;i++){
                    ans += "5";
                }
            }else if(exist[5]){
                ans += "6";
                for(int i=0;i<(N-6)/5;i++){
                    ans += "5";
                }
            }else if(exist[7]){
                ans += "888";
                for(int i=0;i<(N-21)/5;i++){
                    ans += "5";
                }
            }
        }else if(N%5==2){
            if(exist[7]){
                ans += "8";
                for(int i=0;i<(N-7)/5;i++){
                    ans += "5";
                }
            }else if(exist[8]){
                ans += "99";
                for(int i=0;i<(N-12)/5;i++){
                    ans += "5";
                }
            }else if(exist[5]){
                ans += "66";
                for(int i=0;i<(N-12)/5;i++){
                    ans += "5";
                }
            }
        }else if(N%5==3){
            if(exist[8]){
                if(exist[7]){
                    ans += "98";
                    for(int i=0;i<(N-13)/5;i++){
                        ans += "5";
                    }
                }else{
                    ans += "999";
                    for(int i=0;i<(N-18)/5;i++){
                        ans += "5";
                    }
                }
            }else if(exist[5]){
                if(exist[7]){
                    ans += "86";
                    for(int i=0;i<(N-13)/5;i++){
                        ans += "5";
                    }
                }else{
                    ans += "666";
                    for(int i=0;i<(N-18)/5;i++){
                        ans += "5";
                    }
                }
            }else if(exist[7]){
                ans += "8888";
                for(int i=0;i<(N-28)/5;i++){
                    ans += "5";
                }
            }
        }else{
            if(exist[8]){
                ans += "9999";
                for(int i=0;i<(N-24)/5;i++){
                    ans += "5";
                }
            }else if(exist[7]){
                ans += "88";
                for(int i=0;i<(N-14)/5;i++){
                    ans += "5";
                }
            }else if(exist[5]){
                ans += "6666";
                for(int i=0;i<(N-24)/5;i++){
                    ans += "5";
                }
            }
        }
    }else if(exist[2]){
        if(N%5==0){
            for(int i=0;i<N/5;i++){
                ans += "3";
            }
        }else if(N%5==1){
            if(exist[8]){
                ans += "9";
                for(int i=0;i<(N-6)/5;i++){
                    ans += "3";
                }
            }else if(exist[5]){
                ans += "6";
                for(int i=0;i<(N-6)/5;i++){
                    ans += "3";
                }
            }else if(exist[7]){
                ans += "888";
                for(int i=0;i<(N-21)/5;i++){
                    ans += "3";
                }
            }
        }else if(N%5==2){
            if(exist[7]){
                ans += "8";
                for(int i=0;i<(N-7)/5;i++){
                    ans += "3";
                }
            }else if(exist[8]){
                ans += "99";
                for(int i=0;i<(N-12)/5;i++){
                    ans += "3";
                }
            }else if(exist[5]){
                ans += "66";
                for(int i=0;i<(N-12)/5;i++){
                    ans += "3";
                }
            }
        }else if(N%5==3){
            if(exist[8]){
                if(exist[7]){
                    ans += "98";
                    for(int i=0;i<(N-13)/5;i++){
                        ans += "3";
                    }
                }else{
                    ans += "999";
                    for(int i=0;i<(N-18)/5;i++){
                        ans += "3";
                    }
                }
            }else if(exist[5]){
                if(exist[7]){
                    ans += "86";
                    for(int i=0;i<(N-13)/5;i++){
                        ans += "3";
                    }
                }else{
                    ans += "666";
                    for(int i=0;i<(N-18)/5;i++){
                        ans += "3";
                    }
                }
            }else if(exist[7]){
                ans += "8888";
                for(int i=0;i<(N-28)/5;i++){
                    ans += "3";
                }
            }
        }else{
            if(exist[8]){
                ans += "9999";
                for(int i=0;i<(N-24)/5;i++){
                    ans += "3";
                }
            }else if(exist[7]){
                ans += "88";
                for(int i=0;i<(N-14)/5;i++){
                    ans += "3";
                }
            }else if(exist[5]){
                ans += "6666";
                for(int i=0;i<(N-24)/5;i++){
                    ans += "3";
                }
            }
        }
    }else if(exist[1]){
        if(N%5==0){
            for(int i=0;i<N/5;i++){
                ans += "2";
            }
        }else if(N%5==1){
            if(exist[8]){
                ans += "9";
                for(int i=0;i<(N-6)/5;i++){
                    ans += "2";
                }
            }else if(exist[5]){
                ans += "6";
                for(int i=0;i<(N-6)/5;i++){
                    ans += "2";
                }
            }else if(exist[7]){
                ans += "888";
                for(int i=0;i<(N-21)/5;i++){
                    ans += "2";
                }
            }
        }else if(N%5==2){
            if(exist[7]){
                ans += "8";
                for(int i=0;i<(N-7)/5;i++){
                    ans += "2";
                }
            }else if(exist[8]){
                ans += "99";
                for(int i=0;i<(N-12)/5;i++){
                    ans += "2";
                }
            }else if(exist[5]){
                ans += "66";
                for(int i=0;i<(N-12)/5;i++){
                    ans += "2";
                }
            }
        }else if(N%5==3){
            if(exist[8]){
                if(exist[7]){
                    ans += "98";
                    for(int i=0;i<(N-13)/5;i++){
                        ans += "2";
                    }
                }else{
                    ans += "999";
                    for(int i=0;i<(N-18)/5;i++){
                        ans += "2";
                    }
                }
            }else if(exist[5]){
                if(exist[7]){
                    ans += "86";
                    for(int i=0;i<(N-13)/5;i++){
                        ans += "2";
                    }
                }else{
                    ans += "666";
                    for(int i=0;i<(N-18)/5;i++){
                        ans += "2";
                    }
                }
            }else if(exist[7]){
                ans += "8888";
                for(int i=0;i<(N-28)/5;i++){
                    ans += "2";
                }
            }
        }else{
            if(exist[8]){
                ans += "9999";
                for(int i=0;i<(N-24)/5;i++){
                    ans += "2";
                }
            }else if(exist[7]){
                ans += "88";
                for(int i=0;i<(N-14)/5;i++){
                    ans += "2";
                }
            }else if(exist[5]){
                ans += "6666";
                for(int i=0;i<(N-24)/5;i++){
                    ans += "2";
                }
            }
        }
    }else if(exist[8]){
        for(int i=0;i<(N-(N%6)*7)/6;i++){
            ans += "9";
        }
        for(int i=0;i<N%6;i++){
            ans += "8";
        }
    }else if(exist[5]){
        for(int i=0;i<N%6;i++){
            ans += "8";
        }
        for(int i=0;i<(N-(N%6)*7)/6;i++){
            ans += "6";
        }
    }else{
        for(int i=0;i<N/7;i++){
            ans += "8";
        }
    }
    cout<<ans<<endl;
    return 0;
}


Measured memory_bytes: 256