hyunjongkimmath commited on
Commit
302a3e6
1 Parent(s): 4888da1

Upload tokenizer

Browse files
added_tokens.json ADDED
@@ -0,0 +1,543 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "$$": 32100,
3
+ ";;": 32638,
4
+ "\\AA": 32101,
5
+ "\\C": 32102,
6
+ "\\Delta": 32103,
7
+ "\\Deltatoo": 32104,
8
+ "\\Documents": 32105,
9
+ "\\Downarrow": 32106,
10
+ "\\Gamma": 32107,
11
+ "\\GammaRACT": 32108,
12
+ "\\Gammaacts": 32109,
13
+ "\\Gammadoes": 32110,
14
+ "\\Im": 32111,
15
+ "\\Lambda": 32112,
16
+ "\\LambdaMPLE": 32113,
17
+ "\\LambdaPTER": 32114,
18
+ "\\LambdaRK": 32115,
19
+ "\\LambdaYNAUD": 32116,
20
+ "\\Lambdamodule": 32117,
21
+ "\\Lambdamodules": 32118,
22
+ "\\Lambdappendix": 32119,
23
+ "\\Lambdas": 32120,
24
+ "\\Lambdaut": 32121,
25
+ "\\Leftarrow": 32122,
26
+ "\\Leftrightarrow": 32124,
27
+ "\\Longleftarrow": 32125,
28
+ "\\Longleftrightarrow": 32126,
29
+ "\\Longrightarrow": 32127,
30
+ "\\M": 32128,
31
+ "\\Math": 32129,
32
+ "\\Minv": 32130,
33
+ "\\Omega": 32131,
34
+ "\\Perp": 32132,
35
+ "\\PerpI": 32133,
36
+ "\\Phi": 32134,
37
+ "\\Pi": 32135,
38
+ "\\Pisentence": 32136,
39
+ "\\Pisentences": 32137,
40
+ "\\Psi": 32138,
41
+ "\\Psiitself": 32139,
42
+ "\\Psipre": 32140,
43
+ "\\Psir": 32141,
44
+ "\\Re": 32142,
45
+ "\\Rightarrow": 32143,
46
+ "\\S": 32145,
47
+ "\\SA": 32146,
48
+ "\\SD": 32147,
49
+ "\\SE": 32148,
50
+ "\\SF": 32149,
51
+ "\\SIII": 32150,
52
+ "\\SIV": 32151,
53
+ "\\SIX": 32152,
54
+ "\\SVII": 32153,
55
+ "\\Sigma": 32154,
56
+ "\\Subset": 32155,
57
+ "\\Theta": 32156,
58
+ "\\Uparrow": 32158,
59
+ "\\Upsilon": 32159,
60
+ "\\Users": 32160,
61
+ "\\Varangle": 32161,
62
+ "\\Vdash": 32162,
63
+ "\\Xi": 32163,
64
+ "\\aleph": 32164,
65
+ "\\alldifferent": 32165,
66
+ "\\alpha": 32166,
67
+ "\\alphapointwise": 32167,
68
+ "\\alphareversed": 32168,
69
+ "\\alphasurjective": 32169,
70
+ "\\amalg": 32170,
71
+ "\\angle": 32171,
72
+ "\\approx": 32172,
73
+ "\\arccos": 32173,
74
+ "\\arcsin": 32174,
75
+ "\\arctan": 32175,
76
+ "\\arg": 32176,
77
+ "\\ast": 32177,
78
+ "\\asymp": 32178,
79
+ "\\atop": 32179,
80
+ "\\backsim": 32180,
81
+ "\\backslash": 32181,
82
+ "\\bar": 32182,
83
+ "\\because": 32183,
84
+ "\\begin": 32184,
85
+ "\\beta": 32185,
86
+ "\\betaa": 32186,
87
+ "\\betaencharacter": 32187,
88
+ "\\betaencharakter": 32188,
89
+ "\\betaencharaktere": 32189,
90
+ "\\betaenoharaktere": 32190,
91
+ "\\betaerwesentliche": 32191,
92
+ "\\betaeverywhere": 32192,
93
+ "\\betao": 32193,
94
+ "\\beth": 32194,
95
+ "\\bigcap": 32195,
96
+ "\\bigcirc": 32196,
97
+ "\\bigcup": 32197,
98
+ "\\bigodot": 32198,
99
+ "\\bigoplus": 32199,
100
+ "\\bigotimes": 32200,
101
+ "\\bigsqcup": 32201,
102
+ "\\bigvee": 32202,
103
+ "\\bigwedge": 32203,
104
+ "\\binom": 32204,
105
+ "\\bmod": 32205,
106
+ "\\bmodL": 32206,
107
+ "\\boldsymbol": 32207,
108
+ "\\bowtie": 32208,
109
+ "\\boxminus": 32209,
110
+ "\\boxplus": 32210,
111
+ "\\boxtimes": 32211,
112
+ "\\breve": 32212,
113
+ "\\bullet": 32213,
114
+ "\\bumpeq": 32214,
115
+ "\\cap": 32215,
116
+ "\\capV": 32216,
117
+ "\\cdot": 32217,
118
+ "\\cdotFUNCTIONS": 32218,
119
+ "\\cdotideal": 32219,
120
+ "\\cdotr": 32220,
121
+ "\\cdots": 32221,
122
+ "\\cdotss": 32222,
123
+ "\\cdotvalues": 32223,
124
+ "\\check": 32224,
125
+ "\\checkmark": 32225,
126
+ "\\chi": 32226,
127
+ "\\circ": 32227,
128
+ "\\circdet": 32228,
129
+ "\\circf": 32229,
130
+ "\\circlearrowleft": 32230,
131
+ "\\circlearrowright": 32231,
132
+ "\\circledR": 32232,
133
+ "\\circledast": 32233,
134
+ "\\cjkend": 32234,
135
+ "\\cjkstart": 32235,
136
+ "\\cline": 32236,
137
+ "\\complement": 32237,
138
+ "\\cong": 32238,
139
+ "\\coprod": 32239,
140
+ "\\coprodAut": 32240,
141
+ "\\coprodU": 32241,
142
+ "\\cos": 32242,
143
+ "\\cosh": 32243,
144
+ "\\cot": 32244,
145
+ "\\cox": 32245,
146
+ "\\csc": 32246,
147
+ "\\cup": 32247,
148
+ "\\curlyvee": 32248,
149
+ "\\curlywedge": 32249,
150
+ "\\curvearrowleft": 32250,
151
+ "\\curvearrowright": 32251,
152
+ "\\dagger": 32252,
153
+ "\\dashv": 32253,
154
+ "\\ddagger": 32254,
155
+ "\\dddo": 32255,
156
+ "\\dddot": 32256,
157
+ "\\ddo": 32257,
158
+ "\\ddot": 32258,
159
+ "\\ddots": 32259,
160
+ "\\delta": 32260,
161
+ "\\deltafunctor": 32261,
162
+ "\\diamond": 32262,
163
+ "\\digamma": 32263,
164
+ "\\directory": 32264,
165
+ "\\div": 32265,
166
+ "\\dot": 32266,
167
+ "\\doteq": 32267,
168
+ "\\doteqdot": 32268,
169
+ "\\dots": 32269,
170
+ "\\downarrow": 32270,
171
+ "\\downharpoonright": 32271,
172
+ "\\ell": 32272,
173
+ "\\ellholds": 32273,
174
+ "\\ellrepresentation": 32274,
175
+ "\\emptyset": 32275,
176
+ "\\end": 32276,
177
+ "\\epsilon": 32277,
178
+ "\\epsilonKer": 32278,
179
+ "\\equiv": 32279,
180
+ "\\eta": 32280,
181
+ "\\ex": 32281,
182
+ "\\exists": 32282,
183
+ "\\existsc": 32283,
184
+ "\\existsclosed": 32284,
185
+ "\\exp": 32285,
186
+ "\\fallingdotseq": 32286,
187
+ "\\forall": 32287,
188
+ "\\forallsomething": 32288,
189
+ "\\frac": 32289,
190
+ "\\frown": 32290,
191
+ "\\gamma": 32291,
192
+ "\\gammavalues": 32292,
193
+ "\\gcd": 32293,
194
+ "\\geq": 32294,
195
+ "\\geqq": 32295,
196
+ "\\geqslant": 32296,
197
+ "\\gg": 32297,
198
+ "\\grave": 32298,
199
+ "\\gtrdot": 32299,
200
+ "\\gtreqless": 32300,
201
+ "\\gtrless": 32301,
202
+ "\\gtrsim": 32302,
203
+ "\\hat": 32303,
204
+ "\\hbar": 32304,
205
+ "\\hdashline": 32305,
206
+ "\\hline": 32306,
207
+ "\\hlinee": 32307,
208
+ "\\hookleftarrow": 32308,
209
+ "\\hookrightarrow": 32309,
210
+ "\\hyunj": 32310,
211
+ "\\iiint": 32311,
212
+ "\\iint": 32312,
213
+ "\\imath": 32313,
214
+ "\\in": 32314,
215
+ "\\inG": 32315,
216
+ "\\inMag": 32316,
217
+ "\\inX": 32317,
218
+ "\\inf": 32318,
219
+ "\\infty": 32319,
220
+ "\\inftyalso": 32320,
221
+ "\\inftyo": 32321,
222
+ "\\inftyramifies": 32322,
223
+ "\\inm": 32323,
224
+ "\\inn": 32324,
225
+ "\\int": 32325,
226
+ "\\intormula": 32326,
227
+ "\\iota": 32327,
228
+ "\\jmath": 32328,
229
+ "\\kappa": 32329,
230
+ "\\kappai": 32330,
231
+ "\\kappath": 32331,
232
+ "\\lambda": 32332,
233
+ "\\lambdaa": 32333,
234
+ "\\lambdafinite": 32334,
235
+ "\\lambdasemiring": 32335,
236
+ "\\langle": 32336,
237
+ "\\langlee": 32337,
238
+ "\\langleu": 32338,
239
+ "\\langley": 32339,
240
+ "\\latex": 32340,
241
+ "\\lceil": 32341,
242
+ "\\lceilk": 32342,
243
+ "\\lceiln": 32343,
244
+ "\\lcm": 32344,
245
+ "\\ldot": 32345,
246
+ "\\ldots": 32346,
247
+ "\\ldotsPROOF": 32347,
248
+ "\\ldotsetc": 32348,
249
+ "\\leadsto": 32349,
250
+ "\\left": 32350,
251
+ "\\leftarrow": 32123,
252
+ "\\leftleftarrows": 32351,
253
+ "\\leftrightarrow": 32352,
254
+ "\\leftrightarrows": 32353,
255
+ "\\leftrightharpoons": 32354,
256
+ "\\leq": 32355,
257
+ "\\leqq": 32356,
258
+ "\\leqslant": 32357,
259
+ "\\lessdot": 32358,
260
+ "\\lesseqgtr": 32359,
261
+ "\\lessgtr": 32360,
262
+ "\\lesssim": 32361,
263
+ "\\lfloor": 32362,
264
+ "\\lg": 32363,
265
+ "\\lim": 32364,
266
+ "\\liminf": 32365,
267
+ "\\limsup": 32366,
268
+ "\\ll": 32367,
269
+ "\\llbracket": 32368,
270
+ "\\llcorner": 32369,
271
+ "\\lll": 32370,
272
+ "\\ln": 32371,
273
+ "\\log": 32372,
274
+ "\\longdiv": 32373,
275
+ "\\longleftarrow": 32374,
276
+ "\\longleftrightarrow": 32375,
277
+ "\\longleftrightarrowEfi": 32376,
278
+ "\\longmapsto": 32377,
279
+ "\\longmapstomult": 32378,
280
+ "\\longrightarrow": 32379,
281
+ "\\lrcorner": 32380,
282
+ "\\ltimes": 32381,
283
+ "\\lvert": 32382,
284
+ "\\mapsto": 32383,
285
+ "\\mapstoW": 32384,
286
+ "\\mathbb": 32385,
287
+ "\\mathbbR": 32386,
288
+ "\\mathbbZrank": 32387,
289
+ "\\mathbbZtakes": 32388,
290
+ "\\mathbbl": 32389,
291
+ "\\mathbf": 32390,
292
+ "\\mathcal": 32391,
293
+ "\\mathcalM": 32392,
294
+ "\\mathcalom": 32393,
295
+ "\\mathfrak": 32394,
296
+ "\\mathrm": 32395,
297
+ "\\mathscr": 32396,
298
+ "\\mathscrB": 32397,
299
+ "\\mathscrS": 32398,
300
+ "\\mathscrf": 32399,
301
+ "\\matshcr": 32400,
302
+ "\\max": 32401,
303
+ "\\measuredangle": 32402,
304
+ "\\mho": 32403,
305
+ "\\mid": 32404,
306
+ "\\min": 32405,
307
+ "\\models": 32406,
308
+ "\\mp": 32407,
309
+ "\\mu": 32408,
310
+ "\\mudominant": 32409,
311
+ "\\muexists": 32410,
312
+ "\\mufinite": 32411,
313
+ "\\multicolumn": 32412,
314
+ "\\multimap": 32413,
315
+ "\\multirow": 32414,
316
+ "\\n": 32415,
317
+ "\\nLeftarrow": 32416,
318
+ "\\nRightarrow": 32417,
319
+ "\\nVdash": 32418,
320
+ "\\nabla": 32419,
321
+ "\\natural": 32420,
322
+ "\\nearrow": 32421,
323
+ "\\neg": 32422,
324
+ "\\neq": 32423,
325
+ "\\neqId": 32424,
326
+ "\\neqid": 32425,
327
+ "\\nexists": 32426,
328
+ "\\ngtr": 32427,
329
+ "\\ni": 32428,
330
+ "\\nleftarrow": 32429,
331
+ "\\nless": 32430,
332
+ "\\nmid": 32431,
333
+ "\\nmidDisc": 32432,
334
+ "\\not": 32433,
335
+ "\\notin": 32434,
336
+ "\\nprec": 32435,
337
+ "\\npreceq": 32436,
338
+ "\\nrightarrow": 32437,
339
+ "\\nsim": 32438,
340
+ "\\nsubseteq": 32439,
341
+ "\\nsucc": 32440,
342
+ "\\nsucceq": 32441,
343
+ "\\nsupseteq": 32442,
344
+ "\\nu": 32443,
345
+ "\\nvdash": 32444,
346
+ "\\nwarrow": 32445,
347
+ "\\odot": 32446,
348
+ "\\oepratorname": 32447,
349
+ "\\oiiint": 32448,
350
+ "\\oiint": 32449,
351
+ "\\oint": 32450,
352
+ "\\omega": 32451,
353
+ "\\omegaest": 32452,
354
+ "\\ominus": 32453,
355
+ "\\operatorname": 32454,
356
+ "\\operatornamemap": 32455,
357
+ "\\oplus": 32456,
358
+ "\\oslash": 32457,
359
+ "\\otimes": 32458,
360
+ "\\otimese": 32459,
361
+ "\\overbrace": 32460,
362
+ "\\overleftarrow": 32461,
363
+ "\\overleftrightarrow": 32462,
364
+ "\\overlin": 32463,
365
+ "\\overline": 32464,
366
+ "\\overparen": 32465,
367
+ "\\overrightarrow": 32466,
368
+ "\\p": 32467,
369
+ "\\parallel": 32468,
370
+ "\\partial": 32469,
371
+ "\\partialM": 32470,
372
+ "\\partiala": 32471,
373
+ "\\partialb": 32472,
374
+ "\\perp": 32473,
375
+ "\\phi": 32474,
376
+ "\\phicommute": 32475,
377
+ "\\pi": 32476,
378
+ "\\pifinite": 32477,
379
+ "\\pitchfork": 32478,
380
+ "\\pitwist": 32479,
381
+ "\\pm": 32480,
382
+ "\\prec": 32481,
383
+ "\\preccurlyeq": 32482,
384
+ "\\preceq": 32483,
385
+ "\\precsim": 32484,
386
+ "\\prime": 32485,
387
+ "\\prod": 32486,
388
+ "\\propto": 32487,
389
+ "\\psi": 32488,
390
+ "\\psidoes": 32489,
391
+ "\\qquad": 32490,
392
+ "\\qua": 32491,
393
+ "\\quad": 32492,
394
+ "\\quada": 32493,
395
+ "\\rangle": 32494,
396
+ "\\rceil": 32495,
397
+ "\\rfloor": 32496,
398
+ "\\rho": 32497,
399
+ "\\rhofollows": 32498,
400
+ "\\rhooperator": 32499,
401
+ "\\right": 32500,
402
+ "\\rightarrow": 32144,
403
+ "\\rightarrowA": 32501,
404
+ "\\rightarrowC": 32502,
405
+ "\\rightarrowFinord": 32503,
406
+ "\\rightarrowSet": 32504,
407
+ "\\rightarrowSets": 32505,
408
+ "\\rightarrowf": 32506,
409
+ "\\rightharpoonup": 32507,
410
+ "\\rightleftarrows": 32508,
411
+ "\\rightleftharpoons": 32509,
412
+ "\\rightrightarrows": 32510,
413
+ "\\rightsquigarrow": 32511,
414
+ "\\risingdotseq": 32512,
415
+ "\\rrbracket": 32513,
416
+ "\\rtimes": 32514,
417
+ "\\rvert": 32515,
418
+ "\\searrow": 32516,
419
+ "\\sec": 32517,
420
+ "\\section": 32518,
421
+ "\\setminus": 32519,
422
+ "\\sharp": 32520,
423
+ "\\sigma": 32521,
424
+ "\\sim": 32522,
425
+ "\\simeq": 32523,
426
+ "\\simeqid": 32524,
427
+ "\\simr": 32525,
428
+ "\\sin": 32526,
429
+ "\\sinh": 32527,
430
+ "\\smile": 32528,
431
+ "\\sqcap": 32529,
432
+ "\\sqcup": 32530,
433
+ "\\sqrt": 32531,
434
+ "\\sqsubset": 32532,
435
+ "\\sqsubseteq": 32533,
436
+ "\\sqsupset": 32534,
437
+ "\\sqsupseteq": 32535,
438
+ "\\square": 32536,
439
+ "\\stackrel": 32537,
440
+ "\\star": 32538,
441
+ "\\starEXERCISE": 32539,
442
+ "\\subsection": 32540,
443
+ "\\subset": 32541,
444
+ "\\subsetA": 32542,
445
+ "\\subsetM": 32543,
446
+ "\\subseteq": 32544,
447
+ "\\subseteqW": 32545,
448
+ "\\subsetneq": 32546,
449
+ "\\substack": 32547,
450
+ "\\subsubsection": 32548,
451
+ "\\succ": 32549,
452
+ "\\succcurlyeq": 32550,
453
+ "\\succeq": 32551,
454
+ "\\succsim": 32552,
455
+ "\\sum": 32553,
456
+ "\\sup": 32554,
457
+ "\\supset": 32555,
458
+ "\\supseteq": 32556,
459
+ "\\supseteqq": 32557,
460
+ "\\supsetneq": 32558,
461
+ "\\supsetneqq": 32559,
462
+ "\\swarrow": 32560,
463
+ "\\tag": 32561,
464
+ "\\tan": 32562,
465
+ "\\tanh": 32563,
466
+ "\\tau": 32564,
467
+ "\\taualent": 32565,
468
+ "\\tauariety": 32566,
469
+ "\\tauphism": 32567,
470
+ "\\tauphistn": 32568,
471
+ "\\taupure": 32569,
472
+ "\\text": 32570,
473
+ "\\textbf": 32571,
474
+ "\\textrm": 32572,
475
+ "\\textrmK": 32573,
476
+ "\\therefore": 32574,
477
+ "\\theta": 32575,
478
+ "\\thetaalone": 32576,
479
+ "\\thetaexplicit": 32577,
480
+ "\\thetaworks": 32578,
481
+ "\\tilde": 32579,
482
+ "\\times": 32580,
483
+ "\\timesm": 32581,
484
+ "\\to": 32157,
485
+ "\\top": 32582,
486
+ "\\triangle": 32583,
487
+ "\\triangleleft": 32584,
488
+ "\\triangleq": 32585,
489
+ "\\triangleright": 32586,
490
+ "\\ulcorner": 32587,
491
+ "\\underbrace": 32588,
492
+ "\\underline": 32589,
493
+ "\\underset": 32590,
494
+ "\\unlhd": 32591,
495
+ "\\unrhd": 32592,
496
+ "\\uparrow": 32593,
497
+ "\\upharpoonleft": 32594,
498
+ "\\upharpoonright": 32595,
499
+ "\\uplus": 32596,
500
+ "\\urcorner": 32597,
501
+ "\\vDash": 32598,
502
+ "\\varangle": 32599,
503
+ "\\varepsilon": 32600,
504
+ "\\varepsilona": 32601,
505
+ "\\varepsilonarrow": 32602,
506
+ "\\varepsilonarrows": 32603,
507
+ "\\varinjlim": 32604,
508
+ "\\varkappa": 32605,
509
+ "\\varliminf": 32606,
510
+ "\\varlimsup": 32607,
511
+ "\\varnothing": 32608,
512
+ "\\varphi": 32609,
513
+ "\\varphiare": 32610,
514
+ "\\varphiitself": 32611,
515
+ "\\varphiw": 32612,
516
+ "\\varpi": 32613,
517
+ "\\varprojlim": 32614,
518
+ "\\varrho": 32615,
519
+ "\\varsigma": 32616,
520
+ "\\varsubsetneqq": 32617,
521
+ "\\vartheta": 32618,
522
+ "\\varthetaa": 32619,
523
+ "\\vdash": 32620,
524
+ "\\vdots": 32621,
525
+ "\\vec": 32622,
526
+ "\\vecara": 32623,
527
+ "\\vee": 32624,
528
+ "\\vigvec": 32625,
529
+ "\\wedge": 32626,
530
+ "\\wedgeT": 32627,
531
+ "\\wedgeid": 32628,
532
+ "\\widehat": 32629,
533
+ "\\widehatat": 32630,
534
+ "\\widetilde": 32631,
535
+ "\\wp": 32632,
536
+ "\\xi": 32633,
537
+ "\\xlongequal": 32634,
538
+ "\\xrightarrow": 32635,
539
+ "\\your": 32636,
540
+ "\\zeta": 32637,
541
+ "{": 32639,
542
+ "}": 32640
543
+ }
special_tokens_map.json ADDED
@@ -0,0 +1,107 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "additional_special_tokens": [
3
+ "<extra_id_0>",
4
+ "<extra_id_1>",
5
+ "<extra_id_2>",
6
+ "<extra_id_3>",
7
+ "<extra_id_4>",
8
+ "<extra_id_5>",
9
+ "<extra_id_6>",
10
+ "<extra_id_7>",
11
+ "<extra_id_8>",
12
+ "<extra_id_9>",
13
+ "<extra_id_10>",
14
+ "<extra_id_11>",
15
+ "<extra_id_12>",
16
+ "<extra_id_13>",
17
+ "<extra_id_14>",
18
+ "<extra_id_15>",
19
+ "<extra_id_16>",
20
+ "<extra_id_17>",
21
+ "<extra_id_18>",
22
+ "<extra_id_19>",
23
+ "<extra_id_20>",
24
+ "<extra_id_21>",
25
+ "<extra_id_22>",
26
+ "<extra_id_23>",
27
+ "<extra_id_24>",
28
+ "<extra_id_25>",
29
+ "<extra_id_26>",
30
+ "<extra_id_27>",
31
+ "<extra_id_28>",
32
+ "<extra_id_29>",
33
+ "<extra_id_30>",
34
+ "<extra_id_31>",
35
+ "<extra_id_32>",
36
+ "<extra_id_33>",
37
+ "<extra_id_34>",
38
+ "<extra_id_35>",
39
+ "<extra_id_36>",
40
+ "<extra_id_37>",
41
+ "<extra_id_38>",
42
+ "<extra_id_39>",
43
+ "<extra_id_40>",
44
+ "<extra_id_41>",
45
+ "<extra_id_42>",
46
+ "<extra_id_43>",
47
+ "<extra_id_44>",
48
+ "<extra_id_45>",
49
+ "<extra_id_46>",
50
+ "<extra_id_47>",
51
+ "<extra_id_48>",
52
+ "<extra_id_49>",
53
+ "<extra_id_50>",
54
+ "<extra_id_51>",
55
+ "<extra_id_52>",
56
+ "<extra_id_53>",
57
+ "<extra_id_54>",
58
+ "<extra_id_55>",
59
+ "<extra_id_56>",
60
+ "<extra_id_57>",
61
+ "<extra_id_58>",
62
+ "<extra_id_59>",
63
+ "<extra_id_60>",
64
+ "<extra_id_61>",
65
+ "<extra_id_62>",
66
+ "<extra_id_63>",
67
+ "<extra_id_64>",
68
+ "<extra_id_65>",
69
+ "<extra_id_66>",
70
+ "<extra_id_67>",
71
+ "<extra_id_68>",
72
+ "<extra_id_69>",
73
+ "<extra_id_70>",
74
+ "<extra_id_71>",
75
+ "<extra_id_72>",
76
+ "<extra_id_73>",
77
+ "<extra_id_74>",
78
+ "<extra_id_75>",
79
+ "<extra_id_76>",
80
+ "<extra_id_77>",
81
+ "<extra_id_78>",
82
+ "<extra_id_79>",
83
+ "<extra_id_80>",
84
+ "<extra_id_81>",
85
+ "<extra_id_82>",
86
+ "<extra_id_83>",
87
+ "<extra_id_84>",
88
+ "<extra_id_85>",
89
+ "<extra_id_86>",
90
+ "<extra_id_87>",
91
+ "<extra_id_88>",
92
+ "<extra_id_89>",
93
+ "<extra_id_90>",
94
+ "<extra_id_91>",
95
+ "<extra_id_92>",
96
+ "<extra_id_93>",
97
+ "<extra_id_94>",
98
+ "<extra_id_95>",
99
+ "<extra_id_96>",
100
+ "<extra_id_97>",
101
+ "<extra_id_98>",
102
+ "<extra_id_99>"
103
+ ],
104
+ "eos_token": "</s>",
105
+ "pad_token": "<pad>",
106
+ "unk_token": "<unk>"
107
+ }
spiece.model ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:d60acb128cf7b7f2536e8f38a5b18a05535c9e14c7a355904270e15b0945ea86
3
+ size 791656
tokenizer.json ADDED
The diff for this file is too large to render. See raw diff
 
tokenizer_config.json ADDED
@@ -0,0 +1,113 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "additional_special_tokens": [
3
+ "<extra_id_0>",
4
+ "<extra_id_1>",
5
+ "<extra_id_2>",
6
+ "<extra_id_3>",
7
+ "<extra_id_4>",
8
+ "<extra_id_5>",
9
+ "<extra_id_6>",
10
+ "<extra_id_7>",
11
+ "<extra_id_8>",
12
+ "<extra_id_9>",
13
+ "<extra_id_10>",
14
+ "<extra_id_11>",
15
+ "<extra_id_12>",
16
+ "<extra_id_13>",
17
+ "<extra_id_14>",
18
+ "<extra_id_15>",
19
+ "<extra_id_16>",
20
+ "<extra_id_17>",
21
+ "<extra_id_18>",
22
+ "<extra_id_19>",
23
+ "<extra_id_20>",
24
+ "<extra_id_21>",
25
+ "<extra_id_22>",
26
+ "<extra_id_23>",
27
+ "<extra_id_24>",
28
+ "<extra_id_25>",
29
+ "<extra_id_26>",
30
+ "<extra_id_27>",
31
+ "<extra_id_28>",
32
+ "<extra_id_29>",
33
+ "<extra_id_30>",
34
+ "<extra_id_31>",
35
+ "<extra_id_32>",
36
+ "<extra_id_33>",
37
+ "<extra_id_34>",
38
+ "<extra_id_35>",
39
+ "<extra_id_36>",
40
+ "<extra_id_37>",
41
+ "<extra_id_38>",
42
+ "<extra_id_39>",
43
+ "<extra_id_40>",
44
+ "<extra_id_41>",
45
+ "<extra_id_42>",
46
+ "<extra_id_43>",
47
+ "<extra_id_44>",
48
+ "<extra_id_45>",
49
+ "<extra_id_46>",
50
+ "<extra_id_47>",
51
+ "<extra_id_48>",
52
+ "<extra_id_49>",
53
+ "<extra_id_50>",
54
+ "<extra_id_51>",
55
+ "<extra_id_52>",
56
+ "<extra_id_53>",
57
+ "<extra_id_54>",
58
+ "<extra_id_55>",
59
+ "<extra_id_56>",
60
+ "<extra_id_57>",
61
+ "<extra_id_58>",
62
+ "<extra_id_59>",
63
+ "<extra_id_60>",
64
+ "<extra_id_61>",
65
+ "<extra_id_62>",
66
+ "<extra_id_63>",
67
+ "<extra_id_64>",
68
+ "<extra_id_65>",
69
+ "<extra_id_66>",
70
+ "<extra_id_67>",
71
+ "<extra_id_68>",
72
+ "<extra_id_69>",
73
+ "<extra_id_70>",
74
+ "<extra_id_71>",
75
+ "<extra_id_72>",
76
+ "<extra_id_73>",
77
+ "<extra_id_74>",
78
+ "<extra_id_75>",
79
+ "<extra_id_76>",
80
+ "<extra_id_77>",
81
+ "<extra_id_78>",
82
+ "<extra_id_79>",
83
+ "<extra_id_80>",
84
+ "<extra_id_81>",
85
+ "<extra_id_82>",
86
+ "<extra_id_83>",
87
+ "<extra_id_84>",
88
+ "<extra_id_85>",
89
+ "<extra_id_86>",
90
+ "<extra_id_87>",
91
+ "<extra_id_88>",
92
+ "<extra_id_89>",
93
+ "<extra_id_90>",
94
+ "<extra_id_91>",
95
+ "<extra_id_92>",
96
+ "<extra_id_93>",
97
+ "<extra_id_94>",
98
+ "<extra_id_95>",
99
+ "<extra_id_96>",
100
+ "<extra_id_97>",
101
+ "<extra_id_98>",
102
+ "<extra_id_99>"
103
+ ],
104
+ "clean_up_tokenization_spaces": true,
105
+ "eos_token": "</s>",
106
+ "extra_ids": 100,
107
+ "model_max_length": 512,
108
+ "name_or_path": "./models/notation_naming_model_2024_06_05_2",
109
+ "pad_token": "<pad>",
110
+ "special_tokens_map_file": null,
111
+ "tokenizer_class": "T5Tokenizer",
112
+ "unk_token": "<unk>"
113
+ }