Hyeonsieun commited on
Commit
f7e4cce
1 Parent(s): 000f045

Upload tokenizer

Browse files
Files changed (4) hide show
  1. added_tokens.json +407 -0
  2. special_tokens_map.json +430 -0
  3. spiece.model +3 -0
  4. tokenizer_config.json +3685 -0
added_tokens.json ADDED
@@ -0,0 +1,407 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "<": 32104,
3
+ "<extra_id_0>": 32099,
4
+ "<extra_id_10>": 32089,
5
+ "<extra_id_11>": 32088,
6
+ "<extra_id_12>": 32087,
7
+ "<extra_id_13>": 32086,
8
+ "<extra_id_14>": 32085,
9
+ "<extra_id_15>": 32084,
10
+ "<extra_id_16>": 32083,
11
+ "<extra_id_17>": 32082,
12
+ "<extra_id_18>": 32081,
13
+ "<extra_id_19>": 32080,
14
+ "<extra_id_1>": 32098,
15
+ "<extra_id_20>": 32079,
16
+ "<extra_id_21>": 32078,
17
+ "<extra_id_22>": 32077,
18
+ "<extra_id_23>": 32076,
19
+ "<extra_id_24>": 32075,
20
+ "<extra_id_25>": 32074,
21
+ "<extra_id_26>": 32073,
22
+ "<extra_id_27>": 32072,
23
+ "<extra_id_28>": 32071,
24
+ "<extra_id_29>": 32070,
25
+ "<extra_id_2>": 32097,
26
+ "<extra_id_30>": 32069,
27
+ "<extra_id_31>": 32068,
28
+ "<extra_id_32>": 32067,
29
+ "<extra_id_33>": 32066,
30
+ "<extra_id_34>": 32065,
31
+ "<extra_id_35>": 32064,
32
+ "<extra_id_36>": 32063,
33
+ "<extra_id_37>": 32062,
34
+ "<extra_id_38>": 32061,
35
+ "<extra_id_39>": 32060,
36
+ "<extra_id_3>": 32096,
37
+ "<extra_id_40>": 32059,
38
+ "<extra_id_41>": 32058,
39
+ "<extra_id_42>": 32057,
40
+ "<extra_id_43>": 32056,
41
+ "<extra_id_44>": 32055,
42
+ "<extra_id_45>": 32054,
43
+ "<extra_id_46>": 32053,
44
+ "<extra_id_47>": 32052,
45
+ "<extra_id_48>": 32051,
46
+ "<extra_id_49>": 32050,
47
+ "<extra_id_4>": 32095,
48
+ "<extra_id_50>": 32049,
49
+ "<extra_id_51>": 32048,
50
+ "<extra_id_52>": 32047,
51
+ "<extra_id_53>": 32046,
52
+ "<extra_id_54>": 32045,
53
+ "<extra_id_55>": 32044,
54
+ "<extra_id_56>": 32043,
55
+ "<extra_id_57>": 32042,
56
+ "<extra_id_58>": 32041,
57
+ "<extra_id_59>": 32040,
58
+ "<extra_id_5>": 32094,
59
+ "<extra_id_60>": 32039,
60
+ "<extra_id_61>": 32038,
61
+ "<extra_id_62>": 32037,
62
+ "<extra_id_63>": 32036,
63
+ "<extra_id_64>": 32035,
64
+ "<extra_id_65>": 32034,
65
+ "<extra_id_66>": 32033,
66
+ "<extra_id_67>": 32032,
67
+ "<extra_id_68>": 32031,
68
+ "<extra_id_69>": 32030,
69
+ "<extra_id_6>": 32093,
70
+ "<extra_id_70>": 32029,
71
+ "<extra_id_71>": 32028,
72
+ "<extra_id_72>": 32027,
73
+ "<extra_id_73>": 32026,
74
+ "<extra_id_74>": 32025,
75
+ "<extra_id_75>": 32024,
76
+ "<extra_id_76>": 32023,
77
+ "<extra_id_77>": 32022,
78
+ "<extra_id_78>": 32021,
79
+ "<extra_id_79>": 32020,
80
+ "<extra_id_7>": 32092,
81
+ "<extra_id_80>": 32019,
82
+ "<extra_id_81>": 32018,
83
+ "<extra_id_82>": 32017,
84
+ "<extra_id_83>": 32016,
85
+ "<extra_id_84>": 32015,
86
+ "<extra_id_85>": 32014,
87
+ "<extra_id_86>": 32013,
88
+ "<extra_id_87>": 32012,
89
+ "<extra_id_88>": 32011,
90
+ "<extra_id_89>": 32010,
91
+ "<extra_id_8>": 32091,
92
+ "<extra_id_90>": 32009,
93
+ "<extra_id_91>": 32008,
94
+ "<extra_id_92>": 32007,
95
+ "<extra_id_93>": 32006,
96
+ "<extra_id_94>": 32005,
97
+ "<extra_id_95>": 32004,
98
+ "<extra_id_96>": 32003,
99
+ "<extra_id_97>": 32002,
100
+ "<extra_id_98>": 32001,
101
+ "<extra_id_99>": 32000,
102
+ "<extra_id_9>": 32090,
103
+ "\\": 32100,
104
+ "\\Alpha": 32335,
105
+ "\\And": 32211,
106
+ "\\Beta": 32336,
107
+ "\\Bumpeq": 32305,
108
+ "\\Chi": 32355,
109
+ "\\Delta": 32338,
110
+ "\\Diamond": 32202,
111
+ "\\Epsilon": 32339,
112
+ "\\Eta": 32341,
113
+ "\\Gamma": 32337,
114
+ "\\Iota": 32343,
115
+ "\\Kappa": 32344,
116
+ "\\Lambda": 32345,
117
+ "\\Lleftarrow": 32233,
118
+ "\\Longleftarrow": 32236,
119
+ "\\Longleftrightarrow": 32237,
120
+ "\\Longrightarrow": 32234,
121
+ "\\Lsh": 32260,
122
+ "\\Mu": 32346,
123
+ "\\Nu": 32347,
124
+ "\\O": 32167,
125
+ "\\Omega": 32357,
126
+ "\\P": 32282,
127
+ "\\Phi": 32354,
128
+ "\\Pi": 32349,
129
+ "\\Pr": 32148,
130
+ "\\Psi": 32356,
131
+ "\\Rho": 32350,
132
+ "\\Rsh": 32268,
133
+ "\\S": 32283,
134
+ "\\Sigma": 32351,
135
+ "\\Tau": 32352,
136
+ "\\Theta": 32342,
137
+ "\\Updownarrow": 32239,
138
+ "\\Upsilon": 32353,
139
+ "\\Vvdash": 32224,
140
+ "\\Xi": 32348,
141
+ "\\Zeta": 32340,
142
+ "\\acute": 32108,
143
+ "\\aleph": 32388,
144
+ "\\alpha": 32358,
145
+ "\\amalg": 32281,
146
+ "\\and": 32217,
147
+ "\\arccos": 32128,
148
+ "\\arcsin": 32127,
149
+ "\\arctan": 32129,
150
+ "\\arg": 32151,
151
+ "\\backslash": 32162,
152
+ "\\bar": 32113,
153
+ "\\barwedge": 32310,
154
+ "\\because": 32213,
155
+ "\\begin": 32330,
156
+ "\\beta": 32359,
157
+ "\\beth": 32389,
158
+ "\\between": 32313,
159
+ "\\bigcap": 32172,
160
+ "\\bigodot": 32166,
161
+ "\\bigstar": 32203,
162
+ "\\bigtriangledown": 32205,
163
+ "\\biguplus": 32173,
164
+ "\\bigvee": 32216,
165
+ "\\bigwedge": 32219,
166
+ "\\blacktriangleright": 32207,
167
+ "\\boldsymbol": 32394,
168
+ "\\boxdot": 32164,
169
+ "\\breve": 32111,
170
+ "\\bullet": 32163,
171
+ "\\bumpeq": 32304,
172
+ "\\cancel": 32292,
173
+ "\\cdots": 32287,
174
+ "\\centerdot": 32296,
175
+ "\\check": 32110,
176
+ "\\chi": 32377,
177
+ "\\choose": 32329,
178
+ "\\circ": 32201,
179
+ "\\circeq": 32302,
180
+ "\\circlearrowleft": 32259,
181
+ "\\circlearrowright": 32267,
182
+ "\\circledS": 32155,
183
+ "\\circledast": 32165,
184
+ "\\color": 32293,
185
+ "\\cos": 32122,
186
+ "\\cosh": 32131,
187
+ "\\cot": 32124,
188
+ "\\coth": 32133,
189
+ "\\csc": 32126,
190
+ "\\curlyeqprec": 32196,
191
+ "\\curlyeqsucc": 32197,
192
+ "\\curvearrowleft": 32258,
193
+ "\\curvearrowright": 32266,
194
+ "\\dagger": 32284,
195
+ "\\daleth": 32391,
196
+ "\\ddagger": 32285,
197
+ "\\ddot": 32107,
198
+ "\\ddots": 32333,
199
+ "\\deg": 32145,
200
+ "\\delta": 32361,
201
+ "\\det": 32146,
202
+ "\\diagdown": 32295,
203
+ "\\diagup": 32294,
204
+ "\\digamma": 32381,
205
+ "\\dim": 32144,
206
+ "\\dot": 32106,
207
+ "\\doteqdot": 32306,
208
+ "\\dotplus": 32161,
209
+ "\\doublebarwedge": 32312,
210
+ "\\downdownarrows": 32269,
211
+ "\\downharpoonleft": 32254,
212
+ "\\downharpoonright": 32255,
213
+ "\\empty": 32168,
214
+ "\\end": 32331,
215
+ "\\epsilon": 32362,
216
+ "\\eqcirc": 32301,
217
+ "\\eqslantgtr": 32191,
218
+ "\\eqslantless": 32190,
219
+ "\\equiv": 32156,
220
+ "\\eta": 32364,
221
+ "\\exp": 32117,
222
+ "\\fallingdotseq": 32308,
223
+ "\\frac": 32328,
224
+ "\\frown": 32209,
225
+ "\\gamma": 32360,
226
+ "\\gimel": 32390,
227
+ "\\gnapprox": 32193,
228
+ "\\grave": 32109,
229
+ "\\gtrdot": 32186,
230
+ "\\gtreqqless": 32189,
231
+ "\\gvertneqq": 32188,
232
+ "\\hat": 32114,
233
+ "\\hbar": 32154,
234
+ "\\hom": 32149,
235
+ "\\hookleftarrow": 32275,
236
+ "\\hookrightarrow": 32274,
237
+ "\\iff": 32238,
238
+ "\\implies": 32235,
239
+ "\\inf": 32139,
240
+ "\\int": 32326,
241
+ "\\intercal": 32309,
242
+ "\\iota": 32366,
243
+ "\\kappa": 32367,
244
+ "\\lVert": 32150,
245
+ "\\lambda": 32368,
246
+ "\\land": 32218,
247
+ "\\langle": 32402,
248
+ "\\ldots": 32286,
249
+ "\\left": 32400,
250
+ "\\leftarrow": 32242,
251
+ "\\leftarrowtail": 32272,
252
+ "\\leftharpoondown": 32251,
253
+ "\\leftharpoonup": 32250,
254
+ "\\leftleftarrows": 32270,
255
+ "\\leftrightarrows": 32271,
256
+ "\\leftrightharpoons": 32257,
257
+ "\\leftrightsquigarrow": 32277,
258
+ "\\leftthreetimes": 32299,
259
+ "\\lessdot": 32185,
260
+ "\\lg": 32119,
261
+ "\\lim": 32141,
262
+ "\\liminf": 32142,
263
+ "\\limsup": 32143,
264
+ "\\llcorner": 32231,
265
+ "\\ln": 32118,
266
+ "\\lnapprox": 32192,
267
+ "\\lnot": 32220,
268
+ "\\log": 32120,
269
+ "\\longleftarrow": 32243,
270
+ "\\longleftrightarrow": 32244,
271
+ "\\longmapsto": 32247,
272
+ "\\longrightarrow": 32241,
273
+ "\\looparrowleft": 32273,
274
+ "\\looparrowright": 32265,
275
+ "\\lor": 32215,
276
+ "\\lrcorner": 32232,
277
+ "\\ltimes": 32297,
278
+ "\\lvertneqq": 32187,
279
+ "\\mathbb": 32392,
280
+ "\\mathbf": 32393,
281
+ "\\mathcal": 32397,
282
+ "\\mathfrak": 32398,
283
+ "\\mathit": 32395,
284
+ "\\mathrm": 32160,
285
+ "\\mathsf": 32396,
286
+ "\\max": 32138,
287
+ "\\mbox": 32334,
288
+ "\\min": 32137,
289
+ "\\models": 32223,
290
+ "\\mu": 32369,
291
+ "\\multimap": 32276,
292
+ "\\nVDash": 32228,
293
+ "\\nVdash": 32226,
294
+ "\\ncong": 32183,
295
+ "\\nexists": 32210,
296
+ "\\ni": 32171,
297
+ "\\notin": 32170,
298
+ "\\nshortmid": 32158,
299
+ "\\nshortparallel": 32200,
300
+ "\\ntriangleleft": 32316,
301
+ "\\ntrianglelefteq": 32320,
302
+ "\\ntriangleright": 32318,
303
+ "\\ntrianglerighteq": 32322,
304
+ "\\nu": 32370,
305
+ "\\nvDash": 32227,
306
+ "\\nvdash": 32225,
307
+ "\\oint": 32327,
308
+ "\\omega": 32379,
309
+ "\\operatorname": 32134,
310
+ "\\or": 32214,
311
+ "\\over": 32153,
312
+ "\\overline": 32208,
313
+ "\\overset": 32181,
314
+ "\\partial": 32152,
315
+ "\\phi": 32147,
316
+ "\\pi": 32372,
317
+ "\\pitchfork": 32314,
318
+ "\\pmod": 32157,
319
+ "\\precnapprox": 32198,
320
+ "\\precneqq": 32194,
321
+ "\\prod": 32324,
322
+ "\\psi": 32378,
323
+ "\\quad": 32404,
324
+ "\\rfloor": 32403,
325
+ "\\rho": 32373,
326
+ "\\right": 32401,
327
+ "\\rightarrow": 32240,
328
+ "\\rightarrowtail": 32264,
329
+ "\\rightharpoondown": 32249,
330
+ "\\rightharpoonup": 32248,
331
+ "\\rightleftarrows": 32263,
332
+ "\\rightleftharpoons": 32256,
333
+ "\\rightrightarrows": 32262,
334
+ "\\rightsquigarrow": 32278,
335
+ "\\rightthreetimes": 32300,
336
+ "\\risingdotseq": 32307,
337
+ "\\rtimes": 32298,
338
+ "\\searrow": 32246,
339
+ "\\sec": 32125,
340
+ "\\sgn": 32135,
341
+ "\\sharp": 32291,
342
+ "\\sigma": 32374,
343
+ "\\sin": 32121,
344
+ "\\sinh": 32130,
345
+ "\\smile": 32288,
346
+ "\\sqrt": 32159,
347
+ "\\sqsubset": 32175,
348
+ "\\sqsubseteq": 32177,
349
+ "\\sqsupset": 32176,
350
+ "\\sqsupseteq": 32178,
351
+ "\\succnapprox": 32199,
352
+ "\\succneqq": 32195,
353
+ "\\sum": 32323,
354
+ "\\sup": 32140,
355
+ "\\tan": 32123,
356
+ "\\tanh": 32132,
357
+ "\\tau": 32375,
358
+ "\\text": 32399,
359
+ "\\therefore": 32212,
360
+ "\\theta": 32365,
361
+ "\\tilde": 32112,
362
+ "\\times": 32174,
363
+ "\\to": 32325,
364
+ "\\top": 32221,
365
+ "\\triangle": 32204,
366
+ "\\triangledown": 32206,
367
+ "\\triangleleft": 32290,
368
+ "\\trianglelefteq": 32319,
369
+ "\\triangleq": 32303,
370
+ "\\trianglerighteq": 32321,
371
+ "\\twoheadleftarrow": 32280,
372
+ "\\twoheadrightarrow": 32279,
373
+ "\\ulcorner": 32229,
374
+ "\\underset": 32182,
375
+ "\\updownarrow": 32245,
376
+ "\\upharpoonleft": 32252,
377
+ "\\upharpoonright": 32253,
378
+ "\\upsilon": 32376,
379
+ "\\upuparrows": 32261,
380
+ "\\urcorner": 32230,
381
+ "\\varepsilon": 32380,
382
+ "\\varkappa": 32382,
383
+ "\\varnothing": 32169,
384
+ "\\varphi": 32387,
385
+ "\\varpi": 32383,
386
+ "\\varpropto": 32184,
387
+ "\\varrho": 32384,
388
+ "\\varsigma": 32385,
389
+ "\\varsubsetneqq": 32179,
390
+ "\\varsupsetneqq": 32180,
391
+ "\\vartheta": 32386,
392
+ "\\vartriangleleft": 32315,
393
+ "\\vartriangleright": 32317,
394
+ "\\vdash": 32222,
395
+ "\\vdots": 32332,
396
+ "\\vec": 32116,
397
+ "\\veebar": 32311,
398
+ "\\vert": 32136,
399
+ "\\widehat": 32115,
400
+ "\\wr": 32289,
401
+ "\\xi": 32371,
402
+ "\\zeta": 32363,
403
+ "^": 32103,
404
+ "{": 32101,
405
+ "}": 32102,
406
+ "~": 32105
407
+ }
special_tokens_map.json ADDED
@@ -0,0 +1,430 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "additional_special_tokens": [
3
+ "\\",
4
+ "{",
5
+ "}",
6
+ "^",
7
+ "<",
8
+ "~",
9
+ "\\dot",
10
+ "\\ddot",
11
+ "\\acute",
12
+ "\\grave",
13
+ "\\check",
14
+ "\\breve",
15
+ "\\tilde",
16
+ "\\bar",
17
+ "\\hat",
18
+ "\\widehat",
19
+ "\\vec",
20
+ "\\exp",
21
+ "\\ln",
22
+ "\\lg",
23
+ "\\log",
24
+ "\\sin",
25
+ "\\cos",
26
+ "\\tan",
27
+ "\\cot",
28
+ "\\sec",
29
+ "\\csc",
30
+ "\\arcsin",
31
+ "\\arccos",
32
+ "\\arctan",
33
+ "\\sinh",
34
+ "\\cosh",
35
+ "\\tanh",
36
+ "\\coth",
37
+ "\\operatorname",
38
+ "\\sgn",
39
+ "\\vert",
40
+ "\\min",
41
+ "\\max",
42
+ "\\inf",
43
+ "\\sup",
44
+ "\\lim",
45
+ "\\liminf",
46
+ "\\limsup",
47
+ "\\dim",
48
+ "\\deg",
49
+ "\\det",
50
+ "\\phi",
51
+ "\\Pr",
52
+ "\\hom",
53
+ "\\lVert",
54
+ "\\arg",
55
+ "\\partial",
56
+ "\\over",
57
+ "\\hbar",
58
+ "\\circledS",
59
+ "\\equiv",
60
+ "\\pmod",
61
+ "\\nshortmid",
62
+ "\\sqrt",
63
+ "\\mathrm",
64
+ "\\dotplus",
65
+ "\\backslash",
66
+ "\\bullet",
67
+ "\\boxdot",
68
+ "\\circledast",
69
+ "\\bigodot",
70
+ "\\O",
71
+ "\\empty",
72
+ "\\varnothing",
73
+ "\\notin",
74
+ "\\ni",
75
+ "\\bigcap",
76
+ "\\biguplus",
77
+ "\\times",
78
+ "\\sqsubset",
79
+ "\\sqsupset",
80
+ "\\sqsubseteq",
81
+ "\\sqsupseteq",
82
+ "\\varsubsetneqq",
83
+ "\\varsupsetneqq",
84
+ "\\overset",
85
+ "\\underset",
86
+ "\\ncong",
87
+ "\\varpropto",
88
+ "\\lessdot",
89
+ "\\gtrdot",
90
+ "\\lvertneqq",
91
+ "\\gvertneqq",
92
+ "\\gtreqqless",
93
+ "\\eqslantless",
94
+ "\\eqslantgtr",
95
+ "\\lnapprox",
96
+ "\\gnapprox",
97
+ "\\precneqq",
98
+ "\\succneqq",
99
+ "\\curlyeqprec",
100
+ "\\curlyeqsucc",
101
+ "\\precnapprox",
102
+ "\\succnapprox",
103
+ "\\nshortparallel",
104
+ "\\circ",
105
+ "\\Diamond",
106
+ "\\bigstar",
107
+ "\\triangle",
108
+ "\\bigtriangledown",
109
+ "\\triangledown",
110
+ "\\blacktriangleright",
111
+ "\\overline",
112
+ "\\frown",
113
+ "\\nexists",
114
+ "\\And",
115
+ "\\therefore",
116
+ "\\because",
117
+ "\\or",
118
+ "\\lor",
119
+ "\\bigvee",
120
+ "\\and",
121
+ "\\land",
122
+ "\\bigwedge",
123
+ "\\lnot",
124
+ "\\top",
125
+ "\\vdash",
126
+ "\\models",
127
+ "\\Vvdash",
128
+ "\\nvdash",
129
+ "\\nVdash",
130
+ "\\nvDash",
131
+ "\\nVDash",
132
+ "\\ulcorner",
133
+ "\\urcorner",
134
+ "\\llcorner",
135
+ "\\lrcorner",
136
+ "\\Lleftarrow",
137
+ "\\Longrightarrow",
138
+ "\\implies",
139
+ "\\Longleftarrow",
140
+ "\\Longleftrightarrow",
141
+ "\\iff",
142
+ "\\Updownarrow",
143
+ "\\rightarrow",
144
+ "\\longrightarrow",
145
+ "\\leftarrow",
146
+ "\\longleftarrow",
147
+ "\\longleftrightarrow",
148
+ "\\updownarrow",
149
+ "\\searrow",
150
+ "\\longmapsto",
151
+ "\\rightharpoonup",
152
+ "\\rightharpoondown",
153
+ "\\leftharpoonup",
154
+ "\\leftharpoondown",
155
+ "\\upharpoonleft",
156
+ "\\upharpoonright",
157
+ "\\downharpoonleft",
158
+ "\\downharpoonright",
159
+ "\\rightleftharpoons",
160
+ "\\leftrightharpoons",
161
+ "\\curvearrowleft",
162
+ "\\circlearrowleft",
163
+ "\\Lsh",
164
+ "\\upuparrows",
165
+ "\\rightrightarrows",
166
+ "\\rightleftarrows",
167
+ "\\rightarrowtail",
168
+ "\\looparrowright",
169
+ "\\curvearrowright",
170
+ "\\circlearrowright",
171
+ "\\Rsh",
172
+ "\\downdownarrows",
173
+ "\\leftleftarrows",
174
+ "\\leftrightarrows",
175
+ "\\leftarrowtail",
176
+ "\\looparrowleft",
177
+ "\\hookrightarrow",
178
+ "\\hookleftarrow",
179
+ "\\multimap",
180
+ "\\leftrightsquigarrow",
181
+ "\\rightsquigarrow",
182
+ "\\twoheadrightarrow",
183
+ "\\twoheadleftarrow",
184
+ "\\amalg",
185
+ "\\P",
186
+ "\\S",
187
+ "\\dagger",
188
+ "\\ddagger",
189
+ "\\ldots",
190
+ "\\cdots",
191
+ "\\smile",
192
+ "\\wr",
193
+ "\\triangleleft",
194
+ "\\sharp",
195
+ "\\cancel",
196
+ "\\color",
197
+ "\\diagup",
198
+ "\\diagdown",
199
+ "\\centerdot",
200
+ "\\ltimes",
201
+ "\\rtimes",
202
+ "\\leftthreetimes",
203
+ "\\rightthreetimes",
204
+ "\\eqcirc",
205
+ "\\circeq",
206
+ "\\triangleq",
207
+ "\\bumpeq",
208
+ "\\Bumpeq",
209
+ "\\doteqdot",
210
+ "\\risingdotseq",
211
+ "\\fallingdotseq",
212
+ "\\intercal",
213
+ "\\barwedge",
214
+ "\\veebar",
215
+ "\\doublebarwedge",
216
+ "\\between",
217
+ "\\pitchfork",
218
+ "\\vartriangleleft",
219
+ "\\ntriangleleft",
220
+ "\\vartriangleright",
221
+ "\\ntriangleright",
222
+ "\\trianglelefteq",
223
+ "\\ntrianglelefteq",
224
+ "\\trianglerighteq",
225
+ "\\ntrianglerighteq",
226
+ "\\sum",
227
+ "\\prod",
228
+ "\\to",
229
+ "\\int",
230
+ "\\oint",
231
+ "\\frac",
232
+ "\\choose",
233
+ "\\begin",
234
+ "\\end",
235
+ "\\vdots",
236
+ "\\ddots",
237
+ "\\mbox",
238
+ "\\Alpha",
239
+ "\\Beta",
240
+ "\\Gamma",
241
+ "\\Delta",
242
+ "\\Epsilon",
243
+ "\\Zeta",
244
+ "\\Eta",
245
+ "\\Theta",
246
+ "\\Iota",
247
+ "\\Kappa",
248
+ "\\Lambda",
249
+ "\\Mu",
250
+ "\\Nu",
251
+ "\\Xi",
252
+ "\\Pi",
253
+ "\\Rho",
254
+ "\\Sigma",
255
+ "\\Tau",
256
+ "\\Upsilon",
257
+ "\\Phi",
258
+ "\\Chi",
259
+ "\\Psi",
260
+ "\\Omega",
261
+ "\\alpha",
262
+ "\\beta",
263
+ "\\gamma",
264
+ "\\delta",
265
+ "\\epsilon",
266
+ "\\zeta",
267
+ "\\eta",
268
+ "\\theta",
269
+ "\\iota",
270
+ "\\kappa",
271
+ "\\lambda",
272
+ "\\mu",
273
+ "\\nu",
274
+ "\\xi",
275
+ "\\pi",
276
+ "\\rho",
277
+ "\\sigma",
278
+ "\\tau",
279
+ "\\upsilon",
280
+ "\\chi",
281
+ "\\psi",
282
+ "\\omega",
283
+ "\\varepsilon",
284
+ "\\digamma",
285
+ "\\varkappa",
286
+ "\\varpi",
287
+ "\\varrho",
288
+ "\\varsigma",
289
+ "\\vartheta",
290
+ "\\varphi",
291
+ "\\aleph",
292
+ "\\beth",
293
+ "\\gimel",
294
+ "\\daleth",
295
+ "\\mathbb",
296
+ "\\mathbf",
297
+ "\\boldsymbol",
298
+ "\\mathit",
299
+ "\\mathsf",
300
+ "\\mathcal",
301
+ "\\mathfrak",
302
+ "\\text",
303
+ "\\left",
304
+ "\\right",
305
+ "\\langle",
306
+ "\\rfloor",
307
+ "\\quad",
308
+ "<extra_id_0>",
309
+ "<extra_id_1>",
310
+ "<extra_id_2>",
311
+ "<extra_id_3>",
312
+ "<extra_id_4>",
313
+ "<extra_id_5>",
314
+ "<extra_id_6>",
315
+ "<extra_id_7>",
316
+ "<extra_id_8>",
317
+ "<extra_id_9>",
318
+ "<extra_id_10>",
319
+ "<extra_id_11>",
320
+ "<extra_id_12>",
321
+ "<extra_id_13>",
322
+ "<extra_id_14>",
323
+ "<extra_id_15>",
324
+ "<extra_id_16>",
325
+ "<extra_id_17>",
326
+ "<extra_id_18>",
327
+ "<extra_id_19>",
328
+ "<extra_id_20>",
329
+ "<extra_id_21>",
330
+ "<extra_id_22>",
331
+ "<extra_id_23>",
332
+ "<extra_id_24>",
333
+ "<extra_id_25>",
334
+ "<extra_id_26>",
335
+ "<extra_id_27>",
336
+ "<extra_id_28>",
337
+ "<extra_id_29>",
338
+ "<extra_id_30>",
339
+ "<extra_id_31>",
340
+ "<extra_id_32>",
341
+ "<extra_id_33>",
342
+ "<extra_id_34>",
343
+ "<extra_id_35>",
344
+ "<extra_id_36>",
345
+ "<extra_id_37>",
346
+ "<extra_id_38>",
347
+ "<extra_id_39>",
348
+ "<extra_id_40>",
349
+ "<extra_id_41>",
350
+ "<extra_id_42>",
351
+ "<extra_id_43>",
352
+ "<extra_id_44>",
353
+ "<extra_id_45>",
354
+ "<extra_id_46>",
355
+ "<extra_id_47>",
356
+ "<extra_id_48>",
357
+ "<extra_id_49>",
358
+ "<extra_id_50>",
359
+ "<extra_id_51>",
360
+ "<extra_id_52>",
361
+ "<extra_id_53>",
362
+ "<extra_id_54>",
363
+ "<extra_id_55>",
364
+ "<extra_id_56>",
365
+ "<extra_id_57>",
366
+ "<extra_id_58>",
367
+ "<extra_id_59>",
368
+ "<extra_id_60>",
369
+ "<extra_id_61>",
370
+ "<extra_id_62>",
371
+ "<extra_id_63>",
372
+ "<extra_id_64>",
373
+ "<extra_id_65>",
374
+ "<extra_id_66>",
375
+ "<extra_id_67>",
376
+ "<extra_id_68>",
377
+ "<extra_id_69>",
378
+ "<extra_id_70>",
379
+ "<extra_id_71>",
380
+ "<extra_id_72>",
381
+ "<extra_id_73>",
382
+ "<extra_id_74>",
383
+ "<extra_id_75>",
384
+ "<extra_id_76>",
385
+ "<extra_id_77>",
386
+ "<extra_id_78>",
387
+ "<extra_id_79>",
388
+ "<extra_id_80>",
389
+ "<extra_id_81>",
390
+ "<extra_id_82>",
391
+ "<extra_id_83>",
392
+ "<extra_id_84>",
393
+ "<extra_id_85>",
394
+ "<extra_id_86>",
395
+ "<extra_id_87>",
396
+ "<extra_id_88>",
397
+ "<extra_id_89>",
398
+ "<extra_id_90>",
399
+ "<extra_id_91>",
400
+ "<extra_id_92>",
401
+ "<extra_id_93>",
402
+ "<extra_id_94>",
403
+ "<extra_id_95>",
404
+ "<extra_id_96>",
405
+ "<extra_id_97>",
406
+ "<extra_id_98>",
407
+ "<extra_id_99>"
408
+ ],
409
+ "eos_token": {
410
+ "content": "</s>",
411
+ "lstrip": false,
412
+ "normalized": false,
413
+ "rstrip": false,
414
+ "single_word": false
415
+ },
416
+ "pad_token": {
417
+ "content": "<pad>",
418
+ "lstrip": false,
419
+ "normalized": false,
420
+ "rstrip": false,
421
+ "single_word": false
422
+ },
423
+ "unk_token": {
424
+ "content": "<unk>",
425
+ "lstrip": false,
426
+ "normalized": false,
427
+ "rstrip": false,
428
+ "single_word": false
429
+ }
430
+ }
spiece.model ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:d60acb128cf7b7f2536e8f38a5b18a05535c9e14c7a355904270e15b0945ea86
3
+ size 791656
tokenizer_config.json ADDED
@@ -0,0 +1,3685 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "add_prefix_space": true,
3
+ "added_tokens_decoder": {
4
+ "0": {
5
+ "content": "<pad>",
6
+ "lstrip": false,
7
+ "normalized": false,
8
+ "rstrip": false,
9
+ "single_word": false,
10
+ "special": true
11
+ },
12
+ "1": {
13
+ "content": "</s>",
14
+ "lstrip": false,
15
+ "normalized": false,
16
+ "rstrip": false,
17
+ "single_word": false,
18
+ "special": true
19
+ },
20
+ "2": {
21
+ "content": "<unk>",
22
+ "lstrip": false,
23
+ "normalized": false,
24
+ "rstrip": false,
25
+ "single_word": false,
26
+ "special": true
27
+ },
28
+ "32000": {
29
+ "content": "<extra_id_99>",
30
+ "lstrip": false,
31
+ "normalized": false,
32
+ "rstrip": false,
33
+ "single_word": false,
34
+ "special": true
35
+ },
36
+ "32001": {
37
+ "content": "<extra_id_98>",
38
+ "lstrip": false,
39
+ "normalized": false,
40
+ "rstrip": false,
41
+ "single_word": false,
42
+ "special": true
43
+ },
44
+ "32002": {
45
+ "content": "<extra_id_97>",
46
+ "lstrip": false,
47
+ "normalized": false,
48
+ "rstrip": false,
49
+ "single_word": false,
50
+ "special": true
51
+ },
52
+ "32003": {
53
+ "content": "<extra_id_96>",
54
+ "lstrip": false,
55
+ "normalized": false,
56
+ "rstrip": false,
57
+ "single_word": false,
58
+ "special": true
59
+ },
60
+ "32004": {
61
+ "content": "<extra_id_95>",
62
+ "lstrip": false,
63
+ "normalized": false,
64
+ "rstrip": false,
65
+ "single_word": false,
66
+ "special": true
67
+ },
68
+ "32005": {
69
+ "content": "<extra_id_94>",
70
+ "lstrip": false,
71
+ "normalized": false,
72
+ "rstrip": false,
73
+ "single_word": false,
74
+ "special": true
75
+ },
76
+ "32006": {
77
+ "content": "<extra_id_93>",
78
+ "lstrip": false,
79
+ "normalized": false,
80
+ "rstrip": false,
81
+ "single_word": false,
82
+ "special": true
83
+ },
84
+ "32007": {
85
+ "content": "<extra_id_92>",
86
+ "lstrip": false,
87
+ "normalized": false,
88
+ "rstrip": false,
89
+ "single_word": false,
90
+ "special": true
91
+ },
92
+ "32008": {
93
+ "content": "<extra_id_91>",
94
+ "lstrip": false,
95
+ "normalized": false,
96
+ "rstrip": false,
97
+ "single_word": false,
98
+ "special": true
99
+ },
100
+ "32009": {
101
+ "content": "<extra_id_90>",
102
+ "lstrip": false,
103
+ "normalized": false,
104
+ "rstrip": false,
105
+ "single_word": false,
106
+ "special": true
107
+ },
108
+ "32010": {
109
+ "content": "<extra_id_89>",
110
+ "lstrip": false,
111
+ "normalized": false,
112
+ "rstrip": false,
113
+ "single_word": false,
114
+ "special": true
115
+ },
116
+ "32011": {
117
+ "content": "<extra_id_88>",
118
+ "lstrip": false,
119
+ "normalized": false,
120
+ "rstrip": false,
121
+ "single_word": false,
122
+ "special": true
123
+ },
124
+ "32012": {
125
+ "content": "<extra_id_87>",
126
+ "lstrip": false,
127
+ "normalized": false,
128
+ "rstrip": false,
129
+ "single_word": false,
130
+ "special": true
131
+ },
132
+ "32013": {
133
+ "content": "<extra_id_86>",
134
+ "lstrip": false,
135
+ "normalized": false,
136
+ "rstrip": false,
137
+ "single_word": false,
138
+ "special": true
139
+ },
140
+ "32014": {
141
+ "content": "<extra_id_85>",
142
+ "lstrip": false,
143
+ "normalized": false,
144
+ "rstrip": false,
145
+ "single_word": false,
146
+ "special": true
147
+ },
148
+ "32015": {
149
+ "content": "<extra_id_84>",
150
+ "lstrip": false,
151
+ "normalized": false,
152
+ "rstrip": false,
153
+ "single_word": false,
154
+ "special": true
155
+ },
156
+ "32016": {
157
+ "content": "<extra_id_83>",
158
+ "lstrip": false,
159
+ "normalized": false,
160
+ "rstrip": false,
161
+ "single_word": false,
162
+ "special": true
163
+ },
164
+ "32017": {
165
+ "content": "<extra_id_82>",
166
+ "lstrip": false,
167
+ "normalized": false,
168
+ "rstrip": false,
169
+ "single_word": false,
170
+ "special": true
171
+ },
172
+ "32018": {
173
+ "content": "<extra_id_81>",
174
+ "lstrip": false,
175
+ "normalized": false,
176
+ "rstrip": false,
177
+ "single_word": false,
178
+ "special": true
179
+ },
180
+ "32019": {
181
+ "content": "<extra_id_80>",
182
+ "lstrip": false,
183
+ "normalized": false,
184
+ "rstrip": false,
185
+ "single_word": false,
186
+ "special": true
187
+ },
188
+ "32020": {
189
+ "content": "<extra_id_79>",
190
+ "lstrip": false,
191
+ "normalized": false,
192
+ "rstrip": false,
193
+ "single_word": false,
194
+ "special": true
195
+ },
196
+ "32021": {
197
+ "content": "<extra_id_78>",
198
+ "lstrip": false,
199
+ "normalized": false,
200
+ "rstrip": false,
201
+ "single_word": false,
202
+ "special": true
203
+ },
204
+ "32022": {
205
+ "content": "<extra_id_77>",
206
+ "lstrip": false,
207
+ "normalized": false,
208
+ "rstrip": false,
209
+ "single_word": false,
210
+ "special": true
211
+ },
212
+ "32023": {
213
+ "content": "<extra_id_76>",
214
+ "lstrip": false,
215
+ "normalized": false,
216
+ "rstrip": false,
217
+ "single_word": false,
218
+ "special": true
219
+ },
220
+ "32024": {
221
+ "content": "<extra_id_75>",
222
+ "lstrip": false,
223
+ "normalized": false,
224
+ "rstrip": false,
225
+ "single_word": false,
226
+ "special": true
227
+ },
228
+ "32025": {
229
+ "content": "<extra_id_74>",
230
+ "lstrip": false,
231
+ "normalized": false,
232
+ "rstrip": false,
233
+ "single_word": false,
234
+ "special": true
235
+ },
236
+ "32026": {
237
+ "content": "<extra_id_73>",
238
+ "lstrip": false,
239
+ "normalized": false,
240
+ "rstrip": false,
241
+ "single_word": false,
242
+ "special": true
243
+ },
244
+ "32027": {
245
+ "content": "<extra_id_72>",
246
+ "lstrip": false,
247
+ "normalized": false,
248
+ "rstrip": false,
249
+ "single_word": false,
250
+ "special": true
251
+ },
252
+ "32028": {
253
+ "content": "<extra_id_71>",
254
+ "lstrip": false,
255
+ "normalized": false,
256
+ "rstrip": false,
257
+ "single_word": false,
258
+ "special": true
259
+ },
260
+ "32029": {
261
+ "content": "<extra_id_70>",
262
+ "lstrip": false,
263
+ "normalized": false,
264
+ "rstrip": false,
265
+ "single_word": false,
266
+ "special": true
267
+ },
268
+ "32030": {
269
+ "content": "<extra_id_69>",
270
+ "lstrip": false,
271
+ "normalized": false,
272
+ "rstrip": false,
273
+ "single_word": false,
274
+ "special": true
275
+ },
276
+ "32031": {
277
+ "content": "<extra_id_68>",
278
+ "lstrip": false,
279
+ "normalized": false,
280
+ "rstrip": false,
281
+ "single_word": false,
282
+ "special": true
283
+ },
284
+ "32032": {
285
+ "content": "<extra_id_67>",
286
+ "lstrip": false,
287
+ "normalized": false,
288
+ "rstrip": false,
289
+ "single_word": false,
290
+ "special": true
291
+ },
292
+ "32033": {
293
+ "content": "<extra_id_66>",
294
+ "lstrip": false,
295
+ "normalized": false,
296
+ "rstrip": false,
297
+ "single_word": false,
298
+ "special": true
299
+ },
300
+ "32034": {
301
+ "content": "<extra_id_65>",
302
+ "lstrip": false,
303
+ "normalized": false,
304
+ "rstrip": false,
305
+ "single_word": false,
306
+ "special": true
307
+ },
308
+ "32035": {
309
+ "content": "<extra_id_64>",
310
+ "lstrip": false,
311
+ "normalized": false,
312
+ "rstrip": false,
313
+ "single_word": false,
314
+ "special": true
315
+ },
316
+ "32036": {
317
+ "content": "<extra_id_63>",
318
+ "lstrip": false,
319
+ "normalized": false,
320
+ "rstrip": false,
321
+ "single_word": false,
322
+ "special": true
323
+ },
324
+ "32037": {
325
+ "content": "<extra_id_62>",
326
+ "lstrip": false,
327
+ "normalized": false,
328
+ "rstrip": false,
329
+ "single_word": false,
330
+ "special": true
331
+ },
332
+ "32038": {
333
+ "content": "<extra_id_61>",
334
+ "lstrip": false,
335
+ "normalized": false,
336
+ "rstrip": false,
337
+ "single_word": false,
338
+ "special": true
339
+ },
340
+ "32039": {
341
+ "content": "<extra_id_60>",
342
+ "lstrip": false,
343
+ "normalized": false,
344
+ "rstrip": false,
345
+ "single_word": false,
346
+ "special": true
347
+ },
348
+ "32040": {
349
+ "content": "<extra_id_59>",
350
+ "lstrip": false,
351
+ "normalized": false,
352
+ "rstrip": false,
353
+ "single_word": false,
354
+ "special": true
355
+ },
356
+ "32041": {
357
+ "content": "<extra_id_58>",
358
+ "lstrip": false,
359
+ "normalized": false,
360
+ "rstrip": false,
361
+ "single_word": false,
362
+ "special": true
363
+ },
364
+ "32042": {
365
+ "content": "<extra_id_57>",
366
+ "lstrip": false,
367
+ "normalized": false,
368
+ "rstrip": false,
369
+ "single_word": false,
370
+ "special": true
371
+ },
372
+ "32043": {
373
+ "content": "<extra_id_56>",
374
+ "lstrip": false,
375
+ "normalized": false,
376
+ "rstrip": false,
377
+ "single_word": false,
378
+ "special": true
379
+ },
380
+ "32044": {
381
+ "content": "<extra_id_55>",
382
+ "lstrip": false,
383
+ "normalized": false,
384
+ "rstrip": false,
385
+ "single_word": false,
386
+ "special": true
387
+ },
388
+ "32045": {
389
+ "content": "<extra_id_54>",
390
+ "lstrip": false,
391
+ "normalized": false,
392
+ "rstrip": false,
393
+ "single_word": false,
394
+ "special": true
395
+ },
396
+ "32046": {
397
+ "content": "<extra_id_53>",
398
+ "lstrip": false,
399
+ "normalized": false,
400
+ "rstrip": false,
401
+ "single_word": false,
402
+ "special": true
403
+ },
404
+ "32047": {
405
+ "content": "<extra_id_52>",
406
+ "lstrip": false,
407
+ "normalized": false,
408
+ "rstrip": false,
409
+ "single_word": false,
410
+ "special": true
411
+ },
412
+ "32048": {
413
+ "content": "<extra_id_51>",
414
+ "lstrip": false,
415
+ "normalized": false,
416
+ "rstrip": false,
417
+ "single_word": false,
418
+ "special": true
419
+ },
420
+ "32049": {
421
+ "content": "<extra_id_50>",
422
+ "lstrip": false,
423
+ "normalized": false,
424
+ "rstrip": false,
425
+ "single_word": false,
426
+ "special": true
427
+ },
428
+ "32050": {
429
+ "content": "<extra_id_49>",
430
+ "lstrip": false,
431
+ "normalized": false,
432
+ "rstrip": false,
433
+ "single_word": false,
434
+ "special": true
435
+ },
436
+ "32051": {
437
+ "content": "<extra_id_48>",
438
+ "lstrip": false,
439
+ "normalized": false,
440
+ "rstrip": false,
441
+ "single_word": false,
442
+ "special": true
443
+ },
444
+ "32052": {
445
+ "content": "<extra_id_47>",
446
+ "lstrip": false,
447
+ "normalized": false,
448
+ "rstrip": false,
449
+ "single_word": false,
450
+ "special": true
451
+ },
452
+ "32053": {
453
+ "content": "<extra_id_46>",
454
+ "lstrip": false,
455
+ "normalized": false,
456
+ "rstrip": false,
457
+ "single_word": false,
458
+ "special": true
459
+ },
460
+ "32054": {
461
+ "content": "<extra_id_45>",
462
+ "lstrip": false,
463
+ "normalized": false,
464
+ "rstrip": false,
465
+ "single_word": false,
466
+ "special": true
467
+ },
468
+ "32055": {
469
+ "content": "<extra_id_44>",
470
+ "lstrip": false,
471
+ "normalized": false,
472
+ "rstrip": false,
473
+ "single_word": false,
474
+ "special": true
475
+ },
476
+ "32056": {
477
+ "content": "<extra_id_43>",
478
+ "lstrip": false,
479
+ "normalized": false,
480
+ "rstrip": false,
481
+ "single_word": false,
482
+ "special": true
483
+ },
484
+ "32057": {
485
+ "content": "<extra_id_42>",
486
+ "lstrip": false,
487
+ "normalized": false,
488
+ "rstrip": false,
489
+ "single_word": false,
490
+ "special": true
491
+ },
492
+ "32058": {
493
+ "content": "<extra_id_41>",
494
+ "lstrip": false,
495
+ "normalized": false,
496
+ "rstrip": false,
497
+ "single_word": false,
498
+ "special": true
499
+ },
500
+ "32059": {
501
+ "content": "<extra_id_40>",
502
+ "lstrip": false,
503
+ "normalized": false,
504
+ "rstrip": false,
505
+ "single_word": false,
506
+ "special": true
507
+ },
508
+ "32060": {
509
+ "content": "<extra_id_39>",
510
+ "lstrip": false,
511
+ "normalized": false,
512
+ "rstrip": false,
513
+ "single_word": false,
514
+ "special": true
515
+ },
516
+ "32061": {
517
+ "content": "<extra_id_38>",
518
+ "lstrip": false,
519
+ "normalized": false,
520
+ "rstrip": false,
521
+ "single_word": false,
522
+ "special": true
523
+ },
524
+ "32062": {
525
+ "content": "<extra_id_37>",
526
+ "lstrip": false,
527
+ "normalized": false,
528
+ "rstrip": false,
529
+ "single_word": false,
530
+ "special": true
531
+ },
532
+ "32063": {
533
+ "content": "<extra_id_36>",
534
+ "lstrip": false,
535
+ "normalized": false,
536
+ "rstrip": false,
537
+ "single_word": false,
538
+ "special": true
539
+ },
540
+ "32064": {
541
+ "content": "<extra_id_35>",
542
+ "lstrip": false,
543
+ "normalized": false,
544
+ "rstrip": false,
545
+ "single_word": false,
546
+ "special": true
547
+ },
548
+ "32065": {
549
+ "content": "<extra_id_34>",
550
+ "lstrip": false,
551
+ "normalized": false,
552
+ "rstrip": false,
553
+ "single_word": false,
554
+ "special": true
555
+ },
556
+ "32066": {
557
+ "content": "<extra_id_33>",
558
+ "lstrip": false,
559
+ "normalized": false,
560
+ "rstrip": false,
561
+ "single_word": false,
562
+ "special": true
563
+ },
564
+ "32067": {
565
+ "content": "<extra_id_32>",
566
+ "lstrip": false,
567
+ "normalized": false,
568
+ "rstrip": false,
569
+ "single_word": false,
570
+ "special": true
571
+ },
572
+ "32068": {
573
+ "content": "<extra_id_31>",
574
+ "lstrip": false,
575
+ "normalized": false,
576
+ "rstrip": false,
577
+ "single_word": false,
578
+ "special": true
579
+ },
580
+ "32069": {
581
+ "content": "<extra_id_30>",
582
+ "lstrip": false,
583
+ "normalized": false,
584
+ "rstrip": false,
585
+ "single_word": false,
586
+ "special": true
587
+ },
588
+ "32070": {
589
+ "content": "<extra_id_29>",
590
+ "lstrip": false,
591
+ "normalized": false,
592
+ "rstrip": false,
593
+ "single_word": false,
594
+ "special": true
595
+ },
596
+ "32071": {
597
+ "content": "<extra_id_28>",
598
+ "lstrip": false,
599
+ "normalized": false,
600
+ "rstrip": false,
601
+ "single_word": false,
602
+ "special": true
603
+ },
604
+ "32072": {
605
+ "content": "<extra_id_27>",
606
+ "lstrip": false,
607
+ "normalized": false,
608
+ "rstrip": false,
609
+ "single_word": false,
610
+ "special": true
611
+ },
612
+ "32073": {
613
+ "content": "<extra_id_26>",
614
+ "lstrip": false,
615
+ "normalized": false,
616
+ "rstrip": false,
617
+ "single_word": false,
618
+ "special": true
619
+ },
620
+ "32074": {
621
+ "content": "<extra_id_25>",
622
+ "lstrip": false,
623
+ "normalized": false,
624
+ "rstrip": false,
625
+ "single_word": false,
626
+ "special": true
627
+ },
628
+ "32075": {
629
+ "content": "<extra_id_24>",
630
+ "lstrip": false,
631
+ "normalized": false,
632
+ "rstrip": false,
633
+ "single_word": false,
634
+ "special": true
635
+ },
636
+ "32076": {
637
+ "content": "<extra_id_23>",
638
+ "lstrip": false,
639
+ "normalized": false,
640
+ "rstrip": false,
641
+ "single_word": false,
642
+ "special": true
643
+ },
644
+ "32077": {
645
+ "content": "<extra_id_22>",
646
+ "lstrip": false,
647
+ "normalized": false,
648
+ "rstrip": false,
649
+ "single_word": false,
650
+ "special": true
651
+ },
652
+ "32078": {
653
+ "content": "<extra_id_21>",
654
+ "lstrip": false,
655
+ "normalized": false,
656
+ "rstrip": false,
657
+ "single_word": false,
658
+ "special": true
659
+ },
660
+ "32079": {
661
+ "content": "<extra_id_20>",
662
+ "lstrip": false,
663
+ "normalized": false,
664
+ "rstrip": false,
665
+ "single_word": false,
666
+ "special": true
667
+ },
668
+ "32080": {
669
+ "content": "<extra_id_19>",
670
+ "lstrip": false,
671
+ "normalized": false,
672
+ "rstrip": false,
673
+ "single_word": false,
674
+ "special": true
675
+ },
676
+ "32081": {
677
+ "content": "<extra_id_18>",
678
+ "lstrip": false,
679
+ "normalized": false,
680
+ "rstrip": false,
681
+ "single_word": false,
682
+ "special": true
683
+ },
684
+ "32082": {
685
+ "content": "<extra_id_17>",
686
+ "lstrip": false,
687
+ "normalized": false,
688
+ "rstrip": false,
689
+ "single_word": false,
690
+ "special": true
691
+ },
692
+ "32083": {
693
+ "content": "<extra_id_16>",
694
+ "lstrip": false,
695
+ "normalized": false,
696
+ "rstrip": false,
697
+ "single_word": false,
698
+ "special": true
699
+ },
700
+ "32084": {
701
+ "content": "<extra_id_15>",
702
+ "lstrip": false,
703
+ "normalized": false,
704
+ "rstrip": false,
705
+ "single_word": false,
706
+ "special": true
707
+ },
708
+ "32085": {
709
+ "content": "<extra_id_14>",
710
+ "lstrip": false,
711
+ "normalized": false,
712
+ "rstrip": false,
713
+ "single_word": false,
714
+ "special": true
715
+ },
716
+ "32086": {
717
+ "content": "<extra_id_13>",
718
+ "lstrip": false,
719
+ "normalized": false,
720
+ "rstrip": false,
721
+ "single_word": false,
722
+ "special": true
723
+ },
724
+ "32087": {
725
+ "content": "<extra_id_12>",
726
+ "lstrip": false,
727
+ "normalized": false,
728
+ "rstrip": false,
729
+ "single_word": false,
730
+ "special": true
731
+ },
732
+ "32088": {
733
+ "content": "<extra_id_11>",
734
+ "lstrip": false,
735
+ "normalized": false,
736
+ "rstrip": false,
737
+ "single_word": false,
738
+ "special": true
739
+ },
740
+ "32089": {
741
+ "content": "<extra_id_10>",
742
+ "lstrip": false,
743
+ "normalized": false,
744
+ "rstrip": false,
745
+ "single_word": false,
746
+ "special": true
747
+ },
748
+ "32090": {
749
+ "content": "<extra_id_9>",
750
+ "lstrip": false,
751
+ "normalized": false,
752
+ "rstrip": false,
753
+ "single_word": false,
754
+ "special": true
755
+ },
756
+ "32091": {
757
+ "content": "<extra_id_8>",
758
+ "lstrip": false,
759
+ "normalized": false,
760
+ "rstrip": false,
761
+ "single_word": false,
762
+ "special": true
763
+ },
764
+ "32092": {
765
+ "content": "<extra_id_7>",
766
+ "lstrip": false,
767
+ "normalized": false,
768
+ "rstrip": false,
769
+ "single_word": false,
770
+ "special": true
771
+ },
772
+ "32093": {
773
+ "content": "<extra_id_6>",
774
+ "lstrip": false,
775
+ "normalized": false,
776
+ "rstrip": false,
777
+ "single_word": false,
778
+ "special": true
779
+ },
780
+ "32094": {
781
+ "content": "<extra_id_5>",
782
+ "lstrip": false,
783
+ "normalized": false,
784
+ "rstrip": false,
785
+ "single_word": false,
786
+ "special": true
787
+ },
788
+ "32095": {
789
+ "content": "<extra_id_4>",
790
+ "lstrip": false,
791
+ "normalized": false,
792
+ "rstrip": false,
793
+ "single_word": false,
794
+ "special": true
795
+ },
796
+ "32096": {
797
+ "content": "<extra_id_3>",
798
+ "lstrip": false,
799
+ "normalized": false,
800
+ "rstrip": false,
801
+ "single_word": false,
802
+ "special": true
803
+ },
804
+ "32097": {
805
+ "content": "<extra_id_2>",
806
+ "lstrip": false,
807
+ "normalized": false,
808
+ "rstrip": false,
809
+ "single_word": false,
810
+ "special": true
811
+ },
812
+ "32098": {
813
+ "content": "<extra_id_1>",
814
+ "lstrip": false,
815
+ "normalized": false,
816
+ "rstrip": false,
817
+ "single_word": false,
818
+ "special": true
819
+ },
820
+ "32099": {
821
+ "content": "<extra_id_0>",
822
+ "lstrip": false,
823
+ "normalized": false,
824
+ "rstrip": false,
825
+ "single_word": false,
826
+ "special": true
827
+ },
828
+ "32100": {
829
+ "content": "\\",
830
+ "lstrip": false,
831
+ "normalized": false,
832
+ "rstrip": false,
833
+ "single_word": false,
834
+ "special": true
835
+ },
836
+ "32101": {
837
+ "content": "{",
838
+ "lstrip": false,
839
+ "normalized": false,
840
+ "rstrip": false,
841
+ "single_word": false,
842
+ "special": true
843
+ },
844
+ "32102": {
845
+ "content": "}",
846
+ "lstrip": false,
847
+ "normalized": false,
848
+ "rstrip": false,
849
+ "single_word": false,
850
+ "special": true
851
+ },
852
+ "32103": {
853
+ "content": "^",
854
+ "lstrip": false,
855
+ "normalized": false,
856
+ "rstrip": false,
857
+ "single_word": false,
858
+ "special": true
859
+ },
860
+ "32104": {
861
+ "content": "<",
862
+ "lstrip": false,
863
+ "normalized": false,
864
+ "rstrip": false,
865
+ "single_word": false,
866
+ "special": true
867
+ },
868
+ "32105": {
869
+ "content": "~",
870
+ "lstrip": false,
871
+ "normalized": false,
872
+ "rstrip": false,
873
+ "single_word": false,
874
+ "special": true
875
+ },
876
+ "32106": {
877
+ "content": "\\dot",
878
+ "lstrip": false,
879
+ "normalized": false,
880
+ "rstrip": false,
881
+ "single_word": false,
882
+ "special": true
883
+ },
884
+ "32107": {
885
+ "content": "\\ddot",
886
+ "lstrip": false,
887
+ "normalized": false,
888
+ "rstrip": false,
889
+ "single_word": false,
890
+ "special": true
891
+ },
892
+ "32108": {
893
+ "content": "\\acute",
894
+ "lstrip": false,
895
+ "normalized": false,
896
+ "rstrip": false,
897
+ "single_word": false,
898
+ "special": true
899
+ },
900
+ "32109": {
901
+ "content": "\\grave",
902
+ "lstrip": false,
903
+ "normalized": false,
904
+ "rstrip": false,
905
+ "single_word": false,
906
+ "special": true
907
+ },
908
+ "32110": {
909
+ "content": "\\check",
910
+ "lstrip": false,
911
+ "normalized": false,
912
+ "rstrip": false,
913
+ "single_word": false,
914
+ "special": true
915
+ },
916
+ "32111": {
917
+ "content": "\\breve",
918
+ "lstrip": false,
919
+ "normalized": false,
920
+ "rstrip": false,
921
+ "single_word": false,
922
+ "special": true
923
+ },
924
+ "32112": {
925
+ "content": "\\tilde",
926
+ "lstrip": false,
927
+ "normalized": false,
928
+ "rstrip": false,
929
+ "single_word": false,
930
+ "special": true
931
+ },
932
+ "32113": {
933
+ "content": "\\bar",
934
+ "lstrip": false,
935
+ "normalized": false,
936
+ "rstrip": false,
937
+ "single_word": false,
938
+ "special": true
939
+ },
940
+ "32114": {
941
+ "content": "\\hat",
942
+ "lstrip": false,
943
+ "normalized": false,
944
+ "rstrip": false,
945
+ "single_word": false,
946
+ "special": true
947
+ },
948
+ "32115": {
949
+ "content": "\\widehat",
950
+ "lstrip": false,
951
+ "normalized": false,
952
+ "rstrip": false,
953
+ "single_word": false,
954
+ "special": true
955
+ },
956
+ "32116": {
957
+ "content": "\\vec",
958
+ "lstrip": false,
959
+ "normalized": false,
960
+ "rstrip": false,
961
+ "single_word": false,
962
+ "special": true
963
+ },
964
+ "32117": {
965
+ "content": "\\exp",
966
+ "lstrip": false,
967
+ "normalized": false,
968
+ "rstrip": false,
969
+ "single_word": false,
970
+ "special": true
971
+ },
972
+ "32118": {
973
+ "content": "\\ln",
974
+ "lstrip": false,
975
+ "normalized": false,
976
+ "rstrip": false,
977
+ "single_word": false,
978
+ "special": true
979
+ },
980
+ "32119": {
981
+ "content": "\\lg",
982
+ "lstrip": false,
983
+ "normalized": false,
984
+ "rstrip": false,
985
+ "single_word": false,
986
+ "special": true
987
+ },
988
+ "32120": {
989
+ "content": "\\log",
990
+ "lstrip": false,
991
+ "normalized": false,
992
+ "rstrip": false,
993
+ "single_word": false,
994
+ "special": true
995
+ },
996
+ "32121": {
997
+ "content": "\\sin",
998
+ "lstrip": false,
999
+ "normalized": false,
1000
+ "rstrip": false,
1001
+ "single_word": false,
1002
+ "special": true
1003
+ },
1004
+ "32122": {
1005
+ "content": "\\cos",
1006
+ "lstrip": false,
1007
+ "normalized": false,
1008
+ "rstrip": false,
1009
+ "single_word": false,
1010
+ "special": true
1011
+ },
1012
+ "32123": {
1013
+ "content": "\\tan",
1014
+ "lstrip": false,
1015
+ "normalized": false,
1016
+ "rstrip": false,
1017
+ "single_word": false,
1018
+ "special": true
1019
+ },
1020
+ "32124": {
1021
+ "content": "\\cot",
1022
+ "lstrip": false,
1023
+ "normalized": false,
1024
+ "rstrip": false,
1025
+ "single_word": false,
1026
+ "special": true
1027
+ },
1028
+ "32125": {
1029
+ "content": "\\sec",
1030
+ "lstrip": false,
1031
+ "normalized": false,
1032
+ "rstrip": false,
1033
+ "single_word": false,
1034
+ "special": true
1035
+ },
1036
+ "32126": {
1037
+ "content": "\\csc",
1038
+ "lstrip": false,
1039
+ "normalized": false,
1040
+ "rstrip": false,
1041
+ "single_word": false,
1042
+ "special": true
1043
+ },
1044
+ "32127": {
1045
+ "content": "\\arcsin",
1046
+ "lstrip": false,
1047
+ "normalized": false,
1048
+ "rstrip": false,
1049
+ "single_word": false,
1050
+ "special": true
1051
+ },
1052
+ "32128": {
1053
+ "content": "\\arccos",
1054
+ "lstrip": false,
1055
+ "normalized": false,
1056
+ "rstrip": false,
1057
+ "single_word": false,
1058
+ "special": true
1059
+ },
1060
+ "32129": {
1061
+ "content": "\\arctan",
1062
+ "lstrip": false,
1063
+ "normalized": false,
1064
+ "rstrip": false,
1065
+ "single_word": false,
1066
+ "special": true
1067
+ },
1068
+ "32130": {
1069
+ "content": "\\sinh",
1070
+ "lstrip": false,
1071
+ "normalized": false,
1072
+ "rstrip": false,
1073
+ "single_word": false,
1074
+ "special": true
1075
+ },
1076
+ "32131": {
1077
+ "content": "\\cosh",
1078
+ "lstrip": false,
1079
+ "normalized": false,
1080
+ "rstrip": false,
1081
+ "single_word": false,
1082
+ "special": true
1083
+ },
1084
+ "32132": {
1085
+ "content": "\\tanh",
1086
+ "lstrip": false,
1087
+ "normalized": false,
1088
+ "rstrip": false,
1089
+ "single_word": false,
1090
+ "special": true
1091
+ },
1092
+ "32133": {
1093
+ "content": "\\coth",
1094
+ "lstrip": false,
1095
+ "normalized": false,
1096
+ "rstrip": false,
1097
+ "single_word": false,
1098
+ "special": true
1099
+ },
1100
+ "32134": {
1101
+ "content": "\\operatorname",
1102
+ "lstrip": false,
1103
+ "normalized": false,
1104
+ "rstrip": false,
1105
+ "single_word": false,
1106
+ "special": true
1107
+ },
1108
+ "32135": {
1109
+ "content": "\\sgn",
1110
+ "lstrip": false,
1111
+ "normalized": false,
1112
+ "rstrip": false,
1113
+ "single_word": false,
1114
+ "special": true
1115
+ },
1116
+ "32136": {
1117
+ "content": "\\vert",
1118
+ "lstrip": false,
1119
+ "normalized": false,
1120
+ "rstrip": false,
1121
+ "single_word": false,
1122
+ "special": true
1123
+ },
1124
+ "32137": {
1125
+ "content": "\\min",
1126
+ "lstrip": false,
1127
+ "normalized": false,
1128
+ "rstrip": false,
1129
+ "single_word": false,
1130
+ "special": true
1131
+ },
1132
+ "32138": {
1133
+ "content": "\\max",
1134
+ "lstrip": false,
1135
+ "normalized": false,
1136
+ "rstrip": false,
1137
+ "single_word": false,
1138
+ "special": true
1139
+ },
1140
+ "32139": {
1141
+ "content": "\\inf",
1142
+ "lstrip": false,
1143
+ "normalized": false,
1144
+ "rstrip": false,
1145
+ "single_word": false,
1146
+ "special": true
1147
+ },
1148
+ "32140": {
1149
+ "content": "\\sup",
1150
+ "lstrip": false,
1151
+ "normalized": false,
1152
+ "rstrip": false,
1153
+ "single_word": false,
1154
+ "special": true
1155
+ },
1156
+ "32141": {
1157
+ "content": "\\lim",
1158
+ "lstrip": false,
1159
+ "normalized": false,
1160
+ "rstrip": false,
1161
+ "single_word": false,
1162
+ "special": true
1163
+ },
1164
+ "32142": {
1165
+ "content": "\\liminf",
1166
+ "lstrip": false,
1167
+ "normalized": false,
1168
+ "rstrip": false,
1169
+ "single_word": false,
1170
+ "special": true
1171
+ },
1172
+ "32143": {
1173
+ "content": "\\limsup",
1174
+ "lstrip": false,
1175
+ "normalized": false,
1176
+ "rstrip": false,
1177
+ "single_word": false,
1178
+ "special": true
1179
+ },
1180
+ "32144": {
1181
+ "content": "\\dim",
1182
+ "lstrip": false,
1183
+ "normalized": false,
1184
+ "rstrip": false,
1185
+ "single_word": false,
1186
+ "special": true
1187
+ },
1188
+ "32145": {
1189
+ "content": "\\deg",
1190
+ "lstrip": false,
1191
+ "normalized": false,
1192
+ "rstrip": false,
1193
+ "single_word": false,
1194
+ "special": true
1195
+ },
1196
+ "32146": {
1197
+ "content": "\\det",
1198
+ "lstrip": false,
1199
+ "normalized": false,
1200
+ "rstrip": false,
1201
+ "single_word": false,
1202
+ "special": true
1203
+ },
1204
+ "32147": {
1205
+ "content": "\\phi",
1206
+ "lstrip": false,
1207
+ "normalized": false,
1208
+ "rstrip": false,
1209
+ "single_word": false,
1210
+ "special": true
1211
+ },
1212
+ "32148": {
1213
+ "content": "\\Pr",
1214
+ "lstrip": false,
1215
+ "normalized": false,
1216
+ "rstrip": false,
1217
+ "single_word": false,
1218
+ "special": true
1219
+ },
1220
+ "32149": {
1221
+ "content": "\\hom",
1222
+ "lstrip": false,
1223
+ "normalized": false,
1224
+ "rstrip": false,
1225
+ "single_word": false,
1226
+ "special": true
1227
+ },
1228
+ "32150": {
1229
+ "content": "\\lVert",
1230
+ "lstrip": false,
1231
+ "normalized": false,
1232
+ "rstrip": false,
1233
+ "single_word": false,
1234
+ "special": true
1235
+ },
1236
+ "32151": {
1237
+ "content": "\\arg",
1238
+ "lstrip": false,
1239
+ "normalized": false,
1240
+ "rstrip": false,
1241
+ "single_word": false,
1242
+ "special": true
1243
+ },
1244
+ "32152": {
1245
+ "content": "\\partial",
1246
+ "lstrip": false,
1247
+ "normalized": false,
1248
+ "rstrip": false,
1249
+ "single_word": false,
1250
+ "special": true
1251
+ },
1252
+ "32153": {
1253
+ "content": "\\over",
1254
+ "lstrip": false,
1255
+ "normalized": false,
1256
+ "rstrip": false,
1257
+ "single_word": false,
1258
+ "special": true
1259
+ },
1260
+ "32154": {
1261
+ "content": "\\hbar",
1262
+ "lstrip": false,
1263
+ "normalized": false,
1264
+ "rstrip": false,
1265
+ "single_word": false,
1266
+ "special": true
1267
+ },
1268
+ "32155": {
1269
+ "content": "\\circledS",
1270
+ "lstrip": false,
1271
+ "normalized": false,
1272
+ "rstrip": false,
1273
+ "single_word": false,
1274
+ "special": true
1275
+ },
1276
+ "32156": {
1277
+ "content": "\\equiv",
1278
+ "lstrip": false,
1279
+ "normalized": false,
1280
+ "rstrip": false,
1281
+ "single_word": false,
1282
+ "special": true
1283
+ },
1284
+ "32157": {
1285
+ "content": "\\pmod",
1286
+ "lstrip": false,
1287
+ "normalized": false,
1288
+ "rstrip": false,
1289
+ "single_word": false,
1290
+ "special": true
1291
+ },
1292
+ "32158": {
1293
+ "content": "\\nshortmid",
1294
+ "lstrip": false,
1295
+ "normalized": false,
1296
+ "rstrip": false,
1297
+ "single_word": false,
1298
+ "special": true
1299
+ },
1300
+ "32159": {
1301
+ "content": "\\sqrt",
1302
+ "lstrip": false,
1303
+ "normalized": false,
1304
+ "rstrip": false,
1305
+ "single_word": false,
1306
+ "special": true
1307
+ },
1308
+ "32160": {
1309
+ "content": "\\mathrm",
1310
+ "lstrip": false,
1311
+ "normalized": false,
1312
+ "rstrip": false,
1313
+ "single_word": false,
1314
+ "special": true
1315
+ },
1316
+ "32161": {
1317
+ "content": "\\dotplus",
1318
+ "lstrip": false,
1319
+ "normalized": false,
1320
+ "rstrip": false,
1321
+ "single_word": false,
1322
+ "special": true
1323
+ },
1324
+ "32162": {
1325
+ "content": "\\backslash",
1326
+ "lstrip": false,
1327
+ "normalized": false,
1328
+ "rstrip": false,
1329
+ "single_word": false,
1330
+ "special": true
1331
+ },
1332
+ "32163": {
1333
+ "content": "\\bullet",
1334
+ "lstrip": false,
1335
+ "normalized": false,
1336
+ "rstrip": false,
1337
+ "single_word": false,
1338
+ "special": true
1339
+ },
1340
+ "32164": {
1341
+ "content": "\\boxdot",
1342
+ "lstrip": false,
1343
+ "normalized": false,
1344
+ "rstrip": false,
1345
+ "single_word": false,
1346
+ "special": true
1347
+ },
1348
+ "32165": {
1349
+ "content": "\\circledast",
1350
+ "lstrip": false,
1351
+ "normalized": false,
1352
+ "rstrip": false,
1353
+ "single_word": false,
1354
+ "special": true
1355
+ },
1356
+ "32166": {
1357
+ "content": "\\bigodot",
1358
+ "lstrip": false,
1359
+ "normalized": false,
1360
+ "rstrip": false,
1361
+ "single_word": false,
1362
+ "special": true
1363
+ },
1364
+ "32167": {
1365
+ "content": "\\O",
1366
+ "lstrip": false,
1367
+ "normalized": false,
1368
+ "rstrip": false,
1369
+ "single_word": false,
1370
+ "special": true
1371
+ },
1372
+ "32168": {
1373
+ "content": "\\empty",
1374
+ "lstrip": false,
1375
+ "normalized": false,
1376
+ "rstrip": false,
1377
+ "single_word": false,
1378
+ "special": true
1379
+ },
1380
+ "32169": {
1381
+ "content": "\\varnothing",
1382
+ "lstrip": false,
1383
+ "normalized": false,
1384
+ "rstrip": false,
1385
+ "single_word": false,
1386
+ "special": true
1387
+ },
1388
+ "32170": {
1389
+ "content": "\\notin",
1390
+ "lstrip": false,
1391
+ "normalized": false,
1392
+ "rstrip": false,
1393
+ "single_word": false,
1394
+ "special": true
1395
+ },
1396
+ "32171": {
1397
+ "content": "\\ni",
1398
+ "lstrip": false,
1399
+ "normalized": false,
1400
+ "rstrip": false,
1401
+ "single_word": false,
1402
+ "special": true
1403
+ },
1404
+ "32172": {
1405
+ "content": "\\bigcap",
1406
+ "lstrip": false,
1407
+ "normalized": false,
1408
+ "rstrip": false,
1409
+ "single_word": false,
1410
+ "special": true
1411
+ },
1412
+ "32173": {
1413
+ "content": "\\biguplus",
1414
+ "lstrip": false,
1415
+ "normalized": false,
1416
+ "rstrip": false,
1417
+ "single_word": false,
1418
+ "special": true
1419
+ },
1420
+ "32174": {
1421
+ "content": "\\times",
1422
+ "lstrip": false,
1423
+ "normalized": false,
1424
+ "rstrip": false,
1425
+ "single_word": false,
1426
+ "special": true
1427
+ },
1428
+ "32175": {
1429
+ "content": "\\sqsubset",
1430
+ "lstrip": false,
1431
+ "normalized": false,
1432
+ "rstrip": false,
1433
+ "single_word": false,
1434
+ "special": true
1435
+ },
1436
+ "32176": {
1437
+ "content": "\\sqsupset",
1438
+ "lstrip": false,
1439
+ "normalized": false,
1440
+ "rstrip": false,
1441
+ "single_word": false,
1442
+ "special": true
1443
+ },
1444
+ "32177": {
1445
+ "content": "\\sqsubseteq",
1446
+ "lstrip": false,
1447
+ "normalized": false,
1448
+ "rstrip": false,
1449
+ "single_word": false,
1450
+ "special": true
1451
+ },
1452
+ "32178": {
1453
+ "content": "\\sqsupseteq",
1454
+ "lstrip": false,
1455
+ "normalized": false,
1456
+ "rstrip": false,
1457
+ "single_word": false,
1458
+ "special": true
1459
+ },
1460
+ "32179": {
1461
+ "content": "\\varsubsetneqq",
1462
+ "lstrip": false,
1463
+ "normalized": false,
1464
+ "rstrip": false,
1465
+ "single_word": false,
1466
+ "special": true
1467
+ },
1468
+ "32180": {
1469
+ "content": "\\varsupsetneqq",
1470
+ "lstrip": false,
1471
+ "normalized": false,
1472
+ "rstrip": false,
1473
+ "single_word": false,
1474
+ "special": true
1475
+ },
1476
+ "32181": {
1477
+ "content": "\\overset",
1478
+ "lstrip": false,
1479
+ "normalized": false,
1480
+ "rstrip": false,
1481
+ "single_word": false,
1482
+ "special": true
1483
+ },
1484
+ "32182": {
1485
+ "content": "\\underset",
1486
+ "lstrip": false,
1487
+ "normalized": false,
1488
+ "rstrip": false,
1489
+ "single_word": false,
1490
+ "special": true
1491
+ },
1492
+ "32183": {
1493
+ "content": "\\ncong",
1494
+ "lstrip": false,
1495
+ "normalized": false,
1496
+ "rstrip": false,
1497
+ "single_word": false,
1498
+ "special": true
1499
+ },
1500
+ "32184": {
1501
+ "content": "\\varpropto",
1502
+ "lstrip": false,
1503
+ "normalized": false,
1504
+ "rstrip": false,
1505
+ "single_word": false,
1506
+ "special": true
1507
+ },
1508
+ "32185": {
1509
+ "content": "\\lessdot",
1510
+ "lstrip": false,
1511
+ "normalized": false,
1512
+ "rstrip": false,
1513
+ "single_word": false,
1514
+ "special": true
1515
+ },
1516
+ "32186": {
1517
+ "content": "\\gtrdot",
1518
+ "lstrip": false,
1519
+ "normalized": false,
1520
+ "rstrip": false,
1521
+ "single_word": false,
1522
+ "special": true
1523
+ },
1524
+ "32187": {
1525
+ "content": "\\lvertneqq",
1526
+ "lstrip": false,
1527
+ "normalized": false,
1528
+ "rstrip": false,
1529
+ "single_word": false,
1530
+ "special": true
1531
+ },
1532
+ "32188": {
1533
+ "content": "\\gvertneqq",
1534
+ "lstrip": false,
1535
+ "normalized": false,
1536
+ "rstrip": false,
1537
+ "single_word": false,
1538
+ "special": true
1539
+ },
1540
+ "32189": {
1541
+ "content": "\\gtreqqless",
1542
+ "lstrip": false,
1543
+ "normalized": false,
1544
+ "rstrip": false,
1545
+ "single_word": false,
1546
+ "special": true
1547
+ },
1548
+ "32190": {
1549
+ "content": "\\eqslantless",
1550
+ "lstrip": false,
1551
+ "normalized": false,
1552
+ "rstrip": false,
1553
+ "single_word": false,
1554
+ "special": true
1555
+ },
1556
+ "32191": {
1557
+ "content": "\\eqslantgtr",
1558
+ "lstrip": false,
1559
+ "normalized": false,
1560
+ "rstrip": false,
1561
+ "single_word": false,
1562
+ "special": true
1563
+ },
1564
+ "32192": {
1565
+ "content": "\\lnapprox",
1566
+ "lstrip": false,
1567
+ "normalized": false,
1568
+ "rstrip": false,
1569
+ "single_word": false,
1570
+ "special": true
1571
+ },
1572
+ "32193": {
1573
+ "content": "\\gnapprox",
1574
+ "lstrip": false,
1575
+ "normalized": false,
1576
+ "rstrip": false,
1577
+ "single_word": false,
1578
+ "special": true
1579
+ },
1580
+ "32194": {
1581
+ "content": "\\precneqq",
1582
+ "lstrip": false,
1583
+ "normalized": false,
1584
+ "rstrip": false,
1585
+ "single_word": false,
1586
+ "special": true
1587
+ },
1588
+ "32195": {
1589
+ "content": "\\succneqq",
1590
+ "lstrip": false,
1591
+ "normalized": false,
1592
+ "rstrip": false,
1593
+ "single_word": false,
1594
+ "special": true
1595
+ },
1596
+ "32196": {
1597
+ "content": "\\curlyeqprec",
1598
+ "lstrip": false,
1599
+ "normalized": false,
1600
+ "rstrip": false,
1601
+ "single_word": false,
1602
+ "special": true
1603
+ },
1604
+ "32197": {
1605
+ "content": "\\curlyeqsucc",
1606
+ "lstrip": false,
1607
+ "normalized": false,
1608
+ "rstrip": false,
1609
+ "single_word": false,
1610
+ "special": true
1611
+ },
1612
+ "32198": {
1613
+ "content": "\\precnapprox",
1614
+ "lstrip": false,
1615
+ "normalized": false,
1616
+ "rstrip": false,
1617
+ "single_word": false,
1618
+ "special": true
1619
+ },
1620
+ "32199": {
1621
+ "content": "\\succnapprox",
1622
+ "lstrip": false,
1623
+ "normalized": false,
1624
+ "rstrip": false,
1625
+ "single_word": false,
1626
+ "special": true
1627
+ },
1628
+ "32200": {
1629
+ "content": "\\nshortparallel",
1630
+ "lstrip": false,
1631
+ "normalized": false,
1632
+ "rstrip": false,
1633
+ "single_word": false,
1634
+ "special": true
1635
+ },
1636
+ "32201": {
1637
+ "content": "\\circ",
1638
+ "lstrip": false,
1639
+ "normalized": false,
1640
+ "rstrip": false,
1641
+ "single_word": false,
1642
+ "special": true
1643
+ },
1644
+ "32202": {
1645
+ "content": "\\Diamond",
1646
+ "lstrip": false,
1647
+ "normalized": false,
1648
+ "rstrip": false,
1649
+ "single_word": false,
1650
+ "special": true
1651
+ },
1652
+ "32203": {
1653
+ "content": "\\bigstar",
1654
+ "lstrip": false,
1655
+ "normalized": false,
1656
+ "rstrip": false,
1657
+ "single_word": false,
1658
+ "special": true
1659
+ },
1660
+ "32204": {
1661
+ "content": "\\triangle",
1662
+ "lstrip": false,
1663
+ "normalized": false,
1664
+ "rstrip": false,
1665
+ "single_word": false,
1666
+ "special": true
1667
+ },
1668
+ "32205": {
1669
+ "content": "\\bigtriangledown",
1670
+ "lstrip": false,
1671
+ "normalized": false,
1672
+ "rstrip": false,
1673
+ "single_word": false,
1674
+ "special": true
1675
+ },
1676
+ "32206": {
1677
+ "content": "\\triangledown",
1678
+ "lstrip": false,
1679
+ "normalized": false,
1680
+ "rstrip": false,
1681
+ "single_word": false,
1682
+ "special": true
1683
+ },
1684
+ "32207": {
1685
+ "content": "\\blacktriangleright",
1686
+ "lstrip": false,
1687
+ "normalized": false,
1688
+ "rstrip": false,
1689
+ "single_word": false,
1690
+ "special": true
1691
+ },
1692
+ "32208": {
1693
+ "content": "\\overline",
1694
+ "lstrip": false,
1695
+ "normalized": false,
1696
+ "rstrip": false,
1697
+ "single_word": false,
1698
+ "special": true
1699
+ },
1700
+ "32209": {
1701
+ "content": "\\frown",
1702
+ "lstrip": false,
1703
+ "normalized": false,
1704
+ "rstrip": false,
1705
+ "single_word": false,
1706
+ "special": true
1707
+ },
1708
+ "32210": {
1709
+ "content": "\\nexists",
1710
+ "lstrip": false,
1711
+ "normalized": false,
1712
+ "rstrip": false,
1713
+ "single_word": false,
1714
+ "special": true
1715
+ },
1716
+ "32211": {
1717
+ "content": "\\And",
1718
+ "lstrip": false,
1719
+ "normalized": false,
1720
+ "rstrip": false,
1721
+ "single_word": false,
1722
+ "special": true
1723
+ },
1724
+ "32212": {
1725
+ "content": "\\therefore",
1726
+ "lstrip": false,
1727
+ "normalized": false,
1728
+ "rstrip": false,
1729
+ "single_word": false,
1730
+ "special": true
1731
+ },
1732
+ "32213": {
1733
+ "content": "\\because",
1734
+ "lstrip": false,
1735
+ "normalized": false,
1736
+ "rstrip": false,
1737
+ "single_word": false,
1738
+ "special": true
1739
+ },
1740
+ "32214": {
1741
+ "content": "\\or",
1742
+ "lstrip": false,
1743
+ "normalized": false,
1744
+ "rstrip": false,
1745
+ "single_word": false,
1746
+ "special": true
1747
+ },
1748
+ "32215": {
1749
+ "content": "\\lor",
1750
+ "lstrip": false,
1751
+ "normalized": false,
1752
+ "rstrip": false,
1753
+ "single_word": false,
1754
+ "special": true
1755
+ },
1756
+ "32216": {
1757
+ "content": "\\bigvee",
1758
+ "lstrip": false,
1759
+ "normalized": false,
1760
+ "rstrip": false,
1761
+ "single_word": false,
1762
+ "special": true
1763
+ },
1764
+ "32217": {
1765
+ "content": "\\and",
1766
+ "lstrip": false,
1767
+ "normalized": false,
1768
+ "rstrip": false,
1769
+ "single_word": false,
1770
+ "special": true
1771
+ },
1772
+ "32218": {
1773
+ "content": "\\land",
1774
+ "lstrip": false,
1775
+ "normalized": false,
1776
+ "rstrip": false,
1777
+ "single_word": false,
1778
+ "special": true
1779
+ },
1780
+ "32219": {
1781
+ "content": "\\bigwedge",
1782
+ "lstrip": false,
1783
+ "normalized": false,
1784
+ "rstrip": false,
1785
+ "single_word": false,
1786
+ "special": true
1787
+ },
1788
+ "32220": {
1789
+ "content": "\\lnot",
1790
+ "lstrip": false,
1791
+ "normalized": false,
1792
+ "rstrip": false,
1793
+ "single_word": false,
1794
+ "special": true
1795
+ },
1796
+ "32221": {
1797
+ "content": "\\top",
1798
+ "lstrip": false,
1799
+ "normalized": false,
1800
+ "rstrip": false,
1801
+ "single_word": false,
1802
+ "special": true
1803
+ },
1804
+ "32222": {
1805
+ "content": "\\vdash",
1806
+ "lstrip": false,
1807
+ "normalized": false,
1808
+ "rstrip": false,
1809
+ "single_word": false,
1810
+ "special": true
1811
+ },
1812
+ "32223": {
1813
+ "content": "\\models",
1814
+ "lstrip": false,
1815
+ "normalized": false,
1816
+ "rstrip": false,
1817
+ "single_word": false,
1818
+ "special": true
1819
+ },
1820
+ "32224": {
1821
+ "content": "\\Vvdash",
1822
+ "lstrip": false,
1823
+ "normalized": false,
1824
+ "rstrip": false,
1825
+ "single_word": false,
1826
+ "special": true
1827
+ },
1828
+ "32225": {
1829
+ "content": "\\nvdash",
1830
+ "lstrip": false,
1831
+ "normalized": false,
1832
+ "rstrip": false,
1833
+ "single_word": false,
1834
+ "special": true
1835
+ },
1836
+ "32226": {
1837
+ "content": "\\nVdash",
1838
+ "lstrip": false,
1839
+ "normalized": false,
1840
+ "rstrip": false,
1841
+ "single_word": false,
1842
+ "special": true
1843
+ },
1844
+ "32227": {
1845
+ "content": "\\nvDash",
1846
+ "lstrip": false,
1847
+ "normalized": false,
1848
+ "rstrip": false,
1849
+ "single_word": false,
1850
+ "special": true
1851
+ },
1852
+ "32228": {
1853
+ "content": "\\nVDash",
1854
+ "lstrip": false,
1855
+ "normalized": false,
1856
+ "rstrip": false,
1857
+ "single_word": false,
1858
+ "special": true
1859
+ },
1860
+ "32229": {
1861
+ "content": "\\ulcorner",
1862
+ "lstrip": false,
1863
+ "normalized": false,
1864
+ "rstrip": false,
1865
+ "single_word": false,
1866
+ "special": true
1867
+ },
1868
+ "32230": {
1869
+ "content": "\\urcorner",
1870
+ "lstrip": false,
1871
+ "normalized": false,
1872
+ "rstrip": false,
1873
+ "single_word": false,
1874
+ "special": true
1875
+ },
1876
+ "32231": {
1877
+ "content": "\\llcorner",
1878
+ "lstrip": false,
1879
+ "normalized": false,
1880
+ "rstrip": false,
1881
+ "single_word": false,
1882
+ "special": true
1883
+ },
1884
+ "32232": {
1885
+ "content": "\\lrcorner",
1886
+ "lstrip": false,
1887
+ "normalized": false,
1888
+ "rstrip": false,
1889
+ "single_word": false,
1890
+ "special": true
1891
+ },
1892
+ "32233": {
1893
+ "content": "\\Lleftarrow",
1894
+ "lstrip": false,
1895
+ "normalized": false,
1896
+ "rstrip": false,
1897
+ "single_word": false,
1898
+ "special": true
1899
+ },
1900
+ "32234": {
1901
+ "content": "\\Longrightarrow",
1902
+ "lstrip": false,
1903
+ "normalized": false,
1904
+ "rstrip": false,
1905
+ "single_word": false,
1906
+ "special": true
1907
+ },
1908
+ "32235": {
1909
+ "content": "\\implies",
1910
+ "lstrip": false,
1911
+ "normalized": false,
1912
+ "rstrip": false,
1913
+ "single_word": false,
1914
+ "special": true
1915
+ },
1916
+ "32236": {
1917
+ "content": "\\Longleftarrow",
1918
+ "lstrip": false,
1919
+ "normalized": false,
1920
+ "rstrip": false,
1921
+ "single_word": false,
1922
+ "special": true
1923
+ },
1924
+ "32237": {
1925
+ "content": "\\Longleftrightarrow",
1926
+ "lstrip": false,
1927
+ "normalized": false,
1928
+ "rstrip": false,
1929
+ "single_word": false,
1930
+ "special": true
1931
+ },
1932
+ "32238": {
1933
+ "content": "\\iff",
1934
+ "lstrip": false,
1935
+ "normalized": false,
1936
+ "rstrip": false,
1937
+ "single_word": false,
1938
+ "special": true
1939
+ },
1940
+ "32239": {
1941
+ "content": "\\Updownarrow",
1942
+ "lstrip": false,
1943
+ "normalized": false,
1944
+ "rstrip": false,
1945
+ "single_word": false,
1946
+ "special": true
1947
+ },
1948
+ "32240": {
1949
+ "content": "\\rightarrow",
1950
+ "lstrip": false,
1951
+ "normalized": false,
1952
+ "rstrip": false,
1953
+ "single_word": false,
1954
+ "special": true
1955
+ },
1956
+ "32241": {
1957
+ "content": "\\longrightarrow",
1958
+ "lstrip": false,
1959
+ "normalized": false,
1960
+ "rstrip": false,
1961
+ "single_word": false,
1962
+ "special": true
1963
+ },
1964
+ "32242": {
1965
+ "content": "\\leftarrow",
1966
+ "lstrip": false,
1967
+ "normalized": false,
1968
+ "rstrip": false,
1969
+ "single_word": false,
1970
+ "special": true
1971
+ },
1972
+ "32243": {
1973
+ "content": "\\longleftarrow",
1974
+ "lstrip": false,
1975
+ "normalized": false,
1976
+ "rstrip": false,
1977
+ "single_word": false,
1978
+ "special": true
1979
+ },
1980
+ "32244": {
1981
+ "content": "\\longleftrightarrow",
1982
+ "lstrip": false,
1983
+ "normalized": false,
1984
+ "rstrip": false,
1985
+ "single_word": false,
1986
+ "special": true
1987
+ },
1988
+ "32245": {
1989
+ "content": "\\updownarrow",
1990
+ "lstrip": false,
1991
+ "normalized": false,
1992
+ "rstrip": false,
1993
+ "single_word": false,
1994
+ "special": true
1995
+ },
1996
+ "32246": {
1997
+ "content": "\\searrow",
1998
+ "lstrip": false,
1999
+ "normalized": false,
2000
+ "rstrip": false,
2001
+ "single_word": false,
2002
+ "special": true
2003
+ },
2004
+ "32247": {
2005
+ "content": "\\longmapsto",
2006
+ "lstrip": false,
2007
+ "normalized": false,
2008
+ "rstrip": false,
2009
+ "single_word": false,
2010
+ "special": true
2011
+ },
2012
+ "32248": {
2013
+ "content": "\\rightharpoonup",
2014
+ "lstrip": false,
2015
+ "normalized": false,
2016
+ "rstrip": false,
2017
+ "single_word": false,
2018
+ "special": true
2019
+ },
2020
+ "32249": {
2021
+ "content": "\\rightharpoondown",
2022
+ "lstrip": false,
2023
+ "normalized": false,
2024
+ "rstrip": false,
2025
+ "single_word": false,
2026
+ "special": true
2027
+ },
2028
+ "32250": {
2029
+ "content": "\\leftharpoonup",
2030
+ "lstrip": false,
2031
+ "normalized": false,
2032
+ "rstrip": false,
2033
+ "single_word": false,
2034
+ "special": true
2035
+ },
2036
+ "32251": {
2037
+ "content": "\\leftharpoondown",
2038
+ "lstrip": false,
2039
+ "normalized": false,
2040
+ "rstrip": false,
2041
+ "single_word": false,
2042
+ "special": true
2043
+ },
2044
+ "32252": {
2045
+ "content": "\\upharpoonleft",
2046
+ "lstrip": false,
2047
+ "normalized": false,
2048
+ "rstrip": false,
2049
+ "single_word": false,
2050
+ "special": true
2051
+ },
2052
+ "32253": {
2053
+ "content": "\\upharpoonright",
2054
+ "lstrip": false,
2055
+ "normalized": false,
2056
+ "rstrip": false,
2057
+ "single_word": false,
2058
+ "special": true
2059
+ },
2060
+ "32254": {
2061
+ "content": "\\downharpoonleft",
2062
+ "lstrip": false,
2063
+ "normalized": false,
2064
+ "rstrip": false,
2065
+ "single_word": false,
2066
+ "special": true
2067
+ },
2068
+ "32255": {
2069
+ "content": "\\downharpoonright",
2070
+ "lstrip": false,
2071
+ "normalized": false,
2072
+ "rstrip": false,
2073
+ "single_word": false,
2074
+ "special": true
2075
+ },
2076
+ "32256": {
2077
+ "content": "\\rightleftharpoons",
2078
+ "lstrip": false,
2079
+ "normalized": false,
2080
+ "rstrip": false,
2081
+ "single_word": false,
2082
+ "special": true
2083
+ },
2084
+ "32257": {
2085
+ "content": "\\leftrightharpoons",
2086
+ "lstrip": false,
2087
+ "normalized": false,
2088
+ "rstrip": false,
2089
+ "single_word": false,
2090
+ "special": true
2091
+ },
2092
+ "32258": {
2093
+ "content": "\\curvearrowleft",
2094
+ "lstrip": false,
2095
+ "normalized": false,
2096
+ "rstrip": false,
2097
+ "single_word": false,
2098
+ "special": true
2099
+ },
2100
+ "32259": {
2101
+ "content": "\\circlearrowleft",
2102
+ "lstrip": false,
2103
+ "normalized": false,
2104
+ "rstrip": false,
2105
+ "single_word": false,
2106
+ "special": true
2107
+ },
2108
+ "32260": {
2109
+ "content": "\\Lsh",
2110
+ "lstrip": false,
2111
+ "normalized": false,
2112
+ "rstrip": false,
2113
+ "single_word": false,
2114
+ "special": true
2115
+ },
2116
+ "32261": {
2117
+ "content": "\\upuparrows",
2118
+ "lstrip": false,
2119
+ "normalized": false,
2120
+ "rstrip": false,
2121
+ "single_word": false,
2122
+ "special": true
2123
+ },
2124
+ "32262": {
2125
+ "content": "\\rightrightarrows",
2126
+ "lstrip": false,
2127
+ "normalized": false,
2128
+ "rstrip": false,
2129
+ "single_word": false,
2130
+ "special": true
2131
+ },
2132
+ "32263": {
2133
+ "content": "\\rightleftarrows",
2134
+ "lstrip": false,
2135
+ "normalized": false,
2136
+ "rstrip": false,
2137
+ "single_word": false,
2138
+ "special": true
2139
+ },
2140
+ "32264": {
2141
+ "content": "\\rightarrowtail",
2142
+ "lstrip": false,
2143
+ "normalized": false,
2144
+ "rstrip": false,
2145
+ "single_word": false,
2146
+ "special": true
2147
+ },
2148
+ "32265": {
2149
+ "content": "\\looparrowright",
2150
+ "lstrip": false,
2151
+ "normalized": false,
2152
+ "rstrip": false,
2153
+ "single_word": false,
2154
+ "special": true
2155
+ },
2156
+ "32266": {
2157
+ "content": "\\curvearrowright",
2158
+ "lstrip": false,
2159
+ "normalized": false,
2160
+ "rstrip": false,
2161
+ "single_word": false,
2162
+ "special": true
2163
+ },
2164
+ "32267": {
2165
+ "content": "\\circlearrowright",
2166
+ "lstrip": false,
2167
+ "normalized": false,
2168
+ "rstrip": false,
2169
+ "single_word": false,
2170
+ "special": true
2171
+ },
2172
+ "32268": {
2173
+ "content": "\\Rsh",
2174
+ "lstrip": false,
2175
+ "normalized": false,
2176
+ "rstrip": false,
2177
+ "single_word": false,
2178
+ "special": true
2179
+ },
2180
+ "32269": {
2181
+ "content": "\\downdownarrows",
2182
+ "lstrip": false,
2183
+ "normalized": false,
2184
+ "rstrip": false,
2185
+ "single_word": false,
2186
+ "special": true
2187
+ },
2188
+ "32270": {
2189
+ "content": "\\leftleftarrows",
2190
+ "lstrip": false,
2191
+ "normalized": false,
2192
+ "rstrip": false,
2193
+ "single_word": false,
2194
+ "special": true
2195
+ },
2196
+ "32271": {
2197
+ "content": "\\leftrightarrows",
2198
+ "lstrip": false,
2199
+ "normalized": false,
2200
+ "rstrip": false,
2201
+ "single_word": false,
2202
+ "special": true
2203
+ },
2204
+ "32272": {
2205
+ "content": "\\leftarrowtail",
2206
+ "lstrip": false,
2207
+ "normalized": false,
2208
+ "rstrip": false,
2209
+ "single_word": false,
2210
+ "special": true
2211
+ },
2212
+ "32273": {
2213
+ "content": "\\looparrowleft",
2214
+ "lstrip": false,
2215
+ "normalized": false,
2216
+ "rstrip": false,
2217
+ "single_word": false,
2218
+ "special": true
2219
+ },
2220
+ "32274": {
2221
+ "content": "\\hookrightarrow",
2222
+ "lstrip": false,
2223
+ "normalized": false,
2224
+ "rstrip": false,
2225
+ "single_word": false,
2226
+ "special": true
2227
+ },
2228
+ "32275": {
2229
+ "content": "\\hookleftarrow",
2230
+ "lstrip": false,
2231
+ "normalized": false,
2232
+ "rstrip": false,
2233
+ "single_word": false,
2234
+ "special": true
2235
+ },
2236
+ "32276": {
2237
+ "content": "\\multimap",
2238
+ "lstrip": false,
2239
+ "normalized": false,
2240
+ "rstrip": false,
2241
+ "single_word": false,
2242
+ "special": true
2243
+ },
2244
+ "32277": {
2245
+ "content": "\\leftrightsquigarrow",
2246
+ "lstrip": false,
2247
+ "normalized": false,
2248
+ "rstrip": false,
2249
+ "single_word": false,
2250
+ "special": true
2251
+ },
2252
+ "32278": {
2253
+ "content": "\\rightsquigarrow",
2254
+ "lstrip": false,
2255
+ "normalized": false,
2256
+ "rstrip": false,
2257
+ "single_word": false,
2258
+ "special": true
2259
+ },
2260
+ "32279": {
2261
+ "content": "\\twoheadrightarrow",
2262
+ "lstrip": false,
2263
+ "normalized": false,
2264
+ "rstrip": false,
2265
+ "single_word": false,
2266
+ "special": true
2267
+ },
2268
+ "32280": {
2269
+ "content": "\\twoheadleftarrow",
2270
+ "lstrip": false,
2271
+ "normalized": false,
2272
+ "rstrip": false,
2273
+ "single_word": false,
2274
+ "special": true
2275
+ },
2276
+ "32281": {
2277
+ "content": "\\amalg",
2278
+ "lstrip": false,
2279
+ "normalized": false,
2280
+ "rstrip": false,
2281
+ "single_word": false,
2282
+ "special": true
2283
+ },
2284
+ "32282": {
2285
+ "content": "\\P",
2286
+ "lstrip": false,
2287
+ "normalized": false,
2288
+ "rstrip": false,
2289
+ "single_word": false,
2290
+ "special": true
2291
+ },
2292
+ "32283": {
2293
+ "content": "\\S",
2294
+ "lstrip": false,
2295
+ "normalized": false,
2296
+ "rstrip": false,
2297
+ "single_word": false,
2298
+ "special": true
2299
+ },
2300
+ "32284": {
2301
+ "content": "\\dagger",
2302
+ "lstrip": false,
2303
+ "normalized": false,
2304
+ "rstrip": false,
2305
+ "single_word": false,
2306
+ "special": true
2307
+ },
2308
+ "32285": {
2309
+ "content": "\\ddagger",
2310
+ "lstrip": false,
2311
+ "normalized": false,
2312
+ "rstrip": false,
2313
+ "single_word": false,
2314
+ "special": true
2315
+ },
2316
+ "32286": {
2317
+ "content": "\\ldots",
2318
+ "lstrip": false,
2319
+ "normalized": false,
2320
+ "rstrip": false,
2321
+ "single_word": false,
2322
+ "special": true
2323
+ },
2324
+ "32287": {
2325
+ "content": "\\cdots",
2326
+ "lstrip": false,
2327
+ "normalized": false,
2328
+ "rstrip": false,
2329
+ "single_word": false,
2330
+ "special": true
2331
+ },
2332
+ "32288": {
2333
+ "content": "\\smile",
2334
+ "lstrip": false,
2335
+ "normalized": false,
2336
+ "rstrip": false,
2337
+ "single_word": false,
2338
+ "special": true
2339
+ },
2340
+ "32289": {
2341
+ "content": "\\wr",
2342
+ "lstrip": false,
2343
+ "normalized": false,
2344
+ "rstrip": false,
2345
+ "single_word": false,
2346
+ "special": true
2347
+ },
2348
+ "32290": {
2349
+ "content": "\\triangleleft",
2350
+ "lstrip": false,
2351
+ "normalized": false,
2352
+ "rstrip": false,
2353
+ "single_word": false,
2354
+ "special": true
2355
+ },
2356
+ "32291": {
2357
+ "content": "\\sharp",
2358
+ "lstrip": false,
2359
+ "normalized": false,
2360
+ "rstrip": false,
2361
+ "single_word": false,
2362
+ "special": true
2363
+ },
2364
+ "32292": {
2365
+ "content": "\\cancel",
2366
+ "lstrip": false,
2367
+ "normalized": false,
2368
+ "rstrip": false,
2369
+ "single_word": false,
2370
+ "special": true
2371
+ },
2372
+ "32293": {
2373
+ "content": "\\color",
2374
+ "lstrip": false,
2375
+ "normalized": false,
2376
+ "rstrip": false,
2377
+ "single_word": false,
2378
+ "special": true
2379
+ },
2380
+ "32294": {
2381
+ "content": "\\diagup",
2382
+ "lstrip": false,
2383
+ "normalized": false,
2384
+ "rstrip": false,
2385
+ "single_word": false,
2386
+ "special": true
2387
+ },
2388
+ "32295": {
2389
+ "content": "\\diagdown",
2390
+ "lstrip": false,
2391
+ "normalized": false,
2392
+ "rstrip": false,
2393
+ "single_word": false,
2394
+ "special": true
2395
+ },
2396
+ "32296": {
2397
+ "content": "\\centerdot",
2398
+ "lstrip": false,
2399
+ "normalized": false,
2400
+ "rstrip": false,
2401
+ "single_word": false,
2402
+ "special": true
2403
+ },
2404
+ "32297": {
2405
+ "content": "\\ltimes",
2406
+ "lstrip": false,
2407
+ "normalized": false,
2408
+ "rstrip": false,
2409
+ "single_word": false,
2410
+ "special": true
2411
+ },
2412
+ "32298": {
2413
+ "content": "\\rtimes",
2414
+ "lstrip": false,
2415
+ "normalized": false,
2416
+ "rstrip": false,
2417
+ "single_word": false,
2418
+ "special": true
2419
+ },
2420
+ "32299": {
2421
+ "content": "\\leftthreetimes",
2422
+ "lstrip": false,
2423
+ "normalized": false,
2424
+ "rstrip": false,
2425
+ "single_word": false,
2426
+ "special": true
2427
+ },
2428
+ "32300": {
2429
+ "content": "\\rightthreetimes",
2430
+ "lstrip": false,
2431
+ "normalized": false,
2432
+ "rstrip": false,
2433
+ "single_word": false,
2434
+ "special": true
2435
+ },
2436
+ "32301": {
2437
+ "content": "\\eqcirc",
2438
+ "lstrip": false,
2439
+ "normalized": false,
2440
+ "rstrip": false,
2441
+ "single_word": false,
2442
+ "special": true
2443
+ },
2444
+ "32302": {
2445
+ "content": "\\circeq",
2446
+ "lstrip": false,
2447
+ "normalized": false,
2448
+ "rstrip": false,
2449
+ "single_word": false,
2450
+ "special": true
2451
+ },
2452
+ "32303": {
2453
+ "content": "\\triangleq",
2454
+ "lstrip": false,
2455
+ "normalized": false,
2456
+ "rstrip": false,
2457
+ "single_word": false,
2458
+ "special": true
2459
+ },
2460
+ "32304": {
2461
+ "content": "\\bumpeq",
2462
+ "lstrip": false,
2463
+ "normalized": false,
2464
+ "rstrip": false,
2465
+ "single_word": false,
2466
+ "special": true
2467
+ },
2468
+ "32305": {
2469
+ "content": "\\Bumpeq",
2470
+ "lstrip": false,
2471
+ "normalized": false,
2472
+ "rstrip": false,
2473
+ "single_word": false,
2474
+ "special": true
2475
+ },
2476
+ "32306": {
2477
+ "content": "\\doteqdot",
2478
+ "lstrip": false,
2479
+ "normalized": false,
2480
+ "rstrip": false,
2481
+ "single_word": false,
2482
+ "special": true
2483
+ },
2484
+ "32307": {
2485
+ "content": "\\risingdotseq",
2486
+ "lstrip": false,
2487
+ "normalized": false,
2488
+ "rstrip": false,
2489
+ "single_word": false,
2490
+ "special": true
2491
+ },
2492
+ "32308": {
2493
+ "content": "\\fallingdotseq",
2494
+ "lstrip": false,
2495
+ "normalized": false,
2496
+ "rstrip": false,
2497
+ "single_word": false,
2498
+ "special": true
2499
+ },
2500
+ "32309": {
2501
+ "content": "\\intercal",
2502
+ "lstrip": false,
2503
+ "normalized": false,
2504
+ "rstrip": false,
2505
+ "single_word": false,
2506
+ "special": true
2507
+ },
2508
+ "32310": {
2509
+ "content": "\\barwedge",
2510
+ "lstrip": false,
2511
+ "normalized": false,
2512
+ "rstrip": false,
2513
+ "single_word": false,
2514
+ "special": true
2515
+ },
2516
+ "32311": {
2517
+ "content": "\\veebar",
2518
+ "lstrip": false,
2519
+ "normalized": false,
2520
+ "rstrip": false,
2521
+ "single_word": false,
2522
+ "special": true
2523
+ },
2524
+ "32312": {
2525
+ "content": "\\doublebarwedge",
2526
+ "lstrip": false,
2527
+ "normalized": false,
2528
+ "rstrip": false,
2529
+ "single_word": false,
2530
+ "special": true
2531
+ },
2532
+ "32313": {
2533
+ "content": "\\between",
2534
+ "lstrip": false,
2535
+ "normalized": false,
2536
+ "rstrip": false,
2537
+ "single_word": false,
2538
+ "special": true
2539
+ },
2540
+ "32314": {
2541
+ "content": "\\pitchfork",
2542
+ "lstrip": false,
2543
+ "normalized": false,
2544
+ "rstrip": false,
2545
+ "single_word": false,
2546
+ "special": true
2547
+ },
2548
+ "32315": {
2549
+ "content": "\\vartriangleleft",
2550
+ "lstrip": false,
2551
+ "normalized": false,
2552
+ "rstrip": false,
2553
+ "single_word": false,
2554
+ "special": true
2555
+ },
2556
+ "32316": {
2557
+ "content": "\\ntriangleleft",
2558
+ "lstrip": false,
2559
+ "normalized": false,
2560
+ "rstrip": false,
2561
+ "single_word": false,
2562
+ "special": true
2563
+ },
2564
+ "32317": {
2565
+ "content": "\\vartriangleright",
2566
+ "lstrip": false,
2567
+ "normalized": false,
2568
+ "rstrip": false,
2569
+ "single_word": false,
2570
+ "special": true
2571
+ },
2572
+ "32318": {
2573
+ "content": "\\ntriangleright",
2574
+ "lstrip": false,
2575
+ "normalized": false,
2576
+ "rstrip": false,
2577
+ "single_word": false,
2578
+ "special": true
2579
+ },
2580
+ "32319": {
2581
+ "content": "\\trianglelefteq",
2582
+ "lstrip": false,
2583
+ "normalized": false,
2584
+ "rstrip": false,
2585
+ "single_word": false,
2586
+ "special": true
2587
+ },
2588
+ "32320": {
2589
+ "content": "\\ntrianglelefteq",
2590
+ "lstrip": false,
2591
+ "normalized": false,
2592
+ "rstrip": false,
2593
+ "single_word": false,
2594
+ "special": true
2595
+ },
2596
+ "32321": {
2597
+ "content": "\\trianglerighteq",
2598
+ "lstrip": false,
2599
+ "normalized": false,
2600
+ "rstrip": false,
2601
+ "single_word": false,
2602
+ "special": true
2603
+ },
2604
+ "32322": {
2605
+ "content": "\\ntrianglerighteq",
2606
+ "lstrip": false,
2607
+ "normalized": false,
2608
+ "rstrip": false,
2609
+ "single_word": false,
2610
+ "special": true
2611
+ },
2612
+ "32323": {
2613
+ "content": "\\sum",
2614
+ "lstrip": false,
2615
+ "normalized": false,
2616
+ "rstrip": false,
2617
+ "single_word": false,
2618
+ "special": true
2619
+ },
2620
+ "32324": {
2621
+ "content": "\\prod",
2622
+ "lstrip": false,
2623
+ "normalized": false,
2624
+ "rstrip": false,
2625
+ "single_word": false,
2626
+ "special": true
2627
+ },
2628
+ "32325": {
2629
+ "content": "\\to",
2630
+ "lstrip": false,
2631
+ "normalized": false,
2632
+ "rstrip": false,
2633
+ "single_word": false,
2634
+ "special": true
2635
+ },
2636
+ "32326": {
2637
+ "content": "\\int",
2638
+ "lstrip": false,
2639
+ "normalized": false,
2640
+ "rstrip": false,
2641
+ "single_word": false,
2642
+ "special": true
2643
+ },
2644
+ "32327": {
2645
+ "content": "\\oint",
2646
+ "lstrip": false,
2647
+ "normalized": false,
2648
+ "rstrip": false,
2649
+ "single_word": false,
2650
+ "special": true
2651
+ },
2652
+ "32328": {
2653
+ "content": "\\frac",
2654
+ "lstrip": false,
2655
+ "normalized": false,
2656
+ "rstrip": false,
2657
+ "single_word": false,
2658
+ "special": true
2659
+ },
2660
+ "32329": {
2661
+ "content": "\\choose",
2662
+ "lstrip": false,
2663
+ "normalized": false,
2664
+ "rstrip": false,
2665
+ "single_word": false,
2666
+ "special": true
2667
+ },
2668
+ "32330": {
2669
+ "content": "\\begin",
2670
+ "lstrip": false,
2671
+ "normalized": false,
2672
+ "rstrip": false,
2673
+ "single_word": false,
2674
+ "special": true
2675
+ },
2676
+ "32331": {
2677
+ "content": "\\end",
2678
+ "lstrip": false,
2679
+ "normalized": false,
2680
+ "rstrip": false,
2681
+ "single_word": false,
2682
+ "special": true
2683
+ },
2684
+ "32332": {
2685
+ "content": "\\vdots",
2686
+ "lstrip": false,
2687
+ "normalized": false,
2688
+ "rstrip": false,
2689
+ "single_word": false,
2690
+ "special": true
2691
+ },
2692
+ "32333": {
2693
+ "content": "\\ddots",
2694
+ "lstrip": false,
2695
+ "normalized": false,
2696
+ "rstrip": false,
2697
+ "single_word": false,
2698
+ "special": true
2699
+ },
2700
+ "32334": {
2701
+ "content": "\\mbox",
2702
+ "lstrip": false,
2703
+ "normalized": false,
2704
+ "rstrip": false,
2705
+ "single_word": false,
2706
+ "special": true
2707
+ },
2708
+ "32335": {
2709
+ "content": "\\Alpha",
2710
+ "lstrip": false,
2711
+ "normalized": false,
2712
+ "rstrip": false,
2713
+ "single_word": false,
2714
+ "special": true
2715
+ },
2716
+ "32336": {
2717
+ "content": "\\Beta",
2718
+ "lstrip": false,
2719
+ "normalized": false,
2720
+ "rstrip": false,
2721
+ "single_word": false,
2722
+ "special": true
2723
+ },
2724
+ "32337": {
2725
+ "content": "\\Gamma",
2726
+ "lstrip": false,
2727
+ "normalized": false,
2728
+ "rstrip": false,
2729
+ "single_word": false,
2730
+ "special": true
2731
+ },
2732
+ "32338": {
2733
+ "content": "\\Delta",
2734
+ "lstrip": false,
2735
+ "normalized": false,
2736
+ "rstrip": false,
2737
+ "single_word": false,
2738
+ "special": true
2739
+ },
2740
+ "32339": {
2741
+ "content": "\\Epsilon",
2742
+ "lstrip": false,
2743
+ "normalized": false,
2744
+ "rstrip": false,
2745
+ "single_word": false,
2746
+ "special": true
2747
+ },
2748
+ "32340": {
2749
+ "content": "\\Zeta",
2750
+ "lstrip": false,
2751
+ "normalized": false,
2752
+ "rstrip": false,
2753
+ "single_word": false,
2754
+ "special": true
2755
+ },
2756
+ "32341": {
2757
+ "content": "\\Eta",
2758
+ "lstrip": false,
2759
+ "normalized": false,
2760
+ "rstrip": false,
2761
+ "single_word": false,
2762
+ "special": true
2763
+ },
2764
+ "32342": {
2765
+ "content": "\\Theta",
2766
+ "lstrip": false,
2767
+ "normalized": false,
2768
+ "rstrip": false,
2769
+ "single_word": false,
2770
+ "special": true
2771
+ },
2772
+ "32343": {
2773
+ "content": "\\Iota",
2774
+ "lstrip": false,
2775
+ "normalized": false,
2776
+ "rstrip": false,
2777
+ "single_word": false,
2778
+ "special": true
2779
+ },
2780
+ "32344": {
2781
+ "content": "\\Kappa",
2782
+ "lstrip": false,
2783
+ "normalized": false,
2784
+ "rstrip": false,
2785
+ "single_word": false,
2786
+ "special": true
2787
+ },
2788
+ "32345": {
2789
+ "content": "\\Lambda",
2790
+ "lstrip": false,
2791
+ "normalized": false,
2792
+ "rstrip": false,
2793
+ "single_word": false,
2794
+ "special": true
2795
+ },
2796
+ "32346": {
2797
+ "content": "\\Mu",
2798
+ "lstrip": false,
2799
+ "normalized": false,
2800
+ "rstrip": false,
2801
+ "single_word": false,
2802
+ "special": true
2803
+ },
2804
+ "32347": {
2805
+ "content": "\\Nu",
2806
+ "lstrip": false,
2807
+ "normalized": false,
2808
+ "rstrip": false,
2809
+ "single_word": false,
2810
+ "special": true
2811
+ },
2812
+ "32348": {
2813
+ "content": "\\Xi",
2814
+ "lstrip": false,
2815
+ "normalized": false,
2816
+ "rstrip": false,
2817
+ "single_word": false,
2818
+ "special": true
2819
+ },
2820
+ "32349": {
2821
+ "content": "\\Pi",
2822
+ "lstrip": false,
2823
+ "normalized": false,
2824
+ "rstrip": false,
2825
+ "single_word": false,
2826
+ "special": true
2827
+ },
2828
+ "32350": {
2829
+ "content": "\\Rho",
2830
+ "lstrip": false,
2831
+ "normalized": false,
2832
+ "rstrip": false,
2833
+ "single_word": false,
2834
+ "special": true
2835
+ },
2836
+ "32351": {
2837
+ "content": "\\Sigma",
2838
+ "lstrip": false,
2839
+ "normalized": false,
2840
+ "rstrip": false,
2841
+ "single_word": false,
2842
+ "special": true
2843
+ },
2844
+ "32352": {
2845
+ "content": "\\Tau",
2846
+ "lstrip": false,
2847
+ "normalized": false,
2848
+ "rstrip": false,
2849
+ "single_word": false,
2850
+ "special": true
2851
+ },
2852
+ "32353": {
2853
+ "content": "\\Upsilon",
2854
+ "lstrip": false,
2855
+ "normalized": false,
2856
+ "rstrip": false,
2857
+ "single_word": false,
2858
+ "special": true
2859
+ },
2860
+ "32354": {
2861
+ "content": "\\Phi",
2862
+ "lstrip": false,
2863
+ "normalized": false,
2864
+ "rstrip": false,
2865
+ "single_word": false,
2866
+ "special": true
2867
+ },
2868
+ "32355": {
2869
+ "content": "\\Chi",
2870
+ "lstrip": false,
2871
+ "normalized": false,
2872
+ "rstrip": false,
2873
+ "single_word": false,
2874
+ "special": true
2875
+ },
2876
+ "32356": {
2877
+ "content": "\\Psi",
2878
+ "lstrip": false,
2879
+ "normalized": false,
2880
+ "rstrip": false,
2881
+ "single_word": false,
2882
+ "special": true
2883
+ },
2884
+ "32357": {
2885
+ "content": "\\Omega",
2886
+ "lstrip": false,
2887
+ "normalized": false,
2888
+ "rstrip": false,
2889
+ "single_word": false,
2890
+ "special": true
2891
+ },
2892
+ "32358": {
2893
+ "content": "\\alpha",
2894
+ "lstrip": false,
2895
+ "normalized": false,
2896
+ "rstrip": false,
2897
+ "single_word": false,
2898
+ "special": true
2899
+ },
2900
+ "32359": {
2901
+ "content": "\\beta",
2902
+ "lstrip": false,
2903
+ "normalized": false,
2904
+ "rstrip": false,
2905
+ "single_word": false,
2906
+ "special": true
2907
+ },
2908
+ "32360": {
2909
+ "content": "\\gamma",
2910
+ "lstrip": false,
2911
+ "normalized": false,
2912
+ "rstrip": false,
2913
+ "single_word": false,
2914
+ "special": true
2915
+ },
2916
+ "32361": {
2917
+ "content": "\\delta",
2918
+ "lstrip": false,
2919
+ "normalized": false,
2920
+ "rstrip": false,
2921
+ "single_word": false,
2922
+ "special": true
2923
+ },
2924
+ "32362": {
2925
+ "content": "\\epsilon",
2926
+ "lstrip": false,
2927
+ "normalized": false,
2928
+ "rstrip": false,
2929
+ "single_word": false,
2930
+ "special": true
2931
+ },
2932
+ "32363": {
2933
+ "content": "\\zeta",
2934
+ "lstrip": false,
2935
+ "normalized": false,
2936
+ "rstrip": false,
2937
+ "single_word": false,
2938
+ "special": true
2939
+ },
2940
+ "32364": {
2941
+ "content": "\\eta",
2942
+ "lstrip": false,
2943
+ "normalized": false,
2944
+ "rstrip": false,
2945
+ "single_word": false,
2946
+ "special": true
2947
+ },
2948
+ "32365": {
2949
+ "content": "\\theta",
2950
+ "lstrip": false,
2951
+ "normalized": false,
2952
+ "rstrip": false,
2953
+ "single_word": false,
2954
+ "special": true
2955
+ },
2956
+ "32366": {
2957
+ "content": "\\iota",
2958
+ "lstrip": false,
2959
+ "normalized": false,
2960
+ "rstrip": false,
2961
+ "single_word": false,
2962
+ "special": true
2963
+ },
2964
+ "32367": {
2965
+ "content": "\\kappa",
2966
+ "lstrip": false,
2967
+ "normalized": false,
2968
+ "rstrip": false,
2969
+ "single_word": false,
2970
+ "special": true
2971
+ },
2972
+ "32368": {
2973
+ "content": "\\lambda",
2974
+ "lstrip": false,
2975
+ "normalized": false,
2976
+ "rstrip": false,
2977
+ "single_word": false,
2978
+ "special": true
2979
+ },
2980
+ "32369": {
2981
+ "content": "\\mu",
2982
+ "lstrip": false,
2983
+ "normalized": false,
2984
+ "rstrip": false,
2985
+ "single_word": false,
2986
+ "special": true
2987
+ },
2988
+ "32370": {
2989
+ "content": "\\nu",
2990
+ "lstrip": false,
2991
+ "normalized": false,
2992
+ "rstrip": false,
2993
+ "single_word": false,
2994
+ "special": true
2995
+ },
2996
+ "32371": {
2997
+ "content": "\\xi",
2998
+ "lstrip": false,
2999
+ "normalized": false,
3000
+ "rstrip": false,
3001
+ "single_word": false,
3002
+ "special": true
3003
+ },
3004
+ "32372": {
3005
+ "content": "\\pi",
3006
+ "lstrip": false,
3007
+ "normalized": false,
3008
+ "rstrip": false,
3009
+ "single_word": false,
3010
+ "special": true
3011
+ },
3012
+ "32373": {
3013
+ "content": "\\rho",
3014
+ "lstrip": false,
3015
+ "normalized": false,
3016
+ "rstrip": false,
3017
+ "single_word": false,
3018
+ "special": true
3019
+ },
3020
+ "32374": {
3021
+ "content": "\\sigma",
3022
+ "lstrip": false,
3023
+ "normalized": false,
3024
+ "rstrip": false,
3025
+ "single_word": false,
3026
+ "special": true
3027
+ },
3028
+ "32375": {
3029
+ "content": "\\tau",
3030
+ "lstrip": false,
3031
+ "normalized": false,
3032
+ "rstrip": false,
3033
+ "single_word": false,
3034
+ "special": true
3035
+ },
3036
+ "32376": {
3037
+ "content": "\\upsilon",
3038
+ "lstrip": false,
3039
+ "normalized": false,
3040
+ "rstrip": false,
3041
+ "single_word": false,
3042
+ "special": true
3043
+ },
3044
+ "32377": {
3045
+ "content": "\\chi",
3046
+ "lstrip": false,
3047
+ "normalized": false,
3048
+ "rstrip": false,
3049
+ "single_word": false,
3050
+ "special": true
3051
+ },
3052
+ "32378": {
3053
+ "content": "\\psi",
3054
+ "lstrip": false,
3055
+ "normalized": false,
3056
+ "rstrip": false,
3057
+ "single_word": false,
3058
+ "special": true
3059
+ },
3060
+ "32379": {
3061
+ "content": "\\omega",
3062
+ "lstrip": false,
3063
+ "normalized": false,
3064
+ "rstrip": false,
3065
+ "single_word": false,
3066
+ "special": true
3067
+ },
3068
+ "32380": {
3069
+ "content": "\\varepsilon",
3070
+ "lstrip": false,
3071
+ "normalized": false,
3072
+ "rstrip": false,
3073
+ "single_word": false,
3074
+ "special": true
3075
+ },
3076
+ "32381": {
3077
+ "content": "\\digamma",
3078
+ "lstrip": false,
3079
+ "normalized": false,
3080
+ "rstrip": false,
3081
+ "single_word": false,
3082
+ "special": true
3083
+ },
3084
+ "32382": {
3085
+ "content": "\\varkappa",
3086
+ "lstrip": false,
3087
+ "normalized": false,
3088
+ "rstrip": false,
3089
+ "single_word": false,
3090
+ "special": true
3091
+ },
3092
+ "32383": {
3093
+ "content": "\\varpi",
3094
+ "lstrip": false,
3095
+ "normalized": false,
3096
+ "rstrip": false,
3097
+ "single_word": false,
3098
+ "special": true
3099
+ },
3100
+ "32384": {
3101
+ "content": "\\varrho",
3102
+ "lstrip": false,
3103
+ "normalized": false,
3104
+ "rstrip": false,
3105
+ "single_word": false,
3106
+ "special": true
3107
+ },
3108
+ "32385": {
3109
+ "content": "\\varsigma",
3110
+ "lstrip": false,
3111
+ "normalized": false,
3112
+ "rstrip": false,
3113
+ "single_word": false,
3114
+ "special": true
3115
+ },
3116
+ "32386": {
3117
+ "content": "\\vartheta",
3118
+ "lstrip": false,
3119
+ "normalized": false,
3120
+ "rstrip": false,
3121
+ "single_word": false,
3122
+ "special": true
3123
+ },
3124
+ "32387": {
3125
+ "content": "\\varphi",
3126
+ "lstrip": false,
3127
+ "normalized": false,
3128
+ "rstrip": false,
3129
+ "single_word": false,
3130
+ "special": true
3131
+ },
3132
+ "32388": {
3133
+ "content": "\\aleph",
3134
+ "lstrip": false,
3135
+ "normalized": false,
3136
+ "rstrip": false,
3137
+ "single_word": false,
3138
+ "special": true
3139
+ },
3140
+ "32389": {
3141
+ "content": "\\beth",
3142
+ "lstrip": false,
3143
+ "normalized": false,
3144
+ "rstrip": false,
3145
+ "single_word": false,
3146
+ "special": true
3147
+ },
3148
+ "32390": {
3149
+ "content": "\\gimel",
3150
+ "lstrip": false,
3151
+ "normalized": false,
3152
+ "rstrip": false,
3153
+ "single_word": false,
3154
+ "special": true
3155
+ },
3156
+ "32391": {
3157
+ "content": "\\daleth",
3158
+ "lstrip": false,
3159
+ "normalized": false,
3160
+ "rstrip": false,
3161
+ "single_word": false,
3162
+ "special": true
3163
+ },
3164
+ "32392": {
3165
+ "content": "\\mathbb",
3166
+ "lstrip": false,
3167
+ "normalized": false,
3168
+ "rstrip": false,
3169
+ "single_word": false,
3170
+ "special": true
3171
+ },
3172
+ "32393": {
3173
+ "content": "\\mathbf",
3174
+ "lstrip": false,
3175
+ "normalized": false,
3176
+ "rstrip": false,
3177
+ "single_word": false,
3178
+ "special": true
3179
+ },
3180
+ "32394": {
3181
+ "content": "\\boldsymbol",
3182
+ "lstrip": false,
3183
+ "normalized": false,
3184
+ "rstrip": false,
3185
+ "single_word": false,
3186
+ "special": true
3187
+ },
3188
+ "32395": {
3189
+ "content": "\\mathit",
3190
+ "lstrip": false,
3191
+ "normalized": false,
3192
+ "rstrip": false,
3193
+ "single_word": false,
3194
+ "special": true
3195
+ },
3196
+ "32396": {
3197
+ "content": "\\mathsf",
3198
+ "lstrip": false,
3199
+ "normalized": false,
3200
+ "rstrip": false,
3201
+ "single_word": false,
3202
+ "special": true
3203
+ },
3204
+ "32397": {
3205
+ "content": "\\mathcal",
3206
+ "lstrip": false,
3207
+ "normalized": false,
3208
+ "rstrip": false,
3209
+ "single_word": false,
3210
+ "special": true
3211
+ },
3212
+ "32398": {
3213
+ "content": "\\mathfrak",
3214
+ "lstrip": false,
3215
+ "normalized": false,
3216
+ "rstrip": false,
3217
+ "single_word": false,
3218
+ "special": true
3219
+ },
3220
+ "32399": {
3221
+ "content": "\\text",
3222
+ "lstrip": false,
3223
+ "normalized": false,
3224
+ "rstrip": false,
3225
+ "single_word": false,
3226
+ "special": true
3227
+ },
3228
+ "32400": {
3229
+ "content": "\\left",
3230
+ "lstrip": false,
3231
+ "normalized": false,
3232
+ "rstrip": false,
3233
+ "single_word": false,
3234
+ "special": true
3235
+ },
3236
+ "32401": {
3237
+ "content": "\\right",
3238
+ "lstrip": false,
3239
+ "normalized": false,
3240
+ "rstrip": false,
3241
+ "single_word": false,
3242
+ "special": true
3243
+ },
3244
+ "32402": {
3245
+ "content": "\\langle",
3246
+ "lstrip": false,
3247
+ "normalized": false,
3248
+ "rstrip": false,
3249
+ "single_word": false,
3250
+ "special": true
3251
+ },
3252
+ "32403": {
3253
+ "content": "\\rfloor",
3254
+ "lstrip": false,
3255
+ "normalized": false,
3256
+ "rstrip": false,
3257
+ "single_word": false,
3258
+ "special": true
3259
+ },
3260
+ "32404": {
3261
+ "content": "\\quad",
3262
+ "lstrip": false,
3263
+ "normalized": false,
3264
+ "rstrip": false,
3265
+ "single_word": false,
3266
+ "special": true
3267
+ }
3268
+ },
3269
+ "additional_special_tokens": [
3270
+ "\\",
3271
+ "{",
3272
+ "}",
3273
+ "^",
3274
+ "<",
3275
+ "~",
3276
+ "\\dot",
3277
+ "\\ddot",
3278
+ "\\acute",
3279
+ "\\grave",
3280
+ "\\check",
3281
+ "\\breve",
3282
+ "\\tilde",
3283
+ "\\bar",
3284
+ "\\hat",
3285
+ "\\widehat",
3286
+ "\\vec",
3287
+ "\\exp",
3288
+ "\\ln",
3289
+ "\\lg",
3290
+ "\\log",
3291
+ "\\sin",
3292
+ "\\cos",
3293
+ "\\tan",
3294
+ "\\cot",
3295
+ "\\sec",
3296
+ "\\csc",
3297
+ "\\arcsin",
3298
+ "\\arccos",
3299
+ "\\arctan",
3300
+ "\\sinh",
3301
+ "\\cosh",
3302
+ "\\tanh",
3303
+ "\\coth",
3304
+ "\\operatorname",
3305
+ "\\sgn",
3306
+ "\\vert",
3307
+ "\\min",
3308
+ "\\max",
3309
+ "\\inf",
3310
+ "\\sup",
3311
+ "\\lim",
3312
+ "\\liminf",
3313
+ "\\limsup",
3314
+ "\\dim",
3315
+ "\\deg",
3316
+ "\\det",
3317
+ "\\phi",
3318
+ "\\Pr",
3319
+ "\\hom",
3320
+ "\\lVert",
3321
+ "\\arg",
3322
+ "\\partial",
3323
+ "\\over",
3324
+ "\\hbar",
3325
+ "\\circledS",
3326
+ "\\equiv",
3327
+ "\\pmod",
3328
+ "\\nshortmid",
3329
+ "\\sqrt",
3330
+ "\\mathrm",
3331
+ "\\dotplus",
3332
+ "\\backslash",
3333
+ "\\bullet",
3334
+ "\\boxdot",
3335
+ "\\circledast",
3336
+ "\\bigodot",
3337
+ "\\O",
3338
+ "\\empty",
3339
+ "\\varnothing",
3340
+ "\\notin",
3341
+ "\\ni",
3342
+ "\\bigcap",
3343
+ "\\biguplus",
3344
+ "\\times",
3345
+ "\\sqsubset",
3346
+ "\\sqsupset",
3347
+ "\\sqsubseteq",
3348
+ "\\sqsupseteq",
3349
+ "\\varsubsetneqq",
3350
+ "\\varsupsetneqq",
3351
+ "\\overset",
3352
+ "\\underset",
3353
+ "\\ncong",
3354
+ "\\varpropto",
3355
+ "\\lessdot",
3356
+ "\\gtrdot",
3357
+ "\\lvertneqq",
3358
+ "\\gvertneqq",
3359
+ "\\gtreqqless",
3360
+ "\\eqslantless",
3361
+ "\\eqslantgtr",
3362
+ "\\lnapprox",
3363
+ "\\gnapprox",
3364
+ "\\precneqq",
3365
+ "\\succneqq",
3366
+ "\\curlyeqprec",
3367
+ "\\curlyeqsucc",
3368
+ "\\precnapprox",
3369
+ "\\succnapprox",
3370
+ "\\nshortparallel",
3371
+ "\\circ",
3372
+ "\\Diamond",
3373
+ "\\bigstar",
3374
+ "\\triangle",
3375
+ "\\bigtriangledown",
3376
+ "\\triangledown",
3377
+ "\\blacktriangleright",
3378
+ "\\overline",
3379
+ "\\frown",
3380
+ "\\nexists",
3381
+ "\\And",
3382
+ "\\therefore",
3383
+ "\\because",
3384
+ "\\or",
3385
+ "\\lor",
3386
+ "\\bigvee",
3387
+ "\\and",
3388
+ "\\land",
3389
+ "\\bigwedge",
3390
+ "\\lnot",
3391
+ "\\top",
3392
+ "\\vdash",
3393
+ "\\models",
3394
+ "\\Vvdash",
3395
+ "\\nvdash",
3396
+ "\\nVdash",
3397
+ "\\nvDash",
3398
+ "\\nVDash",
3399
+ "\\ulcorner",
3400
+ "\\urcorner",
3401
+ "\\llcorner",
3402
+ "\\lrcorner",
3403
+ "\\Lleftarrow",
3404
+ "\\Longrightarrow",
3405
+ "\\implies",
3406
+ "\\Longleftarrow",
3407
+ "\\Longleftrightarrow",
3408
+ "\\iff",
3409
+ "\\Updownarrow",
3410
+ "\\rightarrow",
3411
+ "\\longrightarrow",
3412
+ "\\leftarrow",
3413
+ "\\longleftarrow",
3414
+ "\\longleftrightarrow",
3415
+ "\\updownarrow",
3416
+ "\\searrow",
3417
+ "\\longmapsto",
3418
+ "\\rightharpoonup",
3419
+ "\\rightharpoondown",
3420
+ "\\leftharpoonup",
3421
+ "\\leftharpoondown",
3422
+ "\\upharpoonleft",
3423
+ "\\upharpoonright",
3424
+ "\\downharpoonleft",
3425
+ "\\downharpoonright",
3426
+ "\\rightleftharpoons",
3427
+ "\\leftrightharpoons",
3428
+ "\\curvearrowleft",
3429
+ "\\circlearrowleft",
3430
+ "\\Lsh",
3431
+ "\\upuparrows",
3432
+ "\\rightrightarrows",
3433
+ "\\rightleftarrows",
3434
+ "\\rightarrowtail",
3435
+ "\\looparrowright",
3436
+ "\\curvearrowright",
3437
+ "\\circlearrowright",
3438
+ "\\Rsh",
3439
+ "\\downdownarrows",
3440
+ "\\leftleftarrows",
3441
+ "\\leftrightarrows",
3442
+ "\\leftarrowtail",
3443
+ "\\looparrowleft",
3444
+ "\\hookrightarrow",
3445
+ "\\hookleftarrow",
3446
+ "\\multimap",
3447
+ "\\leftrightsquigarrow",
3448
+ "\\rightsquigarrow",
3449
+ "\\twoheadrightarrow",
3450
+ "\\twoheadleftarrow",
3451
+ "\\amalg",
3452
+ "\\P",
3453
+ "\\S",
3454
+ "\\dagger",
3455
+ "\\ddagger",
3456
+ "\\ldots",
3457
+ "\\cdots",
3458
+ "\\smile",
3459
+ "\\wr",
3460
+ "\\triangleleft",
3461
+ "\\sharp",
3462
+ "\\cancel",
3463
+ "\\color",
3464
+ "\\diagup",
3465
+ "\\diagdown",
3466
+ "\\centerdot",
3467
+ "\\ltimes",
3468
+ "\\rtimes",
3469
+ "\\leftthreetimes",
3470
+ "\\rightthreetimes",
3471
+ "\\eqcirc",
3472
+ "\\circeq",
3473
+ "\\triangleq",
3474
+ "\\bumpeq",
3475
+ "\\Bumpeq",
3476
+ "\\doteqdot",
3477
+ "\\risingdotseq",
3478
+ "\\fallingdotseq",
3479
+ "\\intercal",
3480
+ "\\barwedge",
3481
+ "\\veebar",
3482
+ "\\doublebarwedge",
3483
+ "\\between",
3484
+ "\\pitchfork",
3485
+ "\\vartriangleleft",
3486
+ "\\ntriangleleft",
3487
+ "\\vartriangleright",
3488
+ "\\ntriangleright",
3489
+ "\\trianglelefteq",
3490
+ "\\ntrianglelefteq",
3491
+ "\\trianglerighteq",
3492
+ "\\ntrianglerighteq",
3493
+ "\\sum",
3494
+ "\\prod",
3495
+ "\\to",
3496
+ "\\int",
3497
+ "\\oint",
3498
+ "\\frac",
3499
+ "\\choose",
3500
+ "\\begin",
3501
+ "\\end",
3502
+ "\\vdots",
3503
+ "\\ddots",
3504
+ "\\mbox",
3505
+ "\\Alpha",
3506
+ "\\Beta",
3507
+ "\\Gamma",
3508
+ "\\Delta",
3509
+ "\\Epsilon",
3510
+ "\\Zeta",
3511
+ "\\Eta",
3512
+ "\\Theta",
3513
+ "\\Iota",
3514
+ "\\Kappa",
3515
+ "\\Lambda",
3516
+ "\\Mu",
3517
+ "\\Nu",
3518
+ "\\Xi",
3519
+ "\\Pi",
3520
+ "\\Rho",
3521
+ "\\Sigma",
3522
+ "\\Tau",
3523
+ "\\Upsilon",
3524
+ "\\Phi",
3525
+ "\\Chi",
3526
+ "\\Psi",
3527
+ "\\Omega",
3528
+ "\\alpha",
3529
+ "\\beta",
3530
+ "\\gamma",
3531
+ "\\delta",
3532
+ "\\epsilon",
3533
+ "\\zeta",
3534
+ "\\eta",
3535
+ "\\theta",
3536
+ "\\iota",
3537
+ "\\kappa",
3538
+ "\\lambda",
3539
+ "\\mu",
3540
+ "\\nu",
3541
+ "\\xi",
3542
+ "\\pi",
3543
+ "\\rho",
3544
+ "\\sigma",
3545
+ "\\tau",
3546
+ "\\upsilon",
3547
+ "\\chi",
3548
+ "\\psi",
3549
+ "\\omega",
3550
+ "\\varepsilon",
3551
+ "\\digamma",
3552
+ "\\varkappa",
3553
+ "\\varpi",
3554
+ "\\varrho",
3555
+ "\\varsigma",
3556
+ "\\vartheta",
3557
+ "\\varphi",
3558
+ "\\aleph",
3559
+ "\\beth",
3560
+ "\\gimel",
3561
+ "\\daleth",
3562
+ "\\mathbb",
3563
+ "\\mathbf",
3564
+ "\\boldsymbol",
3565
+ "\\mathit",
3566
+ "\\mathsf",
3567
+ "\\mathcal",
3568
+ "\\mathfrak",
3569
+ "\\text",
3570
+ "\\left",
3571
+ "\\right",
3572
+ "\\langle",
3573
+ "\\rfloor",
3574
+ "\\quad",
3575
+ "<extra_id_0>",
3576
+ "<extra_id_1>",
3577
+ "<extra_id_2>",
3578
+ "<extra_id_3>",
3579
+ "<extra_id_4>",
3580
+ "<extra_id_5>",
3581
+ "<extra_id_6>",
3582
+ "<extra_id_7>",
3583
+ "<extra_id_8>",
3584
+ "<extra_id_9>",
3585
+ "<extra_id_10>",
3586
+ "<extra_id_11>",
3587
+ "<extra_id_12>",
3588
+ "<extra_id_13>",
3589
+ "<extra_id_14>",
3590
+ "<extra_id_15>",
3591
+ "<extra_id_16>",
3592
+ "<extra_id_17>",
3593
+ "<extra_id_18>",
3594
+ "<extra_id_19>",
3595
+ "<extra_id_20>",
3596
+ "<extra_id_21>",
3597
+ "<extra_id_22>",
3598
+ "<extra_id_23>",
3599
+ "<extra_id_24>",
3600
+ "<extra_id_25>",
3601
+ "<extra_id_26>",
3602
+ "<extra_id_27>",
3603
+ "<extra_id_28>",
3604
+ "<extra_id_29>",
3605
+ "<extra_id_30>",
3606
+ "<extra_id_31>",
3607
+ "<extra_id_32>",
3608
+ "<extra_id_33>",
3609
+ "<extra_id_34>",
3610
+ "<extra_id_35>",
3611
+ "<extra_id_36>",
3612
+ "<extra_id_37>",
3613
+ "<extra_id_38>",
3614
+ "<extra_id_39>",
3615
+ "<extra_id_40>",
3616
+ "<extra_id_41>",
3617
+ "<extra_id_42>",
3618
+ "<extra_id_43>",
3619
+ "<extra_id_44>",
3620
+ "<extra_id_45>",
3621
+ "<extra_id_46>",
3622
+ "<extra_id_47>",
3623
+ "<extra_id_48>",
3624
+ "<extra_id_49>",
3625
+ "<extra_id_50>",
3626
+ "<extra_id_51>",
3627
+ "<extra_id_52>",
3628
+ "<extra_id_53>",
3629
+ "<extra_id_54>",
3630
+ "<extra_id_55>",
3631
+ "<extra_id_56>",
3632
+ "<extra_id_57>",
3633
+ "<extra_id_58>",
3634
+ "<extra_id_59>",
3635
+ "<extra_id_60>",
3636
+ "<extra_id_61>",
3637
+ "<extra_id_62>",
3638
+ "<extra_id_63>",
3639
+ "<extra_id_64>",
3640
+ "<extra_id_65>",
3641
+ "<extra_id_66>",
3642
+ "<extra_id_67>",
3643
+ "<extra_id_68>",
3644
+ "<extra_id_69>",
3645
+ "<extra_id_70>",
3646
+ "<extra_id_71>",
3647
+ "<extra_id_72>",
3648
+ "<extra_id_73>",
3649
+ "<extra_id_74>",
3650
+ "<extra_id_75>",
3651
+ "<extra_id_76>",
3652
+ "<extra_id_77>",
3653
+ "<extra_id_78>",
3654
+ "<extra_id_79>",
3655
+ "<extra_id_80>",
3656
+ "<extra_id_81>",
3657
+ "<extra_id_82>",
3658
+ "<extra_id_83>",
3659
+ "<extra_id_84>",
3660
+ "<extra_id_85>",
3661
+ "<extra_id_86>",
3662
+ "<extra_id_87>",
3663
+ "<extra_id_88>",
3664
+ "<extra_id_89>",
3665
+ "<extra_id_90>",
3666
+ "<extra_id_91>",
3667
+ "<extra_id_92>",
3668
+ "<extra_id_93>",
3669
+ "<extra_id_94>",
3670
+ "<extra_id_95>",
3671
+ "<extra_id_96>",
3672
+ "<extra_id_97>",
3673
+ "<extra_id_98>",
3674
+ "<extra_id_99>"
3675
+ ],
3676
+ "clean_up_tokenization_spaces": true,
3677
+ "eos_token": "</s>",
3678
+ "extra_ids": 100,
3679
+ "legacy": true,
3680
+ "model_max_length": 512,
3681
+ "pad_token": "<pad>",
3682
+ "sp_model_kwargs": {},
3683
+ "tokenizer_class": "T5Tokenizer",
3684
+ "unk_token": "<unk>"
3685
+ }