Upload folder using huggingface_hub

README.md

@@ -46,4 +46,4 @@ tokens = tokenizer.encode("Hello, world!")
 ## Sample Encoding
 | Text | Tokens | Token IDs |
 |------|--------|-----------|
-| `123450019 mod 67` | `123, 450, 0, 19,  , mod,  , 67` | `487, 724, 7, 25, 6, 4, 6, 53` |
+| `1234500119 mod 67` | `123, 450, 0, 11, 9,  , mod,  , 67` | `487, 724, 7, 62, 16, 6, 4, 6, 53` |

vocab.json

@@ -1,1009 +1,1009 @@
 {
-  "546": 231,
+  "328": 159,
+  "646": 276,
+  "604": 828,
+  "280": 624,
+  "898": 912,
+  "11": 62,
+  "159": 523,
+  "931": 470,
+  "989": 456,
+  "113": 119,
+  "453": 727,
+  "601": 825,
+  "377": 691,
+  "932": 471,
+  "578": 802,
+  "641": 298,
+  "380": 694,
+  "993": 962,
+  "419": 179,
+  "274": 618,
+  "209": 573,
+  "790": 884,
+  "238": 582,
+  "924": 424,
+  "<unk>": 0,
+  "66": 67,
+  "753": 995,
+  "597": 821,
+  "928": 428,
+  "26": 30,
   "752": 994,
-  "702": 866,
+  "258": 602,
+  "387": 701,
+  "587": 811,
+  "63": 93,
+  "506": 780,
+  "415": 175,
+  "784": 878,
+  "19": 25,
+  "180": 544,
+  "396": 710,
+  "712": 301,
+  "794": 888,
+  "592": 816,
+  "902": 916,
+  "742": 354,
+  "690": 854,
   "854": 1004,
-  "537": 226,
-  "29": 33,
-  "28": 32,
-  "562": 786,
-  "5": 12,
-  "169": 533,
-  "645": 275,
-  "167": 531,
-  "87": 74,
-  "906": 920,
-  "751": 993,
-  "732": 352,
-  "795": 889,
-  "239": 583,
-  "832": 410,
-  "567": 791,
-  "737": 321,
-  "278": 622,
-  "317": 150,
-  "907": 921,
-  "780": 874,
-  "56": 48,
-  "909": 923,
-  "236": 580,
-  "466": 740,
-  "694": 858,
-  "25": 29,
-  "344": 658,
-  "616": 255,
+  "472": 746,
+  "107": 481,
+  "286": 630,
   "474": 748,
-  "06": 113,
-  "818": 362,
-  "387": 701,
-  "444": 933,
-  "789": 883,
+  "340": 654,
+  "493": 767,
+  "125": 489,
+  "990": 457,
+  "316": 149,
+  "890": 904,
+  "968": 450,
+  "34": 35,
+  "936": 433,
+  "929": 429,
+  "96": 86,
+  "768": 337,
+  "783": 877,
+  "70": 56,
+  "279": 623,
+  "835": 374,
+  "940": 437,
+  "620": 259,
+  "110": 117,
+  "901": 915,
+  "05": 112,
+  "54": 90,
+  "618": 257,
+  "815": 359,
+  "186": 550,
+  "78": 57,
+  "568": 792,
+  "1": 8,
+  "46": 43,
+  "01": 108,
+  "151": 515,
+  "979": 454,
+  "981": 987,
+  "503": 777,
+  "894": 908,
+  "771": 945,
+  "529": 221,
+  "938": 435,
+  "199": 563,
+  "518": 212,
+  "897": 911,
+  "643": 295,
+  "607": 831,
+  "183": 547,
+  "210": 126,
+  "383": 697,
+  "44": 65,
+  "292": 636,
+  "88": 69,
+  "342": 656,
+  "524": 216,
+  "682": 846,
+  "948": 441,
+  "25": 29,
+  "401": 715,
+  "462": 736,
+  "433": 203,
+  "147": 511,
+  "193": 557,
+  "133": 497,
+  "366": 680,
+  "536": 225,
+  "435": 190,
+  "887": 958,
+  "115": 121,
+  "575": 799,
+  "570": 794,
   "100": 474,
-  "19": 25,
-  "326": 157,
-  "927": 427,
-  "678": 842,
-  "855": 403,
-  "531": 246,
-  "375": 689,
-  "458": 732,
-  "301": 645,
-  "691": 855,
-  "299": 643,
-  "132": 496,
-  "547": 232,
+  "195": 559,
+  "661": 939,
   "731": 351,
-  "464": 738,
-  "85": 83,
+  "320": 153,
+  "35": 36,
+  "514": 208,
+  "249": 593,
+  "959": 447,
+  "947": 440,
+  "184": 548,
+  "658": 283,
+  "763": 999,
+  "853": 1003,
+  "636": 270,
+  "504": 778,
+  "483": 757,
+  "694": 858,
+  "143": 507,
+  "778": 340,
+  "87": 74,
+  "677": 841,
+  "467": 741,
+  "217": 132,
   "708": 872,
-  "3": 10,
-  "965": 468,
-  "646": 276,
-  "01": 108,
-  "649": 279,
-  "251": 595,
+  "507": 781,
+  "464": 738,
+  "296": 640,
+  "820": 364,
+  "450": 724,
+  "485": 759,
+  "665": 943,
+  "307": 651,
   "543": 245,
-  "565": 789,
-  "71": 95,
-  "709": 873,
-  "985": 991,
-  "889": 398,
-  "573": 797,
-  "740": 324,
-  "792": 886,
-  "341": 655,
-  "199": 563,
-  "107": 481,
-  "862": 1006,
-  "903": 917,
-  "436": 191,
-  "362": 676,
-  "650": 280,
-  "104": 478,
-  "975": 985,
-  "<unk>": 0,
+  "733": 344,
+  "796": 890,
+  "190": 554,
+  "457": 731,
+  "577": 801,
+  "219": 134,
+  "703": 867,
+  "253": 597,
+  "956": 444,
+  "295": 639,
+  "851": 1001,
+  "700": 864,
+  "613": 252,
+  "878": 395,
+  "949": 442,
+  "600": 824,
+  "251": 595,
+  "637": 271,
+  "819": 363,
   "270": 614,
-  "388": 702,
-  "91": 103,
-  "289": 633,
-  "717": 306,
-  "350": 664,
-  "365": 679,
-  "130": 494,
-  "628": 265,
-  "148": 512,
-  "271": 615,
-  "67": 53,
-  "264": 608,
-  "24": 28,
-  "120": 484,
-  "328": 159,
-  "145": 509,
-  "699": 863,
-  "494": 768,
-  "809": 903,
-  "07": 114,
-  "361": 675,
-  "334": 162,
-  "549": 234,
-  "58": 50,
-  "163": 527,
-  "742": 354,
-  "492": 766,
-  "865": 408,
-  "913": 415,
-  "82": 100,
-  "479": 753,
-  "611": 289,
-  "888": 959,
-  "868": 392,
-  "956": 444,
-  "819": 363,
-  "244": 588,
+  "51": 87,
+  "218": 133,
   "452": 726,
-  "374": 688,
-  "149": 513,
   "216": 131,
-  "445": 196,
-  "905": 919,
-  "898": 912,
-  "841": 411,
-  "30": 34,
-  "583": 807,
-  "738": 322,
-  "314": 147,
-  "460": 734,
-  "501": 775,
-  "45": 42,
-  "634": 268,
-  "265": 609,
-  "856": 386,
-  "568": 792,
-  "12": 18,
-  "261": 605,
-  "41": 79,
-  "814": 358,
-  "325": 156,
-  "370": 684,
-  "400": 714,
-  "729": 316,
-  "390": 704,
   "321": 170,
-  "802": 896,
-  "221": 925,
-  "176": 540,
-  "186": 550,
-  "776": 950,
-  "114": 120,
-  "451": 725,
+  "904": 918,
+  "550": 235,
+  "696": 860,
+  "616": 255,
+  "798": 892,
+  "432": 970,
+  "343": 657,
+  "171": 535,
+  "719": 308,
+  "370": 684,
+  "240": 584,
+  "930": 430,
+  "27": 31,
+  "414": 174,
+  "639": 273,
+  "22": 63,
+  "106": 480,
+  "304": 648,
+  "563": 787,
+  "256": 600,
+  "333": 929,
+  "737": 321,
+  "721": 348,
+  "239": 583,
+  "413": 173,
+  "717": 306,
+  "841": 411,
+  "806": 900,
+  "406": 720,
+  "716": 305,
+  "751": 993,
+  "681": 845,
+  "356": 670,
+  "726": 313,
+  "685": 849,
   "827": 369,
-  "990": 457,
-  "808": 902,
-  "98": 76,
-  "316": 149,
-  "835": 374,
-  "845": 380,
-  "762": 998,
-  "590": 814,
-  "135": 499,
-  "720": 309,
-  "469": 743,
+  "542": 249,
+  "139": 503,
+  "427": 185,
+  "179": 543,
+  "6": 13,
+  "12": 18,
+  "741": 353,
+  "644": 292,
+  "971": 981,
+  "233": 577,
+  "194": 558,
+  "526": 218,
+  "801": 895,
+  "477": 751,
+  "362": 676,
+  "998": 967,
+  "461": 735,
   "213": 128,
-  "303": 647,
-  "147": 511,
-  "84": 102,
-  "227": 140,
-  "586": 810,
-  "995": 964,
-  "360": 674,
-  "468": 742,
-  "403": 717,
-  "761": 997,
-  "83": 101,
-  "530": 222,
-  "777": 951,
-  "129": 493,
-  "641": 298,
-  "825": 367,
-  "20": 26,
-  "39": 40,
-  "425": 183,
-  "446": 197,
-  "662": 940,
-  "97": 75,
-  "589": 813,
-  "456": 730,
-  "415": 175,
-  "831": 409,
-  "950": 443,
-  "815": 359,
-  "409": 723,
-  "627": 264,
-  "313": 146,
-  "807": 901,
-  "208": 572,
+  "287": 631,
+  "430": 188,
+  "21": 71,
+  "391": 705,
+  "336": 164,
+  "759": 334,
+  "828": 370,
+  "399": 713,
+  "811": 399,
+  "475": 749,
+  "547": 232,
+  "368": 682,
+  "943": 467,
+  "955": 462,
+  "872": 976,
+  "226": 139,
+  "812": 356,
+  "188": 552,
+  "588": 812,
+  "463": 737,
+  "201": 565,
+  "786": 880,
+  "513": 207,
+  "653": 973,
+  "264": 608,
   "746": 326,
-  "672": 836,
-  "260": 604,
-  "240": 584,
-  "357": 671,
   "782": 876,
-  "274": 618,
-  "931": 470,
-  "393": 707,
-  "765": 350,
-  "201": 565,
-  "986": 992,
-  "877": 405,
-  "15": 21,
-  "984": 990,
-  "636": 270,
-  "389": 703,
-  "116": 122,
-  "848": 383,
-  "642": 299,
-  "203": 567,
-  "838": 377,
-  "843": 407,
-  "477": 751,
-  "806": 900,
-  "263": 607,
-  "309": 653,
-  "561": 785,
-  "837": 376,
-  "364": 678,
-  "235": 579,
-  "310": 144,
-  "254": 598,
+  "373": 687,
+  "45": 42,
+  "581": 805,
+  "499": 773,
+  "305": 649,
+  "282": 626,
+  "145": 509,
+  "777": 951,
+  "699": 863,
+  "101": 475,
+  "679": 843,
+  "323": 154,
+  "09": 116,
+  "00": 107,
+  "614": 253,
+  "425": 183,
+  "281": 625,
+  "808": 902,
+  "36": 37,
+  "780": 874,
   "593": 817,
-  "143": 507,
-  "404": 718,
-  "252": 596,
-  "450": 724,
-  "979": 454,
-  "696": 860,
-  "435": 190,
-  "904": 918,
-  "245": 589,
-  "76": 82,
-  "311": 168,
-  "4": 11,
-  "999": 968,
+  "04": 111,
+  "468": 742,
+  "814": 358,
+  "840": 379,
+  "960": 448,
+  "494": 768,
+  "945": 438,
+  "874": 978,
+  "630": 267,
   "559": 239,
-  "94": 106,
-  "730": 317,
-  "295": 639,
   "225": 138,
-  "207": 571,
-  "739": 323,
-  "493": 767,
-  "438": 193,
-  "157": 521,
-  "284": 628,
-  "566": 790,
-  "373": 687,
-  "514": 208,
-  "487": 761,
-  "518": 212,
-  "587": 811,
-  "527": 219,
-  "09": 116,
-  "572": 796,
-  "136": 500,
-  "380": 694,
-  "517": 211,
-  "969": 451,
-  "195": 559,
-  "366": 680,
-  "0": 7,
-  "932": 471,
-  "916": 418,
-  "784": 878,
-  "983": 989,
-  "117": 123,
-  "mod": 4,
-  "416": 176,
-  "16": 22,
-  "707": 871,
-  "893": 907,
-  "276": 620,
-  "340": 654,
-  "72": 96,
-  "470": 744,
-  "18": 24,
-  "772": 946,
-  "829": 371,
-  "279": 623,
-  "528": 220,
-  "882": 953,
-  "297": 641,
-  "68": 54,
-  "408": 722,
-  "88": 69,
-  "548": 233,
-  "560": 784,
-  "639": 273,
-  "52": 88,
-  "268": 612,
-  "596": 820,
-  "495": 769,
-  "156": 520,
-  "532": 247,
-  "281": 625,
-  "505": 779,
-  "558": 238,
-  "756": 331,
-  "897": 911,
-  "253": 597,
-  "935": 432,
-  "315": 148,
-  "521": 244,
-  "124": 488,
-  "515": 209,
-  "508": 782,
-  "22": 63,
-  "763": 999,
-  "439": 194,
-  "580": 804,
-  "401": 715,
-  "134": 498,
-  "7": 14,
-  "656": 281,
-  "410": 171,
-  "133": 497,
-  "632": 297,
-  "152": 516,
-  "658": 283,
-  "462": 736,
-  "689": 853,
-  "949": 442,
-  "578": 802,
-  "14": 20,
-  "62": 92,
-  "669": 288,
-  "750": 330,
-  "660": 285,
-  "43": 72,
-  "101": 475,
+  "611": 289,
+  "257": 601,
+  "839": 378,
+  "182": 546,
+  "975": 985,
+  "122": 486,
   "231": 575,
-  "659": 284,
-  "994": 963,
-  "188": 552,
-  "497": 771,
-  "384": 698,
-  "194": 558,
-  "760": 335,
-  "185": 549,
-  "813": 357,
-  "53": 89,
-  "945": 438,
-  "506": 780,
-  "834": 373,
-  "146": 510,
-  "230": 574,
-  "736": 320,
-  "226": 139,
-  "407": 721,
-  "607": 831,
-  "395": 709,
-  "170": 534,
-  "33": 64,
-  "757": 332,
-  "484": 758,
-  "874": 978,
-  "329": 160,
-  "869": 393,
-  "168": 532,
-  "584": 808,
-  "920": 422,
-  "744": 345,
-  "60": 52,
-  "141": 505,
-  "826": 368,
-  "78": 57,
-  "405": 719,
-  "648": 278,
-  "102": 476,
-  "630": 267,
-  "483": 757,
-  "232": 576,
-  "958": 446,
-  "184": 548,
-  "912": 414,
-  "850": 385,
-  "799": 893,
-  "872": 976,
-  "218": 133,
-  "424": 182,
-  "643": 295,
-  "322": 169,
-  "637": 271,
-  "349": 663,
-  "368": 682,
-  "412": 172,
-  "220": 135,
-  "273": 617,
-  "36": 37,
-  "256": 600,
-  "238": 582,
-  "734": 318,
-  "8": 15,
-  "538": 227,
-  "00": 107,
-  "960": 448,
-  "159": 523,
-  "700": 864,
+  "03": 110,
+  "822": 400,
+  "769": 338,
+  "400": 714,
+  "836": 375,
+  "261": 605,
+  "386": 700,
+  "551": 934,
+  "534": 223,
+  "574": 798,
+  "</s>": 2,
+  "263": 607,
+  "610": 250,
+  "42": 80,
+  "109": 483,
+  "215": 130,
   "489": 763,
-  "237": 581,
-  "606": 830,
-  "255": 599,
-  "989": 456,
-  "638": 272,
-  "337": 165,
-  "259": 603,
-  "966": 463,
-  "77": 68,
-  "257": 601,
-  "569": 793,
-  "491": 765,
-  "748": 328,
-  "541": 248,
-  "9": 16,
-  "554": 937,
-  "307": 651,
-  "892": 906,
-  "671": 835,
+  "276": 620,
+  "809": 903,
+  "675": 839,
   "283": 627,
-  "728": 315,
-  "306": 650,
-  "190": 554,
-  "599": 823,
-  "715": 304,
-  "535": 224,
-  "513": 207,
-  "79": 58,
-  "828": 370,
-  "787": 881,
-  "654": 974,
-  "915": 417,
   "773": 947,
-  "40": 41,
-  "486": 760,
-  "557": 237,
-  "433": 203,
-  "605": 829,
-  "81": 99,
-  "653": 973,
-  "785": 879,
-  "936": 433,
-  "164": 528,
-  "577": 801,
-  "189": 553,
-  "<pad>": 3,
-  "80": 59,
-  "564": 788,
-  "478": 752,
+  "792": 886,
+  "221": 925,
+  "834": 373,
+  "934": 431,
+  "465": 739,
   "555": 938,
-  "197": 561,
-  "800": 894,
-  "592": 816,
-  "385": 699,
-  "706": 870,
-  "342": 656,
-  "891": 905,
-  "972": 982,
-  "61": 91,
-  "873": 977,
-  "735": 319,
-  "570": 794,
-  "441": 930,
-  "127": 491,
-  "63": 93,
-  "335": 163,
-  "150": 514,
-  "121": 485,
-  "714": 303,
-  "<s>": 1,
-  "721": 348,
-  "943": 467,
-  "743": 349,
-  "556": 236,
-  "35": 36,
-  "08": 115,
-  "228": 141,
-  "434": 189,
-  "233": 577,
-  "615": 254,
-  "1": 8,
-  "768": 337,
-  "181": 545,
-  "285": 629,
-  "200": 564,
-  "27": 31,
-  "933": 460,
-  "173": 537,
-  "183": 547,
-  "04": 111,
-  "871": 975,
-  "339": 167,
-  "50": 47,
-  "764": 1000,
-  "174": 538,
-  "2": 9,
-  "529": 221,
-  "166": 530,
-  "533": 242,
-  "925": 425,
-  "614": 253,
-  "710": 300,
-  "103": 477,
-  "626": 263,
-  "191": 555,
-  "352": 666,
-  "676": 840,
-  "242": 586,
-  "48": 45,
-  "917": 419,
-  "540": 229,
-  "138": 502,
-  "10": 17,
-  "413": 173,
-  "110": 117,
-  "745": 325,
-  "930": 430,
-  "111": 924,
-  "193": 557,
-  "115": 121,
-  "790": 884,
-  "429": 187,
-  "766": 347,
-  "698": 862,
-  "719": 308,
-  "695": 859,
-  "836": 375,
-  "536": 225,
-  "448": 199,
-  "402": 716,
-  "144": 508,
-  "422": 202,
-  "205": 569,
-  "345": 659,
-  "670": 834,
-  "601": 825,
-  "05": 112,
-  "287": 631,
-  "140": 504,
-  "386": 700,
-  "853": 1003,
-  "21": 71,
-  "453": 727,
-  "811": 399,
-  "918": 420,
-  "860": 390,
-  "187": 551,
-  "209": 573,
-  "449": 200,
-  "574": 798,
-  "206": 570,
-  "846": 381,
-  "908": 922,
-  "988": 465,
-  "683": 847,
-  "523": 215,
-  "471": 745,
-  "498": 772,
-  "49": 46,
-  "594": 818,
-  "857": 387,
-  "359": 673,
-  "511": 240,
   "624": 261,
-  "886": 957,
-  "651": 971,
-  "122": 486,
-  "914": 416,
-  "929": 429,
-  "996": 965,
-  "944": 461,
-  "31": 77,
-  "304": 648,
-  "118": 124,
-  "180": 544,
-  "243": 587,
+  "667": 286,
+  "628": 265,
+  "656": 281,
+  "98": 76,
+  "693": 857,
+  "173": 537,
+  "37": 38,
+  "997": 966,
+  "148": 512,
+  "907": 921,
+  "<pad>": 3,
+  "974": 984,
+  "349": 663,
+  "748": 328,
+  "121": 485,
+  "329": 160,
+  "311": 168,
+  "154": 518,
+  "572": 796,
+  "447": 198,
+  "149": 513,
+  "247": 591,
+  "813": 357,
   "885": 956,
-  "96": 86,
-  "542": 249,
-  "305": 649,
-  "123": 487,
-  "210": 126,
-  "379": 693,
-  "883": 954,
-  "881": 952,
-  "820": 364,
-  "241": 585,
-  "839": 378,
-  "224": 137,
-  "432": 970,
-  "619": 258,
-  "23": 27,
-  "302": 646,
-  "430": 188,
-  "688": 852,
-  "613": 252,
-  "968": 450,
-  "987": 469,
-  "319": 152,
-  "503": 777,
-  "355": 669,
-  "973": 983,
-  "902": 916,
-  "711": 342,
-  "861": 1005,
-  "396": 710,
+  "527": 219,
+  "41": 79,
+  "446": 197,
+  "886": 957,
+  "649": 279,
+  "692": 856,
+  "=": 5,
   "663": 941,
-  "246": 590,
-  "778": 340,
-  "957": 445,
-  "880": 397,
-  "204": 568,
-  "879": 396,
-  "797": 891,
-  "910": 413,
-  "946": 439,
-  "884": 955,
-  "269": 613,
-  "17": 23,
-  "753": 995,
-  "851": 1001,
   "300": 644,
-  "822": 400,
-  "997": 966,
-  "754": 996,
-  "291": 635,
-  "620": 259,
-  "977": 464,
-  "602": 826,
-  "705": 869,
-  "417": 177,
-  "155": 519,
-  "674": 838,
-  " ": 6,
-  "991": 960,
-  "481": 755,
-  "485": 759,
-  "139": 503,
-  "330": 161,
-  "59": 51,
-  "336": 164,
-  "926": 426,
-  "125": 489,
+  "779": 341,
   "858": 388,
-  "690": 854,
-  "154": 518,
-  "54": 90,
-  "934": 431,
-  "870": 394,
-  "928": 428,
-  "504": 778,
-  "849": 384,
-  "534": 223,
-  "86": 84,
-  "192": 556,
-  "93": 105,
-  "771": 945,
-  "64": 94,
-  "687": 851,
-  "840": 379,
-  "214": 129,
-  "363": 677,
-  "722": 343,
+  "633": 291,
+  "657": 282,
+  "394": 708,
+  "674": 838,
+  "449": 200,
+  "389": 703,
+  "635": 269,
+  "30": 34,
+  "178": 542,
+  "743": 349,
+  "94": 106,
+  "829": 371,
+  "883": 954,
+  "97": 75,
+  "14": 20,
+  "983": 989,
   "347": 661,
-  "788": 882,
-  "701": 865,
+  "579": 803,
+  "599": 823,
+  "176": 540,
+  "38": 39,
+  "297": 641,
+  "603": 827,
+  "278": 622,
+  "757": 332,
+  "441": 930,
+  "738": 322,
+  "5": 12,
+  "676": 840,
+  "357": 671,
+  "724": 311,
+  "913": 415,
+  "390": 704,
+  "244": 588,
+  "131": 495,
+  "75": 81,
+  "18": 24,
+  "672": 836,
+  "58": 50,
+  "697": 861,
+  "185": 549,
+  "118": 124,
+  "175": 539,
+  "64": 94,
+  "727": 314,
+  "74": 98,
+  "116": 122,
+  "08": 115,
+  "424": 182,
+  "327": 158,
+  "262": 606,
+  "654": 974,
+  "334": 162,
+  "870": 394,
+  "50": 47,
+  "980": 455,
+  "919": 421,
   "875": 979,
-  "463": 737,
-  "551": 934,
+  "466": 740,
+  "911": 458,
+  "10": 17,
+  "892": 906,
+  "212": 127,
   "921": 466,
-  "126": 490,
-  "420": 180,
-  "461": 735,
-  "411": 201,
-  "783": 877,
-  "982": 988,
-  "473": 747,
-  "6": 13,
+  "556": 236,
+  "976": 986,
+  "520": 214,
+  "862": 1006,
+  "491": 765,
   "758": 333,
-  "770": 339,
-  "725": 312,
-  "472": 746,
-  "44": 65,
-  "95": 85,
-  "588": 812,
-  "791": 885,
-  "467": 741,
-  "876": 980,
-  "686": 850,
-  "215": 130,
+  "764": 1000,
+  "546": 231,
+  "345": 659,
+  "640": 274,
+  "497": 771,
+  "132": 496,
+  "655": 293,
+  "882": 953,
+  "609": 833,
+  "645": 275,
+  "629": 266,
+  "678": 842,
+  "747": 327,
+  "119": 125,
+  "807": 901,
+  "760": 335,
+  "756": 331,
+  "164": 528,
+  "255": 599,
+  "728": 315,
+  "445": 196,
+  "900": 914,
+  "837": 376,
+  "857": 387,
   "591": 815,
-  "675": 839,
-  "69": 55,
-  "516": 210,
-  "423": 181,
-  "623": 260,
-  "286": 630,
-  "399": 713,
-  "581": 805,
-  "816": 360,
+  "86": 84,
+  "944": 461,
+  "92": 104,
+  "565": 789,
+  "222": 926,
+  "90": 61,
+  "632": 297,
+  "344": 658,
+  "338": 166,
+  "891": 905,
+  "642": 299,
+  "511": 240,
+  "865": 408,
+  "869": 393,
+  "23": 27,
   "353": 667,
-  "496": 770,
-  "419": 179,
-  "178": 542,
+  "987": 469,
+  "744": 345,
+  "275": 619,
+  "802": 896,
+  "831": 409,
+  "937": 434,
+  "421": 204,
+  "558": 238,
+  "923": 423,
+  "539": 228,
+  "9": 16,
+  "374": 688,
+  "906": 920,
+  "528": 220,
+  "202": 566,
+  "487": 761,
+  "844": 402,
+  "55": 66,
+  "3": 10,
+  "525": 217,
+  "505": 779,
+  "103": 477,
+  "689": 853,
+  "615": 254,
+  "312": 145,
   "108": 482,
-  "507": 781,
-  "282": 626,
-  "112": 118,
-  "955": 462,
-  "595": 819,
+  "57": 49,
+  "848": 383,
+  "378": 692,
+  "17": 23,
+  "899": 913,
+  "583": 807,
+  "659": 284,
+  "284": 628,
+  "310": 144,
+  "208": 572,
+  "203": 567,
+  "557": 237,
+  "723": 310,
+  "76": 82,
+  "996": 965,
+  "168": 532,
+  "850": 385,
+  "346": 660,
+  "440": 195,
+  "580": 804,
+  "787": 881,
+  "833": 401,
+  "910": 413,
+  "20": 26,
+  "309": 653,
+  "417": 177,
+  "161": 525,
+  "99": 70,
+  "308": 652,
+  "846": 381,
+  "512": 206,
+  "mod": 4,
+  "422": 202,
+  "325": 156,
+  "330": 161,
+  "160": 524,
+  "873": 977,
   "922": 459,
-  "312": 145,
-  "941": 472,
+  "170": 534,
+  "140": 504,
+  "713": 302,
+  "982": 988,
+  "832": 410,
+  "501": 775,
+  "734": 318,
+  "972": 982,
   "455": 729,
-  "655": 293,
+  "918": 420,
+  "306": 650,
+  "994": 963,
+  "167": 531,
+  "973": 983,
+  "332": 928,
+  "687": 851,
+  "476": 750,
+  "668": 287,
+  "715": 304,
+  "571": 795,
+  "39": 40,
+  "662": 940,
+  "895": 909,
+  "745": 325,
+  "970": 452,
+  "181": 545,
+  "669": 288,
+  "564": 788,
+  "816": 360,
+  "266": 610,
+  "941": 472,
+  "56": 48,
+  "903": 917,
+  "966": 463,
+  "335": 163,
+  "856": 386,
+  "200": 564,
+  "598": 822,
   "229": 142,
+  "29": 33,
+  "849": 384,
+  "605": 829,
+  "986": 992,
+  "927": 427,
+  "65": 73,
+  "730": 317,
+  "84": 102,
+  "660": 285,
+  "331": 927,
+  "749": 329,
+  "339": 167,
+  "82": 100,
+  "67": 53,
+  "480": 754,
+  "562": 786,
+  "896": 910,
+  "725": 312,
+  "704": 868,
+  "198": 562,
+  "664": 942,
+  "72": 96,
+  "711": 342,
+  "709": 873,
+  "471": 745,
+  "473": 747,
+  "269": 613,
+  "680": 844,
+  "478": 752,
+  "411": 201,
+  "638": 272,
+  "765": 350,
+  "135": 499,
+  "852": 1002,
+  "634": 268,
+  "459": 733,
+  "405": 719,
+  "867": 391,
   "522": 241,
-  "151": 515,
-  "427": 185,
-  "609": 833,
-  "545": 230,
-  "610": 250,
+  "860": 390,
+  "540": 229,
+  "155": 519,
+  "740": 324,
   "294": 638,
-  "267": 611,
-  "697": 861,
-  "26": 30,
-  "177": 541,
+  "301": 645,
+  "358": 672,
+  "350": 664,
+  "204": 568,
+  "889": 398,
+  "189": 553,
+  "129": 493,
+  "364": 678,
+  "508": 782,
+  "367": 681,
+  "260": 604,
+  "917": 419,
+  "509": 783,
+  "766": 347,
+  "376": 690,
+  "736": 320,
+  "85": 83,
+  "111": 924,
+  "567": 791,
+  "4": 11,
+  "855": 403,
+  "584": 808,
+  "124": 488,
+  "606": 830,
+  "595": 819,
   "234": 578,
+  "117": 123,
+  "684": 848,
+  "172": 536,
+  "673": 837,
+  "797": 891,
+  "395": 709,
+  "939": 436,
+  "825": 367,
+  "211": 143,
   "89": 60,
-  "859": 389,
-  "92": 104,
-  "539": 228,
-  "377": 691,
-  "219": 134,
+  "754": 996,
   "866": 404,
-  "666": 944,
-  "970": 452,
+  "191": 555,
+  "531": 246,
+  "691": 855,
+  "500": 774,
+  "138": 502,
+  "444": 933,
+  "965": 468,
+  "706": 870,
+  "187": 551,
+  "977": 464,
+  "871": 975,
+  "596": 820,
+  "774": 948,
+  "375": 689,
+  "259": 603,
+  "608": 832,
+  "969": 451,
+  "549": 234,
+  "795": 889,
+  "915": 417,
+  "152": 516,
+  "537": 226,
+  "137": 501,
+  "538": 227,
+  "541": 248,
+  "623": 260,
+  "150": 514,
+  "207": 571,
+  "821": 406,
+  "617": 256,
+  "805": 899,
+  "235": 579,
+  "40": 41,
+  "13": 19,
+  "762": 998,
+  "496": 770,
+  "265": 609,
+  "112": 118,
+  "985": 991,
+  "317": 150,
+  "382": 696,
+  "573": 797,
+  "272": 616,
+  "589": 813,
+  "884": 955,
+  "671": 835,
+  "735": 319,
+  "104": 478,
+  "404": 718,
+  "958": 446,
+  "448": 199,
+  "718": 307,
+  "220": 135,
+  "403": 717,
+  "224": 137,
+  "484": 758,
+  "385": 699,
+  "360": 674,
+  "443": 932,
+  "933": 460,
+  "31": 77,
+  "33": 64,
+  "407": 721,
+  "988": 465,
+  "277": 621,
+  "995": 964,
+  "319": 152,
+  "8": 15,
+  "322": 169,
+  "569": 793,
+  "785": 879,
+  "470": 744,
+  "412": 172,
+  "458": 732,
+  "388": 702,
+  "381": 695,
+  "582": 806,
+  "842": 412,
   "967": 449,
+  "909": 923,
+  "492": 766,
+  "502": 776,
+  "302": 646,
+  "420": 180,
   "73": 97,
-  "47": 44,
-  "759": 334,
-  "633": 291,
-  "437": 192,
-  "105": 479,
-  "823": 365,
-  "598": 822,
-  "629": 266,
-  "158": 522,
-  "692": 856,
+  "246": 590,
+  "293": 637,
+  "498": 772,
+  "799": 893,
+  "978": 453,
+  "942": 473,
+  "48": 45,
+  "666": 944,
+  "136": 500,
+  "416": 176,
+  "439": 194,
+  "120": 484,
+  "926": 426,
+  "227": 140,
+  "254": 598,
+  "602": 826,
+  "454": 728,
+  "826": 368,
+  "516": 210,
+  "868": 392,
+  "755": 346,
+  "2": 9,
+  "268": 612,
+  "165": 529,
+  "451": 725,
+  "622": 290,
+  "876": 980,
+  "984": 990,
+  "91": 103,
+  "291": 635,
+  "156": 520,
+  "946": 439,
+  "436": 191,
+  "750": 330,
+  "273": 617,
+  "359": 673,
+  "252": 596,
+  "177": 541,
+  "59": 51,
+  "621": 294,
   "431": 969,
-  "55": 66,
-  "131": 495,
-  "75": 81,
-  "459": 733,
-  "923": 423,
-  "510": 205,
+  "585": 809,
+  "197": 561,
+  "925": 425,
+  "83": 101,
+  "460": 734,
+  "126": 490,
+  "285": 629,
+  "397": 711,
+  "515": 209,
+  "314": 147,
+  "482": 756,
+  "626": 263,
+  "761": 997,
   "625": 262,
-  "369": 683,
-  "603": 827,
+  "243": 587,
+  "402": 716,
+  "914": 416,
+  "192": 556,
+  "843": 407,
+  "881": 952,
+  "683": 847,
+  "920": 422,
+  "698": 862,
+  "688": 852,
+  "772": 946,
+  "166": 530,
+  "428": 186,
+  "707": 871,
+  "935": 432,
+  "163": 527,
+  "770": 339,
+  "237": 581,
+  "648": 278,
+  "523": 215,
+  "992": 961,
+  "418": 178,
+  "686": 850,
+  "533": 242,
+  "469": 743,
+  "423": 181,
+  "627": 264,
+  "393": 707,
   "775": 949,
-  "896": 910,
-  "937": 434,
-  "165": 529,
-  "298": 642,
-  "718": 307,
+  "888": 959,
+  "16": 22,
+  "776": 950,
+  "652": 972,
+  "893": 907,
+  "271": 615,
+  "62": 92,
+  "838": 377,
+  "861": 1005,
+  "789": 883,
+  "289": 633,
+  "363": 677,
+  "408": 722,
+  "123": 487,
+  "517": 211,
+  "153": 517,
+  "519": 213,
+  "434": 189,
+  "544": 243,
+  "586": 810,
+  "481": 755,
   "804": 898,
-  "250": 594,
-  "582": 806,
-  "46": 43,
-  "947": 440,
-  "296": 640,
-  "482": 756,
-  "842": 412,
-  "109": 483,
-  "878": 395,
-  "266": 610,
-  "524": 216,
-  "376": 690,
-  "712": 301,
-  "899": 913,
-  "520": 214,
-  "447": 198,
-  "182": 546,
+  "999": 968,
+  "560": 784,
+  "561": 785,
   "351": 665,
-  "392": 706,
-  "383": 697,
-  "371": 685,
-  "901": 915,
-  "249": 593,
-  "781": 875,
-  "331": 927,
-  "998": 967,
-  "66": 67,
-  "=": 5,
-  "552": 935,
-  "414": 174,
-  "971": 981,
-  "367": 681,
-  "490": 764,
-  "677": 841,
-  "290": 634,
-  "318": 151,
-  "940": 437,
-  "70": 56,
-  "119": 125,
-  "631": 296,
-  "890": 904,
-  "162": 526,
-  "137": 501,
-  "852": 1002,
-  "372": 686,
-  "323": 154,
-  "867": 391,
-  "579": 803,
-  "480": 754,
-  "817": 361,
-  "</s>": 2,
-  "175": 539,
-  "600": 824,
-  "57": 49,
-  "37": 38,
-  "465": 739,
-  "418": 178,
-  "747": 327,
-  "179": 543,
-  "812": 356,
-  "475": 749,
-  "272": 616,
-  "895": 909,
-  "128": 492,
-  "774": 948,
-  "608": 832,
-  "356": 670,
-  "704": 868,
-  "992": 961,
-  "673": 837,
-  "397": 711,
-  "681": 845,
-  "13": 19,
-  "544": 243,
-  "348": 662,
-  "333": 929,
-  "519": 213,
-  "212": 127,
-  "911": 458,
-  "222": 926,
-  "275": 619,
-  "42": 80,
-  "959": 447,
-  "32": 78,
-  "726": 313,
-  "684": 848,
-  "358": 672,
-  "664": 942,
-  "280": 624,
+  "384": 698,
+  "398": 712,
   "288": 632,
-  "803": 897,
-  "258": 602,
-  "685": 849,
-  "622": 290,
-  "428": 186,
-  "512": 206,
-  "667": 286,
-  "51": 87,
+  "230": 574,
+  "479": 753,
+  "07": 114,
+  "429": 187,
+  "196": 560,
+  "7": 14,
+  "206": 570,
+  "341": 655,
+  "702": 866,
+  "521": 244,
+  "437": 192,
+  "824": 366,
+  "590": 814,
+  "732": 352,
+  "174": 538,
+  "93": 105,
+  "47": 44,
+  "53": 89,
+  "324": 155,
+  "701": 865,
   "767": 336,
-  "900": 914,
-  "160": 524,
+  "52": 88,
+  "739": 323,
+  "695": 859,
+  "95": 85,
+  "313": 146,
+  "326": 157,
+  "781": 875,
+  "722": 343,
+  "729": 316,
+  "912": 414,
+  "803": 897,
+  "714": 303,
+  "879": 396,
+  "371": 685,
+  "102": 476,
+  "144": 508,
+  "<s>": 1,
+  "355": 669,
+  "495": 769,
+  "61": 91,
+  "594": 818,
+  "442": 931,
+  "146": 510,
+  "15": 21,
+  "60": 52,
+  "619": 258,
+  "352": 666,
+  "158": 522,
+  "241": 585,
+  "651": 971,
+  "232": 576,
+  "788": 882,
+  "710": 300,
+  "299": 643,
   "830": 372,
-  "217": 132,
-  "640": 274,
-  "02": 109,
-  "844": 402,
-  "65": 73,
-  "293": 637,
-  "942": 473,
-  "38": 39,
+  "631": 296,
+  "157": 521,
+  "128": 492,
+  "510": 205,
+  "916": 418,
+  "793": 887,
+  "817": 361,
+  "552": 935,
+  "105": 479,
+  "80": 59,
+  "127": 491,
+  "242": 586,
+  "426": 184,
+  "545": 230,
+  "77": 68,
+  "880": 397,
+  "991": 960,
+  "24": 28,
+  "248": 592,
+  "957": 445,
+  "245": 589,
+  "49": 46,
+  "438": 193,
   "847": 382,
-  "198": 562,
-  "391": 705,
-  "585": 809,
-  "320": 153,
-  "733": 344,
-  "939": 436,
-  "247": 591,
-  "680": 844,
-  "727": 314,
-  "652": 972,
-  "421": 204,
-  "644": 292,
-  "618": 257,
+  "456": 730,
+  "06": 113,
+  "486": 760,
+  "205": 569,
+  "348": 662,
+  "361": 675,
+  "28": 32,
+  "554": 937,
+  "142": 506,
+  "250": 594,
+  "379": 693,
+  "130": 494,
+  "214": 129,
+  "69": 55,
   "612": 251,
-  "106": 480,
-  "821": 406,
-  "406": 720,
-  "693": 857,
-  "526": 218,
-  "442": 931,
-  "277": 621,
-  "981": 987,
-  "153": 517,
-  "919": 421,
-  "382": 696,
-  "563": 787,
-  "74": 98,
-  "398": 712,
-  "196": 560,
-  "769": 338,
-  "90": 61,
-  "794": 888,
-  "502": 776,
-  "394": 708,
-  "974": 984,
-  "11": 62,
+  "79": 58,
+  "318": 151,
+  "650": 280,
+  "162": 526,
+  "228": 141,
   "810": 355,
-  "172": 536,
-  "332": 928,
-  "550": 235,
-  "576": 800,
-  "668": 287,
-  "617": 256,
-  "142": 506,
-  "661": 939,
-  "621": 294,
-  "476": 750,
-  "796": 890,
-  "378": 692,
-  "716": 305,
-  "805": 899,
-  "679": 843,
-  "327": 158,
-  "978": 453,
-  "500": 774,
-  "440": 195,
-  "665": 943,
-  "657": 282,
-  "938": 435,
-  "786": 880,
-  "488": 762,
-  "801": 895,
-  "833": 401,
-  "99": 70,
-  "509": 783,
-  "779": 341,
-  "343": 657,
-  "798": 892,
-  "948": 441,
-  "346": 660,
-  "682": 846,
-  "976": 986,
-  "34": 35,
+  "530": 222,
+  "905": 919,
+  "409": 723,
+  "532": 247,
+  "859": 389,
+  " ": 6,
+  "68": 54,
+  "392": 706,
+  "410": 171,
+  "372": 686,
+  "950": 443,
+  "223": 136,
+  "566": 790,
+  "845": 380,
+  "02": 109,
+  "134": 498,
+  "823": 365,
   "553": 936,
-  "741": 353,
-  "324": 155,
-  "354": 668,
   "647": 277,
-  "604": 828,
-  "635": 269,
-  "571": 795,
-  "723": 310,
-  "713": 302,
-  "980": 455,
-  "161": 525,
-  "887": 958,
-  "724": 311,
-  "338": 166,
-  "824": 366,
-  "749": 329,
-  "575": 799,
-  "755": 346,
-  "426": 184,
-  "308": 652,
-  "248": 592,
-  "262": 606,
-  "454": 728,
-  "443": 932,
-  "894": 908,
-  "793": 887,
-  "211": 143,
-  "292": 636,
-  "499": 773,
-  "924": 424,
-  "171": 535,
-  "202": 566,
-  "457": 731,
-  "381": 695,
-  "597": 821,
-  "993": 962,
-  "03": 110,
-  "525": 217,
-  "703": 867,
-  "113": 119,
-  "223": 136
+  "720": 309,
+  "0": 7,
+  "365": 679,
+  "337": 165,
+  "369": 683,
+  "303": 647,
+  "114": 120,
+  "43": 72,
+  "791": 885,
+  "32": 78,
+  "488": 762,
+  "71": 95,
+  "877": 405,
+  "236": 580,
+  "267": 611,
+  "548": 233,
+  "705": 869,
+  "535": 224,
+  "290": 634,
+  "81": 99,
+  "298": 642,
+  "800": 894,
+  "576": 800,
+  "490": 764,
+  "169": 533,
+  "315": 148,
+  "818": 362,
+  "908": 922,
+  "354": 668,
+  "141": 505,
+  "670": 834
 }