{ "version": "1.0", "truncation": null, "padding": null, "added_tokens": [], "normalizer": null, "pre_tokenizer": { "type": "ByteLevel", "add_prefix_space": false, "trim_offsets": true, "use_regex": true }, "post_processor": { "type": "ByteLevel", "add_prefix_space": true, "trim_offsets": false, "use_regex": true }, "decoder": { "type": "ByteLevel", "add_prefix_space": true, "trim_offsets": true, "use_regex": true }, "model": { "type": "BPE", "dropout": null, "unk_token": null, "continuing_subword_prefix": null, "end_of_word_suffix": null, "fuse_unk": false, "byte_fallback": false, "ignore_merges": false, "vocab": { "\u0000": 0, "\u0001": 1, "\u0002": 2, "\u0003": 3, "\u0004": 4, "\u0005": 5, "\u0006": 6, "\u0007": 7, "\b": 8, "\t": 9, "\n": 10, "\u000b": 11, "\f": 12, "\r": 13, "\u000e": 14, "\u000f": 15, "\u0010": 16, "\u0011": 17, "\u0012": 18, "\u0013": 19, "\u0014": 20, "\u0015": 21, "\u0016": 22, "\u0017": 23, "\u0018": 24, "\u0019": 25, "\u001a": 26, "\u001b": 27, "\u001c": 28, "\u001d": 29, "\u001e": 30, "\u001f": 31, " ": 32, "!": 33, "\"": 34, "#": 35, "$": 36, "%": 37, "&": 38, "'": 39, "(": 40, ")": 41, "*": 42, "+": 43, ",": 44, "-": 45, ".": 46, "/": 47, "0": 48, "1": 49, "2": 50, "3": 51, "4": 52, "5": 53, "6": 54, "7": 55, "8": 56, "9": 57, ":": 58, ";": 59, "<": 60, "=": 61, ">": 62, "?": 63, "@": 64, "A": 65, "B": 66, "C": 67, "D": 68, "E": 69, "F": 70, "G": 71, "H": 72, "I": 73, "J": 74, "K": 75, "L": 76, "M": 77, "N": 78, "O": 79, "P": 80, "Q": 81, "R": 82, "S": 83, "T": 84, "U": 85, "V": 86, "W": 87, "X": 88, "Y": 89, "Z": 90, "[": 91, "\\": 92, "]": 93, "^": 94, "_": 95, "`": 96, "a": 97, "b": 98, "c": 99, "d": 100, "e": 101, "f": 102, "g": 103, "h": 104, "i": 105, "j": 106, "k": 107, "l": 108, "m": 109, "n": 110, "Ā": 111, "ā": 112, "Ă": 113, "ă": 114, "Ą": 115, "ą": 116, "Ć": 117, "ć": 118, "Ĉ": 119, "ĉ": 120, "Ċ": 121, "ċ": 122, "Č": 123, "č": 124, "Ď": 125, "ď": 126, "Đ": 127, "đ": 128, "Ē": 129, "ē": 130, "Ĕ": 131, "ĕ": 132, "Ė": 133, "ė": 134, "Ę": 135, "ę": 136, "Ě": 137, "ě": 138, "Ĝ": 139, "ĝ": 140, "Ğ": 141, "ğ": 142, "Ġ": 143, "77": 144, "7777": 145, "77777777": 146, "7777777777777777": 147, "77777777777777777777777777777777": 148, "78": 149, "76": 150, "7777777777777777777777777777777777777777777777777777777777777777": 151, "777777": 152, "7777777777": 153, "77777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777": 154, "777776": 155, "777778": 156, "79": 157, "86": 158, "75": 159, "777777777778": 160, "777777777776": 161, "7778": 162, "7776": 163, "7777777777777777777777": 164, "68": 165, "778": 166, "776": 167, "74": 168, "777778777778": 169, "66": 170, "777776777776": 171, "777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777": 172, "88": 173, "77777776": 174, "777777777777777777777777": 175, "85": 176, "7777776": 177, "777777777777777777777776": 178, "777777777777777777777778": 179, "96": 180, "7777778": 181, "7777777778": 182, "777775": 183, "7777777776": 184, "777779": 185, "786": 186, "77776": 187, "73": 188, "77778": 189, "95": 190, "77777778": 191, "7777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777": 192, "777777777778777777777778": 193, ".": 198, "777777777776777777777776": 199, "56": 200, "98": 201, "77777": 202, "94": 203, "77777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777": 204, "777777777778777777777776": 205, "72": 206, "777777777777777776": 207, "777777777775": 208, "777777777779": 209, "777777777777777778": 210, ".=": 211, "868": 212, "775": 213, "7768": 214, "48": 215, "<.": 216, "779": 217, "65": 218, "777777777777777777777777777777777776": 219, "69": 220, "777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777": 221, "54": 222, "788": 223, "777777777777777777777777777777777778": 224, "7779": 225, "777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777": 226, "7876": 227, "84": 228, "7775": 229, "71": 230, "55": 231, "89": 232, "777777777777777777": 233, "777777777777": 234, "766": 235, "93": 236, "785": 237, "777777777778777777777777777777777776": 238, "/=": 239, "97": 240, "46": 241, "7777777777777777777777777777777777777777": 242, "-": 304, "777777777876": 305, "777777777878": 306, "77768": 307, "777777777776777776": 308, "777778777778777778": 309, "77775": 310, "45": 311, "77779": 312, "777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777": 313, "777777777778777778": 314, "756": 315, "7777777": 316, "777776777776777776": 317, "44": 318, "82": 319, "777777777676": 320, "777775777776": 321, "777779777778": 322, "39": 323, "8777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777": 324, "7788": 325, "777879": 326, "18": 327, "777675": 328, "37": 329, "26": 330, "77777775": 331, "777875": 332, "798": 333, "77787": 334, "777766": 335, "53": 336, "777777777777777777777777777777777777777777777776": 337, "87": 338, "777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777": 339, "777679": 340, "7785": 341, "777777777777777777777778777777777777777777777776": 342, "7878": 343, ":;": 344, "777788": 345, "777777768": 346, "?.": 347, "777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777": 348, ";/": 349, "92": 350, "777777777777777777777777777777": 351, "6776": 352, "7676": 353, "67": 354, "77777777777776": 355, "777777777768": 356, "777777777774": 357, "777777777777777777777777777777777777777777777778": 358, "77777777777778": 359, "/": 435, "<:": 436, "777777777875": 437, "777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777": 438, "784": 439, "777777777788": 440, "=-": 441, "777777777766": 442, "7777777777778": 443, "777785": 444, "34": 445, "7778777778": 446, "777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777": 447, "50": 448, "16": 449, "777777777776777777777778777777777776": 450, ";.": 451, "7777777777777777777776": 452, "767": 453, "80": 454, ";<": 455, "<./=": 456, "777777777679": 457, "62": 458, "7777773": 459, "7777777777777777777778": 460, "976": 461, "8676": 462, "777777777777777777777775": 463, "576": 464, "777778777776": 465, "867": 466, "777868": 467, "968": 468, "777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777": 469, "91": 470, "43": 471, "777777777777777777777779": 472, "8678": 473, "978": 474, "77777777777777": 475, "25": 476, "777674": 477, "777777777777777777777778777777777776": 478, ":>": 479, ",": 524, "7777776778": 525, "777778777776777776": 526, "777769": 527, "777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777": 528, "777777868": 529, "777778777778777777777777777776777776": 530, "777777777778777777777776777777777776": 531, "7777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777": 532, "77686": 533, "578": 534, "777677777776": 535, "777777777777777777777777777778": 536, ":.": 537, "794": 538, "777777777777777777777776777777777777777777777778": 539, "886": 540, "7798": 541, ";>": 542, "77777756": 543, "777777777778777777777777777777777778": 544, "<<": 545, "586": 546, "33": 547, "77774": 548, "@/": 549, "77777777767": 550, "777777677778": 551, "777677777778": 552, ":?": 553, "@.": 554, "7777772": 555, "777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777": 556, "776776": 557, "7777786": 558, "42": 559, "777777777776777777777777777777777777777777777776": 560, "90": 561, "15": 562, "887": 563, ">:": 564, "77785": 565, "858": 566, "76778": 567, "7867": 568, "@+": 569, "77777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777": 570, "76776": 571, "738": 572, "-<": 573, "7756": 574, "60": 575, "=,": 576, "777777777776777777777778777777777778": 577, "777777677776": 578, "77868": 579, "777777877776": 580, "777777878": 581, "977": 582, "7777776776": 583, "777777877778": 584, "885": 585, "7777777779": 586, "888": 587, "777778777779": 588, "<=": 589, "967": 590, "777777668": 591, "7777766": 592, "777686": 593, "7777777769": 594, "777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777": 595, "772": 596, "77777777787": 597, "7777778776": 598, "14": 599, "777777777778777777777778777777777778": 600, "-:": 601, "957": 602, "777777777776777777777777777777777777777777777778": 603, "777777777778777777777776777777777778": 604, "7777788": 605, "767776": 606, "777776777775": 607, "777776777776777777777777777778777778": 608, ",:": 609, "757": 610, "32": 611, "777777676": 612, "777776777776777778": 613, ";?": 614, ".:": 615, "7777777777777778": 616, "7784": 617, "<..<": 618, "78776": 619, "746": 620, "777777777776777777777776777777777776777777777776": 621, "777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777": 622, "787776": 623, ";-": 624, "7773": 625, "789": 626, "765": 627, "7777777685": 628, "777777777779777777777779": 629, "777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777": 630, "787778": 631, "777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777": 632, "777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777": 633, "/:": 634, "688": 635, "=;": 636, "<./<": 637, "?:": 638, "777789": 639, "<>": 640, "05": 641, "41": 642, "777778777778777776777776777778777778777776777776": 643, ",=": 644, "666": 645, "77777777786": 646, "?+": 647, "7777778786": 648, "7777777868": 649, "/,": 650, "7777777777777776": 651, ".;": 652, "865": 653, "777765": 654, "/;": 655, "777778777777777776": 656, "767778": 657, "777777777775777777777775": 658, "777776777777777776": 659, "11": 660, "00": 661, "87777": 662, ">+": 663, "777777777777777777777777777777777777777777777777777777777776": 664, ",<": 665, "7795": 666, "@:": 667, ">;": 668, "22": 669, ")<": 670, "777778777778777777777776": 671, "04": 672, "7966": 673, "76777776": 674, "975": 675, "965": 676, "7668": 677, "777774777774": 678, ",;": 679, "*;": 680, "7874": 681, "7886": 682, "777778777778777777777777777776": 683, "777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777": 684, ":-": 685, "7687": 686, "78778": 687, "*<": 688, "679": 689, "31": 690, "=<": 691, "777778777777777778": 692, "7778778": 693, "776778": 694, "979": 695, "877": 696, "777777777773": 697, "777677": 698, "77777795": 699, "986": 700, "777777777778777777777775": 701, "7777777679": 702, "777777777779777777777776": 703, "588": 704, "+;": 705, "23": 706, "-;": 707, "7696": 708, "579": 709, "+=": 710, "67776": 711, "568": 712, "21": 713, "(=": 714, "777777777777777777777776777777777778": 715, "675": 716, "01": 717, ":@": 718, "777778777778777778777778777778777778777778777778": 719, "+<": 720, "783": 721, "777777777777777775": 722, "696": 723, "77777777777777778": 724, "77777777777777776": 725, "777777777874": 726, "8685": 727, "><": 728, "?;": 729, "777777777777777778777778777778777778": 730, "7777777775": 731, "584": 732, "78777778": 733, "948": 734, "777777777785": 735, "77777777768": 736, "695": 737, "7776778": 738, "*=": 739, "'=": 740, "<,": 741, "777776777777777778": 742, "77777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777": 743, "77777773": 744, "(<": 745, "76786": 746, "40": 747, "6775": 748, "585": 749, "7879": 750, "777777777777777777777777777776777776": 751, "+:": 752, "77867": 753, "777777777778777777777779": 754, "7777771": 755, "777777777777777777777776777777777777777777777776": 756, "476": 757, "8679": 758, ")=": 759, "77769": 760, "777866": 761, "777777777777777777777777777777777777777777777777777777777778": 762, "777777777777777779": 763, "596": 764, "777774777775": 765, ":,": 766, "778676": 767, "@;": 768, "777777686": 769, "777777766": 770, "@*": 771, "667": 772, "78676": 773, "77777777777777777777777776": 774, "777776777777777776777776": 775, "7778776": 776, "759": 777, "/>": 778, "777676777776": 779, "947": 780, "777777777777777777777777777777777777777777777777777777777777777777777777777777": 781, "7869": 782, "777777777868": 783, ");": 784, "7857": 785, "77777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777": 786, "658": 787, "777778777777777778777778": 788, "777876777776": 789, "777777777777777777777778777777777777777777777778": 790, "684": 791, "76878": 792, "879": 793, "77776777776": 794, "768776": 795, "8876": 796, "777777777779777777777775": 797, "857": 798, "7787": 799, "03": 800, "77875": 801, "777777777777777777777778777777777778": 802, "777777778678": 803, "87778": 804, ";,": 805, "987": 806, "12": 807, "13": 808, "7777777777777777776": 809, "77866": 810, "7777777777777777778": 811, "=+": 812, "575": 813, "777777778676": 814, "777777777776777777777775": 815, "*:": 816, "02": 817, "677778": 818, "6876": 819, ">=": 820, "7777777778777777777776": 821, "7776776": 822, "7778777776": 823, "777777777877777777777778": 824, "?<": 825, "77777755": 826, "777777777777777776777776777776777776": 827, "777777777769": 828, "76787": 829, "777777777777777778777778777777777777777776777776": 830, "786778": 831, "677": 832, "777673": 833, "777775777776777776": 834, "777777678": 835, "777777777777777777777777777777777777777777777777777777777777777777777777777777777777": 836, "==": 837, "777777777777777777777777777777777777777777777777777777777777777777777776": 838, "&>": 839, "777777777789": 840, "777777777677777777777776": 841, "77777777777777777777777778": 842, "777777777777777777777777777777777777777777777777777777777777777777": 843, ".>": 844, "77777777777777777776": 845, "77777777777777777777776": 846, "777777777778777777777777777777777776777777777777777777777778": 847, "76877": 848, "777777777776777777777777777777777778777777777777777777777776": 849, "488": 850, "'>": 851, "<+": 852, "777777758": 853, "777778777778777777777778": 854, "856": 855, "777777777777777777777777777777777777777777777777777777777777777777777778": 856, "777688": 857, "478": 858, "969": 859, "77777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777": 860, "76876": 861, "793": 862, "10": 863, "?*": 864, "777777777777777777777777777777777777777777777777777777777777777777777777": 865, "7776777778": 866, "778678": 867, "777777777777777777777777777777777777777777": 868, "7797": 869, "768778": 870, "777772": 871, "486": 872, "875": 873, "6686": 874, "777777777777777777777777777777777777777777777777777777": 875, ":+": 876, "7765": 877, "77777798": 878, "777678777778": 879, "777685": 880, "8875": 881, "=>": 882, "7777678": 883, "(>": 884, "777777777777777777777777777777777777777776": 885, "77777765": 886, "956": 887, "777777777778777777777777777777777776777777777778": 888, ";+": 889, "567": 890, "77877": 891, "77777787778": 892, "):": 893, "777777777765": 894, "7858": 895, "777878777778": 896, "728": 897, "777777777877777777777776": 898, "747": 899, "777777767776": 900, "@<": 901, "6875": 902, "777777777776777777777779": 903, "988": 904, "786776": 905, "777776777776777776777776777776777776777776777776": 906, "77777777777777777777778": 907, "778679": 908, "%?": 909, "77777767777": 910, "78686": 911, "777777777777778": 912, ")>": 913, "77777777777775": 914, "767775": 915, "777777777776777776777776": 916, "777777777777777777777778777777777777777777777776777777777777777777777778": 917, "77687": 918, "577": 919, "30": 920, "77777777777777777778": 921, "20": 922, "777869": 923, "*>": 924, "": 931, ";@": 932, "/?": 933, "78678": 934, "777777777777777777777777777777777777777778": 935, "77777777766": 936, "884": 937, "777777777677777777777778": 938, "7777777776777777777778": 939, "77778777778": 940, "&?": 941, "7777777777777777777777777777777777777777777777777777777777777777777777777777777777777777": 942, "777777777778777777777778777777777777777777777776": 943, "7877": 944, "77685": 945, "587": 946, "777777777777776": 947, "736": 948, "777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777": 949, "7695": 950, "77777777777779": 951, "776878": 952, "(;": 953, "475": 954, "7965": 955, "7767": 956, "777777777775777777777777777777777778": 957, "771": 958, "799": 959, "-?": 960, "777777777776777777777776777777777777777777777778": 961, "7777876": 962, "(:": 963, ".?": 964, "778675": 965, "466": 966, "77688": 967, "777777777686": 968, ",>": 969, "77777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777": 970, "+>": 971, "77797": 972, "*?": 973, "896": 974, "7865": 975, "777777777778777777777777777777777777777777777777777777777776": 976, "959": 977, "376": 978, "777777787778": 979, "777777778778": 980, "777666": 981, "777776777776777777777777777778": 982, "777776777776777778777778": 983, "76777": 984, "77679": 985, ")?": 986, "77777777868": 987, "77777794": 988, "847": 989, "777776777777777777777776": 990, "687": 991, "7777676": 992, "77675": 993, "8688": 994, "558": 995, "6878": 996, "777777876": 997, "777777777776777777777777777777777778777777777776": 998, "7789": 999, "8675": 1000, "8779": 1001, "'<": 1002, "77777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777": 1003, "8687": 1004, "77777777867": 1005, "=*": 1006, "7777878": 1007, "479": 1008, "':": 1009, "'?": 1010, "7675": 1011, "$@": 1012, "777777777674": 1013, "595": 1014, "%@": 1015, "/@": 1016, "974": 1017, "77777777788": 1018, "6678": 1019, "777767777778": 1020, "897": 1021, "496": 1022, "87777777776": 1023 }, "merges": [ [ "7", "7" ], [ "77", "77" ], [ "7777", "7777" ], [ "77777777", "77777777" ], [ "7777777777777777", "7777777777777777" ], [ "7", "8" ], [ "7", "6" ], [ "77777777777777777777777777777777", "77777777777777777777777777777777" ], [ "7777", "77" ], [ "77777777", "77" ], [ "7777777777777777777777777777777777777777777777777777777777777777", "7777777777777777777777777777777777777777777777777777777777777777" ], [ "7777", "76" ], [ "7777", "78" ], [ "7", "9" ], [ "8", "6" ], [ "7", "5" ], [ "7777777777", "78" ], [ "7777777777", "76" ], [ "77", "78" ], [ "77", "76" ], [ "7777777777777777", "777777" ], [ "6", "8" ], [ "77", "8" ], [ "77", "6" ], [ "7", "4" ], [ "777778", "777778" ], [ "6", "6" ], [ "777776", "777776" ], [ "77777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777", "7777777777777777777777777777777777777777777777777777777777777777" ], [ "8", "8" ], [ "777777", "76" ], [ "7777777777777777", "77777777" ], [ "8", "5" ], [ "777777", "6" ], [ "7777777777777777777777", "76" ], [ "7777777777777777777777", "78" ], [ "9", "6" ], [ "777777", "8" ], [ "77777777", "78" ], [ "7777", "75" ], [ "77777777", "76" ], [ "7777", "79" ], [ "78", "6" ], [ "7777", "6" ], [ "7", "3" ], [ "7777", "8" ], [ "9", "5" ], [ "777777", "78" ], [ "77777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777", "77777777777777777777777777777777" ], [ "777777777778", "777777777778" ], [ "<", "/" ], [ "5", "8" ], [ "76", "8" ], [ "77", "86" ], [ ">", "." ], [ "777777777776", "777777777776" ], [ "5", "6" ], [ "9", "8" ], [ "7777", "7" ], [ "9", "4" ], [ "777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777", "77777777777777777777777777777777" ], [ "777777777778", "777777777776" ], [ "7", "2" ], [ "7777777777777777", "76" ], [ "7777777777", "75" ], [ "7777777777", "79" ], [ "7777777777777777", "78" ], [ ".", "=" ], [ "86", "8" ], [ "77", "5" ], [ "77", "68" ], [ "4", "8" ], [ "<", "." ], [ "77", "9" ], [ "6", "5" ], [ "77777777777777777777777777777777", "7776" ], [ "6", "9" ], [ "777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777", "777777777777777777777777" ], [ "5", "4" ], [ "78", "8" ], [ "77777777777777777777777777777777", "7778" ], [ "77", "79" ], [ "7777777777777777777777777777777777777777777777777777777777777777", "77777777777777777777777777777777" ], [ "78", "76" ], [ "8", "4" ], [ "77", "75" ], [ "7", "1" ], [ "5", "5" ], [ "8", "9" ], [ "7777777777777777", "77" ], [ "77777777", "7777" ], [ "76", "6" ], [ "9", "3" ], [ "78", "5" ], [ "777777777778", "777777777777777777777776" ], [ "/", "=" ], [ "9", "7" ], [ "4", "6" ], [ "77777777777777777777777777777777", "77777777" ], [ "", "-" ], [ "7777777778", "76" ], [ "7777777778", "78" ], [ "7776", "8" ], [ "777777777776", "777776" ], [ "777778777778", "777778" ], [ "7777", "5" ], [ "4", "5" ], [ "7777", "9" ], [ "77777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777", "7777" ], [ "777777777778", "777778" ], [ "75", "6" ], [ "777777", "7" ], [ "777776777776", "777776" ], [ "4", "4" ], [ "8", "2" ], [ "7777777776", "76" ], [ "777775", "777776" ], [ "777779", "777778" ], [ "3", "9" ], [ "8", "777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777" ], [ "778", "8" ], [ "7778", "79" ], [ "1", "8" ], [ "7776", "75" ], [ "3", "7" ], [ "2", "6" ], [ "777777", "75" ], [ "7778", "75" ], [ "79", "8" ], [ "7778", "7" ], [ "7777", "66" ], [ "5", "3" ], [ "7777777777777777777777777777777777777777", "77777776" ], [ "8", "7" ], [ "777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777", "777777777777" ], [ "7776", "79" ], [ "778", "5" ], [ "777777777777777777777778", "777777777777777777777776" ], [ "78", "78" ], [ ":", ";" ], [ "7777", "88" ], [ "77777776", "8" ], [ "?", "." ], [ "77777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777", "7777" ], [ ";", "/" ], [ "9", "2" ], [ "777777777777777777777777", "777777" ], [ "6", "776" ], [ "76", "76" ], [ "6", "7" ], [ "77777777", "777776" ], [ "7777777777", "68" ], [ "7777777777", "74" ], [ "7777777777777777777777777777777777777777", "77777778" ], [ "77777777", "777778" ], [ "", "/" ], [ "<", ":" ], [ "7777777778", "75" ], [ "77777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777", "7777777777777777777777" ], [ "78", "4" ], [ "7777777777", "88" ], [ "=", "-" ], [ "7777777777", "66" ], [ "77777777", "77778" ], [ "7777", "85" ], [ "3", "4" ], [ "7778", "777778" ], [ "777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777", "777777" ], [ "5", "0" ], [ "1", "6" ], [ "777777777776", "777777777778777777777776" ], [ ";", "." ], [ "7777777777777777", "777776" ], [ "76", "7" ], [ "8", "0" ], [ ";", "<" ], [ "<.", "/=" ], [ "7777777776", "79" ], [ "6", "2" ], [ "777777", "3" ], [ "7777777777777777", "777778" ], [ "9", "76" ], [ "86", "76" ], [ "7777777777777777777777", "75" ], [ "5", "76" ], [ "777778", "777776" ], [ "86", "7" ], [ "7778", "68" ], [ "9", "68" ], [ "77777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777", "7777777777" ], [ "9", "1" ], [ "4", "3" ], [ "7777777777777777777777", "79" ], [ "86", "78" ], [ "9", "78" ], [ "77777777", "777777" ], [ "2", "5" ], [ "7776", "74" ], [ "777777777777777777777778", "777777777776" ], [ ":", ">" ], [ "", "," ], [ "7777776", "778" ], [ "777778", "777776777776" ], [ "77776", "9" ], [ "77777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777", "7777777777777777777777777777" ], [ "777777", "868" ], [ "777778777778", "777777777777777776777776" ], [ "777777777778", "777777777776777777777776" ], [ "777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777", "7777777777777777" ], [ "776", "86" ], [ "5", "78" ], [ "7776", "77777776" ], [ "777777777777777777777777", "777778" ], [ ":", "." ], [ "79", "4" ], [ "777777777777777777777776", "777777777777777777777778" ], [ "8", "86" ], [ "77", "98" ], [ ";", ">" ], [ "777777", "56" ], [ "777777777778", "777777777777777777777778" ], [ "<", "<" ], [ "5", "86" ], [ "3", "3" ], [ "7777", "4" ], [ "@", "/" ], [ "7777777776", "7" ], [ "7777776", "77778" ], [ "7776", "77777778" ], [ ":", "?" ], [ "@", "." ], [ "777777", "2" ], [ "777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777", "777777777777777777" ], [ "776", "776" ], [ "777778", "6" ], [ "4", "2" ], [ "777777777776", "777777777777777777777777777777777776" ], [ "9", "0" ], [ "1", "5" ], [ "88", "7" ], [ ">", ":" ], [ "7778", "5" ], [ "85", "8" ], [ "76", "778" ], [ "786", "7" ], [ "@", "+" ], [ "7777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777", "7777777777777777" ], [ "76", "776" ], [ "73", "8" ], [ "-", "<" ], [ "77", "56" ], [ "6", "0" ], [ "=", "," ], [ "777777777776", "777777777778777777777778" ], [ "7777776", "77776" ], [ "7786", "8" ], [ "7777778", "77776" ], [ "7777778", "78" ], [ "9", "77" ], [ "7777776", "776" ], [ "7777778", "77778" ], [ "88", "5" ], [ "77777777", "79" ], [ "88", "8" ], [ "777778", "777779" ], [ "<", "=" ], [ "96", "7" ], [ "7777776", "68" ], [ "777776", "6" ], [ "7776", "86" ], [ "77777777", "69" ], [ "7777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777", "77777777" ], [ "77", "2" ], [ "7777777778", "7" ], [ "7777778", "776" ], [ "1", "4" ], [ "777777777778777777777778", "777777777778" ], [ "-", ":" ], [ "95", "7" ], [ "777777777776", "777777777777777777777777777777777778" ], [ "777777777778777777777776", "777777777778" ], [ "777778", "8" ], [ "76", "7776" ], [ "777776", "777775" ], [ "777776777776", "777777777777777778777778" ], [ ",", ":" ], [ "75", "7" ], [ "3", "2" ], [ "7777776", "76" ], [ "777776777776", "777778" ], [ ";", "?" ], [ ".", ":" ], [ "77777777", "77777778" ], [ "778", "4" ], [ "<.", ".<" ], [ "78", "776" ], [ "74", "6" ], [ "777777777776777777777776", "777777777776777777777776" ], [ "777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777", "777777" ], [ "78", "7776" ], [ ";", "-" ], [ "77", "73" ], [ "78", "9" ], [ "76", "5" ], [ "77777776", "85" ], [ "777777777779", "777777777779" ], [ "77777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777", "7777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777" ], [ "78", "7778" ], [ "777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777", "777777777777" ], [ "77777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777", "7777777777777777777777" ], [ "/", ":" ], [ "68", "8" ], [ "=", ";" ], [ "<.", "/<" ], [ "?", ":" ], [ "77778", "9" ], [ "<", ">" ], [ "0", "5" ], [ "4", "1" ], [ "777778777778777776777776", "777778777778777776777776" ], [ ",", "=" ], [ "66", "6" ], [ "7777777778", "6" ], [ "?", "+" ], [ "7777778", "786" ], [ "77777778", "68" ], [ "/", "," ], [ "77777777", "77777776" ], [ ".", ";" ], [ "86", "5" ], [ "77776", "5" ], [ "/", ";" ], [ "777778", "777777777776" ], [ "76", "7778" ], [ "777777777775", "777777777775" ], [ "777776", "777777777776" ], [ "1", "1" ], [ "0", "0" ], [ "8", "7777" ], [ ">", "+" ], [ "777777777777777777777777777777777777777777777777", "777777777776" ], [ ",", "<" ], [ "77", "95" ], [ "@", ":" ], [ ">", ";" ], [ "2", "2" ], [ ")", "<" ], [ "777778777778", "777777777776" ], [ "0", "4" ], [ "79", "66" ], [ "76", "777776" ], [ "9", "75" ], [ "96", "5" ], [ "76", "68" ], [ "777774", "777774" ], [ ",", ";" ], [ "*", ";" ], [ "78", "74" ], [ "78", "86" ], [ "777778777778", "777777777777777776" ], [ "77777777777777777777777777777777777777777777777777777777777777777777777777777777", "7777777777" ], [ ":", "-" ], [ "768", "7" ], [ "78", "778" ], [ "*", "<" ], [ "6", "79" ], [ "3", "1" ], [ "=", "<" ], [ "777778", "777777777778" ], [ "7778", "778" ], [ "776", "778" ], [ "9", "79" ], [ "8", "77" ], [ "7777777777", "73" ], [ "7776", "77" ], [ "777777", "95" ], [ "9", "86" ], [ "777777777778", "777777777775" ], [ "77777776", "79" ], [ "777777777779", "777777777776" ], [ "5", "88" ], [ "+", ";" ], [ "2", "3" ], [ "-", ";" ], [ "76", "96" ], [ "5", "79" ], [ "+", "=" ], [ "6", "7776" ], [ "5", "68" ], [ "2", "1" ], [ "(", "=" ], [ "777777777777777777777776", "777777777778" ], [ "6", "75" ], [ "0", "1" ], [ ":", "@" ], [ "777778777778777778777778", "777778777778777778777778" ], [ "+", "<" ], [ "78", "3" ], [ "7777777777777777", "75" ], [ "6", "96" ], [ "7777777777777777", "8" ], [ "7777777777777777", "6" ], [ "7777777778", "74" ], [ "86", "85" ], [ ">", "<" ], [ "?", ";" ], [ "777777777777777778", "777778777778777778" ], [ "77777777", "75" ], [ "58", "4" ], [ "78", "777778" ], [ "94", "8" ], [ "7777777777", "85" ], [ "7777777776", "8" ], [ "6", "95" ], [ "7776", "778" ], [ "*", "=" ], [ "'", "=" ], [ "<", "," ], [ "777776", "777777777778" ], [ "777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777", "77777777" ], [ "777777", "73" ], [ "(", "<" ], [ "76", "786" ], [ "4", "0" ], [ "6", "775" ], [ "5", "85" ], [ "78", "79" ], [ "777777777777777777777777", "777776777776" ], [ "+", ":" ], [ "7786", "7" ], [ "777777777778", "777777777779" ], [ "777777", "1" ], [ "777777777777777777777776", "777777777777777777777776" ], [ "4", "76" ], [ "86", "79" ], [ ")", "=" ], [ "7776", "9" ], [ "7778", "66" ], [ "777777777777777777777777777777777777777777777777", "777777777778" ], [ "7777777777777777", "79" ], [ "5", "96" ], [ "777774", "777775" ], [ ":", "," ], [ "7786", "76" ], [ "@", ";" ], [ "7777776", "86" ], [ "77777776", "6" ], [ "@", "*" ], [ "66", "7" ], [ "786", "76" ], [ "777777777777777777777777", "76" ], [ "777776", "777777777776777776" ], [ "7778", "776" ], [ "75", "9" ], [ "/", ">" ], [ "777676", "777776" ], [ "94", "7" ], [ "7777777777777777777777777777777777777777777777777777777777777777", "77777777777777" ], [ "786", "9" ], [ "7777777778", "68" ], [ ")", ";" ], [ "785", "7" ], [ "77777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777", "777777777777777777777777" ], [ "6", "58" ], [ "777778", "777777777778777778" ], [ "777876", "777776" ], [ "777777777777777777777778", "777777777777777777777778" ], [ "68", "4" ], [ "768", "78" ], [ "8", "79" ], [ "77776", "777776" ], [ "768", "776" ], [ "88", "76" ], [ "777777777779", "777777777775" ], [ "85", "7" ], [ "778", "7" ], [ "0", "3" ], [ "778", "75" ], [ "777777777777777777777778", "777777777778" ], [ "7777777786", "78" ], [ "8", "7778" ], [ ";", "," ], [ "98", "7" ], [ "1", "2" ], [ "1", "3" ], [ "7777777777777777", "776" ], [ "7786", "6" ], [ "7777777777777777", "778" ], [ "=", "+" ], [ "5", "75" ], [ "7777777786", "76" ], [ "777777777776", "777777777775" ], [ "*", ":" ], [ "0", "2" ], [ "6", "77778" ], [ "68", "76" ], [ ">", "=" ], [ "7777777778", "777777777776" ], [ "7776", "776" ], [ "7778", "777776" ], [ "7777777778", "77777777777778" ], [ "?", "<" ], [ "777777", "55" ], [ "777777777777777776", "777776777776777776" ], [ "7777777777", "69" ], [ "7678", "7" ], [ "777777777777777778777778", "777777777777777776777776" ], [ "786", "778" ], [ "6", "77" ], [ "7776", "73" ], [ "777775", "777776777776" ], [ "7777776", "78" ], [ "77777777777777777777777777777777777777777777777777777777777777777777777777777777", "7777" ], [ "=", "=" ], [ "7777777777777777777777777777777777777777777777777777777777777777", "77777776" ], [ "&", ">" ], [ "7777777777", "89" ], [ "7777777776", "77777777777776" ], [ "777777777777777777777777", "78" ], [ "7777777777777777777777777777777777777777777777777777777777777777", "77" ], [ ".", ">" ], [ "7777777777777777", "7776" ], [ "7777777777777777777777", "6" ], [ "777777777778777777777777777777777776", "777777777777777777777778" ], [ "768", "77" ], [ "777777777776777777777777777777777778", "777777777777777777777776" ], [ "4", "88" ], [ "'", ">" ], [ "<", "+" ], [ "777777", "758" ], [ "777778777778", "777777777778" ], [ "85", "6" ], [ "7777777777777777777777777777777777777777777777777777777777777777", "77777778" ], [ "7776", "88" ], [ "4", "78" ], [ "96", "9" ], [ "7777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777", "7777777777777777777777" ], [ "768", "76" ], [ "79", "3" ], [ "1", "0" ], [ "?", "*" ], [ "7777777777777777777777777777777777777777777777777777777777777777", "77777777" ], [ "7776", "777778" ], [ "7786", "78" ], [ "77777777777777777777777777777777", "7777777777" ], [ "779", "7" ], [ "768", "778" ], [ "77777", "2" ], [ "4", "86" ], [ "8", "75" ], [ "66", "86" ], [ "77777777777777777777777777777777", "7777777777777777777777" ], [ ":", "+" ], [ "776", "5" ], [ "777777", "98" ], [ "777678", "777778" ], [ "7776", "85" ], [ "88", "75" ], [ "=", ">" ], [ "77776", "78" ], [ "(", ">" ], [ "77777777777777777777777777777777", "7777777776" ], [ "7777776", "5" ], [ "95", "6" ], [ "777777777778777777777777777777777776", "777777777778" ], [ ";", "+" ], [ "56", "7" ], [ "778", "77" ], [ "7777778", "7778" ], [ ")", ":" ], [ "7777777777", "65" ], [ "78", "58" ], [ "777878", "777778" ], [ "72", "8" ], [ "7777777778", "77777777777776" ], [ "74", "7" ], [ "77777776", "7776" ], [ "@", "<" ], [ "68", "75" ], [ "777777777776", "777777777779" ], [ "9", "88" ], [ "786", "776" ], [ "777776777776777776777776", "777776777776777776777776" ], [ "7777777777777777777777", "8" ], [ "7786", "79" ], [ "%", "?" ], [ "7777776", "7777" ], [ "786", "86" ], [ "77777777", "7777778" ], [ ")", ">" ], [ "77777777", "777775" ], [ "76", "7775" ], [ "777777777776", "777776777776" ], [ "777777777777777777777778777777777777777777777776", "777777777777777777777778" ], [ "7768", "7" ], [ "5", "77" ], [ "3", "0" ], [ "7777777777777777", "7778" ], [ "2", "0" ], [ "7778", "69" ], [ "*", ">" ], [ "<", "?" ], [ "5", "66" ], [ "777777777776", "777777777777777777777776" ], [ "77778", "4" ], [ "777777778", "776" ], [ "7777778", "785" ], [ "-", ">" ], [ ";", "@" ], [ "/", "?" ], [ "786", "78" ], [ "77777777777777777777777777777777", "7777777778" ], [ "7777777776", "6" ], [ "88", "4" ], [ "7777777776", "77777777777778" ], [ "7777777776", "777777777778" ], [ "77778", "777778" ], [ "&", "?" ], [ "7777777777777777777777777777777777777777777777777777777777777777", "777777777777777777777777" ], [ "777777777778777777777778", "777777777777777777777776" ], [ "78", "77" ], [ "7768", "5" ], [ "58", "7" ], [ "77777777", "7777776" ], [ "73", "6" ], [ "7777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777", "77" ], [ "76", "95" ], [ "77777777", "777779" ], [ "7768", "78" ], [ "(", ";" ], [ "4", "75" ], [ "79", "65" ], [ "776", "7" ], [ "777777777775", "777777777777777777777778" ], [ "77", "1" ], [ "79", "9" ], [ "-", "?" ], [ "777777777776777777777776", "777777777777777777777778" ], [ "77778", "76" ], [ "(", ":" ], [ ".", "?" ], [ "7786", "75" ], [ "4", "66" ], [ "7768", "8" ], [ "7777777776", "86" ], [ ",", ">" ], [ "77777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777", "777777777777777777777777777777" ], [ "+", ">" ], [ "7779", "7" ], [ "*", "?" ], [ "8", "96" ], [ "786", "5" ], [ "777777777778", "777777777777777777777777777777777777777777777776" ], [ "95", "9" ], [ "3", "76" ], [ "77777778", "7778" ], [ "777777778", "778" ], [ "7776", "66" ], [ "777776777776", "777777777777777778" ], [ "777776777776", "777778777778" ], [ "76", "777" ], [ "776", "79" ], [ ")", "?" ], [ "77777777", "868" ], [ "777777", "94" ], [ "84", "7" ], [ "777776", "777777777777777776" ], [ "68", "7" ], [ "77776", "76" ], [ "776", "75" ], [ "86", "88" ], [ "5", "58" ], [ "68", "78" ], [ "7777778", "76" ], [ "777777777776777777777777777777777778", "777777777776" ], [ "778", "9" ], [ "86", "75" ], [ "8", "779" ], [ "'", "<" ], [ "7777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777", "7777" ], [ "868", "7" ], [ "7777777786", "7" ], [ "=", "*" ], [ "77778", "78" ], [ "4", "79" ], [ "'", ":" ], [ "'", "?" ], [ "76", "75" ], [ "$", "@" ], [ "7777777776", "74" ], [ "5", "95" ], [ "%", "@" ], [ "/", "@" ], [ "9", "74" ], [ "7777777778", "8" ], [ "66", "78" ], [ "77776", "7777778" ], [ "89", "7" ], [ "4", "96" ], [ "8", "7777777776" ] ] } }