gsaltintas commited on
Commit
e8caab4
·
verified ·
1 Parent(s): b860ab5

Upload folder using huggingface_hub

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