#include #define REP(i, s, n) for (int i = s; i < (int)(n); i++) #define ALL(a) a.begin(), a.end() #define MOD 1000000007 using namespace std; using ll = long long; class StronglyConnectedComponents { public: StronglyConnectedComponents(vector> &G) { vector postorder; vector visited(G.size()); for (int i = 0; i < (int)G.size(); i++) { if (visited[i]) continue; dfs(G, visited, postorder, i); } rg.resize(G.size()); for (int i = 0; i < (int)G.size(); i++) { for (auto g : G[i]) rg[g].push_back(i); } c = 0; _id.resize(G.size(), 0); for (int i = (int)G.size() - 1; i >= 0; i--) { if (_id[postorder[i]]) continue; vector components; rdfs(rg, components, postorder[i], ++c); scc.push_back(components); } } int size() { return c; } int id(int u) { return _id[u]; } bool same(int u, int v) { return _id[u] == _id[v]; } vector> reverseGraph() { return rg; } vector> getComponents() { return scc; } private: int c; vector _id; vector> rg, scc; void dfs(vector> &G, vector &visited, vector &postorder, int v) { visited[v] = true; for (auto g : G[v]) { if (visited[g]) continue; dfs(G, visited, postorder, g); } postorder.push_back(v); } void rdfs(vector> &G, vector &components, int v, int c) { _id[v] = c; components.push_back(v); for (auto g : G[v]) { if (_id[g]) continue; rdfs(G, components, g, c); } } }; class TwoSat { private: const int sz; vector b; vector> G; StronglyConnectedComponents *scc; public: TwoSat(int n) : sz(n), b(sz), G(2 * sz) {} void addEdge(int u, bool notu, int v, bool notv) { int u0 = notu ? u + sz : u; int u1 = notu ? u : u + sz; int v0 = notv ? v + sz : v; int v1 = notv ? v : v + sz; G[u1].push_back(v0); G[v1].push_back(u0); } bool isSatisfiable() { scc = new StronglyConnectedComponents(G); for (int i = 0; i < sz; i++) { if (scc->same(i, i + sz)) return false; } return true; } vector & assign() { for (int i = 0; i < sz; i++) { b[i] = scc->id(i) > scc->id(i + sz); } return b; } }; int main() { int N; cin >> N; vector U(N); for (auto &u : U) cin >> u; if (N > 52) { cout << "Impossible" << endl; return 0; } auto same = [](string s, bool ls, string t, bool lt) -> bool { vector strs(4); strs[0] = ls ? s.substr(0, 1) : s.substr(0, 2); strs[1] = ls ? s.substr(1, 2) : s.substr(2, 1); strs[2] = lt ? t.substr(0, 1) : t.substr(0, 2); strs[3] = lt ? t.substr(1, 2) : t.substr(2, 1); REP(i, 0, 4) REP(j, i + 1, 4) if (strs[i] == strs[j]) return true; return false; }; TwoSat ts(N); REP(i, 0, N) { REP(j, i + 1, N) { if (same(U[i], true, U[j], true)) { ts.addEdge(i, true, j, true); } if (same(U[i], true, U[j], false)) { ts.addEdge(i, true, j, false); } if (same(U[i], false, U[j], true)) { ts.addEdge(i, false, j, true); } if (same(U[i], false, U[j], false)) { ts.addEdge(i, false, j, false); } } } if (!ts.isSatisfiable()) { cout << "Impossible" << endl; return 0; } auto assigned = ts.assign(); REP(i, 0, N) { string l = assigned[i] ? U[i].substr(0, 1) : U[i].substr(0, 2); string r = assigned[i] ? U[i].substr(1, 2) : U[i].substr(2, 1); cout << l << " " << r << endl; } return 0; }