Problem: There is the following puzzle popular among nuclear physicists.

A reactor contains a set of n atoms of some chemical elements. We shall understand the phrase "atomic number" as the number of this atom's element in the periodic table of the chemical elements.

You are allowed to take any two different atoms and fuse a new one from them. That results in a new atom, whose number is equal to the sum of the numbers of original atoms. The fusion operation can be performed several times.

The aim is getting a new pregiven set of k atoms.

The puzzle's difficulty is that it is only allowed to fuse two atoms into one, it is not allowed to split an atom into several atoms. You are suggested to try to solve the puzzle.

Input

The first line contains two integers n and k (1 ≤ k ≤ n ≤ 17). The second line contains space-separated symbols of elements of n atoms, which are available from the start. The third line contains space-separated symbols of elements of k atoms which need to be the result of the fusion. The symbols of the elements coincide with the symbols from the periodic table of the chemical elements. The atomic numbers do not exceed 100 (elements possessing larger numbers are highly unstable). Some atoms can have identical numbers (that is, there can be several atoms of the same element). The sum of numbers of initial atoms is equal to the sum of numbers of the atoms that need to be synthesized.

Output

If it is impossible to synthesize the required atoms, print "NO" without the quotes. Otherwise, print on the first line «YES», and on the next k lines print the way of synthesizing each of k atoms as equations. Each equation has the following form: "x1+x2+...+xt->yi", where xj is the symbol of the element of some atom from the original set, and yi is the symbol of the element of some atom from the resulting set. Each atom from the input data should occur in the output data exactly one time. The order of summands in the equations, as well as the output order does not matter. If there are several solutions, print any of them. For a better understanding of the output format, see the samples.

Examples

Input

10 3
Mn Co Li Mg C P F Zn Sc K
Sn Pt Y


Output

YES
Mn+C+K-&gt;Sn
Co+Zn+Sc-&gt;Pt
Li+Mg+P+F-&gt;Y


Input

2 1
H H
He


Output

YES
H+H-&gt;He


Input

2 2
Bk Fm
Cf Es


Output

NO

Note

The reactions from the first example possess the following form (the atomic number is written below and to the left of the element):

<image>

<image>

<image>

To find a periodic table of the chemical elements, you may use your favorite search engine.

The pretest set contains each of the first 100 elements of the periodic table at least once. You can use that information to check for misprints.

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
const string etable[101] = {
    "",   "H",  "He", "Li", "Be", "B",  "C",  "N",  "O",  "F",  "Ne", "Na",
    "Mg", "Al", "Si", "P",  "S",  "Cl", "Ar", "K",  "Ca", "Sc", "Ti", "V",
    "Cr", "Mn", "Fe", "Co", "Ni", "Cu", "Zn", "Ga", "Ge", "As", "Se", "Br",
    "Kr", "Rb", "Sr", "Y",  "Zr", "Nb", "Mo", "Tc", "Ru", "Rh", "Pd", "Ag",
    "Cd", "In", "Sn", "Sb", "Te", "I",  "Xe", "Cs", "Ba", "La", "Ce", "Pr",
    "Nd", "Pm", "Sm", "Eu", "Gd", "Tb", "Dy", "Ho", "Er", "Tm", "Yb", "Lu",
    "Hf", "Ta", "W",  "Re", "Os", "Ir", "Pt", "Au", "Hg", "Tl", "Pb", "Bi",
    "Po", "At", "Rn", "Fr", "Ra", "Ac", "Th", "Pa", "U",  "Np", "Pu", "Am",
    "Cm", "Bk", "Cf", "Es", "Fm"};
int n, k;
int an[20], ak[20], ans[20], cnt[20];
bool done[1 << 20];
vector<int> syn[20];
void printer(int binum) {
  for (int i = 0; i < n; i++)
    if (1 << i & binum) {
      cout << etable[an[i]] << " ";
    }
  cout << endl;
}
int getNum(string &s) {
  for (int i = 1; i < 101; i++)
    if (etable[i] == s) return i;
}
int getSum(int binum) {
  int sum = 0;
  for (int i = 0; i < n; i++)
    if (1 << i & binum) {
      sum += an[i];
    }
  return sum;
}
void getSyn(int ki) {
  int maxn = 1 << n;
  for (int i = 0; i < maxn; i++)
    if (getSum(i) == ak[ki]) {
      syn[ki].push_back(i);
    }
}
bool getAns(int ki, int binum) {
  if (done[binum]) return false;
  if (ki == k) return true;
  ++cnt[ki];
  for (int i = 0; i < syn[ki].size(); i++) {
    if ((binum & syn[ki][i]) == 0) {
      if (!done[binum | syn[ki][i]] && getAns(ki + 1, binum | syn[ki][i])) {
        ans[ki] = syn[ki][i];
        return true;
      } else {
        done[binum | syn[ki][i]] = true;
        done[syn[ki][i]] = true;
      }
    }
  }
  return false;
}
void printAns(int ki) {
  bool plusf = false;
  for (int i = 0; i < n; i++)
    if (1 << i & ans[ki]) {
      if (plusf) putchar('+');
      cout << etable[an[i]];
      plusf = true;
    }
  cout << "->" << etable[ak[ki]] << endl;
}
int main() {
  string ss;
  int sum = 0;
  cin >> n >> k;
  for (int i = 0; i < n; i++) {
    cin >> ss;
    an[i] = getNum(ss);
    sum += an[i];
  }
  for (int i = 0; i < k; i++) {
    cin >> ss;
    ak[i] = getNum(ss);
    sum -= ak[i];
    getSyn(i);
  }
  if (sum >= 0 && getAns(0, 0)) {
    puts("YES");
    for (int i = 0; i < k; i++) printAns(i);
  } else
    puts("NO");
  return 0;
}