#include<bits/stdc++.h>
using namespace std;
int N,M,i,j,A[9],num[9]={2,5,5,4,5,6,3,7,6};
string dp[10101];
void chmax(string &s,string t){
  if(s=="_"||s.size()<t.size()||(s.size()==t.size()&&s<t))s=t;
}
int main(){
  cin>>N>>M;
  for(i=0;i<M;i++)cin>>A[i];
  fill(dp,dp+10101,"_");
  dp[0]="";
  for(i=0;i<=N;i++){
    if(dp[i]=="_")continue;
    for(j=0;j<M;j++)chmax(dp[i+num[A[j]-1]],dp[i]+to_string(A[j]));
  }
  cout<<dp[N]<<endl;
}
