using System;
using System.Collections.Generic;
using static Assistant.Input;
using static Assistant.Debug;
using System.Linq;
using Assistant;
using System.Text;

namespace ABC118D
{
    class Program
    {
        static void Main(string[] args)
        {
            int INF = -int.MaxValue / 2;
            int[] needmask = new int[] { 2, 5, 5, 4, 5, 6, 3, 7, 6 };

            var N = ReadInt;
            var M = ReadInt;
            var A = ReadInts.OrderByDescending(x => x).ToArray();   //数字
            var B = new int[M]; //本数
            for (int i = 0; i < M; i++)
            {
                B[i] = needmask[A[i] - 1];
            }

            int[] dp = new int[N + 10].Select(x => INF).ToArray();          //n本を使って作れる最高の桁数
            dp[0] = 0;
            for (int i = 0; i < N; i++)
            {
                for (int j = 0; j < M; j++)
                {
                    dp[i + B[j]] = Math.Max(dp[i + B[j]], dp[i] + 1);
                }
            }

            Draw1D(dp);

            StringBuilder sb = new StringBuilder();
            int count = N;
            for (int i = 0; i < dp[N]; i++)
            {
                for (int j = 0; j < M; j++)
                {
                    if (count - B[j] >= 0 && dp[count - B[j]] == dp[count] - 1)
                    {
                        sb.Append(A[j]);
                        count -= B[j];
                        break;
                    }
                }
            }

            Console.WriteLine(sb);
        }
    }


}

namespace Assistant
{
    static class Input
    {
        static List<string> line = new List<string>();
        static int index = 0;
        static String ReadNext()
        {
            if (line.Count <= index) line.AddRange(Console.ReadLine().Split());
            return line[index++];
        }
        public static int ReadInt => int.Parse(ReadNext());
        public static long ReadLong => long.Parse(ReadNext());
        public static int[] ReadInts => Console.ReadLine().Split().Select(int.Parse).ToArray();
        public static long[] NextLongs => Console.ReadLine().Split().Select(long.Parse).ToArray();
    }

    static class Debug
    {
        static public void Draw2D(int[,] map, int mode = 1)
        {
#if DEBUG
            int W = map.GetLength(0);
            int H = map.GetLength(1);

            int[,] map2 = new int[W + 1, H + 1];
            for (int i = 0; i < W + 1; i++)
            {
                for (int j = 0; j < H + 1; j++)
                {
                    if (i == 0 && j == 0) map2[i, j] = 0;
                    else if (i == 0) map2[i, j] = j - 1;
                    else if (j == 0) map2[i, j] = i - 1;
                    else map2[i, j] = map[i - 1, j - 1];
                }
            }

            for (int i = 0; i < W + 1; i++)
            {
                for (int j = 0; j < H + 1; j++)
                {
                    if (mode == 0) Console.Write(map2[i, j] % 10);
                    if (mode == 1) Console.Write(map2[i, j] + " ");
                }
                Console.WriteLine();
            }
            Console.WriteLine();
#endif
        }

        public static void Draw1D(int[] array, int mode = 0)
        {
#if DEBUG
            Console.WriteLine(string.Join(" ", array));
#endif
        }
    }
}


Measured memory_bytes: 13524