// 種類
// 金額
// 目的額
// 10
// 1 5 10 50 100 500 1000 2000 5000 10000
// 108
// 555
// 9999
// 34567
// 98989
// 123456789
 
#include <iostream>
#include <vector>
#include <map>
#include <algorithm>
using namespace std;
 
const int INF = 1 << 30;
 
int main()
{
	int n;
	cin >> n;
 
	vector<int> v;
	for (int i = 0; i < n; ++i)
	{
		int vv; cin >> vv;
		v.push_back(vv);
	}
	sort(v.begin(), v.end());
 
	int mv = v[n - 1];
	vector<int> dp(mv * 2 + 1, INF);
	vector<map<int, int> > dpp(mv * 2 + 1);
	dp[0] = 0;
	for (int i = 0; i <= mv * 2; ++i)
		for (int j = 0; j < n; ++j)
			if (i + v[j] <= mv * 2)
			{
				if (dp[i] + 1 < dp[i + v[j]])
				{
					dp[i + v[j]] = dp[i] + 1;
					dpp[i + v[j]] = dpp[i];
					++dpp[i + v[j]][j];
				}
			}
 
	int t;
	while (cin >> t)
	{
		int mn = t / mv;
		int ct = t - mn * mv;
		int re = INF;
		int f = 0;
		int b = 0;
		for (int i = 0; i < ct; ++i)
			if (dp[i] + dp[ct + i] < re)
			{
				re = dp[i] + dp[ct + i];
				f = ct + i;
				b = i;
			}
 
		cout << t << ":" << re + mn << endl;
		cout << "-> " << f + mn * mv << " ( ";
		for (int i = 0; i < n - 1; ++i)
			if (dpp[f][i]) cout << v[i] << "x" << dpp[f][i] << " ";
		if (mv <= f) ++mn;
		if (mn) cout << mv << "x" << mn << " ";
		cout << ")" << endl;
		cout << "<- " << b << " ( ";
		for (int i = 0; i < n - 1; ++i)
			if (dpp[b][i]) cout << v[i] << "x" << dpp[b][i] << " ";
		cout << ")" << endl;
	}
 
	return 0;
}
 

Ly8g56iu6aGeCi8vIOmHkemhjQovLyDnm67nmoTpoY0KLy8gMTAKLy8gMSA1IDEwIDUwIDEwMCA1MDAgMTAwMCAyMDAwIDUwMDAgMTAwMDAKLy8gMTA4Ci8vIDU1NQovLyA5OTk5Ci8vIDM0NTY3Ci8vIDk4OTg5Ci8vIDEyMzQ1Njc4OQoKI2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8dmVjdG9yPgojaW5jbHVkZSA8bWFwPgojaW5jbHVkZSA8YWxnb3JpdGhtPgp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKY29uc3QgaW50IElORiA9IDEgPDwgMzA7CgppbnQgbWFpbigpCnsKCWludCBuOwoJY2luID4+IG47CgoJdmVjdG9yPGludD4gdjsKCWZvciAoaW50IGkgPSAwOyBpIDwgbjsgKytpKQoJewoJCWludCB2djsgY2luID4+IHZ2OwoJCXYucHVzaF9iYWNrKHZ2KTsKCX0KCXNvcnQodi5iZWdpbigpLCB2LmVuZCgpKTsKCglpbnQgbXYgPSB2W24gLSAxXTsKCXZlY3RvcjxpbnQ+IGRwKG12ICogMiArIDEsIElORik7Cgl2ZWN0b3I8bWFwPGludCwgaW50PiA+IGRwcChtdiAqIDIgKyAxKTsKCWRwWzBdID0gMDsKCWZvciAoaW50IGkgPSAwOyBpIDw9IG12ICogMjsgKytpKQoJCWZvciAoaW50IGogPSAwOyBqIDwgbjsgKytqKQoJCQlpZiAoaSArIHZbal0gPD0gbXYgKiAyKQoJCQl7CgkJCQlpZiAoZHBbaV0gKyAxIDwgZHBbaSArIHZbal1dKQoJCQkJewoJCQkJCWRwW2kgKyB2W2pdXSA9IGRwW2ldICsgMTsKCQkJCQlkcHBbaSArIHZbal1dID0gZHBwW2ldOwoJCQkJCSsrZHBwW2kgKyB2W2pdXVtqXTsKCQkJCX0KCQkJfQoKCWludCB0OwoJd2hpbGUgKGNpbiA+PiB0KQoJewoJCWludCBtbiA9IHQgLyBtdjsKCQlpbnQgY3QgPSB0IC0gbW4gKiBtdjsKCQlpbnQgcmUgPSBJTkY7CgkJaW50IGYgPSAwOwoJCWludCBiID0gMDsKCQlmb3IgKGludCBpID0gMDsgaSA8IGN0OyArK2kpCgkJCWlmIChkcFtpXSArIGRwW2N0ICsgaV0gPCByZSkKCQkJewoJCQkJcmUgPSBkcFtpXSArIGRwW2N0ICsgaV07CgkJCQlmID0gY3QgKyBpOwoJCQkJYiA9IGk7CgkJCX0KCgkJY291dCA8PCB0IDw8ICI6IiA8PCByZSArIG1uIDw8IGVuZGw7CgkJY291dCA8PCAiLT4gIiA8PCBmICsgbW4gKiBtdiA8PCAiICggIjsKCQlmb3IgKGludCBpID0gMDsgaSA8IG4gLSAxOyArK2kpCgkJCWlmIChkcHBbZl1baV0pIGNvdXQgPDwgdltpXSA8PCAieCIgPDwgZHBwW2ZdW2ldIDw8ICIgIjsKCQlpZiAobXYgPD0gZikgKyttbjsKCQlpZiAobW4pIGNvdXQgPDwgbXYgPDwgIngiIDw8IG1uIDw8ICIgIjsKCQljb3V0IDw8ICIpIiA8PCBlbmRsOwoJCWNvdXQgPDwgIjwtICIgPDwgYiA8PCAiICggIjsKCQlmb3IgKGludCBpID0gMDsgaSA8IG4gLSAxOyArK2kpCgkJCWlmIChkcHBbYl1baV0pIGNvdXQgPDwgdltpXSA8PCAieCIgPDwgZHBwW2JdW2ldIDw8ICIgIjsKCQljb3V0IDw8ICIpIiA8PCBlbmRsOwoJfQoKCXJldHVybiAwOwp9Cg==

MTAKMSA1IDEwIDUwIDEwMCA1MDAgMTAwMCAyMDAwIDUwMDAgMTAwMDAKMTA4CjU1NQo5OTk5CjM0NTY3Cjk4OTg5CjEyMzQ1Njc4OQo=

10
1 5 10 50 100 500 1000 2000 5000 10000
108
555
9999
34567
98989
123456789