You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

172 lines
4.6 KiB
C++

#define _CRT_SECURE_NO_WARNINGS
#define _SILENCE_CXX17_C_HEADER_DEPRECATION_WARNING
#ifdef ONLINE_JUDGE
#include <algorithm>
#include <bitset>
#include <cctype>
#include <cerrno>
#include <cfloat>
#include <ciso646>
#include <climits>
#include <clocale>
#include <cmath>
#include <complex>
#include <csetjmp>
#include <csignal>
#include <cstdarg>
#include <cstddef>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <ctime>
#include <cwchar>
#include <cwctype>
#include <deque>
#include <exception>
#include <fstream>
#include <functional>
#include <iomanip>
#include <ios>
#include <iosfwd>
#include <iostream>
#include <istream>
#include <iterator>
#include <limits>
#include <list>
#include <locale>
#include <map>
#include <memory>
#include <new>
#include <numeric>
#include <ostream>
#include <queue>
#include <set>
#include <sstream>
#include <stack>
#include <stdexcept>
#include <streambuf>
#include <string>
#include <typeinfo>
#include <utility>
#include <valarray>
#include <vector>
typedef long long int64_t;
typedef unsigned long long uint64_t;
#else
#include <bits/stdc++.h>
#endif
using namespace std;
#define CRP(t, x) const t &x
#define OPX(op, t, x) operator op(CRP(t, x))
#define OPL(t, x) bool OPX(<, t, x) const
#define FIL(x, v) memset(x, v, sizeof(x))
#define CLR(x) FIL(x, 0)
#define NE1(x) FIL(x, -1)
#define INF(x) FIL(x, 0x3f)
#ifndef _DEBUG
#define _DEBUG 0
#endif // !_DEBUG
#define IFD if (_DEBUG)
typedef int64_t ll, i64;
typedef uint64_t ull, u64;
inline char getchar(int)
{
static char buf[64 << 20], *S = buf, *T = buf;
if (S == T) T = fread(S = buf, 1, 64 << 20, stdin) + buf;
return S == T ? EOF : *S++;
}
template <typename T>
inline bool read(T &x)
{
int ch = x = 0, f = 1;
while (!isdigit(ch = getchar()))
if (ch == EOF)
return false;
else if (ch == '-')
f = 0;
for (; isdigit(ch); ch = getchar()) x = x * 10 + ch - '0';
return x = f ? x : -x, true;
}
template <typename T1, typename T2>
inline bool read(T1 &v1, T2 &v2) { return read(v1) && read(v2); }
template <typename T1, typename T2, typename T3>
inline bool read(T1 &v1, T2 &v2, T3 &v3) { return read(v1) && read(v2) && read(v3); }
template <typename T1, typename T2, typename T3, typename T4>
inline bool read(T1 &v1, T2 &v2, T3 &v3, T4 &v4) { return read(v1) && read(v2) && read(v3) && read(v4); }
template <typename T1, typename T2, typename T3, typename T4, typename T5>
inline bool read(T1 &v1, T2 &v2, T3 &v3, T4 &v4, T5 &v5) { return read(v1) && read(v2) && read(v3) && read(v4) && read(v5); }
inline ll gcd(ll a, ll b)
{
for (; b; swap(a, b)) a %= b;
return a;
}
inline ll fpow(ll a, ll b, ll m)
{
ll r = 1;
for (; b; b >>= 1, a = a * a % m)
if (b & 1) r = r * a % m;
return r;
}
const double eps = 1e-8;
inline int sgn(double x) { return x > eps ? 1 : x < -eps ? -1 : 0; }
char dict[10050][19], buf[19];
int dict_size, len[10050];
int main()
{
for (;; dict_size++)
{
scanf("%s", dict[dict_size]);
len[dict_size] = strlen(dict[dict_size]);
if (len[dict_size] == 1 && *dict[dict_size] == '#') break;
}
vector<int> ans;
while (~scanf("%s", buf))
{
ans.clear();
int n = strlen(buf);
if (n == 1 && *buf == '#') break;
bool flag = false;
for (int i = 0; i < dict_size && !flag; i++)
{
if (len[i] == n - 1)
{
bool fl1 = true, fl2 = true;
for (int j = 0, k = 0; j < n - 1 && k < n; j++, k++)
{
if (dict[i][j] != buf[k] && fl2) fl2 = false, k++;
if (dict[i][j] != buf[k]) fl1 = false;
}
if (fl1) ans.push_back(i);
}
if (len[i] == n)
{
int difcnt = 0;
for (int j = 0; j < n; j++)
if (buf[j] != dict[i][j]) difcnt++;
if (difcnt == 0) flag = true;
if (difcnt == 1) ans.push_back(i);
}
if (len[i] == n + 1)
{
bool fl1 = true, fl2 = true;
for (int j = 0, k = 0; j < n + 1 && k < n; j++, k++)
{
if (dict[i][j] != buf[k] && fl2) fl2 = false, j++;
if (dict[i][j] != buf[k]) fl1 = false;
}
if (fl1) ans.push_back(i);
}
}
printf("%s", buf);
if (flag)
puts(" is correct");
else
{
printf(":");
for (int i = 0; i < ans.size(); i++)
printf(" %s", dict[ans[i]]);
putchar('\n');
}
}
return 0;
}