n,m = map(int,input().split())
a = list(map(int,input().split()))
enabled = [(i in a) for i in range(10)]

if enabled[1]:
    if n % 2 == 1:
        if enabled[7]:
            res = "7" + ((n - 3) // 2) * "1"
        elif enabled[5]:
            res = "5" + ((n - 5) // 2) * "1"
        elif enabled[3]:
            res = "3" + ((n - 5) // 2) * "1"
        elif enabled[2]:
            res = "2" + ((n - 5) // 2) * "1"
        else:
            res = "8" + ((n - 7) // 2) * "1"
    else:
        res = "1" * (n // 2)
elif enabled[7]:
    if n % 3 == 1:
        if enabled[4]:
            res = "7" * ((n - 4) // 3) + "4"
        elif enabled[8]:
            res = "8" + "7" * ((n - 7) // 3)
        elif enabled[5]:
            res = "7" * ((n - 10) // 3) + "55"
        elif enabled[3]:
            res = "7" * ((n - 10) // 3) + "33"
        elif enabled[2]:
            res = "7" * ((n - 10) // 3) + "22"
    elif n % 3 == 0:
        res = "7" * (n // 3)
    else:
        if enabled[5]:
            res = "7" * ((n - 5) // 3) + "5"
        elif enabled[3]:
            res = "7" * ((n - 5) // 3) + "3"
        elif enabled[2]:
            res = "7" * ((n - 5) // 3) + "2"
        elif enabled[4]:
            res = "7" * ((n - 8) // 3) + "44"
        elif enabled[8]:
            res = "88" + "7" * ((n - 14) // 3)
elif enabled[4]:
    if n % 4 == 0:
        res = "4" * (n // 4)
    elif n % 4 == 1:
        if enabled[5]:
            res = "5" + "4" * ((n - 5) // 4)
        elif enabled[3]:
            res = "4" * ((n - 5) // 4) + "3"
        elif enabled[2]:
            res = "4" * ((n - 5) // 4) + "2"
        elif enabled[8]:
            if enabled[9]:
                res = "98" + ((n - 13) // 4) * "4"
            elif enabled[6]:
                res = "86" + ((n - 13) // 4) * "4"
            else:
                res = "888" + ((n - 21) // 4) * "4"
    elif n % 4 == 2:
        if enabled[9]:
            res = "9" + "4" * ((n - 6) // 4)
        elif enabled[6]:
            res = "6" + "4" * ((n - 6) // 4)
        elif enabled[5]:
            res = "55" + "4" * ((n - 10) // 4)
        elif enabled[3]:
            res = "4" * ((n - 10) // 4) + "33"
        elif enabled[2]:
            res = "4" * ((n - 10) // 4) + "22"
        elif enabled[8]:
            res = "88" + ((n - 14) // 4) * "4"
    else:
        if enabled[9]:
            if enabled[5]:
                res = "95" + "4" * ((n - 11) // 4)
            elif enabled[3]:
                res = "9" + "4" * ((n - 11) // 4) + "3"
            elif enabled[2]:
                res = "9" + "4" * ((n - 11) // 4) + "2"
        elif enabled[8]:
            res = "8" + "4" * ((n - 7) // 4)
        elif enabled[6]:
            if enabled[5]:
                res = "65" + "4" * ((n - 11) // 4)
            elif enabled[3]:
                res = "6" + "4" * ((n - 11) // 4) + "3"
            elif enabled[2]:
                res = "6" + "4" * ((n - 11) // 4) + "2"
        elif enabled[5]:
            res = "555" + "4" * ((n - 15) // 4)
        elif enabled[3]:
            res = "4" * ((n - 15) // 4) + "333"
        else:
            res = "4" * ((n - 15) // 4) + "222"
else:
    for i in [5, 3, 2]:
        c = str(i)
        if enabled[i]:
            if n % 5 == 0:
                res = c * (n // 5)
            elif n % 5 == 1:
                if enabled[9]:
                    res = "9" + c * ((n - 6) // 5)
                elif enabled[6]:
                    res = "6" + c * ((n - 6) // 5)
                else:
                    res = "888" + c * ((n - 21) // 5)
            elif n % 5 == 2:
                if enabled[9]:
                    res = "99" + c * ((n - 12) // 5)
                elif enabled[8]:
                    res = "8" + c * ((n - 7) // 5)
                else:
                    res = "66" + c * ((n - 12) // 5)
            elif n % 5 == 3:
                if enabled[9]:
                    res = "999" + c * ((n - 18) // 5)
                elif enabled[6]:
                    if enabled[8]:
                        res = "86" + c * ((n - 13) // 5)
                    else:
                        res = "666" + c * ((n - 18) // 5)
                else:
                    res = "8888" + c * ((n - 28) // 5)
            else:
                if enabled[9]:
                    res = "9999" + c * ((n - 24) // 5)
                elif enabled[8]:
                    res = "88" + c * ((n - 14) // 5)
                else:
                    res = "6666" + c * ((n - 24) // 5)
            print(res)
            exit()
    if enabled[9]:
        if n % 6 == 0:
            res = "9" * (n // 6)
        elif n % 6 == 1:
            res = "9" * ((n - 7) // 6) + "8"
        elif n % 6 == 2:
            res = "9" * ((n - 14) // 6) + "88"
        elif n % 6 == 3:
            res = "9" * ((n - 21) // 6) + "888"
        elif n % 6 == 4:
            res = "9" * ((n - 28) // 6) + "8888"
        else:
            res = "9" * ((n - 35) // 6) + "88888"
    elif enabled[6]:
        if n % 6 == 0:
            res = "6" * (n // 6)
        elif n % 6 == 1:
            res = "8" + "6" * ((n - 7) // 6)
        elif n % 6 == 2:
            res = "88" + "6" * ((n - 14) // 6)
        elif n % 6 == 3:
            res = "888" + "6" * ((n - 21) // 6)
        elif n % 6 == 4:
            res = "8888" + "6" * ((n - 28) // 6)
        else:
            res = "88888" + "6" * ((n - 35) // 6)
    else:
        res = "8" * (n // 7)
print(res)


Measured memory_bytes: 3572