#include <iostream>
#include <fstream>
#include <vector>
#include <string>
int main() {
std::ifstream paindictionary("[Link]");
std::string cowid;
std::cin >> cowid;
std::vector<std::vector<char>> nums = {
{},
{'A', 'B', 'C'},
{'D', 'E', 'F'},
{'G', 'H', 'I'},
{'J', 'K', 'L'},
{'M', 'N', 'O'},
{'P', 'R', 'S'},
{'T', 'U', 'V'},
{'W', 'X', 'Y'}
};
std::vector<std::vector<char>> p;
for (char char_id : cowid) {
p.push_back(nums[char_id - '0']);
}
std::string name;
while (std::getline(paindictionary, name)) {
if ([Link]() == [Link]()) {
bool flag = true;
for (size_t i = 0; i < [Link](); ++i) {
if (std::find(p[i].begin(), p[i].end(), name[i]) == p[i].end()) {
flag = false;
break;
}
}
if (flag) {
std::cout << name << std::endl;
}
}
}
return 0;
}