#pragma GCC optimize ("O3") #pragma GCC target ("avx") #include "bits/stdc++.h" // define macro "/D__MAI" using namespace std; typedef long long int ll; #define xprintf(fmt,...) fprintf(stderr,fmt,__VA_ARGS__) #define debugv(v) {printf("L%d %s => ",__LINE__,#v);for(auto e:v){cout< ",__LINE__,#m);for(int x=0;x<(w);x++){cout<<(m)[x]<<" ";}cout< ostream& operator <<(ostream &o, const pair p) { o << "(" << p.first << ":" << p.second << ")"; return o; } mt19937 mt(8901016); inline int rand_int(int l, int h) { return uniform_int_distribution<>(l, h)(mt); } #ifdef __MAI #define getchar_unlocked getchar #define putchar_unlocked putchar #endif #ifdef __VSCC #define getchar_unlocked _getchar_nolock #define putchar_unlocked _putchar_nolock #endif namespace { #define isvisiablechar(c) (0x21<=(c)&&(c)<=0x7E) class MaiScanner { public: template void input_integer(T& var) { var = 0; T sign = 1; int cc = getchar_unlocked(); for (; cc<'0' || '9'>(int& var) { input_integer(var); return *this; } inline MaiScanner& operator>>(long long& var) { input_integer(var); return *this; } inline MaiScanner& operator>>(string& var) { int cc = getchar_unlocked(); for (; !isvisiablechar(cc); cc = getchar_unlocked()); for (; isvisiablechar(cc); cc = getchar_unlocked()) var.push_back(cc); } template void in(IT begin, IT end) { for (auto it = begin; it != end; ++it) *this >> *it; } }; } MaiScanner scanner; ll n, total; ll aa[60]; ll greedy_upper(ll begin, ll result) { for (ll index = begin; index < n; ++index) { if (result == 0) result = aa[index]; else if (aa[index] == 1) result += 1; else if (result == 1) result += aa[index]; else result *= aa[index]; result = min(result, total + 1); } return result; } ll greedy_lower(ll begin, ll result) { for (ll index = begin; index < n; ++index) { if (result == 0) result = aa[index]; else if (aa[index] == 1) result *= 1; else if (result == 1) result *= aa[index]; else result += aa[index]; result = min(result, total + 1); } return result; } string bestop = "z"; unordered_map memo; void dfs(ll index, ll result, string op = "") { if (index == n) { if (result == total) { bestop = min(bestop, op); // 辞書順最大?問題文の辞書順は一般的でない? } return; } if (bestop < op) return; ll high = greedy_upper(index, result); ll low = greedy_lower(index, result); if (total < low || high < total) return; ll key = (index << 32) | result; if (memo.count(key)) { if (memo[key] <= op) return; } memo[key] = op; dfs(index + 1, result + aa[index], op + "A"); dfs(index + 1, result * aa[index], op + "M"); } int main() { scanner >> n >> total; repeat(i, n) { scanner >> aa[i]; } dfs(1, aa[0]); assert(bestop != "z"); for (char c : bestop) { putchar(c == 'A' ? '+' : c == 'M' ? '*' : c); } cout << endl; return 0; }