#include <bits/stdc++.h>
using namespace std;
typedef long long int ll;
vector<ll> finals, curr;
ll n, val[36], tar;
void foo(int pos){
if(pos == n-1){
/*for(int j = 0; j < curr.size(); j++)
cout << curr[j] << " ";
cout << endl;*/
int counts = 0;
for(int j = 0; j < (2*n - 1); j++){
if(j % 2 != 0 && curr[j] == -3){
val[counts - 1] *= curr[j+1];
j++;
continue;
}
if(j % 2 != 0 && curr[j] == -4){
if(curr[j+1] == 0) return;
if(val[counts - 1] % curr[j+1] != 0) return;
val[counts - 1] /= curr[j+1];
j++;
continue;
}
val[counts++] = curr[j];
}
ll ans = val[0];
for(int j = 1; j < counts; j += 2)
if(val[j] == -1) ans += val[j+1];
else ans -= val[j+1];
//cout << ans << endl;
if(ans == tar){
for(int j = 0; j < 2*n -1; j++)
finals[j] = curr[j];
return;
}
return;
}
curr[pos*2 + 1] = -1;
foo(pos+1);
curr[pos*2+1] = -2;
foo(pos+1);
curr[pos*2+1] = -3;
foo(pos+1);
curr[pos*2+1] = -4;
foo(pos+1);
}
int main(){
cin >> n;
while(n != -1){
curr.clear();
finals.clear();
cin >> tar;
for(int j = 0; j < n; j++){
ll t;
cin >> t;
curr.push_back(t);
curr.push_back(-1);
finals.push_back(t);
finals.push_back(-1);
}
foo(0);
cout << tar << " = ";
for(int j = 0; j < (2*n)-1; j++)
if(j%2 != 0 && finals[j] == -1) cout << "+ ";
else if(j%2 != 0 && finals[j] == -2) cout << "- ";
else if(j%2 != 0 && finals[j] == -3) cout << "* ";
else if(j%2 != 0 && finals[j] == -4) cout << "/ ";
else cout << finals[j] << " ";
cout << endl;
finals.clear();
cin >> n;
}
return 0;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+Cgp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKdHlwZWRlZiBsb25nIGxvbmcgaW50IGxsOwoKdmVjdG9yPGxsPiBmaW5hbHMsIGN1cnI7CgpsbCBuLCB2YWxbMzZdLCB0YXI7Cgp2b2lkIGZvbyhpbnQgcG9zKXsKICAgIGlmKHBvcyA9PSBuLTEpewogICAgICAgIC8qZm9yKGludCBqID0gMDsgaiA8IGN1cnIuc2l6ZSgpOyBqKyspCiAgICAgICAgICAgIGNvdXQgPDwgY3VycltqXSA8PCAiICI7CiAgICAgICAgY291dCA8PCBlbmRsOyovCiAgICAgICAgaW50IGNvdW50cyA9IDA7CiAgICAgICAgZm9yKGludCBqID0gMDsgaiA8ICgyKm4gLSAxKTsgaisrKXsKICAgICAgICAgICAgaWYoaiAlIDIgIT0gMCAmJiBjdXJyW2pdID09IC0zKXsKICAgICAgICAgICAgICAgIHZhbFtjb3VudHMgLSAxXSAqPSBjdXJyW2orMV07CiAgICAgICAgICAgICAgICBqKys7CiAgICAgICAgICAgICAgICBjb250aW51ZTsKICAgICAgICAgICAgfQogICAgICAgICAgICBpZihqICUgMiAhPSAwICYmIGN1cnJbal0gPT0gLTQpewogICAgICAgICAgICAgICAgaWYoY3VycltqKzFdID09IDApIHJldHVybjsKICAgICAgICAgICAgICAgIGlmKHZhbFtjb3VudHMgLSAxXSAlIGN1cnJbaisxXSAhPSAwKSByZXR1cm47CiAgICAgICAgICAgICAgICB2YWxbY291bnRzIC0gMV0gLz0gY3VycltqKzFdOwogICAgICAgICAgICAgICAgaisrOwogICAgICAgICAgICAgICAgY29udGludWU7CiAgICAgICAgICAgIH0KICAgICAgICAgICAgdmFsW2NvdW50cysrXSA9IGN1cnJbal07CiAgICAgICAgfQoKICAgICAgICBsbCBhbnMgPSB2YWxbMF07CiAgICAgICAgZm9yKGludCBqID0gMTsgaiA8IGNvdW50czsgaiArPSAyKQogICAgICAgICAgICBpZih2YWxbal0gPT0gLTEpIGFucyArPSB2YWxbaisxXTsKICAgICAgICAgICAgZWxzZSBhbnMgLT0gdmFsW2orMV07CgogICAgICAgIC8vY291dCA8PCBhbnMgPDwgZW5kbDsKCiAgICAgICAgaWYoYW5zID09IHRhcil7CiAgICAgICAgICAgIGZvcihpbnQgaiA9IDA7IGogPCAyKm4gLTE7IGorKykKICAgICAgICAgICAgICAgIGZpbmFsc1tqXSA9IGN1cnJbal07CiAgICAgICAgICAgIHJldHVybjsKICAgICAgICB9CiAgICAgICAgcmV0dXJuOwogICAgfQoKICAgIGN1cnJbcG9zKjIgKyAxXSA9IC0xOwogICAgZm9vKHBvcysxKTsKCiAgICBjdXJyW3BvcyoyKzFdID0gLTI7CiAgICBmb28ocG9zKzEpOwoKICAgIGN1cnJbcG9zKjIrMV0gPSAtMzsKICAgIGZvbyhwb3MrMSk7CgogICAgY3Vycltwb3MqMisxXSA9IC00OwogICAgZm9vKHBvcysxKTsKfQoKaW50IG1haW4oKXsKICAgIGNpbiA+PiBuOwogICAgd2hpbGUobiAhPSAtMSl7CiAgICAgICAgY3Vyci5jbGVhcigpOwogICAgICAgIGZpbmFscy5jbGVhcigpOwogICAgICAgIGNpbiA+PiB0YXI7CiAgICAgICAgZm9yKGludCBqID0gMDsgaiA8IG47IGorKyl7CiAgICAgICAgICAgIGxsIHQ7CiAgICAgICAgICAgIGNpbiA+PiB0OwogICAgICAgICAgICBjdXJyLnB1c2hfYmFjayh0KTsKICAgICAgICAgICAgY3Vyci5wdXNoX2JhY2soLTEpOwogICAgICAgICAgICBmaW5hbHMucHVzaF9iYWNrKHQpOwogICAgICAgICAgICBmaW5hbHMucHVzaF9iYWNrKC0xKTsKICAgICAgICB9CiAgICAgICAgZm9vKDApOwogICAgICAgIGNvdXQgPDwgdGFyIDw8ICIgPSAiOwogICAgICAgIGZvcihpbnQgaiA9IDA7IGogPCAoMipuKS0xOyBqKyspCiAgICAgICAgICAgIGlmKGolMiAhPSAwICYmIGZpbmFsc1tqXSA9PSAtMSkgY291dCA8PCAiKyAiOwogICAgICAgICAgICBlbHNlIGlmKGolMiAhPSAwICYmIGZpbmFsc1tqXSA9PSAtMikgY291dCA8PCAiLSAiOwogICAgICAgICAgICBlbHNlIGlmKGolMiAhPSAwICYmIGZpbmFsc1tqXSA9PSAtMykgY291dCA8PCAiKiAiOwogICAgICAgICAgICBlbHNlIGlmKGolMiAhPSAwICYmIGZpbmFsc1tqXSA9PSAtNCkgY291dCA8PCAiLyAiOwogICAgICAgICAgICBlbHNlIGNvdXQgPDwgZmluYWxzW2pdIDw8ICIgIjsKICAgICAgICBjb3V0IDw8IGVuZGw7CiAgICAgICAgZmluYWxzLmNsZWFyKCk7CiAgICAgICAgY2luID4+IG47CiAgICB9CiAgICByZXR1cm4gMDsKfQo=