#include<bits/stdc++.h>
#define REP(i,n) for(int i=0;i<(n);i++)
#define ALL(v) (v).begin(),(v).end()
#define int long long
using namespace std;
typedef vector<int>   vint;
typedef pair<int,int> pint;

int cost[10]={0,2,5,5,4,5,6,3,7,6};
string dp[11000];

void chmax(string &s,string t){
    if(s=="-") s=t;
    else if(s.size()<t.size()) s=t;
    else if(s.size()==t.size()){
        if(s<t) s=t;
    }
}

signed main()
{
    int N,M; cin>>N>>M;
    vector<int> A(M);
    REP(i,M) cin>>A[i];

    REP(i,11000) dp[i]="-";
    dp[0]="";
    for(int i=0;i<=N;i++){
        if(dp[i]=="-") continue;
        for(auto a:A){
            string b=dp[i]+(char)('0'+a);
            chmax(dp[i+cost[a]],b);
        }
    }
    cout<<dp[N]<<endl;

}
