#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;
typedef long long int ll;

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

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

int main(){
	cin.tie(nullptr);
	ios::sync_with_stdio(false);
	int n,m; cin >> n >> m;
	vector<int> a(m);
	for(int i=0;i<m;i++){
		cin >> a[i];
	}
	for(int i=0;i<11000;i++){
		dp[i]="-";
	}
	dp[0]="";
	for(int i=0;i<n;i++){
		if(dp[i]=="-")continue;
		for(int p:a){
			chmax(dp[i+match[p-1]],dp[i]+(char)('0'+p));
		}
	}
	cout << dp[n] << endl;
}