Hugging Face's logo

flexitok
/
mod-tokenizers-ltr_5digit

Undetermined
tokenizer
bpe
flexitok
fineweb2
Model card Files
xet
Community
gsaltintas commited on
Commit
b860ab5
·
verified ·
1 Parent(s): acaaa20

Upload folder using huggingface_hub

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