結果
問題 | No.470 Inverse S+T Problem |
ユーザー | None |
提出日時 | 2021-05-25 13:16:55 |
言語 | PyPy3 (7.3.15) |
結果 |
AC
|
実行時間 | 345 ms / 2,000 ms |
コード長 | 53,860 bytes |
コンパイル時間 | 191 ms |
コンパイル使用メモリ | 92,092 KB |
実行使用メモリ | 130,240 KB |
最終ジャッジ日時 | 2024-06-01 23:07:56 |
合計ジャッジ時間 | 3,622 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge3 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 61 ms
74,176 KB |
testcase_01 | AC | 58 ms
74,352 KB |
testcase_02 | AC | 61 ms
74,600 KB |
testcase_03 | AC | 61 ms
74,464 KB |
testcase_04 | AC | 57 ms
74,100 KB |
testcase_05 | AC | 59 ms
73,976 KB |
testcase_06 | AC | 60 ms
74,440 KB |
testcase_07 | AC | 59 ms
74,008 KB |
testcase_08 | AC | 60 ms
74,188 KB |
testcase_09 | AC | 60 ms
74,040 KB |
testcase_10 | AC | 62 ms
74,412 KB |
testcase_11 | AC | 67 ms
78,248 KB |
testcase_12 | AC | 59 ms
74,060 KB |
testcase_13 | AC | 61 ms
74,540 KB |
testcase_14 | AC | 68 ms
78,400 KB |
testcase_15 | AC | 62 ms
74,464 KB |
testcase_16 | AC | 62 ms
74,060 KB |
testcase_17 | AC | 61 ms
74,476 KB |
testcase_18 | AC | 61 ms
74,472 KB |
testcase_19 | AC | 61 ms
74,384 KB |
testcase_20 | AC | 61 ms
74,252 KB |
testcase_21 | AC | 68 ms
78,016 KB |
testcase_22 | AC | 66 ms
78,320 KB |
testcase_23 | AC | 68 ms
78,384 KB |
testcase_24 | AC | 66 ms
78,236 KB |
testcase_25 | AC | 68 ms
78,348 KB |
testcase_26 | AC | 68 ms
78,140 KB |
testcase_27 | AC | 68 ms
78,512 KB |
testcase_28 | AC | 60 ms
74,292 KB |
testcase_29 | AC | 345 ms
130,240 KB |
testcase_30 | AC | 61 ms
74,540 KB |
ソースコード
ord2={'A': 0, 'AA': 1, 'AB': 2, 'AC': 3, 'AD': 4, 'AE': 5, 'AF': 6, 'AG': 7, 'AH': 8, 'AI': 9, 'AJ': 10, 'AK': 11, 'AL': 12, 'AM': 13, 'AN': 14, 'AO': 15, 'AP': 16, 'AQ': 17, 'AR': 18, 'AS': 19, 'AT': 20, 'AU': 21, 'AV': 22, 'AW': 23, 'AX': 24, 'AY': 25, 'AZ': 26, 'Aa': 27, 'Ab': 28, 'Ac': 29, 'Ad': 30, 'Ae': 31, 'Af': 32, 'Ag': 33, 'Ah': 34, 'Ai': 35, 'Aj': 36, 'Ak': 37, 'Al': 38, 'Am': 39, 'An': 40, 'Ao': 41, 'Ap': 42, 'Aq': 43, 'Ar': 44, 'As': 45, 'At': 46, 'Au': 47, 'Av': 48, 'Aw': 49, 'Ax': 50, 'Ay': 51, 'Az': 52, 'B': 53, 'BA': 54, 'BB': 55, 'BC': 56, 'BD': 57, 'BE': 58, 'BF': 59, 'BG': 60, 'BH': 61, 'BI': 62, 'BJ': 63, 'BK': 64, 'BL': 65, 'BM': 66, 'BN': 67, 'BO': 68, 'BP': 69, 'BQ': 70, 'BR': 71, 'BS': 72, 'BT': 73, 'BU': 74, 'BV': 75, 'BW': 76, 'BX': 77, 'BY': 78, 'BZ': 79, 'Ba': 80, 'Bb': 81, 'Bc': 82, 'Bd': 83, 'Be': 84, 'Bf': 85, 'Bg': 86, 'Bh': 87, 'Bi': 88, 'Bj': 89, 'Bk': 90, 'Bl': 91, 'Bm': 92, 'Bn': 93, 'Bo': 94, 'Bp': 95, 'Bq': 96, 'Br': 97, 'Bs': 98, 'Bt': 99, 'Bu': 100, 'Bv': 101, 'Bw': 102, 'Bx': 103, 'By': 104, 'Bz': 105, 'C': 106, 'CA': 107, 'CB': 108, 'CC': 109, 'CD': 110, 'CE': 111, 'CF': 112, 'CG': 113, 'CH': 114, 'CI': 115, 'CJ': 116, 'CK': 117, 'CL': 118, 'CM': 119, 'CN': 120, 'CO': 121, 'CP': 122, 'CQ': 123, 'CR': 124, 'CS': 125, 'CT': 126, 'CU': 127, 'CV': 128, 'CW': 129, 'CX': 130, 'CY': 131, 'CZ': 132, 'Ca': 133, 'Cb': 134, 'Cc': 135, 'Cd': 136, 'Ce': 137, 'Cf': 138, 'Cg': 139, 'Ch': 140, 'Ci': 141, 'Cj': 142, 'Ck': 143, 'Cl': 144, 'Cm': 145, 'Cn': 146, 'Co': 147, 'Cp': 148, 'Cq': 149, 'Cr': 150, 'Cs': 151, 'Ct': 152, 'Cu': 153, 'Cv': 154, 'Cw': 155, 'Cx': 156, 'Cy': 157, 'Cz': 158, 'D': 159, 'DA': 160, 'DB': 161, 'DC': 162, 'DD': 163, 'DE': 164, 'DF': 165, 'DG': 166, 'DH': 167, 'DI': 168, 'DJ': 169, 'DK': 170, 'DL': 171, 'DM': 172, 'DN': 173, 'DO': 174, 'DP': 175, 'DQ': 176, 'DR': 177, 'DS': 178, 'DT': 179, 'DU': 180, 'DV': 181, 'DW': 182, 'DX': 183, 'DY': 184, 'DZ': 185, 'Da': 186, 'Db': 187, 'Dc': 188, 'Dd': 189, 'De': 190, 'Df': 191, 'Dg': 192, 'Dh': 193, 'Di': 194, 'Dj': 195, 'Dk': 196, 'Dl': 197, 'Dm': 198, 'Dn': 199, 'Do': 200, 'Dp': 201, 'Dq': 202, 'Dr': 203, 'Ds': 204, 'Dt': 205, 'Du': 206, 'Dv': 207, 'Dw': 208, 'Dx': 209, 'Dy': 210, 'Dz': 211, 'E': 212, 'EA': 213, 'EB': 214, 'EC': 215, 'ED': 216, 'EE': 217, 'EF': 218, 'EG': 219, 'EH': 220, 'EI': 221, 'EJ': 222, 'EK': 223, 'EL': 224, 'EM': 225, 'EN': 226, 'EO': 227, 'EP': 228, 'EQ': 229, 'ER': 230, 'ES': 231, 'ET': 232, 'EU': 233, 'EV': 234, 'EW': 235, 'EX': 236, 'EY': 237, 'EZ': 238, 'Ea': 239, 'Eb': 240, 'Ec': 241, 'Ed': 242, 'Ee': 243, 'Ef': 244, 'Eg': 245, 'Eh': 246, 'Ei': 247, 'Ej': 248, 'Ek': 249, 'El': 250, 'Em': 251, 'En': 252, 'Eo': 253, 'Ep': 254, 'Eq': 255, 'Er': 256, 'Es': 257, 'Et': 258, 'Eu': 259, 'Ev': 260, 'Ew': 261, 'Ex': 262, 'Ey': 263, 'Ez': 264, 'F': 265, 'FA': 266, 'FB': 267, 'FC': 268, 'FD': 269, 'FE': 270, 'FF': 271, 'FG': 272, 'FH': 273, 'FI': 274, 'FJ': 275, 'FK': 276, 'FL': 277, 'FM': 278, 'FN': 279, 'FO': 280, 'FP': 281, 'FQ': 282, 'FR': 283, 'FS': 284, 'FT': 285, 'FU': 286, 'FV': 287, 'FW': 288, 'FX': 289, 'FY': 290, 'FZ': 291, 'Fa': 292, 'Fb': 293, 'Fc': 294, 'Fd': 295, 'Fe': 296, 'Ff': 297, 'Fg': 298, 'Fh': 299, 'Fi': 300, 'Fj': 301, 'Fk': 302, 'Fl': 303, 'Fm': 304, 'Fn': 305, 'Fo': 306, 'Fp': 307, 'Fq': 308, 'Fr': 309, 'Fs': 310, 'Ft': 311, 'Fu': 312, 'Fv': 313, 'Fw': 314, 'Fx': 315, 'Fy': 316, 'Fz': 317, 'G': 318, 'GA': 319, 'GB': 320, 'GC': 321, 'GD': 322, 'GE': 323, 'GF': 324, 'GG': 325, 'GH': 326, 'GI': 327, 'GJ': 328, 'GK': 329, 'GL': 330, 'GM': 331, 'GN': 332, 'GO': 333, 'GP': 334, 'GQ': 335, 'GR': 336, 'GS': 337, 'GT': 338, 'GU': 339, 'GV': 340, 'GW': 341, 'GX': 342, 'GY': 343, 'GZ': 344, 'Ga': 345, 'Gb': 346, 'Gc': 347, 'Gd': 348, 'Ge': 349, 'Gf': 350, 'Gg': 351, 'Gh': 352, 'Gi': 353, 'Gj': 354, 'Gk': 355, 'Gl': 356, 'Gm': 357, 'Gn': 358, 'Go': 359, 'Gp': 360, 'Gq': 361, 'Gr': 362, 'Gs': 363, 'Gt': 364, 'Gu': 365, 'Gv': 366, 'Gw': 367, 'Gx': 368, 'Gy': 369, 'Gz': 370, 'H': 371, 'HA': 372, 'HB': 373, 'HC': 374, 'HD': 375, 'HE': 376, 'HF': 377, 'HG': 378, 'HH': 379, 'HI': 380, 'HJ': 381, 'HK': 382, 'HL': 383, 'HM': 384, 'HN': 385, 'HO': 386, 'HP': 387, 'HQ': 388, 'HR': 389, 'HS': 390, 'HT': 391, 'HU': 392, 'HV': 393, 'HW': 394, 'HX': 395, 'HY': 396, 'HZ': 397, 'Ha': 398, 'Hb': 399, 'Hc': 400, 'Hd': 401, 'He': 402, 'Hf': 403, 'Hg': 404, 'Hh': 405, 'Hi': 406, 'Hj': 407, 'Hk': 408, 'Hl': 409, 'Hm': 410, 'Hn': 411, 'Ho': 412, 'Hp': 413, 'Hq': 414, 'Hr': 415, 'Hs': 416, 'Ht': 417, 'Hu': 418, 'Hv': 419, 'Hw': 420, 'Hx': 421, 'Hy': 422, 'Hz': 423, 'I': 424, 'IA': 425, 'IB': 426, 'IC': 427, 'ID': 428, 'IE': 429, 'IF': 430, 'IG': 431, 'IH': 432, 'II': 433, 'IJ': 434, 'IK': 435, 'IL': 436, 'IM': 437, 'IN': 438, 'IO': 439, 'IP': 440, 'IQ': 441, 'IR': 442, 'IS': 443, 'IT': 444, 'IU': 445, 'IV': 446, 'IW': 447, 'IX': 448, 'IY': 449, 'IZ': 450, 'Ia': 451, 'Ib': 452, 'Ic': 453, 'Id': 454, 'Ie': 455, 'If': 456, 'Ig': 457, 'Ih': 458, 'Ii': 459, 'Ij': 460, 'Ik': 461, 'Il': 462, 'Im': 463, 'In': 464, 'Io': 465, 'Ip': 466, 'Iq': 467, 'Ir': 468, 'Is': 469, 'It': 470, 'Iu': 471, 'Iv': 472, 'Iw': 473, 'Ix': 474, 'Iy': 475, 'Iz': 476, 'J': 477, 'JA': 478, 'JB': 479, 'JC': 480, 'JD': 481, 'JE': 482, 'JF': 483, 'JG': 484, 'JH': 485, 'JI': 486, 'JJ': 487, 'JK': 488, 'JL': 489, 'JM': 490, 'JN': 491, 'JO': 492, 'JP': 493, 'JQ': 494, 'JR': 495, 'JS': 496, 'JT': 497, 'JU': 498, 'JV': 499, 'JW': 500, 'JX': 501, 'JY': 502, 'JZ': 503, 'Ja': 504, 'Jb': 505, 'Jc': 506, 'Jd': 507, 'Je': 508, 'Jf': 509, 'Jg': 510, 'Jh': 511, 'Ji': 512, 'Jj': 513, 'Jk': 514, 'Jl': 515, 'Jm': 516, 'Jn': 517, 'Jo': 518, 'Jp': 519, 'Jq': 520, 'Jr': 521, 'Js': 522, 'Jt': 523, 'Ju': 524, 'Jv': 525, 'Jw': 526, 'Jx': 527, 'Jy': 528, 'Jz': 529, 'K': 530, 'KA': 531, 'KB': 532, 'KC': 533, 'KD': 534, 'KE': 535, 'KF': 536, 'KG': 537, 'KH': 538, 'KI': 539, 'KJ': 540, 'KK': 541, 'KL': 542, 'KM': 543, 'KN': 544, 'KO': 545, 'KP': 546, 'KQ': 547, 'KR': 548, 'KS': 549, 'KT': 550, 'KU': 551, 'KV': 552, 'KW': 553, 'KX': 554, 'KY': 555, 'KZ': 556, 'Ka': 557, 'Kb': 558, 'Kc': 559, 'Kd': 560, 'Ke': 561, 'Kf': 562, 'Kg': 563, 'Kh': 564, 'Ki': 565, 'Kj': 566, 'Kk': 567, 'Kl': 568, 'Km': 569, 'Kn': 570, 'Ko': 571, 'Kp': 572, 'Kq': 573, 'Kr': 574, 'Ks': 575, 'Kt': 576, 'Ku': 577, 'Kv': 578, 'Kw': 579, 'Kx': 580, 'Ky': 581, 'Kz': 582, 'L': 583, 'LA': 584, 'LB': 585, 'LC': 586, 'LD': 587, 'LE': 588, 'LF': 589, 'LG': 590, 'LH': 591, 'LI': 592, 'LJ': 593, 'LK': 594, 'LL': 595, 'LM': 596, 'LN': 597, 'LO': 598, 'LP': 599, 'LQ': 600, 'LR': 601, 'LS': 602, 'LT': 603, 'LU': 604, 'LV': 605, 'LW': 606, 'LX': 607, 'LY': 608, 'LZ': 609, 'La': 610, 'Lb': 611, 'Lc': 612, 'Ld': 613, 'Le': 614, 'Lf': 615, 'Lg': 616, 'Lh': 617, 'Li': 618, 'Lj': 619, 'Lk': 620, 'Ll': 621, 'Lm': 622, 'Ln': 623, 'Lo': 624, 'Lp': 625, 'Lq': 626, 'Lr': 627, 'Ls': 628, 'Lt': 629, 'Lu': 630, 'Lv': 631, 'Lw': 632, 'Lx': 633, 'Ly': 634, 'Lz': 635, 'M': 636, 'MA': 637, 'MB': 638, 'MC': 639, 'MD': 640, 'ME': 641, 'MF': 642, 'MG': 643, 'MH': 644, 'MI': 645, 'MJ': 646, 'MK': 647, 'ML': 648, 'MM': 649, 'MN': 650, 'MO': 651, 'MP': 652, 'MQ': 653, 'MR': 654, 'MS': 655, 'MT': 656, 'MU': 657, 'MV': 658, 'MW': 659, 'MX': 660, 'MY': 661, 'MZ': 662, 'Ma': 663, 'Mb': 664, 'Mc': 665, 'Md': 666, 'Me': 667, 'Mf': 668, 'Mg': 669, 'Mh': 670, 'Mi': 671, 'Mj': 672, 'Mk': 673, 'Ml': 674, 'Mm': 675, 'Mn': 676, 'Mo': 677, 'Mp': 678, 'Mq': 679, 'Mr': 680, 'Ms': 681, 'Mt': 682, 'Mu': 683, 'Mv': 684, 'Mw': 685, 'Mx': 686, 'My': 687, 'Mz': 688, 'N': 689, 'NA': 690, 'NB': 691, 'NC': 692, 'ND': 693, 'NE': 694, 'NF': 695, 'NG': 696, 'NH': 697, 'NI': 698, 'NJ': 699, 'NK': 700, 'NL': 701, 'NM': 702, 'NN': 703, 'NO': 704, 'NP': 705, 'NQ': 706, 'NR': 707, 'NS': 708, 'NT': 709, 'NU': 710, 'NV': 711, 'NW': 712, 'NX': 713, 'NY': 714, 'NZ': 715, 'Na': 716, 'Nb': 717, 'Nc': 718, 'Nd': 719, 'Ne': 720, 'Nf': 721, 'Ng': 722, 'Nh': 723, 'Ni': 724, 'Nj': 725, 'Nk': 726, 'Nl': 727, 'Nm': 728, 'Nn': 729, 'No': 730, 'Np': 731, 'Nq': 732, 'Nr': 733, 'Ns': 734, 'Nt': 735, 'Nu': 736, 'Nv': 737, 'Nw': 738, 'Nx': 739, 'Ny': 740, 'Nz': 741, 'O': 742, 'OA': 743, 'OB': 744, 'OC': 745, 'OD': 746, 'OE': 747, 'OF': 748, 'OG': 749, 'OH': 750, 'OI': 751, 'OJ': 752, 'OK': 753, 'OL': 754, 'OM': 755, 'ON': 756, 'OO': 757, 'OP': 758, 'OQ': 759, 'OR': 760, 'OS': 761, 'OT': 762, 'OU': 763, 'OV': 764, 'OW': 765, 'OX': 766, 'OY': 767, 'OZ': 768, 'Oa': 769, 'Ob': 770, 'Oc': 771, 'Od': 772, 'Oe': 773, 'Of': 774, 'Og': 775, 'Oh': 776, 'Oi': 777, 'Oj': 778, 'Ok': 779, 'Ol': 780, 'Om': 781, 'On': 782, 'Oo': 783, 'Op': 784, 'Oq': 785, 'Or': 786, 'Os': 787, 'Ot': 788, 'Ou': 789, 'Ov': 790, 'Ow': 791, 'Ox': 792, 'Oy': 793, 'Oz': 794, 'P': 795, 'PA': 796, 'PB': 797, 'PC': 798, 'PD': 799, 'PE': 800, 'PF': 801, 'PG': 802, 'PH': 803, 'PI': 804, 'PJ': 805, 'PK': 806, 'PL': 807, 'PM': 808, 'PN': 809, 'PO': 810, 'PP': 811, 'PQ': 812, 'PR': 813, 'PS': 814, 'PT': 815, 'PU': 816, 'PV': 817, 'PW': 818, 'PX': 819, 'PY': 820, 'PZ': 821, 'Pa': 822, 'Pb': 823, 'Pc': 824, 'Pd': 825, 'Pe': 826, 'Pf': 827, 'Pg': 828, 'Ph': 829, 'Pi': 830, 'Pj': 831, 'Pk': 832, 'Pl': 833, 'Pm': 834, 'Pn': 835, 'Po': 836, 'Pp': 837, 'Pq': 838, 'Pr': 839, 'Ps': 840, 'Pt': 841, 'Pu': 842, 'Pv': 843, 'Pw': 844, 'Px': 845, 'Py': 846, 'Pz': 847, 'Q': 848, 'QA': 849, 'QB': 850, 'QC': 851, 'QD': 852, 'QE': 853, 'QF': 854, 'QG': 855, 'QH': 856, 'QI': 857, 'QJ': 858, 'QK': 859, 'QL': 860, 'QM': 861, 'QN': 862, 'QO': 863, 'QP': 864, 'QQ': 865, 'QR': 866, 'QS': 867, 'QT': 868, 'QU': 869, 'QV': 870, 'QW': 871, 'QX': 872, 'QY': 873, 'QZ': 874, 'Qa': 875, 'Qb': 876, 'Qc': 877, 'Qd': 878, 'Qe': 879, 'Qf': 880, 'Qg': 881, 'Qh': 882, 'Qi': 883, 'Qj': 884, 'Qk': 885, 'Ql': 886, 'Qm': 887, 'Qn': 888, 'Qo': 889, 'Qp': 890, 'Qq': 891, 'Qr': 892, 'Qs': 893, 'Qt': 894, 'Qu': 895, 'Qv': 896, 'Qw': 897, 'Qx': 898, 'Qy': 899, 'Qz': 900, 'R': 901, 'RA': 902, 'RB': 903, 'RC': 904, 'RD': 905, 'RE': 906, 'RF': 907, 'RG': 908, 'RH': 909, 'RI': 910, 'RJ': 911, 'RK': 912, 'RL': 913, 'RM': 914, 'RN': 915, 'RO': 916, 'RP': 917, 'RQ': 918, 'RR': 919, 'RS': 920, 'RT': 921, 'RU': 922, 'RV': 923, 'RW': 924, 'RX': 925, 'RY': 926, 'RZ': 927, 'Ra': 928, 'Rb': 929, 'Rc': 930, 'Rd': 931, 'Re': 932, 'Rf': 933, 'Rg': 934, 'Rh': 935, 'Ri': 936, 'Rj': 937, 'Rk': 938, 'Rl': 939, 'Rm': 940, 'Rn': 941, 'Ro': 942, 'Rp': 943, 'Rq': 944, 'Rr': 945, 'Rs': 946, 'Rt': 947, 'Ru': 948, 'Rv': 949, 'Rw': 950, 'Rx': 951, 'Ry': 952, 'Rz': 953, 'S': 954, 'SA': 955, 'SB': 956, 'SC': 957, 'SD': 958, 'SE': 959, 'SF': 960, 'SG': 961, 'SH': 962, 'SI': 963, 'SJ': 964, 'SK': 965, 'SL': 966, 'SM': 967, 'SN': 968, 'SO': 969, 'SP': 970, 'SQ': 971, 'SR': 972, 'SS': 973, 'ST': 974, 'SU': 975, 'SV': 976, 'SW': 977, 'SX': 978, 'SY': 979, 'SZ': 980, 'Sa': 981, 'Sb': 982, 'Sc': 983, 'Sd': 984, 'Se': 985, 'Sf': 986, 'Sg': 987, 'Sh': 988, 'Si': 989, 'Sj': 990, 'Sk': 991, 'Sl': 992, 'Sm': 993, 'Sn': 994, 'So': 995, 'Sp': 996, 'Sq': 997, 'Sr': 998, 'Ss': 999, 'St': 1000, 'Su': 1001, 'Sv': 1002, 'Sw': 1003, 'Sx': 1004, 'Sy': 1005, 'Sz': 1006, 'T': 1007, 'TA': 1008, 'TB': 1009, 'TC': 1010, 'TD': 1011, 'TE': 1012, 'TF': 1013, 'TG': 1014, 'TH': 1015, 'TI': 1016, 'TJ': 1017, 'TK': 1018, 'TL': 1019, 'TM': 1020, 'TN': 1021, 'TO': 1022, 'TP': 1023, 'TQ': 1024, 'TR': 1025, 'TS': 1026, 'TT': 1027, 'TU': 1028, 'TV': 1029, 'TW': 1030, 'TX': 1031, 'TY': 1032, 'TZ': 1033, 'Ta': 1034, 'Tb': 1035, 'Tc': 1036, 'Td': 1037, 'Te': 1038, 'Tf': 1039, 'Tg': 1040, 'Th': 1041, 'Ti': 1042, 'Tj': 1043, 'Tk': 1044, 'Tl': 1045, 'Tm': 1046, 'Tn': 1047, 'To': 1048, 'Tp': 1049, 'Tq': 1050, 'Tr': 1051, 'Ts': 1052, 'Tt': 1053, 'Tu': 1054, 'Tv': 1055, 'Tw': 1056, 'Tx': 1057, 'Ty': 1058, 'Tz': 1059, 'U': 1060, 'UA': 1061, 'UB': 1062, 'UC': 1063, 'UD': 1064, 'UE': 1065, 'UF': 1066, 'UG': 1067, 'UH': 1068, 'UI': 1069, 'UJ': 1070, 'UK': 1071, 'UL': 1072, 'UM': 1073, 'UN': 1074, 'UO': 1075, 'UP': 1076, 'UQ': 1077, 'UR': 1078, 'US': 1079, 'UT': 1080, 'UU': 1081, 'UV': 1082, 'UW': 1083, 'UX': 1084, 'UY': 1085, 'UZ': 1086, 'Ua': 1087, 'Ub': 1088, 'Uc': 1089, 'Ud': 1090, 'Ue': 1091, 'Uf': 1092, 'Ug': 1093, 'Uh': 1094, 'Ui': 1095, 'Uj': 1096, 'Uk': 1097, 'Ul': 1098, 'Um': 1099, 'Un': 1100, 'Uo': 1101, 'Up': 1102, 'Uq': 1103, 'Ur': 1104, 'Us': 1105, 'Ut': 1106, 'Uu': 1107, 'Uv': 1108, 'Uw': 1109, 'Ux': 1110, 'Uy': 1111, 'Uz': 1112, 'V': 1113, 'VA': 1114, 'VB': 1115, 'VC': 1116, 'VD': 1117, 'VE': 1118, 'VF': 1119, 'VG': 1120, 'VH': 1121, 'VI': 1122, 'VJ': 1123, 'VK': 1124, 'VL': 1125, 'VM': 1126, 'VN': 1127, 'VO': 1128, 'VP': 1129, 'VQ': 1130, 'VR': 1131, 'VS': 1132, 'VT': 1133, 'VU': 1134, 'VV': 1135, 'VW': 1136, 'VX': 1137, 'VY': 1138, 'VZ': 1139, 'Va': 1140, 'Vb': 1141, 'Vc': 1142, 'Vd': 1143, 'Ve': 1144, 'Vf': 1145, 'Vg': 1146, 'Vh': 1147, 'Vi': 1148, 'Vj': 1149, 'Vk': 1150, 'Vl': 1151, 'Vm': 1152, 'Vn': 1153, 'Vo': 1154, 'Vp': 1155, 'Vq': 1156, 'Vr': 1157, 'Vs': 1158, 'Vt': 1159, 'Vu': 1160, 'Vv': 1161, 'Vw': 1162, 'Vx': 1163, 'Vy': 1164, 'Vz': 1165, 'W': 1166, 'WA': 1167, 'WB': 1168, 'WC': 1169, 'WD': 1170, 'WE': 1171, 'WF': 1172, 'WG': 1173, 'WH': 1174, 'WI': 1175, 'WJ': 1176, 'WK': 1177, 'WL': 1178, 'WM': 1179, 'WN': 1180, 'WO': 1181, 'WP': 1182, 'WQ': 1183, 'WR': 1184, 'WS': 1185, 'WT': 1186, 'WU': 1187, 'WV': 1188, 'WW': 1189, 'WX': 1190, 'WY': 1191, 'WZ': 1192, 'Wa': 1193, 'Wb': 1194, 'Wc': 1195, 'Wd': 1196, 'We': 1197, 'Wf': 1198, 'Wg': 1199, 'Wh': 1200, 'Wi': 1201, 'Wj': 1202, 'Wk': 1203, 'Wl': 1204, 'Wm': 1205, 'Wn': 1206, 'Wo': 1207, 'Wp': 1208, 'Wq': 1209, 'Wr': 1210, 'Ws': 1211, 'Wt': 1212, 'Wu': 1213, 'Wv': 1214, 'Ww': 1215, 'Wx': 1216, 'Wy': 1217, 'Wz': 1218, 'X': 1219, 'XA': 1220, 'XB': 1221, 'XC': 1222, 'XD': 1223, 'XE': 1224, 'XF': 1225, 'XG': 1226, 'XH': 1227, 'XI': 1228, 'XJ': 1229, 'XK': 1230, 'XL': 1231, 'XM': 1232, 'XN': 1233, 'XO': 1234, 'XP': 1235, 'XQ': 1236, 'XR': 1237, 'XS': 1238, 'XT': 1239, 'XU': 1240, 'XV': 1241, 'XW': 1242, 'XX': 1243, 'XY': 1244, 'XZ': 1245, 'Xa': 1246, 'Xb': 1247, 'Xc': 1248, 'Xd': 1249, 'Xe': 1250, 'Xf': 1251, 'Xg': 1252, 'Xh': 1253, 'Xi': 1254, 'Xj': 1255, 'Xk': 1256, 'Xl': 1257, 'Xm': 1258, 'Xn': 1259, 'Xo': 1260, 'Xp': 1261, 'Xq': 1262, 'Xr': 1263, 'Xs': 1264, 'Xt': 1265, 'Xu': 1266, 'Xv': 1267, 'Xw': 1268, 'Xx': 1269, 'Xy': 1270, 'Xz': 1271, 'Y': 1272, 'YA': 1273, 'YB': 1274, 'YC': 1275, 'YD': 1276, 'YE': 1277, 'YF': 1278, 'YG': 1279, 'YH': 1280, 'YI': 1281, 'YJ': 1282, 'YK': 1283, 'YL': 1284, 'YM': 1285, 'YN': 1286, 'YO': 1287, 'YP': 1288, 'YQ': 1289, 'YR': 1290, 'YS': 1291, 'YT': 1292, 'YU': 1293, 'YV': 1294, 'YW': 1295, 'YX': 1296, 'YY': 1297, 'YZ': 1298, 'Ya': 1299, 'Yb': 1300, 'Yc': 1301, 'Yd': 1302, 'Ye': 1303, 'Yf': 1304, 'Yg': 1305, 'Yh': 1306, 'Yi': 1307, 'Yj': 1308, 'Yk': 1309, 'Yl': 1310, 'Ym': 1311, 'Yn': 1312, 'Yo': 1313, 'Yp': 1314, 'Yq': 1315, 'Yr': 1316, 'Ys': 1317, 'Yt': 1318, 'Yu': 1319, 'Yv': 1320, 'Yw': 1321, 'Yx': 1322, 'Yy': 1323, 'Yz': 1324, 'Z': 1325, 'ZA': 1326, 'ZB': 1327, 'ZC': 1328, 'ZD': 1329, 'ZE': 1330, 'ZF': 1331, 'ZG': 1332, 'ZH': 1333, 'ZI': 1334, 'ZJ': 1335, 'ZK': 1336, 'ZL': 1337, 'ZM': 1338, 'ZN': 1339, 'ZO': 1340, 'ZP': 1341, 'ZQ': 1342, 'ZR': 1343, 'ZS': 1344, 'ZT': 1345, 'ZU': 1346, 'ZV': 1347, 'ZW': 1348, 'ZX': 1349, 'ZY': 1350, 'ZZ': 1351, 'Za': 1352, 'Zb': 1353, 'Zc': 1354, 'Zd': 1355, 'Ze': 1356, 'Zf': 1357, 'Zg': 1358, 'Zh': 1359, 'Zi': 1360, 'Zj': 1361, 'Zk': 1362, 'Zl': 1363, 'Zm': 1364, 'Zn': 1365, 'Zo': 1366, 'Zp': 1367, 'Zq': 1368, 'Zr': 1369, 'Zs': 1370, 'Zt': 1371, 'Zu': 1372, 'Zv': 1373, 'Zw': 1374, 'Zx': 1375, 'Zy': 1376, 'Zz': 1377, 'a': 1378, 'aA': 1379, 'aB': 1380, 'aC': 1381, 'aD': 1382, 'aE': 1383, 'aF': 1384, 'aG': 1385, 'aH': 1386, 'aI': 1387, 'aJ': 1388, 'aK': 1389, 'aL': 1390, 'aM': 1391, 'aN': 1392, 'aO': 1393, 'aP': 1394, 'aQ': 1395, 'aR': 1396, 'aS': 1397, 'aT': 1398, 'aU': 1399, 'aV': 1400, 'aW': 1401, 'aX': 1402, 'aY': 1403, 'aZ': 1404, 'aa': 1405, 'ab': 1406, 'ac': 1407, 'ad': 1408, 'ae': 1409, 'af': 1410, 'ag': 1411, 'ah': 1412, 'ai': 1413, 'aj': 1414, 'ak': 1415, 'al': 1416, 'am': 1417, 'an': 1418, 'ao': 1419, 'ap': 1420, 'aq': 1421, 'ar': 1422, 'as': 1423, 'at': 1424, 'au': 1425, 'av': 1426, 'aw': 1427, 'ax': 1428, 'ay': 1429, 'az': 1430, 'b': 1431, 'bA': 1432, 'bB': 1433, 'bC': 1434, 'bD': 1435, 'bE': 1436, 'bF': 1437, 'bG': 1438, 'bH': 1439, 'bI': 1440, 'bJ': 1441, 'bK': 1442, 'bL': 1443, 'bM': 1444, 'bN': 1445, 'bO': 1446, 'bP': 1447, 'bQ': 1448, 'bR': 1449, 'bS': 1450, 'bT': 1451, 'bU': 1452, 'bV': 1453, 'bW': 1454, 'bX': 1455, 'bY': 1456, 'bZ': 1457, 'ba': 1458, 'bb': 1459, 'bc': 1460, 'bd': 1461, 'be': 1462, 'bf': 1463, 'bg': 1464, 'bh': 1465, 'bi': 1466, 'bj': 1467, 'bk': 1468, 'bl': 1469, 'bm': 1470, 'bn': 1471, 'bo': 1472, 'bp': 1473, 'bq': 1474, 'br': 1475, 'bs': 1476, 'bt': 1477, 'bu': 1478, 'bv': 1479, 'bw': 1480, 'bx': 1481, 'by': 1482, 'bz': 1483, 'c': 1484, 'cA': 1485, 'cB': 1486, 'cC': 1487, 'cD': 1488, 'cE': 1489, 'cF': 1490, 'cG': 1491, 'cH': 1492, 'cI': 1493, 'cJ': 1494, 'cK': 1495, 'cL': 1496, 'cM': 1497, 'cN': 1498, 'cO': 1499, 'cP': 1500, 'cQ': 1501, 'cR': 1502, 'cS': 1503, 'cT': 1504, 'cU': 1505, 'cV': 1506, 'cW': 1507, 'cX': 1508, 'cY': 1509, 'cZ': 1510, 'ca': 1511, 'cb': 1512, 'cc': 1513, 'cd': 1514, 'ce': 1515, 'cf': 1516, 'cg': 1517, 'ch': 1518, 'ci': 1519, 'cj': 1520, 'ck': 1521, 'cl': 1522, 'cm': 1523, 'cn': 1524, 'co': 1525, 'cp': 1526, 'cq': 1527, 'cr': 1528, 'cs': 1529, 'ct': 1530, 'cu': 1531, 'cv': 1532, 'cw': 1533, 'cx': 1534, 'cy': 1535, 'cz': 1536, 'd': 1537, 'dA': 1538, 'dB': 1539, 'dC': 1540, 'dD': 1541, 'dE': 1542, 'dF': 1543, 'dG': 1544, 'dH': 1545, 'dI': 1546, 'dJ': 1547, 'dK': 1548, 'dL': 1549, 'dM': 1550, 'dN': 1551, 'dO': 1552, 'dP': 1553, 'dQ': 1554, 'dR': 1555, 'dS': 1556, 'dT': 1557, 'dU': 1558, 'dV': 1559, 'dW': 1560, 'dX': 1561, 'dY': 1562, 'dZ': 1563, 'da': 1564, 'db': 1565, 'dc': 1566, 'dd': 1567, 'de': 1568, 'df': 1569, 'dg': 1570, 'dh': 1571, 'di': 1572, 'dj': 1573, 'dk': 1574, 'dl': 1575, 'dm': 1576, 'dn': 1577, 'do': 1578, 'dp': 1579, 'dq': 1580, 'dr': 1581, 'ds': 1582, 'dt': 1583, 'du': 1584, 'dv': 1585, 'dw': 1586, 'dx': 1587, 'dy': 1588, 'dz': 1589, 'e': 1590, 'eA': 1591, 'eB': 1592, 'eC': 1593, 'eD': 1594, 'eE': 1595, 'eF': 1596, 'eG': 1597, 'eH': 1598, 'eI': 1599, 'eJ': 1600, 'eK': 1601, 'eL': 1602, 'eM': 1603, 'eN': 1604, 'eO': 1605, 'eP': 1606, 'eQ': 1607, 'eR': 1608, 'eS': 1609, 'eT': 1610, 'eU': 1611, 'eV': 1612, 'eW': 1613, 'eX': 1614, 'eY': 1615, 'eZ': 1616, 'ea': 1617, 'eb': 1618, 'ec': 1619, 'ed': 1620, 'ee': 1621, 'ef': 1622, 'eg': 1623, 'eh': 1624, 'ei': 1625, 'ej': 1626, 'ek': 1627, 'el': 1628, 'em': 1629, 'en': 1630, 'eo': 1631, 'ep': 1632, 'eq': 1633, 'er': 1634, 'es': 1635, 'et': 1636, 'eu': 1637, 'ev': 1638, 'ew': 1639, 'ex': 1640, 'ey': 1641, 'ez': 1642, 'f': 1643, 'fA': 1644, 'fB': 1645, 'fC': 1646, 'fD': 1647, 'fE': 1648, 'fF': 1649, 'fG': 1650, 'fH': 1651, 'fI': 1652, 'fJ': 1653, 'fK': 1654, 'fL': 1655, 'fM': 1656, 'fN': 1657, 'fO': 1658, 'fP': 1659, 'fQ': 1660, 'fR': 1661, 'fS': 1662, 'fT': 1663, 'fU': 1664, 'fV': 1665, 'fW': 1666, 'fX': 1667, 'fY': 1668, 'fZ': 1669, 'fa': 1670, 'fb': 1671, 'fc': 1672, 'fd': 1673, 'fe': 1674, 'ff': 1675, 'fg': 1676, 'fh': 1677, 'fi': 1678, 'fj': 1679, 'fk': 1680, 'fl': 1681, 'fm': 1682, 'fn': 1683, 'fo': 1684, 'fp': 1685, 'fq': 1686, 'fr': 1687, 'fs': 1688, 'ft': 1689, 'fu': 1690, 'fv': 1691, 'fw': 1692, 'fx': 1693, 'fy': 1694, 'fz': 1695, 'g': 1696, 'gA': 1697, 'gB': 1698, 'gC': 1699, 'gD': 1700, 'gE': 1701, 'gF': 1702, 'gG': 1703, 'gH': 1704, 'gI': 1705, 'gJ': 1706, 'gK': 1707, 'gL': 1708, 'gM': 1709, 'gN': 1710, 'gO': 1711, 'gP': 1712, 'gQ': 1713, 'gR': 1714, 'gS': 1715, 'gT': 1716, 'gU': 1717, 'gV': 1718, 'gW': 1719, 'gX': 1720, 'gY': 1721, 'gZ': 1722, 'ga': 1723, 'gb': 1724, 'gc': 1725, 'gd': 1726, 'ge': 1727, 'gf': 1728, 'gg': 1729, 'gh': 1730, 'gi': 1731, 'gj': 1732, 'gk': 1733, 'gl': 1734, 'gm': 1735, 'gn': 1736, 'go': 1737, 'gp': 1738, 'gq': 1739, 'gr': 1740, 'gs': 1741, 'gt': 1742, 'gu': 1743, 'gv': 1744, 'gw': 1745, 'gx': 1746, 'gy': 1747, 'gz': 1748, 'h': 1749, 'hA': 1750, 'hB': 1751, 'hC': 1752, 'hD': 1753, 'hE': 1754, 'hF': 1755, 'hG': 1756, 'hH': 1757, 'hI': 1758, 'hJ': 1759, 'hK': 1760, 'hL': 1761, 'hM': 1762, 'hN': 1763, 'hO': 1764, 'hP': 1765, 'hQ': 1766, 'hR': 1767, 'hS': 1768, 'hT': 1769, 'hU': 1770, 'hV': 1771, 'hW': 1772, 'hX': 1773, 'hY': 1774, 'hZ': 1775, 'ha': 1776, 'hb': 1777, 'hc': 1778, 'hd': 1779, 'he': 1780, 'hf': 1781, 'hg': 1782, 'hh': 1783, 'hi': 1784, 'hj': 1785, 'hk': 1786, 'hl': 1787, 'hm': 1788, 'hn': 1789, 'ho': 1790, 'hp': 1791, 'hq': 1792, 'hr': 1793, 'hs': 1794, 'ht': 1795, 'hu': 1796, 'hv': 1797, 'hw': 1798, 'hx': 1799, 'hy': 1800, 'hz': 1801, 'i': 1802, 'iA': 1803, 'iB': 1804, 'iC': 1805, 'iD': 1806, 'iE': 1807, 'iF': 1808, 'iG': 1809, 'iH': 1810, 'iI': 1811, 'iJ': 1812, 'iK': 1813, 'iL': 1814, 'iM': 1815, 'iN': 1816, 'iO': 1817, 'iP': 1818, 'iQ': 1819, 'iR': 1820, 'iS': 1821, 'iT': 1822, 'iU': 1823, 'iV': 1824, 'iW': 1825, 'iX': 1826, 'iY': 1827, 'iZ': 1828, 'ia': 1829, 'ib': 1830, 'ic': 1831, 'id': 1832, 'ie': 1833, 'if': 1834, 'ig': 1835, 'ih': 1836, 'ii': 1837, 'ij': 1838, 'ik': 1839, 'il': 1840, 'im': 1841, 'in': 1842, 'io': 1843, 'ip': 1844, 'iq': 1845, 'ir': 1846, 'is': 1847, 'it': 1848, 'iu': 1849, 'iv': 1850, 'iw': 1851, 'ix': 1852, 'iy': 1853, 'iz': 1854, 'j': 1855, 'jA': 1856, 'jB': 1857, 'jC': 1858, 'jD': 1859, 'jE': 1860, 'jF': 1861, 'jG': 1862, 'jH': 1863, 'jI': 1864, 'jJ': 1865, 'jK': 1866, 'jL': 1867, 'jM': 1868, 'jN': 1869, 'jO': 1870, 'jP': 1871, 'jQ': 1872, 'jR': 1873, 'jS': 1874, 'jT': 1875, 'jU': 1876, 'jV': 1877, 'jW': 1878, 'jX': 1879, 'jY': 1880, 'jZ': 1881, 'ja': 1882, 'jb': 1883, 'jc': 1884, 'jd': 1885, 'je': 1886, 'jf': 1887, 'jg': 1888, 'jh': 1889, 'ji': 1890, 'jj': 1891, 'jk': 1892, 'jl': 1893, 'jm': 1894, 'jn': 1895, 'jo': 1896, 'jp': 1897, 'jq': 1898, 'jr': 1899, 'js': 1900, 'jt': 1901, 'ju': 1902, 'jv': 1903, 'jw': 1904, 'jx': 1905, 'jy': 1906, 'jz': 1907, 'k': 1908, 'kA': 1909, 'kB': 1910, 'kC': 1911, 'kD': 1912, 'kE': 1913, 'kF': 1914, 'kG': 1915, 'kH': 1916, 'kI': 1917, 'kJ': 1918, 'kK': 1919, 'kL': 1920, 'kM': 1921, 'kN': 1922, 'kO': 1923, 'kP': 1924, 'kQ': 1925, 'kR': 1926, 'kS': 1927, 'kT': 1928, 'kU': 1929, 'kV': 1930, 'kW': 1931, 'kX': 1932, 'kY': 1933, 'kZ': 1934, 'ka': 1935, 'kb': 1936, 'kc': 1937, 'kd': 1938, 'ke': 1939, 'kf': 1940, 'kg': 1941, 'kh': 1942, 'ki': 1943, 'kj': 1944, 'kk': 1945, 'kl': 1946, 'km': 1947, 'kn': 1948, 'ko': 1949, 'kp': 1950, 'kq': 1951, 'kr': 1952, 'ks': 1953, 'kt': 1954, 'ku': 1955, 'kv': 1956, 'kw': 1957, 'kx': 1958, 'ky': 1959, 'kz': 1960, 'l': 1961, 'lA': 1962, 'lB': 1963, 'lC': 1964, 'lD': 1965, 'lE': 1966, 'lF': 1967, 'lG': 1968, 'lH': 1969, 'lI': 1970, 'lJ': 1971, 'lK': 1972, 'lL': 1973, 'lM': 1974, 'lN': 1975, 'lO': 1976, 'lP': 1977, 'lQ': 1978, 'lR': 1979, 'lS': 1980, 'lT': 1981, 'lU': 1982, 'lV': 1983, 'lW': 1984, 'lX': 1985, 'lY': 1986, 'lZ': 1987, 'la': 1988, 'lb': 1989, 'lc': 1990, 'ld': 1991, 'le': 1992, 'lf': 1993, 'lg': 1994, 'lh': 1995, 'li': 1996, 'lj': 1997, 'lk': 1998, 'll': 1999, 'lm': 2000, 'ln': 2001, 'lo': 2002, 'lp': 2003, 'lq': 2004, 'lr': 2005, 'ls': 2006, 'lt': 2007, 'lu': 2008, 'lv': 2009, 'lw': 2010, 'lx': 2011, 'ly': 2012, 'lz': 2013, 'm': 2014, 'mA': 2015, 'mB': 2016, 'mC': 2017, 'mD': 2018, 'mE': 2019, 'mF': 2020, 'mG': 2021, 'mH': 2022, 'mI': 2023, 'mJ': 2024, 'mK': 2025, 'mL': 2026, 'mM': 2027, 'mN': 2028, 'mO': 2029, 'mP': 2030, 'mQ': 2031, 'mR': 2032, 'mS': 2033, 'mT': 2034, 'mU': 2035, 'mV': 2036, 'mW': 2037, 'mX': 2038, 'mY': 2039, 'mZ': 2040, 'ma': 2041, 'mb': 2042, 'mc': 2043, 'md': 2044, 'me': 2045, 'mf': 2046, 'mg': 2047, 'mh': 2048, 'mi': 2049, 'mj': 2050, 'mk': 2051, 'ml': 2052, 'mm': 2053, 'mn': 2054, 'mo': 2055, 'mp': 2056, 'mq': 2057, 'mr': 2058, 'ms': 2059, 'mt': 2060, 'mu': 2061, 'mv': 2062, 'mw': 2063, 'mx': 2064, 'my': 2065, 'mz': 2066, 'n': 2067, 'nA': 2068, 'nB': 2069, 'nC': 2070, 'nD': 2071, 'nE': 2072, 'nF': 2073, 'nG': 2074, 'nH': 2075, 'nI': 2076, 'nJ': 2077, 'nK': 2078, 'nL': 2079, 'nM': 2080, 'nN': 2081, 'nO': 2082, 'nP': 2083, 'nQ': 2084, 'nR': 2085, 'nS': 2086, 'nT': 2087, 'nU': 2088, 'nV': 2089, 'nW': 2090, 'nX': 2091, 'nY': 2092, 'nZ': 2093, 'na': 2094, 'nb': 2095, 'nc': 2096, 'nd': 2097, 'ne': 2098, 'nf': 2099, 'ng': 2100, 'nh': 2101, 'ni': 2102, 'nj': 2103, 'nk': 2104, 'nl': 2105, 'nm': 2106, 'nn': 2107, 'no': 2108, 'np': 2109, 'nq': 2110, 'nr': 2111, 'ns': 2112, 'nt': 2113, 'nu': 2114, 'nv': 2115, 'nw': 2116, 'nx': 2117, 'ny': 2118, 'nz': 2119, 'o': 2120, 'oA': 2121, 'oB': 2122, 'oC': 2123, 'oD': 2124, 'oE': 2125, 'oF': 2126, 'oG': 2127, 'oH': 2128, 'oI': 2129, 'oJ': 2130, 'oK': 2131, 'oL': 2132, 'oM': 2133, 'oN': 2134, 'oO': 2135, 'oP': 2136, 'oQ': 2137, 'oR': 2138, 'oS': 2139, 'oT': 2140, 'oU': 2141, 'oV': 2142, 'oW': 2143, 'oX': 2144, 'oY': 2145, 'oZ': 2146, 'oa': 2147, 'ob': 2148, 'oc': 2149, 'od': 2150, 'oe': 2151, 'of': 2152, 'og': 2153, 'oh': 2154, 'oi': 2155, 'oj': 2156, 'ok': 2157, 'ol': 2158, 'om': 2159, 'on': 2160, 'oo': 2161, 'op': 2162, 'oq': 2163, 'or': 2164, 'os': 2165, 'ot': 2166, 'ou': 2167, 'ov': 2168, 'ow': 2169, 'ox': 2170, 'oy': 2171, 'oz': 2172, 'p': 2173, 'pA': 2174, 'pB': 2175, 'pC': 2176, 'pD': 2177, 'pE': 2178, 'pF': 2179, 'pG': 2180, 'pH': 2181, 'pI': 2182, 'pJ': 2183, 'pK': 2184, 'pL': 2185, 'pM': 2186, 'pN': 2187, 'pO': 2188, 'pP': 2189, 'pQ': 2190, 'pR': 2191, 'pS': 2192, 'pT': 2193, 'pU': 2194, 'pV': 2195, 'pW': 2196, 'pX': 2197, 'pY': 2198, 'pZ': 2199, 'pa': 2200, 'pb': 2201, 'pc': 2202, 'pd': 2203, 'pe': 2204, 'pf': 2205, 'pg': 2206, 'ph': 2207, 'pi': 2208, 'pj': 2209, 'pk': 2210, 'pl': 2211, 'pm': 2212, 'pn': 2213, 'po': 2214, 'pp': 2215, 'pq': 2216, 'pr': 2217, 'ps': 2218, 'pt': 2219, 'pu': 2220, 'pv': 2221, 'pw': 2222, 'px': 2223, 'py': 2224, 'pz': 2225, 'q': 2226, 'qA': 2227, 'qB': 2228, 'qC': 2229, 'qD': 2230, 'qE': 2231, 'qF': 2232, 'qG': 2233, 'qH': 2234, 'qI': 2235, 'qJ': 2236, 'qK': 2237, 'qL': 2238, 'qM': 2239, 'qN': 2240, 'qO': 2241, 'qP': 2242, 'qQ': 2243, 'qR': 2244, 'qS': 2245, 'qT': 2246, 'qU': 2247, 'qV': 2248, 'qW': 2249, 'qX': 2250, 'qY': 2251, 'qZ': 2252, 'qa': 2253, 'qb': 2254, 'qc': 2255, 'qd': 2256, 'qe': 2257, 'qf': 2258, 'qg': 2259, 'qh': 2260, 'qi': 2261, 'qj': 2262, 'qk': 2263, 'ql': 2264, 'qm': 2265, 'qn': 2266, 'qo': 2267, 'qp': 2268, 'qq': 2269, 'qr': 2270, 'qs': 2271, 'qt': 2272, 'qu': 2273, 'qv': 2274, 'qw': 2275, 'qx': 2276, 'qy': 2277, 'qz': 2278, 'r': 2279, 'rA': 2280, 'rB': 2281, 'rC': 2282, 'rD': 2283, 'rE': 2284, 'rF': 2285, 'rG': 2286, 'rH': 2287, 'rI': 2288, 'rJ': 2289, 'rK': 2290, 'rL': 2291, 'rM': 2292, 'rN': 2293, 'rO': 2294, 'rP': 2295, 'rQ': 2296, 'rR': 2297, 'rS': 2298, 'rT': 2299, 'rU': 2300, 'rV': 2301, 'rW': 2302, 'rX': 2303, 'rY': 2304, 'rZ': 2305, 'ra': 2306, 'rb': 2307, 'rc': 2308, 'rd': 2309, 're': 2310, 'rf': 2311, 'rg': 2312, 'rh': 2313, 'ri': 2314, 'rj': 2315, 'rk': 2316, 'rl': 2317, 'rm': 2318, 'rn': 2319, 'ro': 2320, 'rp': 2321, 'rq': 2322, 'rr': 2323, 'rs': 2324, 'rt': 2325, 'ru': 2326, 'rv': 2327, 'rw': 2328, 'rx': 2329, 'ry': 2330, 'rz': 2331, 's': 2332, 'sA': 2333, 'sB': 2334, 'sC': 2335, 'sD': 2336, 'sE': 2337, 'sF': 2338, 'sG': 2339, 'sH': 2340, 'sI': 2341, 'sJ': 2342, 'sK': 2343, 'sL': 2344, 'sM': 2345, 'sN': 2346, 'sO': 2347, 'sP': 2348, 'sQ': 2349, 'sR': 2350, 'sS': 2351, 'sT': 2352, 'sU': 2353, 'sV': 2354, 'sW': 2355, 'sX': 2356, 'sY': 2357, 'sZ': 2358, 'sa': 2359, 'sb': 2360, 'sc': 2361, 'sd': 2362, 'se': 2363, 'sf': 2364, 'sg': 2365, 'sh': 2366, 'si': 2367, 'sj': 2368, 'sk': 2369, 'sl': 2370, 'sm': 2371, 'sn': 2372, 'so': 2373, 'sp': 2374, 'sq': 2375, 'sr': 2376, 'ss': 2377, 'st': 2378, 'su': 2379, 'sv': 2380, 'sw': 2381, 'sx': 2382, 'sy': 2383, 'sz': 2384, 't': 2385, 'tA': 2386, 'tB': 2387, 'tC': 2388, 'tD': 2389, 'tE': 2390, 'tF': 2391, 'tG': 2392, 'tH': 2393, 'tI': 2394, 'tJ': 2395, 'tK': 2396, 'tL': 2397, 'tM': 2398, 'tN': 2399, 'tO': 2400, 'tP': 2401, 'tQ': 2402, 'tR': 2403, 'tS': 2404, 'tT': 2405, 'tU': 2406, 'tV': 2407, 'tW': 2408, 'tX': 2409, 'tY': 2410, 'tZ': 2411, 'ta': 2412, 'tb': 2413, 'tc': 2414, 'td': 2415, 'te': 2416, 'tf': 2417, 'tg': 2418, 'th': 2419, 'ti': 2420, 'tj': 2421, 'tk': 2422, 'tl': 2423, 'tm': 2424, 'tn': 2425, 'to': 2426, 'tp': 2427, 'tq': 2428, 'tr': 2429, 'ts': 2430, 'tt': 2431, 'tu': 2432, 'tv': 2433, 'tw': 2434, 'tx': 2435, 'ty': 2436, 'tz': 2437, 'u': 2438, 'uA': 2439, 'uB': 2440, 'uC': 2441, 'uD': 2442, 'uE': 2443, 'uF': 2444, 'uG': 2445, 'uH': 2446, 'uI': 2447, 'uJ': 2448, 'uK': 2449, 'uL': 2450, 'uM': 2451, 'uN': 2452, 'uO': 2453, 'uP': 2454, 'uQ': 2455, 'uR': 2456, 'uS': 2457, 'uT': 2458, 'uU': 2459, 'uV': 2460, 'uW': 2461, 'uX': 2462, 'uY': 2463, 'uZ': 2464, 'ua': 2465, 'ub': 2466, 'uc': 2467, 'ud': 2468, 'ue': 2469, 'uf': 2470, 'ug': 2471, 'uh': 2472, 'ui': 2473, 'uj': 2474, 'uk': 2475, 'ul': 2476, 'um': 2477, 'un': 2478, 'uo': 2479, 'up': 2480, 'uq': 2481, 'ur': 2482, 'us': 2483, 'ut': 2484, 'uu': 2485, 'uv': 2486, 'uw': 2487, 'ux': 2488, 'uy': 2489, 'uz': 2490, 'v': 2491, 'vA': 2492, 'vB': 2493, 'vC': 2494, 'vD': 2495, 'vE': 2496, 'vF': 2497, 'vG': 2498, 'vH': 2499, 'vI': 2500, 'vJ': 2501, 'vK': 2502, 'vL': 2503, 'vM': 2504, 'vN': 2505, 'vO': 2506, 'vP': 2507, 'vQ': 2508, 'vR': 2509, 'vS': 2510, 'vT': 2511, 'vU': 2512, 'vV': 2513, 'vW': 2514, 'vX': 2515, 'vY': 2516, 'vZ': 2517, 'va': 2518, 'vb': 2519, 'vc': 2520, 'vd': 2521, 've': 2522, 'vf': 2523, 'vg': 2524, 'vh': 2525, 'vi': 2526, 'vj': 2527, 'vk': 2528, 'vl': 2529, 'vm': 2530, 'vn': 2531, 'vo': 2532, 'vp': 2533, 'vq': 2534, 'vr': 2535, 'vs': 2536, 'vt': 2537, 'vu': 2538, 'vv': 2539, 'vw': 2540, 'vx': 2541, 'vy': 2542, 'vz': 2543, 'w': 2544, 'wA': 2545, 'wB': 2546, 'wC': 2547, 'wD': 2548, 'wE': 2549, 'wF': 2550, 'wG': 2551, 'wH': 2552, 'wI': 2553, 'wJ': 2554, 'wK': 2555, 'wL': 2556, 'wM': 2557, 'wN': 2558, 'wO': 2559, 'wP': 2560, 'wQ': 2561, 'wR': 2562, 'wS': 2563, 'wT': 2564, 'wU': 2565, 'wV': 2566, 'wW': 2567, 'wX': 2568, 'wY': 2569, 'wZ': 2570, 'wa': 2571, 'wb': 2572, 'wc': 2573, 'wd': 2574, 'we': 2575, 'wf': 2576, 'wg': 2577, 'wh': 2578, 'wi': 2579, 'wj': 2580, 'wk': 2581, 'wl': 2582, 'wm': 2583, 'wn': 2584, 'wo': 2585, 'wp': 2586, 'wq': 2587, 'wr': 2588, 'ws': 2589, 'wt': 2590, 'wu': 2591, 'wv': 2592, 'ww': 2593, 'wx': 2594, 'wy': 2595, 'wz': 2596, 'x': 2597, 'xA': 2598, 'xB': 2599, 'xC': 2600, 'xD': 2601, 'xE': 2602, 'xF': 2603, 'xG': 2604, 'xH': 2605, 'xI': 2606, 'xJ': 2607, 'xK': 2608, 'xL': 2609, 'xM': 2610, 'xN': 2611, 'xO': 2612, 'xP': 2613, 'xQ': 2614, 'xR': 2615, 'xS': 2616, 'xT': 2617, 'xU': 2618, 'xV': 2619, 'xW': 2620, 'xX': 2621, 'xY': 2622, 'xZ': 2623, 'xa': 2624, 'xb': 2625, 'xc': 2626, 'xd': 2627, 'xe': 2628, 'xf': 2629, 'xg': 2630, 'xh': 2631, 'xi': 2632, 'xj': 2633, 'xk': 2634, 'xl': 2635, 'xm': 2636, 'xn': 2637, 'xo': 2638, 'xp': 2639, 'xq': 2640, 'xr': 2641, 'xs': 2642, 'xt': 2643, 'xu': 2644, 'xv': 2645, 'xw': 2646, 'xx': 2647, 'xy': 2648, 'xz': 2649, 'y': 2650, 'yA': 2651, 'yB': 2652, 'yC': 2653, 'yD': 2654, 'yE': 2655, 'yF': 2656, 'yG': 2657, 'yH': 2658, 'yI': 2659, 'yJ': 2660, 'yK': 2661, 'yL': 2662, 'yM': 2663, 'yN': 2664, 'yO': 2665, 'yP': 2666, 'yQ': 2667, 'yR': 2668, 'yS': 2669, 'yT': 2670, 'yU': 2671, 'yV': 2672, 'yW': 2673, 'yX': 2674, 'yY': 2675, 'yZ': 2676, 'ya': 2677, 'yb': 2678, 'yc': 2679, 'yd': 2680, 'ye': 2681, 'yf': 2682, 'yg': 2683, 'yh': 2684, 'yi': 2685, 'yj': 2686, 'yk': 2687, 'yl': 2688, 'ym': 2689, 'yn': 2690, 'yo': 2691, 'yp': 2692, 'yq': 2693, 'yr': 2694, 'ys': 2695, 'yt': 2696, 'yu': 2697, 'yv': 2698, 'yw': 2699, 'yx': 2700, 'yy': 2701, 'yz': 2702, 'z': 2703, 'zA': 2704, 'zB': 2705, 'zC': 2706, 'zD': 2707, 'zE': 2708, 'zF': 2709, 'zG': 2710, 'zH': 2711, 'zI': 2712, 'zJ': 2713, 'zK': 2714, 'zL': 2715, 'zM': 2716, 'zN': 2717, 'zO': 2718, 'zP': 2719, 'zQ': 2720, 'zR': 2721, 'zS': 2722, 'zT': 2723, 'zU': 2724, 'zV': 2725, 'zW': 2726, 'zX': 2727, 'zY': 2728, 'zZ': 2729, 'za': 2730, 'zb': 2731, 'zc': 2732, 'zd': 2733, 'ze': 2734, 'zf': 2735, 'zg': 2736, 'zh': 2737, 'zi': 2738, 'zj': 2739, 'zk': 2740, 'zl': 2741, 'zm': 2742, 'zn': 2743, 'zo': 2744, 'zp': 2745, 'zq': 2746, 'zr': 2747, 'zs': 2748, 'zt': 2749, 'zu': 2750, 'zv': 2751, 'zw': 2752, 'zx': 2753, 'zy': 2754, 'zz': 2755} chr2=['A', 'AA', 'AB', 'AC', 'AD', 'AE', 'AF', 'AG', 'AH', 'AI', 'AJ', 'AK', 'AL', 'AM', 'AN', 'AO', 'AP', 'AQ', 'AR', 'AS', 'AT', 'AU', 'AV', 'AW', 'AX', 'AY', 'AZ', 'Aa', 'Ab', 'Ac', 'Ad', 'Ae', 'Af', 'Ag', 'Ah', 'Ai', 'Aj', 'Ak', 'Al', 'Am', 'An', 'Ao', 'Ap', 'Aq', 'Ar', 'As', 'At', 'Au', 'Av', 'Aw', 'Ax', 'Ay', 'Az', 'B', 'BA', 'BB', 'BC', 'BD', 'BE', 'BF', 'BG', 'BH', 'BI', 'BJ', 'BK', 'BL', 'BM', 'BN', 'BO', 'BP', 'BQ', 'BR', 'BS', 'BT', 'BU', 'BV', 'BW', 'BX', 'BY', 'BZ', 'Ba', 'Bb', 'Bc', 'Bd', 'Be', 'Bf', 'Bg', 'Bh', 'Bi', 'Bj', 'Bk', 'Bl', 'Bm', 'Bn', 'Bo', 'Bp', 'Bq', 'Br', 'Bs', 'Bt', 'Bu', 'Bv', 'Bw', 'Bx', 'By', 'Bz', 'C', 'CA', 'CB', 'CC', 'CD', 'CE', 'CF', 'CG', 'CH', 'CI', 'CJ', 'CK', 'CL', 'CM', 'CN', 'CO', 'CP', 'CQ', 'CR', 'CS', 'CT', 'CU', 'CV', 'CW', 'CX', 'CY', 'CZ', 'Ca', 'Cb', 'Cc', 'Cd', 'Ce', 'Cf', 'Cg', 'Ch', 'Ci', 'Cj', 'Ck', 'Cl', 'Cm', 'Cn', 'Co', 'Cp', 'Cq', 'Cr', 'Cs', 'Ct', 'Cu', 'Cv', 'Cw', 'Cx', 'Cy', 'Cz', 'D', 'DA', 'DB', 'DC', 'DD', 'DE', 'DF', 'DG', 'DH', 'DI', 'DJ', 'DK', 'DL', 'DM', 'DN', 'DO', 'DP', 'DQ', 'DR', 'DS', 'DT', 'DU', 'DV', 'DW', 'DX', 'DY', 'DZ', 'Da', 'Db', 'Dc', 'Dd', 'De', 'Df', 'Dg', 'Dh', 'Di', 'Dj', 'Dk', 'Dl', 'Dm', 'Dn', 'Do', 'Dp', 'Dq', 'Dr', 'Ds', 'Dt', 'Du', 'Dv', 'Dw', 'Dx', 'Dy', 'Dz', 'E', 'EA', 'EB', 'EC', 'ED', 'EE', 'EF', 'EG', 'EH', 'EI', 'EJ', 'EK', 'EL', 'EM', 'EN', 'EO', 'EP', 'EQ', 'ER', 'ES', 'ET', 'EU', 'EV', 'EW', 'EX', 'EY', 'EZ', 'Ea', 'Eb', 'Ec', 'Ed', 'Ee', 'Ef', 'Eg', 'Eh', 'Ei', 'Ej', 'Ek', 'El', 'Em', 'En', 'Eo', 'Ep', 'Eq', 'Er', 'Es', 'Et', 'Eu', 'Ev', 'Ew', 'Ex', 'Ey', 'Ez', 'F', 'FA', 'FB', 'FC', 'FD', 'FE', 'FF', 'FG', 'FH', 'FI', 'FJ', 'FK', 'FL', 'FM', 'FN', 'FO', 'FP', 'FQ', 'FR', 'FS', 'FT', 'FU', 'FV', 'FW', 'FX', 'FY', 'FZ', 'Fa', 'Fb', 'Fc', 'Fd', 'Fe', 'Ff', 'Fg', 'Fh', 'Fi', 'Fj', 'Fk', 'Fl', 'Fm', 'Fn', 'Fo', 'Fp', 'Fq', 'Fr', 'Fs', 'Ft', 'Fu', 'Fv', 'Fw', 'Fx', 'Fy', 'Fz', 'G', 'GA', 'GB', 'GC', 'GD', 'GE', 'GF', 'GG', 'GH', 'GI', 'GJ', 'GK', 'GL', 'GM', 'GN', 'GO', 'GP', 'GQ', 'GR', 'GS', 'GT', 'GU', 'GV', 'GW', 'GX', 'GY', 'GZ', 'Ga', 'Gb', 'Gc', 'Gd', 'Ge', 'Gf', 'Gg', 'Gh', 'Gi', 'Gj', 'Gk', 'Gl', 'Gm', 'Gn', 'Go', 'Gp', 'Gq', 'Gr', 'Gs', 'Gt', 'Gu', 'Gv', 'Gw', 'Gx', 'Gy', 'Gz', 'H', 'HA', 'HB', 'HC', 'HD', 'HE', 'HF', 'HG', 'HH', 'HI', 'HJ', 'HK', 'HL', 'HM', 'HN', 'HO', 'HP', 'HQ', 'HR', 'HS', 'HT', 'HU', 'HV', 'HW', 'HX', 'HY', 'HZ', 'Ha', 'Hb', 'Hc', 'Hd', 'He', 'Hf', 'Hg', 'Hh', 'Hi', 'Hj', 'Hk', 'Hl', 'Hm', 'Hn', 'Ho', 'Hp', 'Hq', 'Hr', 'Hs', 'Ht', 'Hu', 'Hv', 'Hw', 'Hx', 'Hy', 'Hz', 'I', 'IA', 'IB', 'IC', 'ID', 'IE', 'IF', 'IG', 'IH', 'II', 'IJ', 'IK', 'IL', 'IM', 'IN', 'IO', 'IP', 'IQ', 'IR', 'IS', 'IT', 'IU', 'IV', 'IW', 'IX', 'IY', 'IZ', 'Ia', 'Ib', 'Ic', 'Id', 'Ie', 'If', 'Ig', 'Ih', 'Ii', 'Ij', 'Ik', 'Il', 'Im', 'In', 'Io', 'Ip', 'Iq', 'Ir', 'Is', 'It', 'Iu', 'Iv', 'Iw', 'Ix', 'Iy', 'Iz', 'J', 'JA', 'JB', 'JC', 'JD', 'JE', 'JF', 'JG', 'JH', 'JI', 'JJ', 'JK', 'JL', 'JM', 'JN', 'JO', 'JP', 'JQ', 'JR', 'JS', 'JT', 'JU', 'JV', 'JW', 'JX', 'JY', 'JZ', 'Ja', 'Jb', 'Jc', 'Jd', 'Je', 'Jf', 'Jg', 'Jh', 'Ji', 'Jj', 'Jk', 'Jl', 'Jm', 'Jn', 'Jo', 'Jp', 'Jq', 'Jr', 'Js', 'Jt', 'Ju', 'Jv', 'Jw', 'Jx', 'Jy', 'Jz', 'K', 'KA', 'KB', 'KC', 'KD', 'KE', 'KF', 'KG', 'KH', 'KI', 'KJ', 'KK', 'KL', 'KM', 'KN', 'KO', 'KP', 'KQ', 'KR', 'KS', 'KT', 'KU', 'KV', 'KW', 'KX', 'KY', 'KZ', 'Ka', 'Kb', 'Kc', 'Kd', 'Ke', 'Kf', 'Kg', 'Kh', 'Ki', 'Kj', 'Kk', 'Kl', 'Km', 'Kn', 'Ko', 'Kp', 'Kq', 'Kr', 'Ks', 'Kt', 'Ku', 'Kv', 'Kw', 'Kx', 'Ky', 'Kz', 'L', 'LA', 'LB', 'LC', 'LD', 'LE', 'LF', 'LG', 'LH', 'LI', 'LJ', 'LK', 'LL', 'LM', 'LN', 'LO', 'LP', 'LQ', 'LR', 'LS', 'LT', 'LU', 'LV', 'LW', 'LX', 'LY', 'LZ', 'La', 'Lb', 'Lc', 'Ld', 'Le', 'Lf', 'Lg', 'Lh', 'Li', 'Lj', 'Lk', 'Ll', 'Lm', 'Ln', 'Lo', 'Lp', 'Lq', 'Lr', 'Ls', 'Lt', 'Lu', 'Lv', 'Lw', 'Lx', 'Ly', 'Lz', 'M', 'MA', 'MB', 'MC', 'MD', 'ME', 'MF', 'MG', 'MH', 'MI', 'MJ', 'MK', 'ML', 'MM', 'MN', 'MO', 'MP', 'MQ', 'MR', 'MS', 'MT', 'MU', 'MV', 'MW', 'MX', 'MY', 'MZ', 'Ma', 'Mb', 'Mc', 'Md', 'Me', 'Mf', 'Mg', 'Mh', 'Mi', 'Mj', 'Mk', 'Ml', 'Mm', 'Mn', 'Mo', 'Mp', 'Mq', 'Mr', 'Ms', 'Mt', 'Mu', 'Mv', 'Mw', 'Mx', 'My', 'Mz', 'N', 'NA', 'NB', 'NC', 'ND', 'NE', 'NF', 'NG', 'NH', 'NI', 'NJ', 'NK', 'NL', 'NM', 'NN', 'NO', 'NP', 'NQ', 'NR', 'NS', 'NT', 'NU', 'NV', 'NW', 'NX', 'NY', 'NZ', 'Na', 'Nb', 'Nc', 'Nd', 'Ne', 'Nf', 'Ng', 'Nh', 'Ni', 'Nj', 'Nk', 'Nl', 'Nm', 'Nn', 'No', 'Np', 'Nq', 'Nr', 'Ns', 'Nt', 'Nu', 'Nv', 'Nw', 'Nx', 'Ny', 'Nz', 'O', 'OA', 'OB', 'OC', 'OD', 'OE', 'OF', 'OG', 'OH', 'OI', 'OJ', 'OK', 'OL', 'OM', 'ON', 'OO', 'OP', 'OQ', 'OR', 'OS', 'OT', 'OU', 'OV', 'OW', 'OX', 'OY', 'OZ', 'Oa', 'Ob', 'Oc', 'Od', 'Oe', 'Of', 'Og', 'Oh', 'Oi', 'Oj', 'Ok', 'Ol', 'Om', 'On', 'Oo', 'Op', 'Oq', 'Or', 'Os', 'Ot', 'Ou', 'Ov', 'Ow', 'Ox', 'Oy', 'Oz', 'P', 'PA', 'PB', 'PC', 'PD', 'PE', 'PF', 'PG', 'PH', 'PI', 'PJ', 'PK', 'PL', 'PM', 'PN', 'PO', 'PP', 'PQ', 'PR', 'PS', 'PT', 'PU', 'PV', 'PW', 'PX', 'PY', 'PZ', 'Pa', 'Pb', 'Pc', 'Pd', 'Pe', 'Pf', 'Pg', 'Ph', 'Pi', 'Pj', 'Pk', 'Pl', 'Pm', 'Pn', 'Po', 'Pp', 'Pq', 'Pr', 'Ps', 'Pt', 'Pu', 'Pv', 'Pw', 'Px', 'Py', 'Pz', 'Q', 'QA', 'QB', 'QC', 'QD', 'QE', 'QF', 'QG', 'QH', 'QI', 'QJ', 'QK', 'QL', 'QM', 'QN', 'QO', 'QP', 'QQ', 'QR', 'QS', 'QT', 'QU', 'QV', 'QW', 'QX', 'QY', 'QZ', 'Qa', 'Qb', 'Qc', 'Qd', 'Qe', 'Qf', 'Qg', 'Qh', 'Qi', 'Qj', 'Qk', 'Ql', 'Qm', 'Qn', 'Qo', 'Qp', 'Qq', 'Qr', 'Qs', 'Qt', 'Qu', 'Qv', 'Qw', 'Qx', 'Qy', 'Qz', 'R', 'RA', 'RB', 'RC', 'RD', 'RE', 'RF', 'RG', 'RH', 'RI', 'RJ', 'RK', 'RL', 'RM', 'RN', 'RO', 'RP', 'RQ', 'RR', 'RS', 'RT', 'RU', 'RV', 'RW', 'RX', 'RY', 'RZ', 'Ra', 'Rb', 'Rc', 'Rd', 'Re', 'Rf', 'Rg', 'Rh', 'Ri', 'Rj', 'Rk', 'Rl', 'Rm', 'Rn', 'Ro', 'Rp', 'Rq', 'Rr', 'Rs', 'Rt', 'Ru', 'Rv', 'Rw', 'Rx', 'Ry', 'Rz', 'S', 'SA', 'SB', 'SC', 'SD', 'SE', 'SF', 'SG', 'SH', 'SI', 'SJ', 'SK', 'SL', 'SM', 'SN', 'SO', 'SP', 'SQ', 'SR', 'SS', 'ST', 'SU', 'SV', 'SW', 'SX', 'SY', 'SZ', 'Sa', 'Sb', 'Sc', 'Sd', 'Se', 'Sf', 'Sg', 'Sh', 'Si', 'Sj', 'Sk', 'Sl', 'Sm', 'Sn', 'So', 'Sp', 'Sq', 'Sr', 'Ss', 'St', 'Su', 'Sv', 'Sw', 'Sx', 'Sy', 'Sz', 'T', 'TA', 'TB', 'TC', 'TD', 'TE', 'TF', 'TG', 'TH', 'TI', 'TJ', 'TK', 'TL', 'TM', 'TN', 'TO', 'TP', 'TQ', 'TR', 'TS', 'TT', 'TU', 'TV', 'TW', 'TX', 'TY', 'TZ', 'Ta', 'Tb', 'Tc', 'Td', 'Te', 'Tf', 'Tg', 'Th', 'Ti', 'Tj', 'Tk', 'Tl', 'Tm', 'Tn', 'To', 'Tp', 'Tq', 'Tr', 'Ts', 'Tt', 'Tu', 'Tv', 'Tw', 'Tx', 'Ty', 'Tz', 'U', 'UA', 'UB', 'UC', 'UD', 'UE', 'UF', 'UG', 'UH', 'UI', 'UJ', 'UK', 'UL', 'UM', 'UN', 'UO', 'UP', 'UQ', 'UR', 'US', 'UT', 'UU', 'UV', 'UW', 'UX', 'UY', 'UZ', 'Ua', 'Ub', 'Uc', 'Ud', 'Ue', 'Uf', 'Ug', 'Uh', 'Ui', 'Uj', 'Uk', 'Ul', 'Um', 'Un', 'Uo', 'Up', 'Uq', 'Ur', 'Us', 'Ut', 'Uu', 'Uv', 'Uw', 'Ux', 'Uy', 'Uz', 'V', 'VA', 'VB', 'VC', 'VD', 'VE', 'VF', 'VG', 'VH', 'VI', 'VJ', 'VK', 'VL', 'VM', 'VN', 'VO', 'VP', 'VQ', 'VR', 'VS', 'VT', 'VU', 'VV', 'VW', 'VX', 'VY', 'VZ', 'Va', 'Vb', 'Vc', 'Vd', 'Ve', 'Vf', 'Vg', 'Vh', 'Vi', 'Vj', 'Vk', 'Vl', 'Vm', 'Vn', 'Vo', 'Vp', 'Vq', 'Vr', 'Vs', 'Vt', 'Vu', 'Vv', 'Vw', 'Vx', 'Vy', 'Vz', 'W', 'WA', 'WB', 'WC', 'WD', 'WE', 'WF', 'WG', 'WH', 'WI', 'WJ', 'WK', 'WL', 'WM', 'WN', 'WO', 'WP', 'WQ', 'WR', 'WS', 'WT', 'WU', 'WV', 'WW', 'WX', 'WY', 'WZ', 'Wa', 'Wb', 'Wc', 'Wd', 'We', 'Wf', 'Wg', 'Wh', 'Wi', 'Wj', 'Wk', 'Wl', 'Wm', 'Wn', 'Wo', 'Wp', 'Wq', 'Wr', 'Ws', 'Wt', 'Wu', 'Wv', 'Ww', 'Wx', 'Wy', 'Wz', 'X', 'XA', 'XB', 'XC', 'XD', 'XE', 'XF', 'XG', 'XH', 'XI', 'XJ', 'XK', 'XL', 'XM', 'XN', 'XO', 'XP', 'XQ', 'XR', 'XS', 'XT', 'XU', 'XV', 'XW', 'XX', 'XY', 'XZ', 'Xa', 'Xb', 'Xc', 'Xd', 'Xe', 'Xf', 'Xg', 'Xh', 'Xi', 'Xj', 'Xk', 'Xl', 'Xm', 'Xn', 'Xo', 'Xp', 'Xq', 'Xr', 'Xs', 'Xt', 'Xu', 'Xv', 'Xw', 'Xx', 'Xy', 'Xz', 'Y', 'YA', 'YB', 'YC', 'YD', 'YE', 'YF', 'YG', 'YH', 'YI', 'YJ', 'YK', 'YL', 'YM', 'YN', 'YO', 'YP', 'YQ', 'YR', 'YS', 'YT', 'YU', 'YV', 'YW', 'YX', 'YY', 'YZ', 'Ya', 'Yb', 'Yc', 'Yd', 'Ye', 'Yf', 'Yg', 'Yh', 'Yi', 'Yj', 'Yk', 'Yl', 'Ym', 'Yn', 'Yo', 'Yp', 'Yq', 'Yr', 'Ys', 'Yt', 'Yu', 'Yv', 'Yw', 'Yx', 'Yy', 'Yz', 'Z', 'ZA', 'ZB', 'ZC', 'ZD', 'ZE', 'ZF', 'ZG', 'ZH', 'ZI', 'ZJ', 'ZK', 'ZL', 'ZM', 'ZN', 'ZO', 'ZP', 'ZQ', 'ZR', 'ZS', 'ZT', 'ZU', 'ZV', 'ZW', 'ZX', 'ZY', 'ZZ', 'Za', 'Zb', 'Zc', 'Zd', 'Ze', 'Zf', 'Zg', 'Zh', 'Zi', 'Zj', 'Zk', 'Zl', 'Zm', 'Zn', 'Zo', 'Zp', 'Zq', 'Zr', 'Zs', 'Zt', 'Zu', 'Zv', 'Zw', 'Zx', 'Zy', 'Zz', 'a', 'aA', 'aB', 'aC', 'aD', 'aE', 'aF', 'aG', 'aH', 'aI', 'aJ', 'aK', 'aL', 'aM', 'aN', 'aO', 'aP', 'aQ', 'aR', 'aS', 'aT', 'aU', 'aV', 'aW', 'aX', 'aY', 'aZ', 'aa', 'ab', 'ac', 'ad', 'ae', 'af', 'ag', 'ah', 'ai', 'aj', 'ak', 'al', 'am', 'an', 'ao', 'ap', 'aq', 'ar', 'as', 'at', 'au', 'av', 'aw', 'ax', 'ay', 'az', 'b', 'bA', 'bB', 'bC', 'bD', 'bE', 'bF', 'bG', 'bH', 'bI', 'bJ', 'bK', 'bL', 'bM', 'bN', 'bO', 'bP', 'bQ', 'bR', 'bS', 'bT', 'bU', 'bV', 'bW', 'bX', 'bY', 'bZ', 'ba', 'bb', 'bc', 'bd', 'be', 'bf', 'bg', 'bh', 'bi', 'bj', 'bk', 'bl', 'bm', 'bn', 'bo', 'bp', 'bq', 'br', 'bs', 'bt', 'bu', 'bv', 'bw', 'bx', 'by', 'bz', 'c', 'cA', 'cB', 'cC', 'cD', 'cE', 'cF', 'cG', 'cH', 'cI', 'cJ', 'cK', 'cL', 'cM', 'cN', 'cO', 'cP', 'cQ', 'cR', 'cS', 'cT', 'cU', 'cV', 'cW', 'cX', 'cY', 'cZ', 'ca', 'cb', 'cc', 'cd', 'ce', 'cf', 'cg', 'ch', 'ci', 'cj', 'ck', 'cl', 'cm', 'cn', 'co', 'cp', 'cq', 'cr', 'cs', 'ct', 'cu', 'cv', 'cw', 'cx', 'cy', 'cz', 'd', 'dA', 'dB', 'dC', 'dD', 'dE', 'dF', 'dG', 'dH', 'dI', 'dJ', 'dK', 'dL', 'dM', 'dN', 'dO', 'dP', 'dQ', 'dR', 'dS', 'dT', 'dU', 'dV', 'dW', 'dX', 'dY', 'dZ', 'da', 'db', 'dc', 'dd', 'de', 'df', 'dg', 'dh', 'di', 'dj', 'dk', 'dl', 'dm', 'dn', 'do', 'dp', 'dq', 'dr', 'ds', 'dt', 'du', 'dv', 'dw', 'dx', 'dy', 'dz', 'e', 'eA', 'eB', 'eC', 'eD', 'eE', 'eF', 'eG', 'eH', 'eI', 'eJ', 'eK', 'eL', 'eM', 'eN', 'eO', 'eP', 'eQ', 'eR', 'eS', 'eT', 'eU', 'eV', 'eW', 'eX', 'eY', 'eZ', 'ea', 'eb', 'ec', 'ed', 'ee', 'ef', 'eg', 'eh', 'ei', 'ej', 'ek', 'el', 'em', 'en', 'eo', 'ep', 'eq', 'er', 'es', 'et', 'eu', 'ev', 'ew', 'ex', 'ey', 'ez', 'f', 'fA', 'fB', 'fC', 'fD', 'fE', 'fF', 'fG', 'fH', 'fI', 'fJ', 'fK', 'fL', 'fM', 'fN', 'fO', 'fP', 'fQ', 'fR', 'fS', 'fT', 'fU', 'fV', 'fW', 'fX', 'fY', 'fZ', 'fa', 'fb', 'fc', 'fd', 'fe', 'ff', 'fg', 'fh', 'fi', 'fj', 'fk', 'fl', 'fm', 'fn', 'fo', 'fp', 'fq', 'fr', 'fs', 'ft', 'fu', 'fv', 'fw', 'fx', 'fy', 'fz', 'g', 'gA', 'gB', 'gC', 'gD', 'gE', 'gF', 'gG', 'gH', 'gI', 'gJ', 'gK', 'gL', 'gM', 'gN', 'gO', 'gP', 'gQ', 'gR', 'gS', 'gT', 'gU', 'gV', 'gW', 'gX', 'gY', 'gZ', 'ga', 'gb', 'gc', 'gd', 'ge', 'gf', 'gg', 'gh', 'gi', 'gj', 'gk', 'gl', 'gm', 'gn', 'go', 'gp', 'gq', 'gr', 'gs', 'gt', 'gu', 'gv', 'gw', 'gx', 'gy', 'gz', 'h', 'hA', 'hB', 'hC', 'hD', 'hE', 'hF', 'hG', 'hH', 'hI', 'hJ', 'hK', 'hL', 'hM', 'hN', 'hO', 'hP', 'hQ', 'hR', 'hS', 'hT', 'hU', 'hV', 'hW', 'hX', 'hY', 'hZ', 'ha', 'hb', 'hc', 'hd', 'he', 'hf', 'hg', 'hh', 'hi', 'hj', 'hk', 'hl', 'hm', 'hn', 'ho', 'hp', 'hq', 'hr', 'hs', 'ht', 'hu', 'hv', 'hw', 'hx', 'hy', 'hz', 'i', 'iA', 'iB', 'iC', 'iD', 'iE', 'iF', 'iG', 'iH', 'iI', 'iJ', 'iK', 'iL', 'iM', 'iN', 'iO', 'iP', 'iQ', 'iR', 'iS', 'iT', 'iU', 'iV', 'iW', 'iX', 'iY', 'iZ', 'ia', 'ib', 'ic', 'id', 'ie', 'if', 'ig', 'ih', 'ii', 'ij', 'ik', 'il', 'im', 'in', 'io', 'ip', 'iq', 'ir', 'is', 'it', 'iu', 'iv', 'iw', 'ix', 'iy', 'iz', 'j', 'jA', 'jB', 'jC', 'jD', 'jE', 'jF', 'jG', 'jH', 'jI', 'jJ', 'jK', 'jL', 'jM', 'jN', 'jO', 'jP', 'jQ', 'jR', 'jS', 'jT', 'jU', 'jV', 'jW', 'jX', 'jY', 'jZ', 'ja', 'jb', 'jc', 'jd', 'je', 'jf', 'jg', 'jh', 'ji', 'jj', 'jk', 'jl', 'jm', 'jn', 'jo', 'jp', 'jq', 'jr', 'js', 'jt', 'ju', 'jv', 'jw', 'jx', 'jy', 'jz', 'k', 'kA', 'kB', 'kC', 'kD', 'kE', 'kF', 'kG', 'kH', 'kI', 'kJ', 'kK', 'kL', 'kM', 'kN', 'kO', 'kP', 'kQ', 'kR', 'kS', 'kT', 'kU', 'kV', 'kW', 'kX', 'kY', 'kZ', 'ka', 'kb', 'kc', 'kd', 'ke', 'kf', 'kg', 'kh', 'ki', 'kj', 'kk', 'kl', 'km', 'kn', 'ko', 'kp', 'kq', 'kr', 'ks', 'kt', 'ku', 'kv', 'kw', 'kx', 'ky', 'kz', 'l', 'lA', 'lB', 'lC', 'lD', 'lE', 'lF', 'lG', 'lH', 'lI', 'lJ', 'lK', 'lL', 'lM', 'lN', 'lO', 'lP', 'lQ', 'lR', 'lS', 'lT', 'lU', 'lV', 'lW', 'lX', 'lY', 'lZ', 'la', 'lb', 'lc', 'ld', 'le', 'lf', 'lg', 'lh', 'li', 'lj', 'lk', 'll', 'lm', 'ln', 'lo', 'lp', 'lq', 'lr', 'ls', 'lt', 'lu', 'lv', 'lw', 'lx', 'ly', 'lz', 'm', 'mA', 'mB', 'mC', 'mD', 'mE', 'mF', 'mG', 'mH', 'mI', 'mJ', 'mK', 'mL', 'mM', 'mN', 'mO', 'mP', 'mQ', 'mR', 'mS', 'mT', 'mU', 'mV', 'mW', 'mX', 'mY', 'mZ', 'ma', 'mb', 'mc', 'md', 'me', 'mf', 'mg', 'mh', 'mi', 'mj', 'mk', 'ml', 'mm', 'mn', 'mo', 'mp', 'mq', 'mr', 'ms', 'mt', 'mu', 'mv', 'mw', 'mx', 'my', 'mz', 'n', 'nA', 'nB', 'nC', 'nD', 'nE', 'nF', 'nG', 'nH', 'nI', 'nJ', 'nK', 'nL', 'nM', 'nN', 'nO', 'nP', 'nQ', 'nR', 'nS', 'nT', 'nU', 'nV', 'nW', 'nX', 'nY', 'nZ', 'na', 'nb', 'nc', 'nd', 'ne', 'nf', 'ng', 'nh', 'ni', 'nj', 'nk', 'nl', 'nm', 'nn', 'no', 'np', 'nq', 'nr', 'ns', 'nt', 'nu', 'nv', 'nw', 'nx', 'ny', 'nz', 'o', 'oA', 'oB', 'oC', 'oD', 'oE', 'oF', 'oG', 'oH', 'oI', 'oJ', 'oK', 'oL', 'oM', 'oN', 'oO', 'oP', 'oQ', 'oR', 'oS', 'oT', 'oU', 'oV', 'oW', 'oX', 'oY', 'oZ', 'oa', 'ob', 'oc', 'od', 'oe', 'of', 'og', 'oh', 'oi', 'oj', 'ok', 'ol', 'om', 'on', 'oo', 'op', 'oq', 'or', 'os', 'ot', 'ou', 'ov', 'ow', 'ox', 'oy', 'oz', 'p', 'pA', 'pB', 'pC', 'pD', 'pE', 'pF', 'pG', 'pH', 'pI', 'pJ', 'pK', 'pL', 'pM', 'pN', 'pO', 'pP', 'pQ', 'pR', 'pS', 'pT', 'pU', 'pV', 'pW', 'pX', 'pY', 'pZ', 'pa', 'pb', 'pc', 'pd', 'pe', 'pf', 'pg', 'ph', 'pi', 'pj', 'pk', 'pl', 'pm', 'pn', 'po', 'pp', 'pq', 'pr', 'ps', 'pt', 'pu', 'pv', 'pw', 'px', 'py', 'pz', 'q', 'qA', 'qB', 'qC', 'qD', 'qE', 'qF', 'qG', 'qH', 'qI', 'qJ', 'qK', 'qL', 'qM', 'qN', 'qO', 'qP', 'qQ', 'qR', 'qS', 'qT', 'qU', 'qV', 'qW', 'qX', 'qY', 'qZ', 'qa', 'qb', 'qc', 'qd', 'qe', 'qf', 'qg', 'qh', 'qi', 'qj', 'qk', 'ql', 'qm', 'qn', 'qo', 'qp', 'qq', 'qr', 'qs', 'qt', 'qu', 'qv', 'qw', 'qx', 'qy', 'qz', 'r', 'rA', 'rB', 'rC', 'rD', 'rE', 'rF', 'rG', 'rH', 'rI', 'rJ', 'rK', 'rL', 'rM', 'rN', 'rO', 'rP', 'rQ', 'rR', 'rS', 'rT', 'rU', 'rV', 'rW', 'rX', 'rY', 'rZ', 'ra', 'rb', 'rc', 'rd', 're', 'rf', 'rg', 'rh', 'ri', 'rj', 'rk', 'rl', 'rm', 'rn', 'ro', 'rp', 'rq', 'rr', 'rs', 'rt', 'ru', 'rv', 'rw', 'rx', 'ry', 'rz', 's', 'sA', 'sB', 'sC', 'sD', 'sE', 'sF', 'sG', 'sH', 'sI', 'sJ', 'sK', 'sL', 'sM', 'sN', 'sO', 'sP', 'sQ', 'sR', 'sS', 'sT', 'sU', 'sV', 'sW', 'sX', 'sY', 'sZ', 'sa', 'sb', 'sc', 'sd', 'se', 'sf', 'sg', 'sh', 'si', 'sj', 'sk', 'sl', 'sm', 'sn', 'so', 'sp', 'sq', 'sr', 'ss', 'st', 'su', 'sv', 'sw', 'sx', 'sy', 'sz', 't', 'tA', 'tB', 'tC', 'tD', 'tE', 'tF', 'tG', 'tH', 'tI', 'tJ', 'tK', 'tL', 'tM', 'tN', 'tO', 'tP', 'tQ', 'tR', 'tS', 'tT', 'tU', 'tV', 'tW', 'tX', 'tY', 'tZ', 'ta', 'tb', 'tc', 'td', 'te', 'tf', 'tg', 'th', 'ti', 'tj', 'tk', 'tl', 'tm', 'tn', 'to', 'tp', 'tq', 'tr', 'ts', 'tt', 'tu', 'tv', 'tw', 'tx', 'ty', 'tz', 'u', 'uA', 'uB', 'uC', 'uD', 'uE', 'uF', 'uG', 'uH', 'uI', 'uJ', 'uK', 'uL', 'uM', 'uN', 'uO', 'uP', 'uQ', 'uR', 'uS', 'uT', 'uU', 'uV', 'uW', 'uX', 'uY', 'uZ', 'ua', 'ub', 'uc', 'ud', 'ue', 'uf', 'ug', 'uh', 'ui', 'uj', 'uk', 'ul', 'um', 'un', 'uo', 'up', 'uq', 'ur', 'us', 'ut', 'uu', 'uv', 'uw', 'ux', 'uy', 'uz', 'v', 'vA', 'vB', 'vC', 'vD', 'vE', 'vF', 'vG', 'vH', 'vI', 'vJ', 'vK', 'vL', 'vM', 'vN', 'vO', 'vP', 'vQ', 'vR', 'vS', 'vT', 'vU', 'vV', 'vW', 'vX', 'vY', 'vZ', 'va', 'vb', 'vc', 'vd', 've', 'vf', 'vg', 'vh', 'vi', 'vj', 'vk', 'vl', 'vm', 'vn', 'vo', 'vp', 'vq', 'vr', 'vs', 'vt', 'vu', 'vv', 'vw', 'vx', 'vy', 'vz', 'w', 'wA', 'wB', 'wC', 'wD', 'wE', 'wF', 'wG', 'wH', 'wI', 'wJ', 'wK', 'wL', 'wM', 'wN', 'wO', 'wP', 'wQ', 'wR', 'wS', 'wT', 'wU', 'wV', 'wW', 'wX', 'wY', 'wZ', 'wa', 'wb', 'wc', 'wd', 'we', 'wf', 'wg', 'wh', 'wi', 'wj', 'wk', 'wl', 'wm', 'wn', 'wo', 'wp', 'wq', 'wr', 'ws', 'wt', 'wu', 'wv', 'ww', 'wx', 'wy', 'wz', 'x', 'xA', 'xB', 'xC', 'xD', 'xE', 'xF', 'xG', 'xH', 'xI', 'xJ', 'xK', 'xL', 'xM', 'xN', 'xO', 'xP', 'xQ', 'xR', 'xS', 'xT', 'xU', 'xV', 'xW', 'xX', 'xY', 'xZ', 'xa', 'xb', 'xc', 'xd', 'xe', 'xf', 'xg', 'xh', 'xi', 'xj', 'xk', 'xl', 'xm', 'xn', 'xo', 'xp', 'xq', 'xr', 'xs', 'xt', 'xu', 'xv', 'xw', 'xx', 'xy', 'xz', 'y', 'yA', 'yB', 'yC', 'yD', 'yE', 'yF', 'yG', 'yH', 'yI', 'yJ', 'yK', 'yL', 'yM', 'yN', 'yO', 'yP', 'yQ', 'yR', 'yS', 'yT', 'yU', 'yV', 'yW', 'yX', 'yY', 'yZ', 'ya', 'yb', 'yc', 'yd', 'ye', 'yf', 'yg', 'yh', 'yi', 'yj', 'yk', 'yl', 'ym', 'yn', 'yo', 'yp', 'yq', 'yr', 'ys', 'yt', 'yu', 'yv', 'yw', 'yx', 'yy', 'yz', 'z', 'zA', 'zB', 'zC', 'zD', 'zE', 'zF', 'zG', 'zH', 'zI', 'zJ', 'zK', 'zL', 'zM', 'zN', 'zO', 'zP', 'zQ', 'zR', 'zS', 'zT', 'zU', 'zV', 'zW', 'zX', 'zY', 'zZ', 'za', 'zb', 'zc', 'zd', 'ze', 'zf', 'zg', 'zh', 'zi', 'zj', 'zk', 'zl', 'zm', 'zn', 'zo', 'zp', 'zq', 'zr', 'zs', 'zt', 'zu', 'zv', 'zw', 'zx', 'zy', 'zz'] class CSR: def __init__(self, n: int, edges: list): self.start = [0] * (n + 1) self.elist = [0] * len(edges) for e in edges: self.start[e[0] + 1] += 1 for i in range(1, n + 1): self.start[i] += self.start[i - 1] counter = self.start[::] # copy for e in edges: self.elist[counter[e[0]]] = e[1] counter[e[0]] += 1 class SccGraph: def __init__(self, n: int = 0): self.__n = n self.__edges = [] def __len__(self): return self.__n def add_edge(self, s: int, t: int): assert 0 <= s < self.__n and 0 <= t < self.__n self.__edges.append([s, t]) def scc_ids(self): g = CSR(self.__n, self.__edges) now_ord = group_num = 0 visited = [] low = [0] * self.__n order = [-1] * self.__n ids = [0] * self.__n parent = [-1] * self.__n for root in range(self.__n): if order[root] == -1: stack = [root, root] while stack: v = stack.pop() if order[v] == -1: visited.append(v) low[v] = order[v] = now_ord now_ord += 1 for i in range(g.start[v], g.start[v + 1]): t = g.elist[i] if order[t] == -1: stack += [t, t] parent[t] = v else: low[v] = min(low[v], order[t]) else: if low[v] == order[v]: while True: u = visited.pop() order[u] = self.__n ids[u] = group_num if u == v: break group_num += 1 if parent[v] != -1: low[parent[v]] = min(low[parent[v]], low[v]) for i, x in enumerate(ids): ids[i] = group_num - 1 - x return group_num, ids def scc(self): """ 強連結成分のリストを返す。この時、リストはトポロジカルソートされている [[強連結成分のリスト], [強連結成分のリスト], ...] """ group_num, ids = self.scc_ids() counts = [0] * group_num for x in ids: counts[x] += 1 groups = [[] for _ in range(group_num)] for i, x in enumerate(ids): groups[x].append(i) return groups class TwoSAT(): def __init__(self, n): self.n = n self.res = [0]*self.n self.scc = SccGraph(2*n) def add_clause(self, i, f, j, g): # assert 0 <= i < self.n # assert 0 <= j < self.n self.scc.add_edge(2*i + (not f), 2*j + g) self.scc.add_edge(2*j + (not g), 2*i + f) def add_or(self, i, f, j, g): self.add_clause(i, f, j, g) def add_xor(self, i, f, j, g): self.add_clause(i, f, j, g) self.add_clause(i, f^1, j, g^1) def add_and(self, i, f, j, g): self.add_clause(i, f, j, g^1) self.add_clause(i, f^1, j, g) self.add_clause(i, f, j, g) def satisfiable(self): """ 条件を足す割当が存在するかどうかを判定する。割当が存在するならばtrue、そうでないならfalseを返す。 """ group_num, ids = self.scc.scc_ids() for i in range(self.n): if ids[2*i] == ids[2*i + 1]: return False self.res[i] = (ids[2*i] < ids[2*i+1]) return True def result(self): """ 最後に呼んだ satisfiable の、クローズを満たす割当を返す。 """ return self.res ############################################################################# import sys input = sys.stdin.readline N=int(input()) M=len(ord2) if N>M: print("Impossible") exit() """ xi と xj の少なくとも一つは存在 ( (xi,xj) = (0,1) or (1,0) or (1,1)) add_clause(i,1,j,1) xi と xj は共存できない( (xi,xj) = (0,1) or (1,0) or (0,0)) add_clause(i,0,j,0) xi と xj はペアでのみ存在する( (xi,xj) = (1,1) or (0,0)) add_xor(i,0,j,1) xi と xj の片一方のみが必ず存在する( (xi,xj) = (0,1) or (1,0)) add_xor(i,1,j,1) """ data=[] for _ in range(N): data.append(input().rstrip()) ts = TwoSAT(2*N) for i in range(N): u1=data[i] s11,t11=u1[:1],u1[1:] s12,t12=u1[:2],u1[2:] ts.add_xor(2*i,1,2*i+1,1) for j in range(i+1,N): u2=data[j] s21,t21=u2[:1],u2[1:] s22,t22=u2[:2],u2[2:] if s11==s21 or s11==t21 or t11==s21 or t11==t21: ts.add_or(2*i,0,2*j,0) if s12==s21 or s12==t21 or t12==s21 or t12==t21: ts.add_or(2*i+1,0,2*j,0) if s11==s22 or s11==t22 or t11==s22 or t11==t22: ts.add_or(2*i,0,2*j+1,0) if s12==s22 or s12==t22 or t12==s22 or t12==t22: ts.add_or(2*i+1,0,2*j+1,0) flg=ts.satisfiable() if not flg: print("Impossible") exit() res=ts.result() for i in range(N): u=data[i] if res[2*i]==1: print(u[:1],u[1:]) else: print(u[:2],u[2:])