#include <bits/stdc++.h>
#define FOR(i,a,b) for(int i=(a);i<(b);++i)
#define REP(i,n)  for(int i=0;i<(n);++i)
#define REPr(i,n) for(int i=(n)-1;i>=0; --i)
#define FORq(i, m, n) for(int i = (m);i <= (n);++i)
#define FORqr(i, m , n) for(int i = (n);i >=(m);--i)
#define SCD(n) scanf("%d",&n)
#define SCD2(m,n) scanf("%d%d",&m,&n)
#define SCD3(m,n,k) scanf("%d%d%d",&m,&n,&k)
#define SCLLD(n) scanf("%lld",&n)
#define SCLLD2(m,n) scanf("%lld%lld",&m,&n)
#define SCLLD3(m,n,k) scanf("%lld%lld%lld",&m,&n,&k)
#define PB push_back
#define MP make_pair
#define ARSCD(A,N) REP(i,N){SCD(A[i]);}
#define ARSCD1(A,N) FORq(i,1,N){SCD(A[i]);}
#define VSCD(v,N) REP(i,N){int (x); SCD(x); v.PB(x);}
#define VSCLLD(v,N) REP(i,N){long long (x); SCLLD(x); v.PB(x);}
#define PRINTD(n) printf("%d\n",n)
#define PRINTLLD(n) printf("%lld\n",n)
#define DEBUG printf("%s\n","debug")
#define fst first
#define snd second
#define SIN(x,S) (S.count(x) != 0)
#define M0(x) memset(x,0,sizeof(x))
#define FILL(x,y) memset(x,y,sizeof(x))
#define MM(x) memset(x,-1,sizeof(x))
#define ALL(x) (x).begin(),(x).end()
using namespace std;
typedef pair<int,int> PII;
typedef pair<long long,long long> PLL;
typedef vector<int> VI;
typedef vector < VI > VVI;
typedef vector<long long> VL;
typedef long long ll;
typedef long long integer;
///////////////////////////////////////////////
const ll MOD = 1000000007;
ll gcd(ll x,ll y){return y?gcd(y,x%y):x;}

template<class T> inline bool chmin(T& a, T b) {
    if (a > b) {
        a = b;
        return true;
    }
    return false;
}
template<class T> inline bool chmax(T& a, T b) {
    if (a < b) {
        a = b;
        return true;
    }
    return false;
}
///////////////////////////////////////////////
bool comp(string a , string b){
    if (a.length() < b.length()) return true;
    else if (a.length() > b.length()) return false;

    if (a <= b) return true;
    return false;
} // a<=b true

string maxx(string a,string b){
    if (comp(a,b) == true) return b;
    else return a;
}// a,b -> max(a,b)

int main(){
    int N,M;
    SCD2(N,M);
    bool A[10] = {};
    REP(i,M){
        int a;
        SCD(a);
        A[a] = true;
    }

    string s = "";
    static string dp[10002] = {};

    FORq(i,1,N){
        if ((i >= 2) and (A[1] == true)and (dp[i-2] != "" or (i==2))) dp[i]= maxx(dp[i],dp[i-2]+("1"));
        if ((i >= 5) and (A[2] == true)and (dp[i-5] != "" or (i==5))) dp[i]= maxx(dp[i],dp[i-5]+("2"));
        if ((i >= 5) and (A[3] == true)and (dp[i-5] != "" or (i==5))) dp[i]= maxx(dp[i],dp[i-5]+("3"));
        if ((i >= 4) and (A[4] == true)and (dp[i-4] != "" or (i==4))) dp[i]= maxx(dp[i],dp[i-4]+("4"));
        if ((i >= 5) and (A[5] == true)and (dp[i-5] != "" or (i==5))) dp[i]= maxx(dp[i],dp[i-5]+("5"));
        if ((i >= 6) and (A[6] == true)and (dp[i-6] != "" or (i==6))) dp[i]= maxx(dp[i],dp[i-6]+("6"));
        if ((i >= 3) and (A[7] == true)and (dp[i-3] != "" or (i==3))) dp[i]= maxx(dp[i],dp[i-3]+("7"));
        if ((i >= 7) and (A[8] == true)and (dp[i-7] != "" or (i==7))) dp[i]= maxx(dp[i],dp[i-7]+("8"));
        if ((i >= 6) and (A[9] == true)and (dp[i-6] != "" or (i==6))) dp[i]= maxx(dp[i],dp[i-6]+("9"));
        //cout << "i = " << i << "," << dp[i] << "\n";
    }

        cout << dp[N] << "\n";
}

Measured memory_bytes: 41472