{ "version": "1.0", "truncation": null, "padding": null, "added_tokens": [ { "id": 0, "content": "", "single_word": false, "lstrip": false, "rstrip": false, "normalized": false, "special": true }, { "id": 1, "content": "", "single_word": false, "lstrip": false, "rstrip": false, "normalized": false, "special": true }, { "id": 2, "content": "", "single_word": false, "lstrip": false, "rstrip": false, "normalized": false, "special": true }, { "id": 3, "content": "", "single_word": false, "lstrip": false, "rstrip": false, "normalized": false, "special": true }, { "id": 4, "content": "", "single_word": false, "lstrip": false, "rstrip": false, "normalized": false, "special": true } ], "normalizer": { "type": "NFKC" }, "pre_tokenizer": { "type": "Metaspace", "replacement": "▁", "add_prefix_space": true, "prepend_scheme": "always" }, "post_processor": null, "decoder": { "type": "Metaspace", "replacement": "▁", "add_prefix_space": true, "prepend_scheme": "always" }, "model": { "type": "BPE", "dropout": null, "unk_token": "", "continuing_subword_prefix": null, "end_of_word_suffix": null, "fuse_unk": false, "byte_fallback": false, "vocab": { "": 0, "": 1, "": 2, "": 3, "": 4, "\t": 5, "\n": 6, "#": 7, "%": 8, "(": 9, ")": 10, "+": 11, "-": 12, ".": 13, "/": 14, "0": 15, "1": 16, "2": 17, "3": 18, "4": 19, "5": 20, "6": 21, "7": 22, "8": 23, "9": 24, "<": 25, "=": 26, ">": 27, "A": 28, "B": 29, "C": 30, "F": 31, "G": 32, "H": 33, "I": 34, "K": 35, "L": 36, "M": 37, "N": 38, "O": 39, "P": 40, "R": 41, "S": 42, "T": 43, "U": 44, "V": 45, "W": 46, "Z": 47, "[": 48, "]": 49, "a": 50, "b": 51, "c": 52, "d": 53, "e": 54, "g": 55, "h": 56, "i": 57, "k": 58, "l": 59, "n": 60, "o": 61, "p": 62, "r": 63, "s": 64, "t": 65, "u": 66, "▁": 67, "\t-": 68, "▁1": 69, "▁2": 70, "CC": 71, "\t-1": 72, "\t-2": 73, "\t-3": 74, "\t-4": 75, "\t-5": 76, "\t-6": 77, "\t-7": 78, "0\n": 79, "1\n": 80, "2\n": 81, "3\n": 82, "4\n": 83, "5\n": 84, "6\n": 85, "8\n": 86, "9\n": 87, "7\n": 88, "CCCC": 89, "▁4": 90, "▁6": 91, "▁5": 92, "▁3": 93, "▁9": 94, "▁8": 95, "22": 96, "▁7": 97, "00": 98, "▁16": 99, "▁23": 100, "▁13": 101, "▁19": 102, "▁25": 103, "08": 104, "▁17": 105, "▁18": 106, "▁24": 107, "▁14": 108, "07": 109, "▁15": 110, "09": 111, "▁26": 112, "05": 113, "06": 114, "88": 115, "02": 116, "03": 117, "04": 118, "77": 119, "87": 120, "11": 121, "86": 122, "89": 123, "75": 124, "66": 125, "35": 126, "85": 127, "45": 128, "01": 129, "76": 130, "79": 131, "95": 132, "81": 133, "23": 134, "65": 135, "25": 136, "80": 137, "69": 138, "83": 139, "84": 140, "82": 141, "71": 142, "43": 143, "24": 144, "19": 145, "74": 146, "26": 147, "93": 148, "72": 149, "21": 150, "73": 151, "34": 152, "96": 153, "55": 154, "91": 155, "92": 156, "94": 157, "OCC": 158, "[\t-1": 159, "44": 160, "63": 161, "78": 162, "70": 163, "62": 164, "61": 165, "▁N": 166, "▁CCCC": 167, "▁C": 168, "▁+": 169, "64": 170, "CCC": 171, "▁-": 172, "12": 173, "\t-25": 174, "\t-35": 175, "\t-45": 176, "\t-55": 177, "\t-65": 178, "\t-75": 179, "99": 180, "c\t-1": 181, "33": 182, "▁+]": 183, "14": 184, "90": 185, "98": 186, "10": 187, "15": 188, "97": 189, "13": 190, "16": 191, "17": 192, "18": 193, "\t-23": 194, "\t-24": 195, "\t-33": 196, "\t-34": 197, "\t-43": 198, "\t-44": 199, "\t-53": 200, "\t-54": 201, "\t-63": 202, "\t-64": 203, "\t-73": 204, "\t-74": 205, "28": 206, "27": 207, "20": 208, "29": 209, "67": 210, "68": 211, "\t-15": 212, "60": 213, "OC": 214, "CCN": 215, "\t-13": 216, "[\t-2": 217, "4\t-3": 218, "SS": 219, "▁122": 220, "7\t-7": 221, "2\t-3": 222, "8\t-7": 223, "1\t-3": 224, "cc": 225, "\t-14": 226, "▁CCCCCCCC": 227, "2\t-4": 228, "▁222": 229, "2\t-2": 230, "3\t-6": 231, "9\t-7": 232, "▁]": 233, "▁CC": 234, "1\t-6": 235, "4\t-7": 236, "9\t-5": 237, "▁102": 238, "3\t-3": 239, "6\t-6": 240, "0\t-7": 241, "1\t-7": 242, "▁S": 243, "▁OCC": 244, "3\t-2": 245, "3\t-7": 246, "NC": 247, "2\t-7": 248, "▁204": 249, "9\t-4": 250, "▁95": 251, "2]": 252, "4\t-2": 253, "4\t-6": 254, "▁202": 255, "([\t-1": 256, "1\t-4": 257, "2\t-6": 258, "1\t-2": 259, "1\t-5": 260, "▁43": 261, "▁45": 262, "6\t-7": 263, "▁35": 264, "▁163": 265, "3\t-4": 266, "4\t-4": 267, "▁209": 268, "▁203": 269, "5\t-5": 270, "▁n": 271, "▁34": 272, "▁63": 273, "8\t-5": 274, "c\t-2": 275, "▁CCC": 276, "▁85": 277, ")\t-1": 278, "7\t-6": 279, "cn": 280, "▁O": 281, "▁108": 282, "▁109": 283, "▁103": 284, "▁104": 285, "▁208": 286, "CCS": 287, "▁65": 288, "▁233": 289, "▁253": 290, "▁-]": 291, "0\t-4": 292, "80\n": 293, "81\n": 294, "82\n": 295, "83\n": 296, "84\n": 297, "85\n": 298, "86\n": 299, "88\n": 300, "89\n": 301, "87\n": 302, "90\n": 303, "91\n": 304, "92\n": 305, "93\n": 306, "94\n": 307, "95\n": 308, "96\n": 309, "98\n": 310, "99\n": 311, "97\n": 312, "N\t-1": 313, "▁55": 314, "▁93": 315, "▁193": 316, "▁145": 317, "OCCOCC": 318, "▁CN": 319, "00\n": 320, "01\n": 321, "02\n": 322, "03\n": 323, "04\n": 324, "05\n": 325, "06\n": 326, "08\n": 327, "09\n": 328, "07\n": 329, "10\n": 330, "11\n": 331, "12\n": 332, "13\n": 333, "14\n": 334, "15\n": 335, "16\n": 336, "18\n": 337, "19\n": 338, "17\n": 339, "20\n": 340, "21\n": 341, "22\n": 342, "23\n": 343, "24\n": 344, "25\n": 345, "26\n": 346, "28\n": 347, "29\n": 348, "27\n": 349, "60\n": 350, "61\n": 351, "62\n": 352, "63\n": 353, "64\n": 354, "65\n": 355, "66\n": 356, "68\n": 357, "69\n": 358, "67\n": 359, "7\t-4": 360, "70\n": 361, "71\n": 362, "72\n": 363, "73\n": 364, "74\n": 365, "75\n": 366, "76\n": 367, "78\n": 368, "79\n": 369, "77\n": 370, "9\t-2": 371, "▁205": 372, "CCCCCCCC": 373, "▁44": 374, "▁53": 375, "▁134": 376, "▁192": 377, "▁243": 378, "▁143": 379, "9\t-3": 380, "▁75": 381, "▁133": 382, "▁174": 383, "▁183": 384, "▁262": 385, "89\t-5": 386, "75\t-6": 387, "4\t-5": 388, "8\t-4": 389, "▁105": 390, "▁106": 391, "▁64": 392, "▁33": 393, "▁82": 394, "▁165": 395, "▁153": 396, "03\t-4": 397, "2\t-5": 398, "3\t-5": 399, "5\t-4": 400, "6\t-3": 401, "▁206": 402, "▁162": 403, "▁232": 404, "▁132": 405, "▁139": 406, "▁254": 407, "▁245": 408, "09\t-4": 409, "▁42": 410, "▁54": 411, "▁89": 412, "▁74": 413, "▁189": 414, "07\t-4": 415, "76\t-6": 416, "(\t-1": 417, "6\t-5": 418, "▁200": 419, "▁46": 420, "▁52": 421, "▁234": 422, "▁195": 423, "08\t-4": 424, "▁182": 425, "▁185": 426, "▁155": 427, "86\t-6": 428, "▁CS": 429, "▁-2]": 430, ")=": 431, "6\t-2": 432, "▁56": 433, "▁84": 434, "▁73": 435, "▁76": 436, "▁79": 437, "▁164": 438, "▁235": 439, "▁255": 440, "▁259": 441, "▁249": 442, "▁264": 443, "▁265": 444, "([\t-2": 445, "0\t-5": 446, "▁107": 447, "▁111": 448, "▁69": 449, "▁94": 450, "▁83": 451, "00\t-4": 452, "▁169": 453, "▁194": 454, "▁199": 455, "▁252": 456, "▁172": 457, "▁173": 458, "▁184": 459, "▁144": 460, "▁159": 461, "▁263": 462, "05\t-7": 463, "06\t-5": 464, "▁-3": 465, ")[\t-1": 466, "C\t-1": 467, "n\t-1": 468, "▁207": 469, "▁66": 470, "▁72": 471, "▁242": 472, "▁244": 473, "▁142": 474, "▁154": 475, "02\t-3": 476, "80\t-5": 477, "84\t-3": 478, "▁NCCCC": 479, "0\t-6": 480, "5\t-2": 481, "5\t-7": 482, "6\t-4": 483, "▁cc": 484, "▁49": 485, "▁59": 486, "▁39": 487, "▁96": 488, "▁86": 489, "▁239": 490, "▁175": 491, "▁179": 492, "▁149": 493, "05\t-4": 494, "03\t-5": 495, "77\t-3": 496, "86\t-5": 497, "66\t-6": 498, "▁NCCC": 499, "1\t-1": 500, "4]": 501, "5\t-3": 502, "8\t-6": 503, "O\t-1": 504, "▁62": 505, "▁92": 506, "▁99": 507, "00\t-3": 508, "00\t-5": 509, "▁236": 510, "▁136": 511, "▁176": 512, "▁186": 513, "05\t-5": 514, "03\t-6": 515, "79\t-5": 516, "▁NCC": 517, "▁CCCCC": 518, "▁-4]": 519, "▁-3]": 520, "▁CCN": 521, "▁36": 522, "▁166": 523, "▁237": 524, "▁135": 525, "▁256": 526, "▁156": 527, "06\t-7": 528, "88\t-3": 529, "88\t-4": 530, "86\t-3": 531, "01\t-3": 532, "01\t-5": 533, "01\t-6": 534, "81\t-6": 535, "80\t-3": 536, "69\t-6": 537, "83\t-3": 538, "84\t-5": 539, ")[\t-2": 540, "3\t-1": 541, "9\t-6": 542, "Br": 543, "▁67": 544, "222": 545, "▁196": 546, "▁246": 547, "▁146": 548, "07\t-7": 549, "▁152": 550, "09\t-5": 551, "04\t-3": 552, "76\t-3": 553, "83\t-5": 554, "74\t-3": 555, "74\t-6": 556, "72\t-6": 557, "▁+2]": 558, "▁CCCCCCCCCCCC": 559, "1\t-34": 560, "7\t-2": 561, "▁20": 562, "▁47": 563, "00\t-7": 564, "08\t-5": 565, "07\t-5": 566, "▁266": 567, "02\t-4": 568, "02\t-7": 569, "04\t-2": 570, "87\t-5": 571, "11\t-6": 572, "82\t-3": 573, "71\t-6": 574, "63\t-6": 575, "70\t-6": 576, "(\t-2": 577, ")-": 578, "2\t-55": 579, "4\t-55": 580, "Oc\t-1": 581, "S\t-2": 582, "▁%": 583, "▁s": 584, "▁100": 585, "CC\t-2": 586, "▁77": 587, "▁147": 588, "09\t-2": 589, "09\t-7": 590, "▁267": 591, "06\t-4": 592, "02\t-5": 593, "04\t-4": 594, "77\t-6": 595, "89\t-4": 596, "85\t-3": 597, "01\t-4": 598, "82\t-5": 599, "198\t-7": 600, "94\t-4": 601, "78\t-6": 602, "▁NC": 603, "▁COCC": 604, "NC\t-1": 605, "222\t-75": 606, "(=": 607, ".[\t-1": 608, "2\t-1": 609, "7\t-3": 610, "S\t-1": 611, "n\t-2": 612, "▁OC": 613, "▁SS": 614, "▁cn": 615, "▁12": 616, "▁101": 617, "▁211": 618, "▁37": 619, "▁137": 620, "▁247": 621, "07\t-2": 622, "04\t-5": 623, "01\t-7": 624, "79\t-3": 625, "95\t-7": 626, "81\t-4": 627, "257\t-7": 628, "71\t-3": 629, "74\t-5": 630, "73\t-6": 631, "91\t-4": 632, "91\t-5": 633, "92\t-4": 634, "92\t-5": 635, "▁OCCC": 636, "1\t-73": 637, "186\t-6": 638, "4\t-1": 639, "7\t-5": 640, "8\t-2": 641, "P\t-2": 642, "▁00": 643, "CC\t-1": 644, "▁97": 645, "▁197": 646, "08\t-7": 647, "▁177": 648, "▁157": 649, "03\t-7": 650, "04\t-7": 651, "77\t-5": 652, "87\t-3": 653, "89\t-3": 654, "75\t-5": 655, "85\t-5": 656, "45\t-7": 657, "81\t-65": 658, "72\t-3": 659, "73\t-3": 660, "348\t-5": 661, "62\t-4": 662, "62\t-6": 663, "▁OCCCC": 664, "1\t-": 665, "5\t-6": 666, "6\t-55": 667, "O\t-2": 668, "cc\t-1": 669, "▁c": 670, "▁68": 671, "▁87": 672, "▁88": 673, "09\t-3": 674, "88\t-5": 675, "03\t-3": 676, "118\t-5": 677, "75\t-3": 678, "66\t-3": 679, "457\t-6": 680, "76\t-5": 681, "79\t-4": 682, "79\t-6": 683, "258\t-7": 684, "251\t-7": 685, "431\t-5": 686, "249\t-7": 687, "261\t-6": 688, "260\t-6": 689, "268\t-6": 690, "93\t-3": 691, "93\t-5": 692, "78\t-5": 693, "61\t-4": 694, "▁+]1": 695, "▁+]3": 696, "OC\t-2": 697, "NC\t-2": 698, ")\t-15": 699, "0\t-2": 700, "0\t-43": 701, "1\t-74": 702, "101\t-6": 703, "163\t-6": 704, "2\t-33": 705, "4\t-25": 706, "8\t-": 707, "8\t-3": 708, "805": 709, "N\t-2": 710, "\t-88": 711, "\t-86": 712, "\t-95": 713, "\t-96": 714, "\t-91": 715, "\t-94": 716, "\t-90": 717, "\t-97": 718, "▁1-": 719, "▁201": 720, "\t-100": 721, "\t-108": 722, "\t-109": 723, "\t-105": 724, "\t-106": 725, "\t-102": 726, "\t-104": 727, "\t-101": 728, "\t-126": 729, "\t-121": 730, "\t-114": 731, "\t-110": 732, "\t-113": 733, "\t-116": 734, "\t-117": 735, "\t-118": 736, "\t-127": 737, "\t-120": 738, "\t-289": 739, "\t-285": 740, "\t-265": 741, "\t-293": 742, "\t-296": 743, "\t-294": 744, "\t-297": 745, "\t-455": 746, "\t-795": 747, "\t-794": 748, "\t-798": 749, "\t-797": 750, "▁57": 751, "▁167": 752, "08\t-2": 753, "08\t-3": 754, "09\t-35": 755, "88\t-7": 756, "87\t-4": 757, "86\t-64": 758, "89\t-6": 759, "89\t-7": 760, "456\t-6": 761, "455\t-4": 762, "81\t-5": 763, "250\t-7": 764, "252\t-7": 765, "83\t-4": 766, "83\t-65": 767, "82\t-4": 768, "43\t-5": 769, "247\t-7": 770, "267\t-6": 771, "73\t-5": 772, "73\t-53": 773, "349\t-5": 774, "96\t-6": 775, "552\t-4": 776, "92\t-3": 777, "▁CO": 778, "\t-253": 779, "\t-354": 780, "\t-453": 781, "\t-454": 782, "OC\t-1": 783, "▁]1": 784, "▁CCS": 785, "▁CCSS": 786, "(\t-15": 787, "0\t-": 788, "0\t-74": 789, "1\t-24": 790, "175\t-6": 791, "195\t-7": 792, "2\t-24": 793, "3\t-25": 794, "3\t-55": 795, "3\t-24": 796, "5\t-55": 797, "7\t-75": 798, "H\t-1": 799, "Nc\t-1": 800, "\t-87": 801, "\t-85": 802, "\t-80": 803, "▁2-": 804, "\t-107": 805, "\t-111": 806, "\t-498": 807, "\t-796": 808, "\t-728": 809, "▁400": 810, "▁835": 811, "▁78": 812, "▁2335": 813, "▁257": 814, "▁187": 815, "03\t-2": 816, "87\t-6": 817, "35\t-4": 818, "85\t-4": 819, "85\t-6": 820, "234": 821, "65\t-6": 822, "254\t-7": 823, "256\t-7": 824, "255\t-7": 825, "80\t-65": 826, "80\t-44": 827, "84\t-4": 828, "82\t-6": 829, "82\t-65": 830, "439\t-4": 831, "430\t-4": 832, "246\t-7": 833, "19\t-75": 834, "191\t-6": 835, "263\t-6": 836, "93\t-63": 837, "341\t-5": 838, "340\t-5": 839, "559\t-4": 840, "441\t-4": 841, "63\t-4": 842, "\t-353": 843, "CCNC": 844, "▁CCCCCCCCCC": 845, "▁SCCS": 846, "▁OCCOCCOCC": 847, "▁nn": 848, "▁NCCSS": 849, "1\t-25": 850, "176\t-6": 851, "2\t-25": 852, "3\t-33": 853, "4\t-75": 854, "54": 855, "802": 856, "9\t-54": 857, "SC\t-1": 858, "c\t-6": 859, "\t-81": 860, "\t-92": 861, "▁10": 862, "▁21": 863, "\t-179": 864, "\t-119": 865, "\t-112": 866, "\t-129": 867, "\t-274": 868, "\t-543": 869, "\t-544": 870, "▁32": 871, "▁800": 872, "▁2365": 873, "▁138": 874, "▁1922": 875, "▁1935": 876, "08\t-6": 877, "▁1765": 878, "▁148": 879, "04\t-35": 880, "87\t-7": 881, "877\n": 882, "35\t-74": 883, "452\t-4": 884, "453\t-6": 885, "450\t-4": 886, "81\t-3": 887, "818\n": 888, "819\n": 889, "237": 890, "236\t-6": 891, "80\t-4": 892, "800\n": 893, "69\t-3": 894, "830\n": 895, "831\n": 896, "832\n": 897, "833\n": 898, "834\n": 899, "835\n": 900, "836\n": 901, "838\n": 902, "839\n": 903, "837\n": 904, "84\t-6": 905, "840\n": 906, "841\n": 907, "842\n": 908, "843\n": 909, "844\n": 910, "845\n": 911, "846\n": 912, "848\n": 913, "849\n": 914, "847\n": 915, "820\n": 916, "821\n": 917, "822\n": 918, "823\n": 919, "824\n": 920, "825\n": 921, "826\n": 922, "828\n": 923, "829\n": 924, "827\n": 925, "248\t-7": 926, "197\t-7": 927, "199\t-7": 928, "194\t-7": 929, "264\t-6": 930, "262\t-6": 931, "93\t-4": 932, "210\t-7": 933, "214\t-75": 934, "96\t-63": 935, "553\t-4": 936, "923\n": 937, "924\n": 938, "94\t-5": 939, "449\t-4": 940, "▁NCCCCCCCC": 941, "▁COC": 942, "990\n": 943, "991\n": 944, "992\n": 945, "993\n": 946, "994\n": 947, "995\n": 948, "996\n": 949, "333\t-5": 950, "\t-153": 951, "CCN\t-1": 952, ")=\t-1": 953, "▁+2]1": 954, "(\t-14": 955, ")\t-2": 956, ".\t-1": 957, ".[\t-2": 958, "0\t-55": 959, "1\t-63": 960, "103\t-6": 961, "181\t-6": 962, "162\t-6": 963, "4\t-23": 964, "4\t-24": 965, "4\t-44": 966, "8\t-73": 967, "9\t-73": 968, "NCCC": 969, "P\t-1": 970, "[\t-3": 971, "l\t-2": 972, "▁=": 973, "▁A": 974, "▁o": 975, "▁08": 976, "▁07": 977, "\t-89": 978, "\t-93": 979, "\t-98": 980, "\t-178": 981, "\t-128": 982, "\t-279": 983, "\t-260": 984, "▁48": 985, "▁422": 986, "▁488": 987, "▁487": 988, "▁435": 989, "▁58": 990, "▁500": 991, "▁588": 992, "▁98": 993, "▁908": 994, "▁988": 995, "220\n": 996, "221\n": 997, "222\n": 998, "223\n": 999, "224\n": 1000, "225\n": 1001, "226\n": 1002, "228\n": 1003, "229\n": 1004, "227\n": 1005, "▁795": 1006, "▁168": 1007, "▁1622": 1008, "▁1665": 1009, "▁1900": 1010, "▁1965": 1011, "▁2500": 1012, "▁2507": 1013, "▁1700": 1014, "▁1777": 1015, "▁188": 1016, "▁1877": 1017, "▁2495": 1018, "07\t-3": 1019, "076\n": 1020, "▁158": 1021, "▁1588": 1022, "▁2600": 1023, "▁2688": 1024, "▁2611": 1025, "05\t-2": 1026, "88\t-6": 1027, "880\n": 1028, "881\n": 1029, "882\n": 1030, "883\n": 1031, "884\n": 1032, "885\n": 1033, "886\n": 1034, "888\n": 1035, "889\n": 1036, "887\n": 1037, "88\t-64": 1038, "030\n": 1039, "031\n": 1040, "032\n": 1041, "033\n": 1042, "034\n": 1043, "035\n": 1044, "036\n": 1045, "038\n": 1046, "039\n": 1047, "037\n": 1048, "77\t-4": 1049, "770\n": 1050, "771\n": 1051, "772\n": 1052, "773\n": 1053, "774\n": 1054, "775\n": 1055, "776\n": 1056, "778\n": 1057, "779\n": 1058, "777\n": 1059, "870\n": 1060, "871\n": 1061, "872\n": 1062, "873\n": 1063, "874\n": 1064, "875\n": 1065, "876\n": 1066, "878\n": 1067, "879\n": 1068, "119\n": 1069, "860\n": 1070, "861\n": 1071, "862\n": 1072, "863\n": 1073, "864\n": 1074, "865\n": 1075, "866\n": 1076, "868\n": 1077, "869\n": 1078, "867\n": 1079, "890\n": 1080, "892\n": 1081, "897\n": 1082, "750\n": 1083, "751\n": 1084, "752\n": 1085, "753\n": 1086, "754\n": 1087, "755\n": 1088, "756\n": 1089, "758\n": 1090, "759\n": 1091, "757\n": 1092, "660\n": 1093, "661\n": 1094, "662\n": 1095, "663\n": 1096, "664\n": 1097, "665\n": 1098, "666\n": 1099, "668\n": 1100, "669\n": 1101, "667\n": 1102, "350\n": 1103, "351\n": 1104, "352\n": 1105, "353\n": 1106, "354\n": 1107, "355\n": 1108, "356\n": 1109, "358\n": 1110, "359\n": 1111, "357\n": 1112, "355\t-55": 1113, "852\n": 1114, "85\t-64": 1115, "450\n": 1116, "451\n": 1117, "452\n": 1118, "453\n": 1119, "454\n": 1120, "455\n": 1121, "456\n": 1122, "458\n": 1123, "459\n": 1124, "457\n": 1125, "454\t-4": 1126, "76\t-4": 1127, "760\n": 1128, "761\n": 1129, "762\n": 1130, "763\n": 1131, "764\n": 1132, "765\n": 1133, "766\n": 1134, "768\n": 1135, "769\n": 1136, "767\n": 1137, "791\n": 1138, "810\n": 1139, "811\n": 1140, "812\n": 1141, "813\n": 1142, "814\n": 1143, "815\n": 1144, "816\n": 1145, "817\n": 1146, "230\n": 1147, "231\n": 1148, "232\n": 1149, "233\n": 1150, "234\n": 1151, "235\n": 1152, "236\n": 1153, "238\n": 1154, "239\n": 1155, "237\n": 1156, "230\t-74": 1157, "250\n": 1158, "251\n": 1159, "252\n": 1160, "253\n": 1161, "254\n": 1162, "255\n": 1163, "256\n": 1164, "258\n": 1165, "259\n": 1166, "257\n": 1167, "253\t-7": 1168, "801\n": 1169, "802\n": 1170, "803\n": 1171, "804\n": 1172, "805\n": 1173, "806\n": 1174, "808\n": 1175, "809\n": 1176, "807\n": 1177, "690\n": 1178, "691\n": 1179, "692\n": 1180, "693\n": 1181, "694\n": 1182, "695\n": 1183, "696\n": 1184, "698\n": 1185, "699\n": 1186, "697\n": 1187, "71\t-4": 1188, "71\t-5": 1189, "710\n": 1190, "711\n": 1191, "712\n": 1192, "713\n": 1193, "714\n": 1194, "715\n": 1195, "716\n": 1196, "718\n": 1197, "719\n": 1198, "717\n": 1199, "71\t-53": 1200, "435\n": 1201, "439\n": 1202, "438\t-4": 1203, "240\n": 1204, "241\n": 1205, "242\n": 1206, "243\n": 1207, "244\n": 1208, "245\n": 1209, "246\n": 1210, "248\n": 1211, "249\n": 1212, "247\n": 1213, "244\t-7": 1214, "190\n": 1215, "191\n": 1216, "740\n": 1217, "741\n": 1218, "93\t-6": 1219, "930\n": 1220, "932\n": 1221, "939\n": 1222, "72\t-5": 1223, "720\n": 1224, "721\n": 1225, "722\n": 1226, "723\n": 1227, "724\n": 1228, "725\n": 1229, "726\n": 1230, "728\n": 1231, "729\n": 1232, "727\n": 1233, "72\t-53": 1234, "216\t-6": 1235, "215\t-5": 1236, "217\t-75": 1237, "730\n": 1238, "731\n": 1239, "732\n": 1240, "733\n": 1241, "734\n": 1242, "735\n": 1243, "736\n": 1244, "738\n": 1245, "739\n": 1246, "737\n": 1247, "340\n": 1248, "341\n": 1249, "342\n": 1250, "343\n": 1251, "344\n": 1252, "345\n": 1253, "346\n": 1254, "348\n": 1255, "349\n": 1256, "347\n": 1257, "555\t-4": 1258, "910\n": 1259, "911\n": 1260, "912\n": 1261, "913\n": 1262, "914\n": 1263, "915\n": 1264, "916\n": 1265, "918\n": 1266, "919\n": 1267, "917\n": 1268, "920\n": 1269, "921\n": 1270, "922\n": 1271, "925\n": 1272, "926\n": 1273, "928\n": 1274, "929\n": 1275, "927\n": 1276, "[\t-14": 1277, "[\t-196": 1278, "449\n": 1279, "447\n": 1280, "63\t-3": 1281, "630\n": 1282, "631\n": 1283, "632\n": 1284, "633\n": 1285, "634\n": 1286, "635\n": 1287, "636\n": 1288, "638\n": 1289, "639\n": 1290, "637\n": 1291, "78\t-4": 1292, "780\n": 1293, "782\n": 1294, "786\n": 1295, "70\t-5": 1296, "700\n": 1297, "701\n": 1298, "702\n": 1299, "703\n": 1300, "704\n": 1301, "705\n": 1302, "706\n": 1303, "708\n": 1304, "709\n": 1305, "707\n": 1306, "620\n": 1307, "621\n": 1308, "622\n": 1309, "623\n": 1310, "624\n": 1311, "625\n": 1312, "626\n": 1313, "628\n": 1314, "629\n": 1315, "627\n": 1316, "610\n": 1317, "611\n": 1318, "612\n": 1319, "613\n": 1320, "614\n": 1321, "615\n": 1322, "616\n": 1323, "618\n": 1324, "619\n": 1325, "617\n": 1326, "▁Cl": 1327, "640\n": 1328, "641\n": 1329, "642\n": 1330, "643\n": 1331, "644\n": 1332, "645\n": 1333, "646\n": 1334, "648\n": 1335, "649\n": 1336, "647\n": 1337, "120\n": 1338, "121\n": 1339, "998\n": 1340, "999\n": 1341, "997\n": 1342, "330\n": 1343, "331\n": 1344, "332\n": 1345, "333\n": 1346, "334\n": 1347, "335\n": 1348, "336\n": 1349, "338\n": 1350, "339\n": 1351, "337\n": 1352, "▁+]2": 1353, "▁+]12": 1354, "900\n": 1355, "901\n": 1356, "902\n": 1357, "903\n": 1358, "904\n": 1359, "905\n": 1360, "906\n": 1361, "908\n": 1362, "909\n": 1363, "907\n": 1364, "150\n": 1365, "151\n": 1366, "152\n": 1367, "153\n": 1368, "154\n": 1369, "155\n": 1370, "156\n": 1371, "158\n": 1372, "159\n": 1373, "157\n": 1374, "280\n": 1375, "290\n": 1376, "293\n": 1377, "670\n": 1378, "671\n": 1379, "672\n": 1380, "673\n": 1381, "674\n": 1382, "675\n": 1383, "676\n": 1384, "678\n": 1385, "679\n": 1386, "677\n": 1387, "680\n": 1388, "681\n": 1389, "682\n": 1390, "683\n": 1391, "684\n": 1392, "685\n": 1393, "686\n": 1394, "688\n": 1395, "689\n": 1396, "687\n": 1397, "600\n": 1398, "604\n": 1399, "609\n": 1400, "▁CCCCCCCCCCC": 1401, "▁SC": 1402, "▁SCCC": 1403, "▁2045": 1404, "▁2095": 1405, "▁CCCS": 1406, "▁1065": 1407, "▁NCCCCC": 1408, "▁2022": 1409, ")-\t-1": 1410, "(\t-4": 1411, ")\t-14": 1412, ")([\t-1": 1413, ")(\t-1": 1414, "0\t-3": 1415, "166\t-6": 1416, "2\t-73": 1417, "3\t-23": 1418, "3\t-63": 1419, "4\t-33": 1420, "4\t-34": 1421, "6\t-24": 1422, "8\t-75": 1423, "9\t-23": 1424, "Cc\t-1": 1425, "c\t-4": 1426, "▁Br": 1427, "\t-210": 1428, "\t-755": 1429, "\t-718": 1430, "▁622": 1431, "▁607": 1432, "▁695": 1433, "▁507": 1434, "▁577": 1435, "▁587": 1436, "▁565": 1437, "▁38": 1438, "▁388": 1439, "▁387": 1440, "▁366": 1441, "▁365": 1442, "▁922": 1443, "▁900": 1444, "▁977": 1445, "▁877": 1446, "▁887": 1447, "▁811": 1448, "▁865": 1449, "▁788": 1450, "▁777": 1451, "▁787": 1452, "000\n": 1453, "001\n": 1454, "002\n": 1455, "003\n": 1456, "004\n": 1457, "005\n": 1458, "006\n": 1459, "008\n": 1460, "009\n": 1461, "007\n": 1462, "▁1608": 1463, "▁1687": 1464, "▁1611": 1465, "▁2322": 1466, "▁2311": 1467, "▁1322": 1468, "▁1300": 1469, "▁1307": 1470, "▁1388": 1471, "▁1311": 1472, "▁1365": 1473, "▁1911": 1474, "▁2508": 1475, "▁2577": 1476, "▁2587": 1477, "▁2535": 1478, "▁2545": 1479, "080\n": 1480, "081\n": 1481, "082\n": 1482, "083\n": 1483, "084\n": 1484, "085\n": 1485, "086\n": 1486, "088\n": 1487, "089\n": 1488, "087\n": 1489, "▁178": 1490, "▁1735": 1491, "▁1835": 1492, "070\n": 1493, "071\n": 1494, "072\n": 1495, "073\n": 1496, "074\n": 1497, "075\n": 1498, "078\n": 1499, "079\n": 1500, "077\n": 1501, "▁1508": 1502, "▁1595": 1503, "090\n": 1504, "091\n": 1505, "092\n": 1506, "093\n": 1507, "094\n": 1508, "095\n": 1509, "096\n": 1510, "098\n": 1511, "099\n": 1512, "097\n": 1513, "▁261": 1514, "▁2677": 1515, "05\t-3": 1516, "050\n": 1517, "051\n": 1518, "052\n": 1519, "053\n": 1520, "054\n": 1521, "055\n": 1522, "056\n": 1523, "058\n": 1524, "059\n": 1525, "057\n": 1526, "06\t-2": 1527, "06\t-3": 1528, "06\t-6": 1529, "060\n": 1530, "061\n": 1531, "062\n": 1532, "063\n": 1533, "064\n": 1534, "065\n": 1535, "066\n": 1536, "068\n": 1537, "069\n": 1538, "067\n": 1539, "02\t-2": 1540, "020\n": 1541, "021\n": 1542, "022\n": 1543, "023\n": 1544, "024\n": 1545, "025\n": 1546, "026\n": 1547, "028\n": 1548, "029\n": 1549, "027\n": 1550, "040\n": 1551, "041\n": 1552, "042\n": 1553, "043\n": 1554, "044\n": 1555, "045\n": 1556, "046\n": 1557, "048\n": 1558, "049\n": 1559, "047\n": 1560, "110\n": 1561, "111\n": 1562, "112\n": 1563, "113\n": 1564, "114\n": 1565, "115\n": 1566, "116\n": 1567, "118\n": 1568, "117\n": 1569, "86\t-43": 1570, "891\n": 1571, "893\n": 1572, "894\n": 1573, "895\n": 1574, "896\n": 1575, "898\n": 1576, "899\n": 1577, "753\t-2": 1578, "850\n": 1579, "851\n": 1580, "853\n": 1581, "854\n": 1582, "855\n": 1583, "856\n": 1584, "858\n": 1585, "859\n": 1586, "857\n": 1587, "45\t-63": 1588, "010\n": 1589, "011\n": 1590, "012\n": 1591, "013\n": 1592, "014\n": 1593, "015\n": 1594, "016\n": 1595, "018\n": 1596, "019\n": 1597, "017\n": 1598, "790\n": 1599, "796\n": 1600, "799\n": 1601, "950\n": 1602, "951\n": 1603, "952\n": 1604, "953\n": 1605, "954\n": 1606, "955\n": 1607, "956\n": 1608, "958\n": 1609, "959\n": 1610, "957\n": 1611, "231\t-74": 1612, "650\n": 1613, "651\n": 1614, "652\n": 1615, "653\n": 1616, "654\n": 1617, "655\n": 1618, "656\n": 1619, "658\n": 1620, "659\n": 1621, "657\n": 1622, "69\t-45": 1623, "694\t-3": 1624, "691\t-3": 1625, "84\t-43": 1626, "82\t-43": 1627, "71\t-45": 1628, "430\n": 1629, "431\n": 1630, "432\n": 1631, "433\n": 1632, "434\n": 1633, "436\n": 1634, "438\n": 1635, "437\n": 1636, "432\t-4": 1637, "433\t-4": 1638, "436\t-4": 1639, "241\t-73": 1640, "192\n": 1641, "193\n": 1642, "194\n": 1643, "195\n": 1644, "196\n": 1645, "198\n": 1646, "199\n": 1647, "197\n": 1648, "196\t-6": 1649, "742\n": 1650, "743\n": 1651, "744\n": 1652, "745\n": 1653, "746\n": 1654, "748\n": 1655, "749\n": 1656, "747\n": 1657, "260\n": 1658, "261\n": 1659, "262\n": 1660, "263\n": 1661, "264\n": 1662, "265\n": 1663, "266\n": 1664, "268\n": 1665, "269\n": 1666, "267\n": 1667, "931\n": 1668, "933\n": 1669, "934\n": 1670, "935\n": 1671, "936\n": 1672, "938\n": 1673, "937\n": 1674, "72\t-45": 1675, "210\n": 1676, "211\n": 1677, "212\n": 1678, "213\n": 1679, "214\n": 1680, "215\n": 1681, "216\n": 1682, "218\n": 1683, "219\n": 1684, "217\n": 1685, "218\t-75": 1686, "346\t-5": 1687, "961\n": 1688, "550\n": 1689, "551\n": 1690, "555\n": 1691, "559\n": 1692, "551\t-4": 1693, "91\t-3": 1694, "94\t-7": 1695, "OCC\t-2": 1696, "[\t-197": 1697, "440\n": 1698, "441\n": 1699, "442\n": 1700, "443\n": 1701, "444\n": 1702, "445\n": 1703, "446\n": 1704, "448\n": 1705, "781\n": 1706, "783\n": 1707, "784\n": 1708, "785\n": 1709, "788\n": 1710, "789\n": 1711, "787\n": 1712, "61\t-54": 1713, "▁NN": 1714, "▁CCCCCC": 1715, "▁CSS": 1716, "64\t-3": 1717, "▁-5": 1718, "122\n": 1719, "123\n": 1720, "124\n": 1721, "125\n": 1722, "126\n": 1723, "128\n": 1724, "129\n": 1725, "127\n": 1726, "c\t-13": 1727, "▁+]5": 1728, "140\n": 1729, "141\n": 1730, "142\n": 1731, "143\n": 1732, "144\n": 1733, "145\n": 1734, "146\n": 1735, "148\n": 1736, "149\n": 1737, "147\n": 1738, "980\n": 1739, "986\n": 1740, "988\n": 1741, "989\n": 1742, "105\n": 1743, "108\n": 1744, "109\n": 1745, "107\n": 1746, "130\n": 1747, "131\n": 1748, "132\n": 1749, "133\n": 1750, "134\n": 1751, "135\n": 1752, "136\n": 1753, "138\n": 1754, "139\n": 1755, "137\n": 1756, "160\n": 1757, "161\n": 1758, "162\n": 1759, "163\n": 1760, "164\n": 1761, "165\n": 1762, "166\n": 1763, "168\n": 1764, "169\n": 1765, "167\n": 1766, "170\n": 1767, "171\n": 1768, "172\n": 1769, "173\n": 1770, "174\n": 1771, "175\n": 1772, "176\n": 1773, "178\n": 1774, "179\n": 1775, "177\n": 1776, "180\n": 1777, "186\n": 1778, "189\n": 1779, "187\n": 1780, "281\n": 1781, "289\n": 1782, "270\n": 1783, "271\n": 1784, "272\n": 1785, "273\n": 1786, "274\n": 1787, "275\n": 1788, "276\n": 1789, "278\n": 1790, "279\n": 1791, "277\n": 1792, "200\n": 1793, "201\n": 1794, "202\n": 1795, "203\n": 1796, "204\n": 1797, "205\n": 1798, "206\n": 1799, "208\n": 1800, "209\n": 1801, "207\n": 1802, "291\n": 1803, "292\n": 1804, "294\n": 1805, "295\n": 1806, "296\n": 1807, "298\n": 1808, "299\n": 1809, "297\n": 1810, "601\n": 1811, "602\n": 1812, "603\n": 1813, "605\n": 1814, "606\n": 1815, "608\n": 1816, "607\n": 1817, "▁1225": 1818, "▁2225": 1819, "▁CCO": 1820, "▁ncc": 1821, "▁OCCCCCCCC": 1822, "▁1045": 1823, "▁NCCCN": 1824, "▁cs": 1825, "([": 1826, "+]": 1827, "-\t-1": 1828, "0\t-1": 1829, "0\t-75": 1830, "0\t-73": 1831, "1\t-35": 1832, "1\t-75": 1833, "188\t-7": 1834, "40\n": 1835, "43\n": 1836, "44\n": 1837, "46\n": 1838, "48\n": 1839, "4\t-54": 1840, "4\t-73": 1841, "5\t-34": 1842, "6\t-1": 1843, "6\t-34": 1844, "7\t-55": 1845, "7\t-34": 1846, "8\t-54": 1847, "9\t-1": 1848, "=\t-1": 1849, "Sc\t-1": 1850, "[\t-5": 1851, "l\t-1": 1852, "n\t-6": 1853, "▁(": 1854, "▁B": 1855, "▁F": 1856, "▁G": 1857, "▁M": 1858, "▁P": 1859, "▁09": 1860, "▁05": 1861, "▁06": 1862, "▁2+]": 1863, "CCO\t-1": 1864, "CCCCS\t-2": 1865, "▁477": 1866, "▁445": 1867, "▁465": 1868, "▁600": 1869, "▁608": 1870, "▁677": 1871, "▁687": 1872, "▁666": 1873, "▁665": 1874, "▁508": 1875, "▁535": 1876, "▁595": 1877, "▁3-": 1878, "▁377": 1879, "▁385": 1880, "▁395": 1881, "▁966": 1882, "▁995": 1883, "▁965": 1884, "▁822": 1885, "▁807": 1886, "▁888": 1887, "▁722": 1888, "▁707": 1889, "▁705": 1890, "▁735": 1891, "▁1607": 1892, "▁1688": 1893, "▁1666": 1894, "▁2300": 1895, "▁2308": 1896, "▁2388": 1897, "▁2395": 1898, "▁1366": 1899, "▁1335": 1900, "▁1995": 1901, "▁1923": 1902, "▁2522": 1903, "▁2588": 1904, "▁2565": 1905, "08\t-35": 1906, "▁1722": 1907, "▁1788": 1908, "▁1808": 1909, "▁1887": 1910, "▁1811": 1911, "▁1895": 1912, "▁1865": 1913, "▁2487": 1914, "▁2445": 1915, "▁1477": 1916, "▁1435": 1917, "▁1495": 1918, "▁1465": 1919, "▁1500": 1920, "▁1507": 1921, "▁1577": 1922, "▁2607": 1923, "▁2666": 1924, "▁2635": 1925, "▁2643": 1926, "▁2626": 1927, "04\t-6": 1928, "87\t-43": 1929, "87\t-64": 1930, "86\t-4": 1931, "86\t-7": 1932, "89\t-64": 1933, "75\t-4": 1934, "35\t-7": 1935, "458\t-4": 1936, "01\t-2": 1937, "792\n": 1938, "793\n": 1939, "794\n": 1940, "795\n": 1941, "798\n": 1942, "797\n": 1943, "81\t-2": 1944, "232\t-5": 1945, "238\t-73": 1946, "239\t-73": 1947, "259\t-7": 1948, "259\t-6": 1949, "80\t-6": 1950, "69\t-5": 1951, "693\t-3": 1952, "83\t-43": 1953, "71\t-7": 1954, "71\t-33": 1955, "437\t-4": 1956, "240\t-7": 1957, "242\t-7": 1958, "193\t-7": 1959, "74\t-53": 1960, "347\t-5": 1961, "966\n": 1962, "967\n": 1963, "552\n": 1964, "553\n": 1965, "554\n": 1966, "556\n": 1967, "558\n": 1968, "557\n": 1969, "940\n": 1970, "941\n": 1971, "942\n": 1972, "943\n": 1973, "944\n": 1974, "945\n": 1975, "946\n": 1976, "948\n": 1977, "949\n": 1978, "947\n": 1979, "[\t-15": 1980, "70\t-3": 1981, "62\t-3": 1982, "61\t-2": 1983, "▁NOCC": 1984, "▁NCCN": 1985, "▁CCCCCCC": 1986, "64\t-4": 1987, "CCC\t-1": 1988, "▁+]4": 1989, "981\n": 1990, "982\n": 1991, "983\n": 1992, "984\n": 1993, "985\n": 1994, "987\n": 1995, "100\n": 1996, "101\n": 1997, "102\n": 1998, "103\n": 1999, "104\n": 2000, "106\n": 2001, "970\n": 2002, "971\n": 2003, "974\n": 2004, "979\n": 2005, "181\n": 2006, "182\n": 2007, "183\n": 2008, "184\n": 2009, "185\n": 2010, "188\n": 2011, "282\n": 2012, "283\n": 2013, "284\n": 2014, "285\n": 2015, "286\n": 2016, "288\n": 2017, "287\n": 2018, "OCc\t-1": 2019, "▁1223": 2020, "▁]3": 2021, "▁CCOCC": 2022, "▁SCC": 2023, "▁OCCOCC": 2024, "▁2025": 2025, "▁ncn": 2026, "▁CCCN": 2027, "▁1095": 2028, "▁CSCCC": 2029, "▁-2]3": 2030, ")=\t-2": 2031, "▁2011": 2032, "237\t-73": 2033, "▁-5]": 2034, "(\t-6": 2035, ")([\t-2": 2036, ".[": 2037, "0\t-34": 2038, "1\t-23": 2039, "1\t-53": 2040, "189\t-7": 2041, "187\t-7": 2042, "2\t-23": 2043, "33\n": 2044, "36\n": 2045, "37\n": 2046, "3\t-34": 2047, "41\n": 2048, "42\n": 2049, "45\n": 2050, "49\n": 2051, "47\n": 2052, "47\t-7": 2053, "5\t-25": 2054, "52\t-4": 2055, "6\t-33": 2056, "7\t-54": 2057, "8\t-34": 2058, "9\t-55": 2059, "9\t-34": 2060, "=\t-2": 2061, "C\t-2": 2062, "O\t-13": 2063, "OS\t-1": 2064, "OP\t-2": 2065, "[\t-7": 2066, "cs": 2067, "c\t-3": 2068, "n\t-15": 2069, "▁I": 2070, "▁R": 2071, "▁T": 2072, "CCCC\t-2": 2073, "▁41": 2074, "▁407": 2075, "▁409": 2076, "▁406": 2077, "▁411": 2078, "▁486": 2079, "▁466": 2080, "▁495": 2081, "▁605": 2082, "▁689": 2083, "▁676": 2084, "▁509": 2085, "▁505": 2086, "▁506": 2087, "▁511": 2088, "▁589": 2089, "▁566": 2090, "▁579": 2091, "▁386": 2092, "▁335": 2093, "▁379": 2094, "▁907": 2095, "▁905": 2096, "▁906": 2097, "▁935": 2098, "▁806": 2099, "▁885": 2100, "▁895": 2101, "▁896": 2102, "22\t-2": 2103, "▁709": 2104, "▁785": 2105, "▁776": 2106, "▁765": 2107, "00\t-6": 2108, "▁1600": 2109, "▁1677": 2110, "▁1686": 2111, "▁1635": 2112, "▁1695": 2113, "▁238": 2114, "▁2377": 2115, "▁2386": 2116, "▁2345": 2117, "▁2343": 2118, "▁1308": 2119, "▁1395": 2120, "▁1907": 2121, "▁258": 2122, "▁2511": 2123, "▁2575": 2124, "▁2566": 2125, "▁2579": 2126, "▁2534": 2127, "▁1708": 2128, "▁1707": 2129, "▁1766": 2130, "▁1779": 2131, "▁1795": 2132, "▁1723": 2133, "▁1822": 2134, "▁1800": 2135, "▁1823": 2136, "▁248": 2137, "▁2422": 2138, "▁2400": 2139, "▁2407": 2140, "▁2406": 2141, "▁2477": 2142, "▁2411": 2143, "▁2475": 2144, "▁2466": 2145, "▁2435": 2146, "▁2444": 2147, "▁1422": 2148, "▁1407": 2149, "▁1406": 2150, "▁1487": 2151, "▁1411": 2152, "▁1466": 2153, "07\t-6": 2154, "▁1522": 2155, "▁1587": 2156, "▁1511": 2157, "▁1535": 2158, "09\t-6": 2159, "▁2622": 2160, "▁2608": 2161, "▁2609": 2162, "▁2687": 2163, "▁2695": 2164, "▁2665": 2165, "05\t-6": 2166, "75\t-44": 2167, "752\t-2": 2168, "754\t-2": 2169, "66\t-45": 2170, "85\t-7": 2171, "853\t-6": 2172, "76\t-44": 2173, "81\t-7": 2174, "23\t-1": 2175, "80\t-7": 2176, "69\t-4": 2177, "83\t-6": 2178, "84\t-65": 2179, "84\t-64": 2180, "24\t-2": 2181, "241\t-7": 2182, "242\t-73": 2183, "190\t-7": 2184, "192\t-7": 2185, "74\t-4": 2186, "93\t-7": 2187, "72\t-4": 2188, "212\t-3": 2189, "210\t-75": 2190, "344\t-5": 2191, "342\t-5": 2192, "960\n": 2193, "962\n": 2194, "963\n": 2195, "964\n": 2196, "965\n": 2197, "968\n": 2198, "969\n": 2199, "91\t-6": 2200, "94\t-2": 2201, "94\t-3": 2202, "63\t-5": 2203, "63\t-54": 2204, "78\t-44": 2205, "70\t-33": 2206, "61\t-5": 2207, "64\t-5": 2208, "64\t-54": 2209, "12\t-1": 2210, "c\t-14": 2211, "c\t-15": 2212, "972\n": 2213, "973\n": 2214, "975\n": 2215, "976\n": 2216, "978\n": 2217, "977\n": 2218, "CCN\t-2": 2219, "▁CCCCCCCCC": 2220, "▁2223": 2221, "▁]2": 2222, "▁]23": 2223, "▁CCOC": 2224, "▁1025": 2225, "NC\t-13": 2226, "▁2043": 2227, "▁no": 2228, "▁1043": 2229, "▁-]1": 2230, "▁CNCC": 2231, "▁CSC": 2232, "▁CSCCS": 2233, ")[\t-14": 2234, "▁ccn": 2235, "▁cccc": 2236, "Br\t-2": 2237, "▁%10": 2238, "▁COCCC": 2239, "(=\t-2": 2240, "▁cnn": 2241, "▁co": 2242, "▁2-]": 2243, "▁OCCOCCOCCOCC": 2244, "\t0\n": 2245, ")(\t-2": 2246, ".\t-13": 2247, "1\t-55": 2248, "1\t-65": 2249, "1\t-54": 2250, "2\t-34": 2251, "2\t-54": 2252, "2\t-74": 2253, "2\t-13": 2254, "30\n": 2255, "31\n": 2256, "32\n": 2257, "34\n": 2258, "35\n": 2259, "38\n": 2260, "39\n": 2261, "3\t-44": 2262, "3\t-53": 2263, "3\t-74": 2264, "4\t-35": 2265, "49\t-7": 2266, "5\t-23": 2267, "5\t-24": 2268, "5\t-43": 2269, "5\t-64": 2270, "54\t-4": 2271, "6\t-25": 2272, "6\t-63": 2273, "8\t-23": 2274, "8\t-74": 2275, "9[": 2276, "9\t-25": 2277, "9\t-24": 2278, ">\t0\n": 2279, "C\t-14": 2280, "H\t-2": 2281, "N\t-6": 2282, "N\t-15": 2283, "Oc\t-2": 2284, "S\t-6": 2285, "S\t-14": 2286, "c\t-5": 2287, "e\t-1": 2288, "n\t-13": 2289, "nc\t-6": 2290, "▁)": 2291, "▁<": 2292, "▁L": 2293, "▁Z": 2294, "▁123": 2295, "▁126": 2296, "▁2]": 2297, "▁223": 2298, "▁215": 2299, "▁216": 2300, "CCCC\t-1": 2301, "▁4)": 2302, "▁408": 2303, "▁479": 2304, "▁444": 2305, "▁606": 2306, "▁611": 2307, "▁686": 2308, "▁635": 2309, "▁679": 2310, "▁522": 2311, "▁586": 2312, "▁585": 2313, "▁576": 2314, "▁596": 2315, "▁31": 2316, "▁3]": 2317, "▁389": 2318, "▁345": 2319, "▁376": 2320, "▁324": 2321, "▁396": 2322, "▁344": 2323, "▁314": 2324, "▁315": 2325, "▁987": 2326, "▁986": 2327, "▁989": 2328, "▁976": 2329, "▁809": 2330, "▁886": 2331, "▁889": 2332, "▁866": 2333, "22\t-3": 2334, "▁708": 2335, "▁706": 2336, "▁796": 2337, "00\t-2": 2338, "▁1689": 2339, "▁1675": 2340, "▁1623": 2341, "▁1696": 2342, "▁2309": 2343, "▁2375": 2344, "▁2369": 2345, "▁1377": 2346, "▁1387": 2347, "▁1389": 2348, "▁1375": 2349, "▁1379": 2350, "▁1396": 2351, "▁198": 2352, "▁1908": 2353, "▁1905": 2354, "▁1977": 2355, "▁1985": 2356, "▁1976": 2357, "▁1921": 2358, "▁2586": 2359, "▁2576": 2360, "▁2595": 2361, "▁2569": 2362, "▁2596": 2363, "▁2544": 2364, "▁1705": 2365, "▁1711": 2366, "▁1789": 2367, "▁1776": 2368, "▁1796": 2369, "▁1807": 2370, "▁1806": 2371, "▁1889": 2372, "▁1875": 2373, "▁1876": 2374, "▁1879": 2375, "▁1896": 2376, "▁2408": 2377, "▁2405": 2378, "▁2488": 2379, "▁2479": 2380, "▁2465": 2381, "▁2469": 2382, "▁2443": 2383, "▁1408": 2384, "▁1475": 2385, "▁1479": 2386, "07\t-35": 2387, "▁1509": 2388, "▁1505": 2389, "▁1506": 2390, "▁1575": 2391, "▁1565": 2392, "▁269": 2393, "▁2605": 2394, "▁2685": 2395, "▁2676": 2396, "▁2634": 2397, "▁2696": 2398, "06\t-35": 2399, "02\t-6": 2400, "03\t-35": 2401, "87\t-25": 2402, "75\t-7": 2403, "75\t-53": 2404, "66\t-54": 2405, "85\t-43": 2406, "854\t-3": 2407, "851\t-3": 2408, "45\t-6": 2409, "451\t-4": 2410, "79\t-65": 2411, "81\t-25": 2412, "81\t-44": 2413, "69\t-53": 2414, "692\t-3": 2415, "83\t-2": 2416, "83\t-7": 2417, "84\t-7": 2418, "82\t-33": 2419, "240\t-73": 2420, "74\t-45": 2421, "93\t-64": 2422, "72\t-2": 2423, "72\t-25": 2424, "73\t-45": 2425, "34\t-1": 2426, "55\t-4": 2427, "554\t-4": 2428, "91\t-2": 2429, "91\t-25": 2430, "94\t-23": 2431, "[\t-154": 2432, "444\t-3": 2433, "78\t-2": 2434, "78\t-3": 2435, "70\t-53": 2436, "62\t-54": 2437, "▁NO": 2438, "▁NCCS": 2439, "▁CCCCN": 2440, "▁CCCCO": 2441, "▁CCCCOC": 2442, "▁CCCCSS": 2443, "▁COCCOCC": 2444, "64\t-45": 2445, "CCCS": 2446, "CCC\t-2": 2447, "CCCNC": 2448, "CCCN\t-2": 2449, "▁-2": 2450, "99\t-7": 2451, "▁+])": 2452, "▁+]6": 2453, "▁+]21": 2454, "▁+]14": 2455, "90\t-7": 2456, "98\t-7": 2457, "15\t-5": 2458, "97\t-7": 2459, "16\t-6": 2460, "67\t-6": 2461, "OC\t-15": 2462, "CCNc\t-1": 2463, "CCNCC\t-2": 2464, "CCNCC\t-1": 2465, "▁CCCCCCCCCCS": 2466, "▁]12": 2467, "▁CCOCCOCC": 2468, "▁1023": 2469, "NCc\t-1": 2470, "NC\t-14": 2471, "▁2044": 2472, "([\t-14": 2473, "▁2034": 2474, "▁2035": 2475, "▁ns": 2476, "▁CCCSS": 2477, "CCS\t-2": 2478, "▁-])": 2479, "▁CNCCCC": 2480, "▁-2]2": 2481, ")[\t-15": 2482, "▁cccn": 2483, "▁-4]1": 2484, "▁-4]23": 2485, "▁-3]12": 2486, "Br\t-1": 2487, "▁%11": 2488, "▁%14": 2489, "▁ss": 2490, "▁scc": 2491, "▁NCN": 2492, "▁COCCO": 2493, "(=\t-1": 2494, "(=\t-3": 2495, ".[\t-14": 2496, ".[\t-15": 2497, "▁SSSS": 2498, "▁OCCCCC": 2499, "805\t-3": 2500, "▁1-2": 2501, "▁1-3": 2502, "▁COCCCCCCCC": 2503, "234(\t-2": 2504, "▁nnn": 2505, "▁1022": 2506, "▁1011": 2507, "237\t-74": 2508, "▁OCCCCCCCCCCC": 2509, "#[\t-1": 2510, "(\t-13": 2511, ")\t-6": 2512, ")\t-25": 2513, ")\t-23": 2514, ")\t-13": 2515, ".\t-2": 2516, ".\t-53": 2517, "0\t-25": 2518, "0\t-44": 2519, "0\t-13": 2520, "1\t-45": 2521, "1\t-33": 2522, "1\t-44": 2523, "1\t-13": 2524, "2\t-35": 2525, "2\t-53": 2526, "2\t-64": 2527, "2[\t-2": 2528, "2([\t-2": 2529, "3]": 2530, "3\t-45": 2531, "3\t-54": 2532, "4\t-45": 2533, "4\t-74": 2534, "41\t-7": 2535, "5\t-1": 2536, "5\t-53": 2537, "5\t-54": 2538, "59\t-4": 2539, "54\t-2": 2540, "51\t-2": 2541, "5([\t-2": 2542, "5\t-354": 2543, "6\t-35": 2544, "6\t-23": 2545, "6\t-43": 2546, "6\t-64": 2547, "7\t-25": 2548, "7\t-23": 2549, "7\t-53": 2550, "7\t-63": 2551, "7\t-74": 2552, "8\t-55": 2553, "8\t-63": 2554, "9\t-35": 2555, "9\t-45": 2556, "9\t-65": 2557, "9\t-43": 2558, "9\t-44": 2559, "9\t-63": 2560, "9\t-64": 2561, "9\t-74": 2562, "9\t-98": 2563, "=\t-6": 2564, "=[\t-1": 2565, "C\t-6": 2566, "C\t-15": 2567, "Cc\t-2": 2568, "CN\t-2": 2569, "Cl\t-2": 2570, "F\t-2": 2571, "H\t-15": 2572, "I\t-1": 2573, "N\t-14": 2574, "Nc\t-2": 2575, "P\t-15": 2576, "SC": 2577, "Sc\t-2": 2578, "[\t-": 2579, "[\t-4": 2580, "[\t-6": 2581, "[\t-25": 2582, "a\t-1": 2583, "co": 2584, "c\t-": 2585, "c\t-7": 2586, "c\t-25": 2587, "c\t-23": 2588, "c\t-54": 2589, "n\t-14": 2590, "nc\t-2": 2591, "s\t-6": 2592, "s>\t0\n": 2593, "▁#": 2594, "▁H": 2595, "▁K": 2596, "▁t": 2597, "▁125": 2598, "▁124": 2599, "▁119": 2600, "▁121": 2601, "▁112": 2602, "▁114": 2603, "▁110": 2604, "▁115": 2605, "▁113": 2606, "▁116": 2607, "▁117": 2608, "▁118": 2609, "▁128": 2610, "▁127": 2611, "▁120": 2612, "▁129": 2613, "▁1)=": 2614, "▁2=": 2615, "▁288": 2616, "▁285": 2617, "▁276": 2618, "▁295": 2619, "▁225": 2620, "▁283": 2621, "▁224": 2622, "▁219": 2623, "▁274": 2624, "▁226": 2625, "▁272": 2626, "▁221": 2627, "▁273": 2628, "▁296": 2629, "▁291": 2630, "▁270": 2631, "▁212": 2632, "▁214": 2633, "▁210": 2634, "▁213": 2635, "▁217": 2636, "▁218": 2637, "▁228": 2638, "▁227": 2639, "▁220": 2640, "▁229": 2641, "CC\t-3": 2642, "CCn\t-1": 2643, "CCOc\t-1": 2644, "CCOC\t-2": 2645, "CCCC\t-178": 2646, "▁4=": 2647, "▁405": 2648, "▁489": 2649, "▁475": 2650, "▁485": 2651, "▁476": 2652, "▁469": 2653, "▁496": 2654, "▁609": 2655, "▁688": 2656, "▁696": 2657, "▁644": 2658, "▁555": 2659, "▁322": 2660, "▁300": 2661, "▁308": 2662, "▁306": 2663, "▁303": 2664, "▁375": 2665, "▁343": 2666, "▁985": 2667, "▁979": 2668, "▁996": 2669, "▁970": 2670, "▁808": 2671, "▁805": 2672, "▁875": 2673, "▁876": 2674, "▁879": 2675, "▁874": 2676, "22\t-4": 2677, "▁700": 2678, "▁711": 2679, "▁786": 2680, "▁789": 2681, "▁775": 2682, "▁766": 2683, "▁779": 2684, "00\t-35": 2685, "00\t-75": 2686, "00\t-33": 2687, "▁1609": 2688, "▁1605": 2689, "▁1606": 2690, "▁1676": 2691, "▁1669": 2692, "▁2307": 2693, "▁2305": 2694, "▁2387": 2695, "▁2366": 2696, "▁2385": 2697, "▁2376": 2698, "▁2323": 2699, "▁2321": 2700, "▁2396": 2701, "▁2355": 2702, "▁2344": 2703, "▁1376": 2704, "▁1909": 2705, "▁1906": 2706, "▁1987": 2707, "▁1986": 2708, "▁1989": 2709, "▁1975": 2710, "▁1966": 2711, "▁1979": 2712, "▁1969": 2713, "▁1996": 2714, "▁2506": 2715, "▁2589": 2716, "▁2543": 2717, "▁2521": 2718, "▁2555": 2719, "08\t-43": 2720, "▁1709": 2721, "▁1706": 2722, "▁1787": 2723, "▁1786": 2724, "▁1809": 2725, "▁1805": 2726, "▁1888": 2727, "▁1886": 2728, "▁1885": 2729, "▁1869": 2730, "▁2489": 2731, "▁2485": 2732, "▁2476": 2733, "▁2496": 2734, "▁2455": 2735, "▁1400": 2736, "▁1409": 2737, "▁1405": 2738, "▁1489": 2739, "▁1423": 2740, "07\t-353": 2741, "▁1586": 2742, "▁1589": 2743, "▁1566": 2744, "▁1576": 2745, "▁1579": 2746, "▁1523": 2747, "09\t-65": 2748, "09\t-24": 2749, "▁268": 2750, "▁2606": 2751, "▁2675": 2752, "▁2645": 2753, "▁2679": 2754, "▁2619": 2755, "▁2655": 2756, "▁2644": 2757, "05\t-65": 2758, "06\t-33": 2759, "06\t-353": 2760, "88\t-2": 2761, "88\t-25": 2762, "88\t-43": 2763, "02\t-23": 2764, "03\t-75": 2765, "03\t-24": 2766, "03\t-44": 2767, "04\t-75": 2768, "04\t-43": 2769, "77\t-7": 2770, "77\t-35": 2771, "77\t-44": 2772, "87\t-44": 2773, "86\t-35": 2774, "86\t-65": 2775, "89\t-43": 2776, "89\t-63": 2777, "75\t-2": 2778, "75\t-63": 2779, "66\t-4": 2780, "66\t-5": 2781, "66\t-55": 2782, "66\t-23": 2783, "66\t-543": 2784, "66\t-544": 2785, "35\t-5": 2786, "85\t-2": 2787, "85\t-33": 2788, "852\t-3": 2789, "459\t-4": 2790, "01\t-35": 2791, "01\t-65": 2792, "01\t-33": 2793, "01\t-44": 2794, "76\t-64": 2795, "79\t-43": 2796, "79\t-44": 2797, "81\t-35": 2798, "81\t-23": 2799, "81\t-33": 2800, "81\t-260": 2801, "23\t-2": 2802, "23[\t-1": 2803, "233\t-74": 2804, "80\t-260": 2805, "69\t-23": 2806, "69\t-454": 2807, "69\t-543": 2808, "83\t-35": 2809, "82\t-44": 2810, "71\t-2": 2811, "71\t-65": 2812, "71\t-44": 2813, "71\t-73": 2814, "71\t-454": 2815, "438\t-5": 2816, "244\t-73": 2817, "19\t-210": 2818, "74\t-455": 2819, "262\t-7": 2820, "72\t-7": 2821, "72\t-455": 2822, "72\t-453": 2823, "72\t-129": 2824, "21\t-1": 2825, "73\t-4": 2826, "73\t-7": 2827, "73\t-453": 2828, "347\t-6": 2829, "96\t-7": 2830, "91\t-23": 2831, "92\t-2": 2832, "92\t-6": 2833, "92\t-7": 2834, "94\t-45": 2835, "OCCOC\t-2": 2836, "[\t-13": 2837, "44\t-73": 2838, "63\t-7": 2839, "63\t-65": 2840, "70\t-45": 2841, "70\t-65": 2842, "62\t-2": 2843, "62\t-5": 2844, "62\t-45": 2845, "62\t-65": 2846, "61\t-3": 2847, "61\t-7": 2848, "61\t-65": 2849, "61\t-75": 2850, "61\t-544": 2851, "▁NCCNC": 2852, "▁Ca": 2853, "▁+3]": 2854, "64\t-6": 2855, "64\t-73": 2856, "64\t-544": 2857, "CCCN\t-1": 2858, "12\t-297": 2859, "999\t-3": 2860, "999\t-23": 2861, "999\t-55": 2862, "33\t-5": 2863, "▁+]23": 2864, "▁+]24": 2865, "▁+]15": 2866, "▁+]13": 2867, "13([\t-1": 2868, "13(\t-1": 2869, "17\t-75": 2870, "17\t-755": 2871, "18\t-755": 2872, "68\t-6": 2873, "OC\t-14": 2874, "OCn\t-2": 2875, "CCN\t-14": 2876, "CCNC\t-1": 2877, "CCNCCNC": 2878, "SS\t-2": 2879, "cc\t-2": 2880, "▁]4": 2881, "▁]45": 2882, "▁CCP": 2883, "▁1024": 2884, "▁Si": 2885, "▁SCCCC": 2886, "▁SCCN": 2887, "▁OCCOC": 2888, "▁OCCSS": 2889, "NCc\t-2": 2890, "▁957": 2891, "▁958": 2892, "▁959": 2893, "▁2023": 2894, "([\t-13": 2895, "([\t-15": 2896, "([\t-154": 2897, "▁457": 2898, "▁CCCO": 2899, "▁CCCNC": 2900, "cn\t-15": 2901, "▁1034": 2902, "▁1035": 2903, "CCS\t-1": 2904, "CCSCC\t-2": 2905, "▁-]2": 2906, "▁-])=": 2907, "▁2065": 2908, "▁2005": 2909, "▁-2]1": 2910, ")=[": 2911, ")[\t-13": 2912, "▁2075": 2913, "▁NCCCCNCCC": 2914, "▁ccs": 2915, "▁CCCCCSS": 2916, "▁-4]12": 2917, "▁-3]1": 2918, "▁-3]3": 2919, "222\t-74": 2920, "▁+2]3": 2921, "▁+2]12": 2922, "▁CCCCCCCCCCCCCCC": 2923, ")-\t-2": 2924, ")-\t-4": 2925, ")-\t-14": 2926, "▁%12": 2927, "▁scn": 2928, "▁cncc": 2929, "▁cncn": 2930, "▁OCCCN": 2931, "▁OCCCCCC": 2932, "▁+]32": 2933, "▁CCSCCCCCCCC": 2934, "Nc\t-15": 2935, "▁NCCCCCCCCCCCC": 2936, "▁+2]123": 2937, "▁+2]1234": 2938, "NCCCNC\t-1": 2939, "▁=2": 2940, "▁Al": 2941, "▁NCCCNCCCC": 2942, "([\t-33": 2943, "▁(-": 2944, "▁Ge": 2945, "▁Mg": 2946, "▁3-2": 2947, "▁3-]": 2948, "cs\t-1": 2949, "▁CNCCO": 2950, "▁Li": 2951, "CCCNCO\t-2": 2952 }, "merges": [ "\t -", "▁ 1", "▁ 2", "C C", "\t- 1", "\t- 2", "\t- 3", "\t- 4", "\t- 5", "\t- 6", "\t- 7", "0 \n", "1 \n", "2 \n", "3 \n", "4 \n", "5 \n", "6 \n", "8 \n", "9 \n", "7 \n", "CC CC", "▁ 4", "▁ 6", "▁ 5", "▁ 3", "▁ 9", "▁ 8", "2 2", "▁ 7", "0 0", "▁1 6", "▁2 3", "▁1 3", "▁1 9", "▁2 5", "0 8", "▁1 7", "▁1 8", "▁2 4", "▁1 4", "0 7", "▁1 5", "0 9", "▁2 6", "0 5", "0 6", "8 8", "0 2", "0 3", "0 4", "7 7", "8 7", "1 1", "8 6", "8 9", "7 5", "6 6", "3 5", "8 5", "4 5", "0 1", "7 6", "7 9", "9 5", "8 1", "2 3", "6 5", "2 5", "8 0", "6 9", "8 3", "8 4", "8 2", "7 1", "4 3", "2 4", "1 9", "7 4", "2 6", "9 3", "7 2", "2 1", "7 3", "3 4", "9 6", "5 5", "9 1", "9 2", "9 4", "O CC", "[ \t-1", "4 4", "6 3", "7 8", "7 0", "6 2", "6 1", "▁ N", "▁ CCCC", "▁ C", "▁ +", "6 4", "CC C", "▁ -", "1 2", "\t-2 5", "\t-3 5", "\t-4 5", "\t-5 5", "\t-6 5", "\t-7 5", "9 9", "c \t-1", "3 3", "▁+ ]", "1 4", "9 0", "9 8", "1 0", "1 5", "9 7", "1 3", "1 6", "1 7", "1 8", "\t-2 3", "\t-2 4", "\t-3 3", "\t-3 4", "\t-4 3", "\t-4 4", "\t-5 3", "\t-5 4", "\t-6 3", "\t-6 4", "\t-7 3", "\t-7 4", "2 8", "2 7", "2 0", "2 9", "6 7", "6 8", "\t-1 5", "6 0", "O C", "CC N", "\t-1 3", "[ \t-2", "4 \t-3", "S S", "▁1 22", "7 \t-7", "2 \t-3", "8 \t-7", "1 \t-3", "c c", "\t-1 4", "▁CCCC CCCC", "2 \t-4", "▁2 22", "2 \t-2", "3 \t-6", "9 \t-7", "▁ ]", "▁ CC", "1 \t-6", "4 \t-7", "9 \t-5", "▁1 02", "3 \t-3", "6 \t-6", "0 \t-7", "1 \t-7", "▁ S", "▁ OCC", "3 \t-2", "3 \t-7", "N C", "2 \t-7", "▁2 04", "9 \t-4", "▁9 5", "2 ]", "4 \t-2", "4 \t-6", "▁2 02", "( [\t-1", "1 \t-4", "2 \t-6", "1 \t-2", "1 \t-5", "▁4 3", "▁4 5", "6 \t-7", "▁3 5", "▁16 3", "3 \t-4", "4 \t-4", "▁2 09", "▁2 03", "5 \t-5", "▁ n", "▁3 4", "▁6 3", "8 \t-5", "c \t-2", "▁ CCC", "▁8 5", ") \t-1", "7 \t-6", "c n", "▁ O", "▁1 08", "▁1 09", "▁1 03", "▁1 04", "▁2 08", "CC S", "▁6 5", "▁23 3", "▁25 3", "▁- ]", "0 \t-4", "8 0\n", "8 1\n", "8 2\n", "8 3\n", "8 4\n", "8 5\n", "8 6\n", "8 8\n", "8 9\n", "8 7\n", "9 0\n", "9 1\n", "9 2\n", "9 3\n", "9 4\n", "9 5\n", "9 6\n", "9 8\n", "9 9\n", "9 7\n", "N \t-1", "▁5 5", "▁9 3", "▁19 3", "▁14 5", "OCC OCC", "▁C N", "0 0\n", "0 1\n", "0 2\n", "0 3\n", "0 4\n", "0 5\n", "0 6\n", "0 8\n", "0 9\n", "0 7\n", "1 0\n", "1 1\n", "1 2\n", "1 3\n", "1 4\n", "1 5\n", "1 6\n", "1 8\n", "1 9\n", "1 7\n", "2 0\n", "2 1\n", "2 2\n", "2 3\n", "2 4\n", "2 5\n", "2 6\n", "2 8\n", "2 9\n", "2 7\n", "6 0\n", "6 1\n", "6 2\n", "6 3\n", "6 4\n", "6 5\n", "6 6\n", "6 8\n", "6 9\n", "6 7\n", "7 \t-4", "7 0\n", "7 1\n", "7 2\n", "7 3\n", "7 4\n", "7 5\n", "7 6\n", "7 8\n", "7 9\n", "7 7\n", "9 \t-2", "▁2 05", "CCCC CCCC", "▁4 4", "▁5 3", "▁13 4", "▁19 2", "▁24 3", "▁14 3", "9 \t-3", "▁7 5", "▁13 3", "▁17 4", "▁18 3", "▁26 2", "89 \t-5", "75 \t-6", "4 \t-5", "8 \t-4", "▁1 05", "▁1 06", "▁6 4", "▁3 3", "▁8 2", "▁16 5", "▁15 3", "03 \t-4", "2 \t-5", "3 \t-5", "5 \t-4", "6 \t-3", "▁2 06", "▁16 2", "▁23 2", "▁13 2", "▁13 9", "▁25 4", "▁24 5", "09 \t-4", "▁4 2", "▁5 4", "▁8 9", "▁7 4", "▁18 9", "07 \t-4", "76 \t-6", "( \t-1", "6 \t-5", "▁2 00", "▁4 6", "▁5 2", "▁23 4", "▁19 5", "08 \t-4", "▁18 2", "▁18 5", "▁15 5", "86 \t-6", "▁C S", "▁- 2]", ") =", "6 \t-2", "▁5 6", "▁8 4", "▁7 3", "▁7 6", "▁7 9", "▁16 4", "▁23 5", "▁25 5", "▁25 9", "▁24 9", "▁26 4", "▁26 5", "( [\t-2", "0 \t-5", "▁1 07", "▁1 11", "▁6 9", "▁9 4", "▁8 3", "00 \t-4", "▁16 9", "▁19 4", "▁19 9", "▁25 2", "▁17 2", "▁17 3", "▁18 4", "▁14 4", "▁15 9", "▁26 3", "05 \t-7", "06 \t-5", "▁- 3", ") [\t-1", "C \t-1", "n \t-1", "▁2 07", "▁6 6", "▁7 2", "▁24 2", "▁24 4", "▁14 2", "▁15 4", "02 \t-3", "80 \t-5", "84 \t-3", "▁N CCCC", "0 \t-6", "5 \t-2", "5 \t-7", "6 \t-4", "▁ cc", "▁4 9", "▁5 9", "▁3 9", "▁9 6", "▁8 6", "▁23 9", "▁17 5", "▁17 9", "▁14 9", "05 \t-4", "03 \t-5", "77 \t-3", "86 \t-5", "66 \t-6", "▁N CCC", "1 \t-1", "4 ]", "5 \t-3", "8 \t-6", "O \t-1", "▁6 2", "▁9 2", "▁9 9", "00 \t-3", "00 \t-5", "▁23 6", "▁13 6", "▁17 6", "▁18 6", "05 \t-5", "03 \t-6", "79 \t-5", "▁N CC", "▁CCCC C", "▁- 4]", "▁-3 ]", "▁ CCN", "▁3 6", "▁16 6", "▁23 7", "▁13 5", "▁25 6", "▁15 6", "06 \t-7", "88 \t-3", "88 \t-4", "86 \t-3", "01 \t-3", "01 \t-5", "01 \t-6", "81 \t-6", "80 \t-3", "69 \t-6", "83 \t-3", "84 \t-5", ") [\t-2", "3 \t-1", "9 \t-6", "B r", "▁6 7", "22 2", "▁19 6", "▁24 6", "▁14 6", "07 \t-7", "▁15 2", "09 \t-5", "04 \t-3", "76 \t-3", "83 \t-5", "74 \t-3", "74 \t-6", "72 \t-6", "▁+ 2]", "▁CCCCCCCC CCCC", "1 \t-34", "7 \t-2", "▁2 0", "▁4 7", "00 \t-7", "08 \t-5", "07 \t-5", "▁26 6", "02 \t-4", "02 \t-7", "04 \t-2", "87 \t-5", "11 \t-6", "82 \t-3", "71 \t-6", "63 \t-6", "70 \t-6", "( \t-2", ") -", "2 \t-55", "4 \t-55", "O c\t-1", "S \t-2", "▁ %", "▁ s", "▁1 00", "CC \t-2", "▁7 7", "▁14 7", "09 \t-2", "09 \t-7", "▁26 7", "06 \t-4", "02 \t-5", "04 \t-4", "77 \t-6", "89 \t-4", "85 \t-3", "01 \t-4", "82 \t-5", "19 8\t-7", "94 \t-4", "78 \t-6", "▁N C", "▁C OCC", "NC \t-1", "222 \t-75", "( =", ". [\t-1", "2 \t-1", "7 \t-3", "S \t-1", "n \t-2", "▁ OC", "▁ SS", "▁ cn", "▁1 2", "▁1 01", "▁2 11", "▁3 7", "▁13 7", "▁24 7", "07 \t-2", "04 \t-5", "01 \t-7", "79 \t-3", "95 \t-7", "81 \t-4", "25 7\t-7", "71 \t-3", "74 \t-5", "73 \t-6", "91 \t-4", "91 \t-5", "92 \t-4", "92 \t-5", "▁OCC C", "1 \t-73", "1 86\t-6", "4 \t-1", "7 \t-5", "8 \t-2", "P \t-2", "▁ 00", "CC \t-1", "▁9 7", "▁19 7", "08 \t-7", "▁17 7", "▁15 7", "03 \t-7", "04 \t-7", "77 \t-5", "87 \t-3", "89 \t-3", "75 \t-5", "85 \t-5", "45 \t-7", "81 \t-65", "72 \t-3", "73 \t-3", "34 8\t-5", "62 \t-4", "62 \t-6", "▁O CCCC", "1 \t-", "5 \t-6", "6 \t-55", "O \t-2", "c c\t-1", "▁ c", "▁6 8", "▁8 7", "▁8 8", "09 \t-3", "88 \t-5", "03 \t-3", "11 8\t-5", "75 \t-3", "66 \t-3", "45 7\t-6", "76 \t-5", "79 \t-4", "79 \t-6", "25 8\t-7", "25 1\t-7", "43 1\t-5", "24 9\t-7", "26 1\t-6", "26 0\t-6", "26 8\t-6", "93 \t-3", "93 \t-5", "78 \t-5", "61 \t-4", "▁+] 1", "▁+] 3", "OC \t-2", "NC \t-2", ") \t-15", "0 \t-2", "0 \t-43", "1 \t-74", "1 01\t-6", "1 63\t-6", "2 \t-33", "4 \t-25", "8 \t-", "8 \t-3", "8 05", "N \t-2", "\t- 88", "\t- 86", "\t- 95", "\t- 96", "\t- 91", "\t- 94", "\t- 90", "\t- 97", "▁1 -", "▁2 01", "\t-1 00", "\t-1 08", "\t-1 09", "\t-1 05", "\t-1 06", "\t-1 02", "\t-1 04", "\t-1 01", "\t-1 26", "\t-1 21", "\t-1 14", "\t-1 10", "\t-1 13", "\t-1 16", "\t-1 17", "\t-1 18", "\t-1 27", "\t-1 20", "\t-2 89", "\t-2 85", "\t-2 65", "\t-2 93", "\t-2 96", "\t-2 94", "\t-2 97", "\t-4 55", "\t-7 95", "\t-7 94", "\t-7 98", "\t-7 97", "▁5 7", "▁16 7", "08 \t-2", "08 \t-3", "09 \t-35", "88 \t-7", "87 \t-4", "86 \t-64", "89 \t-6", "89 \t-7", "45 6\t-6", "45 5\t-4", "81 \t-5", "25 0\t-7", "25 2\t-7", "83 \t-4", "83 \t-65", "82 \t-4", "43 \t-5", "24 7\t-7", "26 7\t-6", "73 \t-5", "73 \t-53", "34 9\t-5", "96 \t-6", "55 2\t-4", "92 \t-3", "▁C O", "\t-25 3", "\t-35 4", "\t-45 3", "\t-45 4", "OC \t-1", "▁] 1", "▁CC S", "▁CC SS", "( \t-15", "0 \t-", "0 \t-74", "1 \t-24", "1 75\t-6", "1 95\t-7", "2 \t-24", "3 \t-25", "3 \t-55", "3 \t-24", "5 \t-55", "7 \t-75", "H \t-1", "N c\t-1", "\t- 87", "\t- 85", "\t- 80", "▁2 -", "\t-1 07", "\t-1 11", "\t-4 98", "\t-7 96", "\t-7 28", "▁4 00", "▁8 35", "▁7 8", "▁23 35", "▁25 7", "▁18 7", "03 \t-2", "87 \t-6", "35 \t-4", "85 \t-4", "85 \t-6", "23 4", "65 \t-6", "25 4\t-7", "25 6\t-7", "25 5\t-7", "80 \t-65", "80 \t-44", "84 \t-4", "82 \t-6", "82 \t-65", "43 9\t-4", "43 0\t-4", "24 6\t-7", "19 \t-75", "19 1\t-6", "26 3\t-6", "93 \t-63", "34 1\t-5", "34 0\t-5", "55 9\t-4", "44 1\t-4", "63 \t-4", "\t-35 3", "CCN C", "▁CCCCCCCC CC", "▁S CCS", "▁OCC OCCOCC", "▁n n", "▁NCC SS", "1 \t-25", "1 76\t-6", "2 \t-25", "3 \t-33", "4 \t-75", "5 4", "8 02", "9 \t-54", "S C\t-1", "c \t-6", "\t- 81", "\t- 92", "▁1 0", "▁2 1", "\t-1 79", "\t-1 19", "\t-1 12", "\t-1 29", "\t-2 74", "\t-5 43", "\t-5 44", "▁3 2", "▁8 00", "▁23 65", "▁13 8", "▁19 22", "▁19 35", "08 \t-6", "▁17 65", "▁14 8", "04 \t-35", "87 \t-7", "87 7\n", "35 \t-74", "45 2\t-4", "45 3\t-6", "45 0\t-4", "81 \t-3", "81 8\n", "81 9\n", "23 7", "23 6\t-6", "80 \t-4", "80 0\n", "69 \t-3", "83 0\n", "83 1\n", "83 2\n", "83 3\n", "83 4\n", "83 5\n", "83 6\n", "83 8\n", "83 9\n", "83 7\n", "84 \t-6", "84 0\n", "84 1\n", "84 2\n", "84 3\n", "84 4\n", "84 5\n", "84 6\n", "84 8\n", "84 9\n", "84 7\n", "82 0\n", "82 1\n", "82 2\n", "82 3\n", "82 4\n", "82 5\n", "82 6\n", "82 8\n", "82 9\n", "82 7\n", "24 8\t-7", "19 7\t-7", "19 9\t-7", "19 4\t-7", "26 4\t-6", "26 2\t-6", "93 \t-4", "21 0\t-7", "21 4\t-75", "96 \t-63", "55 3\t-4", "92 3\n", "92 4\n", "94 \t-5", "44 9\t-4", "▁N CCCCCCCC", "▁C OC", "99 0\n", "99 1\n", "99 2\n", "99 3\n", "99 4\n", "99 5\n", "99 6\n", "33 3\t-5", "\t-15 3", "CCN \t-1", ")= \t-1", "▁+2] 1", "( \t-14", ") \t-2", ". \t-1", ". [\t-2", "0 \t-55", "1 \t-63", "1 03\t-6", "1 81\t-6", "1 62\t-6", "4 \t-23", "4 \t-24", "4 \t-44", "8 \t-73", "9 \t-73", "N CCC", "P \t-1", "[ \t-3", "l \t-2", "▁ =", "▁ A", "▁ o", "▁ 08", "▁ 07", "\t- 89", "\t- 93", "\t- 98", "\t-1 78", "\t-1 28", "\t-2 79", "\t-2 60", "▁4 8", "▁4 22", "▁4 88", "▁4 87", "▁4 35", "▁5 8", "▁5 00", "▁5 88", "▁9 8", "▁9 08", "▁9 88", "22 0\n", "22 1\n", "22 2\n", "22 3\n", "22 4\n", "22 5\n", "22 6\n", "22 8\n", "22 9\n", "22 7\n", "▁7 95", "▁16 8", "▁16 22", "▁16 65", "▁19 00", "▁19 65", "▁25 00", "▁25 07", "▁17 00", "▁17 77", "▁18 8", "▁18 77", "▁24 95", "07 \t-3", "07 6\n", "▁15 8", "▁15 88", "▁26 00", "▁26 88", "▁26 11", "05 \t-2", "88 \t-6", "88 0\n", "88 1\n", "88 2\n", "88 3\n", "88 4\n", "88 5\n", "88 6\n", "88 8\n", "88 9\n", "88 7\n", "88 \t-64", "03 0\n", "03 1\n", "03 2\n", "03 3\n", "03 4\n", "03 5\n", "03 6\n", "03 8\n", "03 9\n", "03 7\n", "77 \t-4", "77 0\n", "77 1\n", "77 2\n", "77 3\n", "77 4\n", "77 5\n", "77 6\n", "77 8\n", "77 9\n", "77 7\n", "87 0\n", "87 1\n", "87 2\n", "87 3\n", "87 4\n", "87 5\n", "87 6\n", "87 8\n", "87 9\n", "11 9\n", "86 0\n", "86 1\n", "86 2\n", "86 3\n", "86 4\n", "86 5\n", "86 6\n", "86 8\n", "86 9\n", "86 7\n", "89 0\n", "89 2\n", "89 7\n", "75 0\n", "75 1\n", "75 2\n", "75 3\n", "75 4\n", "75 5\n", "75 6\n", "75 8\n", "75 9\n", "75 7\n", "66 0\n", "66 1\n", "66 2\n", "66 3\n", "66 4\n", "66 5\n", "66 6\n", "66 8\n", "66 9\n", "66 7\n", "35 0\n", "35 1\n", "35 2\n", "35 3\n", "35 4\n", "35 5\n", "35 6\n", "35 8\n", "35 9\n", "35 7\n", "35 5\t-55", "85 2\n", "85 \t-64", "45 0\n", "45 1\n", "45 2\n", "45 3\n", "45 4\n", "45 5\n", "45 6\n", "45 8\n", "45 9\n", "45 7\n", "45 4\t-4", "76 \t-4", "76 0\n", "76 1\n", "76 2\n", "76 3\n", "76 4\n", "76 5\n", "76 6\n", "76 8\n", "76 9\n", "76 7\n", "79 1\n", "81 0\n", "81 1\n", "81 2\n", "81 3\n", "81 4\n", "81 5\n", "81 6\n", "81 7\n", "23 0\n", "23 1\n", "23 2\n", "23 3\n", "23 4\n", "23 5\n", "23 6\n", "23 8\n", "23 9\n", "23 7\n", "23 0\t-74", "25 0\n", "25 1\n", "25 2\n", "25 3\n", "25 4\n", "25 5\n", "25 6\n", "25 8\n", "25 9\n", "25 7\n", "25 3\t-7", "80 1\n", "80 2\n", "80 3\n", "80 4\n", "80 5\n", "80 6\n", "80 8\n", "80 9\n", "80 7\n", "69 0\n", "69 1\n", "69 2\n", "69 3\n", "69 4\n", "69 5\n", "69 6\n", "69 8\n", "69 9\n", "69 7\n", "71 \t-4", "71 \t-5", "71 0\n", "71 1\n", "71 2\n", "71 3\n", "71 4\n", "71 5\n", "71 6\n", "71 8\n", "71 9\n", "71 7\n", "71 \t-53", "43 5\n", "43 9\n", "43 8\t-4", "24 0\n", "24 1\n", "24 2\n", "24 3\n", "24 4\n", "24 5\n", "24 6\n", "24 8\n", "24 9\n", "24 7\n", "24 4\t-7", "19 0\n", "19 1\n", "74 0\n", "74 1\n", "93 \t-6", "93 0\n", "93 2\n", "93 9\n", "72 \t-5", "72 0\n", "72 1\n", "72 2\n", "72 3\n", "72 4\n", "72 5\n", "72 6\n", "72 8\n", "72 9\n", "72 7\n", "72 \t-53", "21 6\t-6", "21 5\t-5", "21 7\t-75", "73 0\n", "73 1\n", "73 2\n", "73 3\n", "73 4\n", "73 5\n", "73 6\n", "73 8\n", "73 9\n", "73 7\n", "34 0\n", "34 1\n", "34 2\n", "34 3\n", "34 4\n", "34 5\n", "34 6\n", "34 8\n", "34 9\n", "34 7\n", "55 5\t-4", "91 0\n", "91 1\n", "91 2\n", "91 3\n", "91 4\n", "91 5\n", "91 6\n", "91 8\n", "91 9\n", "91 7\n", "92 0\n", "92 1\n", "92 2\n", "92 5\n", "92 6\n", "92 8\n", "92 9\n", "92 7\n", "[\t-1 4", "[\t-1 96", "44 9\n", "44 7\n", "63 \t-3", "63 0\n", "63 1\n", "63 2\n", "63 3\n", "63 4\n", "63 5\n", "63 6\n", "63 8\n", "63 9\n", "63 7\n", "78 \t-4", "78 0\n", "78 2\n", "78 6\n", "70 \t-5", "70 0\n", "70 1\n", "70 2\n", "70 3\n", "70 4\n", "70 5\n", "70 6\n", "70 8\n", "70 9\n", "70 7\n", "62 0\n", "62 1\n", "62 2\n", "62 3\n", "62 4\n", "62 5\n", "62 6\n", "62 8\n", "62 9\n", "62 7\n", "61 0\n", "61 1\n", "61 2\n", "61 3\n", "61 4\n", "61 5\n", "61 6\n", "61 8\n", "61 9\n", "61 7\n", "▁C l", "64 0\n", "64 1\n", "64 2\n", "64 3\n", "64 4\n", "64 5\n", "64 6\n", "64 8\n", "64 9\n", "64 7\n", "12 0\n", "12 1\n", "99 8\n", "99 9\n", "99 7\n", "33 0\n", "33 1\n", "33 2\n", "33 3\n", "33 4\n", "33 5\n", "33 6\n", "33 8\n", "33 9\n", "33 7\n", "▁+] 2", "▁+] 12", "90 0\n", "90 1\n", "90 2\n", "90 3\n", "90 4\n", "90 5\n", "90 6\n", "90 8\n", "90 9\n", "90 7\n", "15 0\n", "15 1\n", "15 2\n", "15 3\n", "15 4\n", "15 5\n", "15 6\n", "15 8\n", "15 9\n", "15 7\n", "28 0\n", "29 0\n", "29 3\n", "67 0\n", "67 1\n", "67 2\n", "67 3\n", "67 4\n", "67 5\n", "67 6\n", "67 8\n", "67 9\n", "67 7\n", "68 0\n", "68 1\n", "68 2\n", "68 3\n", "68 4\n", "68 5\n", "68 6\n", "68 8\n", "68 9\n", "68 7\n", "60 0\n", "60 4\n", "60 9\n", "▁CCCCCCCC CCC", "▁S C", "▁S CCC", "▁204 5", "▁209 5", "▁CCC S", "▁106 5", "▁NCCCC C", "▁20 22", ")- \t-1", "( \t-4", ") \t-14", ") ([\t-1", ") (\t-1", "0 \t-3", "1 66\t-6", "2 \t-73", "3 \t-23", "3 \t-63", "4 \t-33", "4 \t-34", "6 \t-24", "8 \t-75", "9 \t-23", "C c\t-1", "c \t-4", "▁ Br", "\t-2 10", "\t-7 55", "\t-7 18", "▁6 22", "▁6 07", "▁6 95", "▁5 07", "▁5 77", "▁5 87", "▁5 65", "▁3 8", "▁3 88", "▁3 87", "▁3 66", "▁3 65", "▁9 22", "▁9 00", "▁9 77", "▁8 77", "▁8 87", "▁8 11", "▁8 65", "▁7 88", "▁7 77", "▁7 87", "00 0\n", "00 1\n", "00 2\n", "00 3\n", "00 4\n", "00 5\n", "00 6\n", "00 8\n", "00 9\n", "00 7\n", "▁16 08", "▁16 87", "▁16 11", "▁23 22", "▁23 11", "▁13 22", "▁13 00", "▁13 07", "▁13 88", "▁13 11", "▁13 65", "▁19 11", "▁25 08", "▁25 77", "▁25 87", "▁25 35", "▁25 45", "08 0\n", "08 1\n", "08 2\n", "08 3\n", "08 4\n", "08 5\n", "08 6\n", "08 8\n", "08 9\n", "08 7\n", "▁17 8", "▁17 35", "▁18 35", "07 0\n", "07 1\n", "07 2\n", "07 3\n", "07 4\n", "07 5\n", "07 8\n", "07 9\n", "07 7\n", "▁15 08", "▁15 95", "09 0\n", "09 1\n", "09 2\n", "09 3\n", "09 4\n", "09 5\n", "09 6\n", "09 8\n", "09 9\n", "09 7\n", "▁26 1", "▁26 77", "05 \t-3", "05 0\n", "05 1\n", "05 2\n", "05 3\n", "05 4\n", "05 5\n", "05 6\n", "05 8\n", "05 9\n", "05 7\n", "06 \t-2", "06 \t-3", "06 \t-6", "06 0\n", "06 1\n", "06 2\n", "06 3\n", "06 4\n", "06 5\n", "06 6\n", "06 8\n", "06 9\n", "06 7\n", "02 \t-2", "02 0\n", "02 1\n", "02 2\n", "02 3\n", "02 4\n", "02 5\n", "02 6\n", "02 8\n", "02 9\n", "02 7\n", "04 0\n", "04 1\n", "04 2\n", "04 3\n", "04 4\n", "04 5\n", "04 6\n", "04 8\n", "04 9\n", "04 7\n", "11 0\n", "11 1\n", "11 2\n", "11 3\n", "11 4\n", "11 5\n", "11 6\n", "11 8\n", "11 7\n", "86 \t-43", "89 1\n", "89 3\n", "89 4\n", "89 5\n", "89 6\n", "89 8\n", "89 9\n", "75 3\t-2", "85 0\n", "85 1\n", "85 3\n", "85 4\n", "85 5\n", "85 6\n", "85 8\n", "85 9\n", "85 7\n", "45 \t-63", "01 0\n", "01 1\n", "01 2\n", "01 3\n", "01 4\n", "01 5\n", "01 6\n", "01 8\n", "01 9\n", "01 7\n", "79 0\n", "79 6\n", "79 9\n", "95 0\n", "95 1\n", "95 2\n", "95 3\n", "95 4\n", "95 5\n", "95 6\n", "95 8\n", "95 9\n", "95 7\n", "23 1\t-74", "65 0\n", "65 1\n", "65 2\n", "65 3\n", "65 4\n", "65 5\n", "65 6\n", "65 8\n", "65 9\n", "65 7\n", "69 \t-45", "69 4\t-3", "69 1\t-3", "84 \t-43", "82 \t-43", "71 \t-45", "43 0\n", "43 1\n", "43 2\n", "43 3\n", "43 4\n", "43 6\n", "43 8\n", "43 7\n", "43 2\t-4", "43 3\t-4", "43 6\t-4", "24 1\t-73", "19 2\n", "19 3\n", "19 4\n", "19 5\n", "19 6\n", "19 8\n", "19 9\n", "19 7\n", "19 6\t-6", "74 2\n", "74 3\n", "74 4\n", "74 5\n", "74 6\n", "74 8\n", "74 9\n", "74 7\n", "26 0\n", "26 1\n", "26 2\n", "26 3\n", "26 4\n", "26 5\n", "26 6\n", "26 8\n", "26 9\n", "26 7\n", "93 1\n", "93 3\n", "93 4\n", "93 5\n", "93 6\n", "93 8\n", "93 7\n", "72 \t-45", "21 0\n", "21 1\n", "21 2\n", "21 3\n", "21 4\n", "21 5\n", "21 6\n", "21 8\n", "21 9\n", "21 7\n", "21 8\t-75", "34 6\t-5", "96 1\n", "55 0\n", "55 1\n", "55 5\n", "55 9\n", "55 1\t-4", "91 \t-3", "94 \t-7", "OCC \t-2", "[\t-1 97", "44 0\n", "44 1\n", "44 2\n", "44 3\n", "44 4\n", "44 5\n", "44 6\n", "44 8\n", "78 1\n", "78 3\n", "78 4\n", "78 5\n", "78 8\n", "78 9\n", "78 7\n", "61 \t-54", "▁N N", "▁CCCC CC", "▁C SS", "64 \t-3", "▁- 5", "12 2\n", "12 3\n", "12 4\n", "12 5\n", "12 6\n", "12 8\n", "12 9\n", "12 7\n", "c\t-1 3", "▁+] 5", "14 0\n", "14 1\n", "14 2\n", "14 3\n", "14 4\n", "14 5\n", "14 6\n", "14 8\n", "14 9\n", "14 7\n", "98 0\n", "98 6\n", "98 8\n", "98 9\n", "10 5\n", "10 8\n", "10 9\n", "10 7\n", "13 0\n", "13 1\n", "13 2\n", "13 3\n", "13 4\n", "13 5\n", "13 6\n", "13 8\n", "13 9\n", "13 7\n", "16 0\n", "16 1\n", "16 2\n", "16 3\n", "16 4\n", "16 5\n", "16 6\n", "16 8\n", "16 9\n", "16 7\n", "17 0\n", "17 1\n", "17 2\n", "17 3\n", "17 4\n", "17 5\n", "17 6\n", "17 8\n", "17 9\n", "17 7\n", "18 0\n", "18 6\n", "18 9\n", "18 7\n", "28 1\n", "28 9\n", "27 0\n", "27 1\n", "27 2\n", "27 3\n", "27 4\n", "27 5\n", "27 6\n", "27 8\n", "27 9\n", "27 7\n", "20 0\n", "20 1\n", "20 2\n", "20 3\n", "20 4\n", "20 5\n", "20 6\n", "20 8\n", "20 9\n", "20 7\n", "29 1\n", "29 2\n", "29 4\n", "29 5\n", "29 6\n", "29 8\n", "29 9\n", "29 7\n", "60 1\n", "60 2\n", "60 3\n", "60 5\n", "60 6\n", "60 8\n", "60 7\n", "▁122 5", "▁222 5", "▁CC O", "▁n cc", "▁O CCCCCCCC", "▁104 5", "▁NCCC N", "▁c s", "( [", "+ ]", "- \t-1", "0 \t-1", "0 \t-75", "0 \t-73", "1 \t-35", "1 \t-75", "1 88\t-7", "4 0\n", "4 3\n", "4 4\n", "4 6\n", "4 8\n", "4 \t-54", "4 \t-73", "5 \t-34", "6 \t-1", "6 \t-34", "7 \t-55", "7 \t-34", "8 \t-54", "9 \t-1", "= \t-1", "S c\t-1", "[ \t-5", "l \t-1", "n \t-6", "▁ (", "▁ B", "▁ F", "▁ G", "▁ M", "▁ P", "▁ 09", "▁ 05", "▁ 06", "▁2 +]", "CC O\t-1", "CCCC S\t-2", "▁4 77", "▁4 45", "▁4 65", "▁6 00", "▁6 08", "▁6 77", "▁6 87", "▁6 66", "▁6 65", "▁5 08", "▁5 35", "▁5 95", "▁3 -", "▁3 77", "▁3 85", "▁3 95", "▁9 66", "▁9 95", "▁9 65", "▁8 22", "▁8 07", "▁8 88", "▁7 22", "▁7 07", "▁7 05", "▁7 35", "▁16 07", "▁16 88", "▁16 66", "▁23 00", "▁23 08", "▁23 88", "▁23 95", "▁13 66", "▁13 35", "▁19 95", "▁19 23", "▁25 22", "▁25 88", "▁25 65", "08 \t-35", "▁17 22", "▁17 88", "▁18 08", "▁18 87", "▁18 11", "▁18 95", "▁18 65", "▁24 87", "▁24 45", "▁14 77", "▁14 35", "▁14 95", "▁14 65", "▁15 00", "▁15 07", "▁15 77", "▁26 07", "▁26 66", "▁26 35", "▁26 43", "▁26 26", "04 \t-6", "87 \t-43", "87 \t-64", "86 \t-4", "86 \t-7", "89 \t-64", "75 \t-4", "35 \t-7", "45 8\t-4", "01 \t-2", "79 2\n", "79 3\n", "79 4\n", "79 5\n", "79 8\n", "79 7\n", "81 \t-2", "23 2\t-5", "23 8\t-73", "23 9\t-73", "25 9\t-7", "25 9\t-6", "80 \t-6", "69 \t-5", "69 3\t-3", "83 \t-43", "71 \t-7", "71 \t-33", "43 7\t-4", "24 0\t-7", "24 2\t-7", "19 3\t-7", "74 \t-53", "34 7\t-5", "96 6\n", "96 7\n", "55 2\n", "55 3\n", "55 4\n", "55 6\n", "55 8\n", "55 7\n", "94 0\n", "94 1\n", "94 2\n", "94 3\n", "94 4\n", "94 5\n", "94 6\n", "94 8\n", "94 9\n", "94 7\n", "[\t-1 5", "70 \t-3", "62 \t-3", "61 \t-2", "▁N OCC", "▁N CCN", "▁CCCC CCC", "64 \t-4", "CCC \t-1", "▁+] 4", "98 1\n", "98 2\n", "98 3\n", "98 4\n", "98 5\n", "98 7\n", "10 0\n", "10 1\n", "10 2\n", "10 3\n", "10 4\n", "10 6\n", "97 0\n", "97 1\n", "97 4\n", "97 9\n", "18 1\n", "18 2\n", "18 3\n", "18 4\n", "18 5\n", "18 8\n", "28 2\n", "28 3\n", "28 4\n", "28 5\n", "28 6\n", "28 8\n", "28 7\n", "OC c\t-1", "▁122 3", "▁] 3", "▁CC OCC", "▁S CC", "▁OCC OCC", "▁202 5", "▁n cn", "▁CCC N", "▁109 5", "▁CS CCC", "▁-2] 3", ")= \t-2", "▁20 11", "237 \t-73", "▁-5 ]", "( \t-6", ") ([\t-2", ". [", "0 \t-34", "1 \t-23", "1 \t-53", "1 89\t-7", "1 87\t-7", "2 \t-23", "3 3\n", "3 6\n", "3 7\n", "3 \t-34", "4 1\n", "4 2\n", "4 5\n", "4 9\n", "4 7\n", "4 7\t-7", "5 \t-25", "5 2\t-4", "6 \t-33", "7 \t-54", "8 \t-34", "9 \t-55", "9 \t-34", "= \t-2", "C \t-2", "O \t-13", "O S\t-1", "O P\t-2", "[ \t-7", "c s", "c \t-3", "n \t-15", "▁ I", "▁ R", "▁ T", "CCCC \t-2", "▁4 1", "▁4 07", "▁4 09", "▁4 06", "▁4 11", "▁4 86", "▁4 66", "▁4 95", "▁6 05", "▁6 89", "▁6 76", "▁5 09", "▁5 05", "▁5 06", "▁5 11", "▁5 89", "▁5 66", "▁5 79", "▁3 86", "▁3 35", "▁3 79", "▁9 07", "▁9 05", "▁9 06", "▁9 35", "▁8 06", "▁8 85", "▁8 95", "▁8 96", "22 \t-2", "▁7 09", "▁7 85", "▁7 76", "▁7 65", "00 \t-6", "▁16 00", "▁16 77", "▁16 86", "▁16 35", "▁16 95", "▁23 8", "▁23 77", "▁23 86", "▁23 45", "▁23 43", "▁13 08", "▁13 95", "▁19 07", "▁25 8", "▁25 11", "▁25 75", "▁25 66", "▁25 79", "▁25 34", "▁17 08", "▁17 07", "▁17 66", "▁17 79", "▁17 95", "▁17 23", "▁18 22", "▁18 00", "▁18 23", "▁24 8", "▁24 22", "▁24 00", "▁24 07", "▁24 06", "▁24 77", "▁24 11", "▁24 75", "▁24 66", "▁24 35", "▁24 44", "▁14 22", "▁14 07", "▁14 06", "▁14 87", "▁14 11", "▁14 66", "07 \t-6", "▁15 22", "▁15 87", "▁15 11", "▁15 35", "09 \t-6", "▁26 22", "▁26 08", "▁26 09", "▁26 87", "▁26 95", "▁26 65", "05 \t-6", "75 \t-44", "75 2\t-2", "75 4\t-2", "66 \t-45", "85 \t-7", "85 3\t-6", "76 \t-44", "81 \t-7", "23 \t-1", "80 \t-7", "69 \t-4", "83 \t-6", "84 \t-65", "84 \t-64", "24 \t-2", "24 1\t-7", "24 2\t-73", "19 0\t-7", "19 2\t-7", "74 \t-4", "93 \t-7", "72 \t-4", "21 2\t-3", "21 0\t-75", "34 4\t-5", "34 2\t-5", "96 0\n", "96 2\n", "96 3\n", "96 4\n", "96 5\n", "96 8\n", "96 9\n", "91 \t-6", "94 \t-2", "94 \t-3", "63 \t-5", "63 \t-54", "78 \t-44", "70 \t-33", "61 \t-5", "64 \t-5", "64 \t-54", "12 \t-1", "c\t-1 4", "c\t-1 5", "97 2\n", "97 3\n", "97 5\n", "97 6\n", "97 8\n", "97 7\n", "CCN \t-2", "▁CCCCCCCC C", "▁222 3", "▁] 2", "▁] 23", "▁CC OC", "▁102 5", "NC \t-13", "▁204 3", "▁n o", "▁104 3", "▁-] 1", "▁CN CC", "▁CS C", "▁CS CCS", ")[\t-1 4", "▁cc n", "▁cc cc", "Br \t-2", "▁% 10", "▁COCC C", "(= \t-2", "▁cn n", "▁c o", "▁2- ]", "▁OCCOCCOCC OCC", "\t 0\n", ") (\t-2", ". \t-13", "1 \t-55", "1 \t-65", "1 \t-54", "2 \t-34", "2 \t-54", "2 \t-74", "2 \t-13", "3 0\n", "3 1\n", "3 2\n", "3 4\n", "3 5\n", "3 8\n", "3 9\n", "3 \t-44", "3 \t-53", "3 \t-74", "4 \t-35", "4 9\t-7", "5 \t-23", "5 \t-24", "5 \t-43", "5 \t-64", "5 4\t-4", "6 \t-25", "6 \t-63", "8 \t-23", "8 \t-74", "9 [", "9 \t-25", "9 \t-24", "> \t0\n", "C \t-14", "H \t-2", "N \t-6", "N \t-15", "O c\t-2", "S \t-6", "S \t-14", "c \t-5", "e \t-1", "n \t-13", "n c\t-6", "▁ )", "▁ <", "▁ L", "▁ Z", "▁1 23", "▁1 26", "▁2 ]", "▁2 23", "▁2 15", "▁2 16", "CCCC \t-1", "▁4 )", "▁4 08", "▁4 79", "▁4 44", "▁6 06", "▁6 11", "▁6 86", "▁6 35", "▁6 79", "▁5 22", "▁5 86", "▁5 85", "▁5 76", "▁5 96", "▁3 1", "▁3 ]", "▁3 89", "▁3 45", "▁3 76", "▁3 24", "▁3 96", "▁3 44", "▁3 14", "▁3 15", "▁9 87", "▁9 86", "▁9 89", "▁9 76", "▁8 09", "▁8 86", "▁8 89", "▁8 66", "22 \t-3", "▁7 08", "▁7 06", "▁7 96", "00 \t-2", "▁16 89", "▁16 75", "▁16 23", "▁16 96", "▁23 09", "▁23 75", "▁23 69", "▁13 77", "▁13 87", "▁13 89", "▁13 75", "▁13 79", "▁13 96", "▁19 8", "▁19 08", "▁19 05", "▁19 77", "▁19 85", "▁19 76", "▁19 21", "▁25 86", "▁25 76", "▁25 95", "▁25 69", "▁25 96", "▁25 44", "▁17 05", "▁17 11", "▁17 89", "▁17 76", "▁17 96", "▁18 07", "▁18 06", "▁18 89", "▁18 75", "▁18 76", "▁18 79", "▁18 96", "▁24 08", "▁24 05", "▁24 88", "▁24 79", "▁24 65", "▁24 69", "▁24 43", "▁14 08", "▁14 75", "▁14 79", "07 \t-35", "▁15 09", "▁15 05", "▁15 06", "▁15 75", "▁15 65", "▁26 9", "▁26 05", "▁26 85", "▁26 76", "▁26 34", "▁26 96", "06 \t-35", "02 \t-6", "03 \t-35", "87 \t-25", "75 \t-7", "75 \t-53", "66 \t-54", "85 \t-43", "85 4\t-3", "85 1\t-3", "45 \t-6", "45 1\t-4", "79 \t-65", "81 \t-25", "81 \t-44", "69 \t-53", "69 2\t-3", "83 \t-2", "83 \t-7", "84 \t-7", "82 \t-33", "24 0\t-73", "74 \t-45", "93 \t-64", "72 \t-2", "72 \t-25", "73 \t-45", "34 \t-1", "55 \t-4", "55 4\t-4", "91 \t-2", "91 \t-25", "94 \t-23", "[\t-1 54", "44 4\t-3", "78 \t-2", "78 \t-3", "70 \t-53", "62 \t-54", "▁N O", "▁N CCS", "▁CCCC N", "▁CCCC O", "▁CCCC OC", "▁CCCC SS", "▁C OCCOCC", "64 \t-45", "CCC S", "CCC \t-2", "CCC NC", "CCC N\t-2", "▁- 2", "99 \t-7", "▁+] )", "▁+] 6", "▁+] 21", "▁+] 14", "90 \t-7", "98 \t-7", "15 \t-5", "97 \t-7", "16 \t-6", "67 \t-6", "OC \t-15", "CCN c\t-1", "CCN CC\t-2", "CCN CC\t-1", "▁CCCCCCCC CCS", "▁] 12", "▁CC OCCOCC", "▁102 3", "NC c\t-1", "NC \t-14", "▁204 4", "([\t-1 4", "▁203 4", "▁203 5", "▁n s", "▁CCC SS", "CCS \t-2", "▁-] )", "▁CN CCCC", "▁-2] 2", ")[\t-1 5", "▁cc cn", "▁-4] 1", "▁-4] 23", "▁-3] 12", "Br \t-1", "▁% 11", "▁% 14", "▁s s", "▁s cc", "▁NC N", "▁COCC O", "(= \t-1", "(= \t-3", ".[\t-1 4", ".[\t-1 5", "▁SS SS", "▁OCCCC C", "805 \t-3", "▁1- 2", "▁1- 3", "▁CO CCCCCCCC", "234 (\t-2", "▁nn n", "▁10 22", "▁10 11", "237 \t-74", "▁OCCCCCCCC CCC", "# [\t-1", "( \t-13", ") \t-6", ") \t-25", ") \t-23", ") \t-13", ". \t-2", ". \t-53", "0 \t-25", "0 \t-44", "0 \t-13", "1 \t-45", "1 \t-33", "1 \t-44", "1 \t-13", "2 \t-35", "2 \t-53", "2 \t-64", "2 [\t-2", "2 ([\t-2", "3 ]", "3 \t-45", "3 \t-54", "4 \t-45", "4 \t-74", "4 1\t-7", "5 \t-1", "5 \t-53", "5 \t-54", "5 9\t-4", "5 4\t-2", "5 1\t-2", "5 ([\t-2", "5 \t-354", "6 \t-35", "6 \t-23", "6 \t-43", "6 \t-64", "7 \t-25", "7 \t-23", "7 \t-53", "7 \t-63", "7 \t-74", "8 \t-55", "8 \t-63", "9 \t-35", "9 \t-45", "9 \t-65", "9 \t-43", "9 \t-44", "9 \t-63", "9 \t-64", "9 \t-74", "9 \t-98", "= \t-6", "= [\t-1", "C \t-6", "C \t-15", "C c\t-2", "C N\t-2", "C l\t-2", "F \t-2", "H \t-15", "I \t-1", "N \t-14", "N c\t-2", "P \t-15", "S C", "S c\t-2", "[ \t-", "[ \t-4", "[ \t-6", "[ \t-25", "a \t-1", "c o", "c \t-", "c \t-7", "c \t-25", "c \t-23", "c \t-54", "n \t-14", "n c\t-2", "s \t-6", "s >\t0\n", "▁ #", "▁ H", "▁ K", "▁ t", "▁1 25", "▁1 24", "▁1 19", "▁1 21", "▁1 12", "▁1 14", "▁1 10", "▁1 15", "▁1 13", "▁1 16", "▁1 17", "▁1 18", "▁1 28", "▁1 27", "▁1 20", "▁1 29", "▁1 )=", "▁2 =", "▁2 88", "▁2 85", "▁2 76", "▁2 95", "▁2 25", "▁2 83", "▁2 24", "▁2 19", "▁2 74", "▁2 26", "▁2 72", "▁2 21", "▁2 73", "▁2 96", "▁2 91", "▁2 70", "▁2 12", "▁2 14", "▁2 10", "▁2 13", "▁2 17", "▁2 18", "▁2 28", "▁2 27", "▁2 20", "▁2 29", "CC \t-3", "CC n\t-1", "CC Oc\t-1", "CC OC\t-2", "CCCC \t-178", "▁4 =", "▁4 05", "▁4 89", "▁4 75", "▁4 85", "▁4 76", "▁4 69", "▁4 96", "▁6 09", "▁6 88", "▁6 96", "▁6 44", "▁5 55", "▁3 22", "▁3 00", "▁3 08", "▁3 06", "▁3 03", "▁3 75", "▁3 43", "▁9 85", "▁9 79", "▁9 96", "▁9 70", "▁8 08", "▁8 05", "▁8 75", "▁8 76", "▁8 79", "▁8 74", "22 \t-4", "▁7 00", "▁7 11", "▁7 86", "▁7 89", "▁7 75", "▁7 66", "▁7 79", "00 \t-35", "00 \t-75", "00 \t-33", "▁16 09", "▁16 05", "▁16 06", "▁16 76", "▁16 69", "▁23 07", "▁23 05", "▁23 87", "▁23 66", "▁23 85", "▁23 76", "▁23 23", "▁23 21", "▁23 96", "▁23 55", "▁23 44", "▁13 76", "▁19 09", "▁19 06", "▁19 87", "▁19 86", "▁19 89", "▁19 75", "▁19 66", "▁19 79", "▁19 69", "▁19 96", "▁25 06", "▁25 89", "▁25 43", "▁25 21", "▁25 55", "08 \t-43", "▁17 09", "▁17 06", "▁17 87", "▁17 86", "▁18 09", "▁18 05", "▁18 88", "▁18 86", "▁18 85", "▁18 69", "▁24 89", "▁24 85", "▁24 76", "▁24 96", "▁24 55", "▁14 00", "▁14 09", "▁14 05", "▁14 89", "▁14 23", "07 \t-353", "▁15 86", "▁15 89", "▁15 66", "▁15 76", "▁15 79", "▁15 23", "09 \t-65", "09 \t-24", "▁26 8", "▁26 06", "▁26 75", "▁26 45", "▁26 79", "▁26 19", "▁26 55", "▁26 44", "05 \t-65", "06 \t-33", "06 \t-353", "88 \t-2", "88 \t-25", "88 \t-43", "02 \t-23", "03 \t-75", "03 \t-24", "03 \t-44", "04 \t-75", "04 \t-43", "77 \t-7", "77 \t-35", "77 \t-44", "87 \t-44", "86 \t-35", "86 \t-65", "89 \t-43", "89 \t-63", "75 \t-2", "75 \t-63", "66 \t-4", "66 \t-5", "66 \t-55", "66 \t-23", "66 \t-543", "66 \t-544", "35 \t-5", "85 \t-2", "85 \t-33", "85 2\t-3", "45 9\t-4", "01 \t-35", "01 \t-65", "01 \t-33", "01 \t-44", "76 \t-64", "79 \t-43", "79 \t-44", "81 \t-35", "81 \t-23", "81 \t-33", "81 \t-260", "23 \t-2", "23 [\t-1", "23 3\t-74", "80 \t-260", "69 \t-23", "69 \t-454", "69 \t-543", "83 \t-35", "82 \t-44", "71 \t-2", "71 \t-65", "71 \t-44", "71 \t-73", "71 \t-454", "43 8\t-5", "24 4\t-73", "19 \t-210", "74 \t-455", "26 2\t-7", "72 \t-7", "72 \t-455", "72 \t-453", "72 \t-129", "21 \t-1", "73 \t-4", "73 \t-7", "73 \t-453", "34 7\t-6", "96 \t-7", "91 \t-23", "92 \t-2", "92 \t-6", "92 \t-7", "94 \t-45", "OCC OC\t-2", "[\t-1 3", "44 \t-73", "63 \t-7", "63 \t-65", "70 \t-45", "70 \t-65", "62 \t-2", "62 \t-5", "62 \t-45", "62 \t-65", "61 \t-3", "61 \t-7", "61 \t-65", "61 \t-75", "61 \t-544", "▁N CCNC", "▁C a", "▁+ 3]", "64 \t-6", "64 \t-73", "64 \t-544", "CCC N\t-1", "12 \t-297", "99 9\t-3", "99 9\t-23", "99 9\t-55", "33 \t-5", "▁+] 23", "▁+] 24", "▁+] 15", "▁+] 13", "13 ([\t-1", "13 (\t-1", "17 \t-75", "17 \t-755", "18 \t-755", "68 \t-6", "OC \t-14", "OC n\t-2", "CCN \t-14", "CCN C\t-1", "CCN CCNC", "SS \t-2", "cc \t-2", "▁] 4", "▁] 45", "▁CC P", "▁102 4", "▁S i", "▁S CCCC", "▁S CCN", "▁OCC OC", "▁OCC SS", "NC c\t-2", "▁95 7", "▁95 8", "▁95 9", "▁202 3", "([\t-1 3", "([\t-1 5", "([\t-1 54", "▁45 7", "▁CCC O", "▁CCC NC", "cn \t-15", "▁103 4", "▁103 5", "CCS \t-1", "CCS CC\t-2", "▁-] 2", "▁-] )=", "▁206 5", "▁200 5", "▁-2] 1", ")= [", ")[\t-1 3", "▁207 5", "▁NCCCC NCCC", "▁cc s", "▁CCCCC SS", "▁-4] 12", "▁-3] 1", "▁-3] 3", "222 \t-74", "▁+2] 3", "▁+2] 12", "▁CCCCCCCCCCCC CCC", ")- \t-2", ")- \t-4", ")- \t-14", "▁% 12", "▁s cn", "▁cn cc", "▁cn cn", "▁OCCC N", "▁OCCCC CC", "▁+]3 2", "▁CCS CCCCCCCC", "Nc\t-1 5", "▁NCCCCCCCC CCCC", "▁+2]1 23", "▁+2]1 234", "NCCC NC\t-1", "▁= 2", "▁A l", "▁NCCCN CCCC", "([ \t-33", "▁( -", "▁G e", "▁M g", "▁3- 2", "▁3- ]", "cs \t-1", "▁CNCC O", "▁L i", "CCCNC O\t-2" ] } }