local n, k = io.read():match("(%d+) (%d+)") n = tonumber(n) local a = {} for i = 1, 9 do a[i] = io.read("*n") end if #k < n then for i = 1, 9 do io.write(string.rep(tostring(i), a[i])) end io.write("\n") os.exit() elseif n < #k then print(-1) os.exit() end local b = {} for i = 1, 9 do b[i] = a[i] end local lastpos = 0 for i = 1, n - 1 do local kv = k:byte(i) - 48 if 0 < kv and 0 < b[kv] then lastpos = i b[kv] = b[kv] - 1 else break end end local f = false for i = lastpos + 1, 1, -1 do local kv = k:byte(i) - 48 for j = kv + 1, 9 do if 0 < b[j] then f = i break end end if f then break end if 1 < i then kv = k:byte(i - 1) - 48 b[kv] = b[kv] + 1 end end if not f then print(-1) os.exit() end for i = 1, f - 1 do local kv = k:byte(i) - 48 io.write(kv) a[kv] = a[kv] - 1 end do local kv = k:byte(f) - 48 for i = kv + 1, 9 do if 0 < a[i] then io.write(i) a[i] = a[i] - 1 break end end end for i = 1, 9 do io.write(string.rep(tostring(i), a[i])) end io.write("\n")