C10X commited on
Commit
e71708f
·
verified ·
1 Parent(s): 7db61fd

Upload 3 files

Browse files
Files changed (2) hide show
  1. tokenizer.json +0 -0
  2. tokenizer_config.json +1826 -1865
tokenizer.json CHANGED
The diff for this file is too large to render. See raw diff
 
tokenizer_config.json CHANGED
@@ -1,1865 +1,1826 @@
1
- {
2
- "backend": "tokenizers",
3
- "bos_token": "<|start_of_text|>",
4
- "clean_up_tokenization_spaces": false,
5
- "eos_token": "<|end_of_text|>",
6
- "is_local": false,
7
- "model_input_names": [
8
- "input_ids",
9
- "attention_mask"
10
- ],
11
- "model_max_length": 1000000000000000019884624838656,
12
- "pad_token": "<|pad|>",
13
- "tokenizer_class": "TokenizersBackend",
14
- "added_tokens_decoder": {
15
- "0": {
16
- "content": "<|start_of_text|>",
17
- "single_word": false,
18
- "lstrip": false,
19
- "rstrip": false,
20
- "normalized": false,
21
- "special": true
22
- },
23
- "1": {
24
- "content": "<|pad|>",
25
- "single_word": false,
26
- "lstrip": false,
27
- "rstrip": false,
28
- "normalized": false,
29
- "special": true
30
- },
31
- "2": {
32
- "content": "<|end_of_text|>",
33
- "single_word": false,
34
- "lstrip": false,
35
- "rstrip": false,
36
- "normalized": false,
37
- "special": true
38
- },
39
- "3": {
40
- "content": "<|constrain|>",
41
- "single_word": false,
42
- "lstrip": false,
43
- "rstrip": false,
44
- "normalized": false,
45
- "special": true
46
- },
47
- "4": {
48
- "content": "<|channel|>",
49
- "single_word": false,
50
- "lstrip": false,
51
- "rstrip": false,
52
- "normalized": false,
53
- "special": true
54
- },
55
- "5": {
56
- "content": "<|start|>",
57
- "single_word": false,
58
- "lstrip": false,
59
- "rstrip": false,
60
- "normalized": false,
61
- "special": true
62
- },
63
- "6": {
64
- "content": "<|end|>",
65
- "single_word": false,
66
- "lstrip": false,
67
- "rstrip": false,
68
- "normalized": false,
69
- "special": true
70
- },
71
- "7": {
72
- "content": "<|message|>",
73
- "single_word": false,
74
- "lstrip": false,
75
- "rstrip": false,
76
- "normalized": false,
77
- "special": true
78
- },
79
- "8": {
80
- "content": "<|call|>",
81
- "single_word": false,
82
- "lstrip": false,
83
- "rstrip": false,
84
- "normalized": false,
85
- "special": true
86
- },
87
- "9": {
88
- "content": "<|endofprompt|>",
89
- "single_word": false,
90
- "lstrip": false,
91
- "rstrip": false,
92
- "normalized": false,
93
- "special": true
94
- },
95
- "16192": {
96
- "content": "\\blindtext",
97
- "single_word": false,
98
- "lstrip": false,
99
- "rstrip": false,
100
- "normalized": false,
101
- "special": false
102
- },
103
- "16193": {
104
- "content": "\\newpage",
105
- "single_word": false,
106
- "lstrip": false,
107
- "rstrip": false,
108
- "normalized": false,
109
- "special": false
110
- },
111
- "16194": {
112
- "content": "\\boxed",
113
- "single_word": false,
114
- "lstrip": false,
115
- "rstrip": false,
116
- "normalized": false,
117
- "special": false
118
- },
119
- "16195": {
120
- "content": "\\framebox",
121
- "single_word": false,
122
- "lstrip": false,
123
- "rstrip": false,
124
- "normalized": false,
125
- "special": false
126
- },
127
- "16196": {
128
- "content": "\\fbox",
129
- "single_word": false,
130
- "lstrip": false,
131
- "rstrip": false,
132
- "normalized": false,
133
- "special": false
134
- },
135
- "16197": {
136
- "content": "\\tag",
137
- "single_word": false,
138
- "lstrip": false,
139
- "rstrip": false,
140
- "normalized": false,
141
- "special": false
142
- },
143
- "16198": {
144
- "content": "\\nonumber",
145
- "single_word": false,
146
- "lstrip": false,
147
- "rstrip": false,
148
- "normalized": false,
149
- "special": false
150
- },
151
- "16199": {
152
- "content": "\\item",
153
- "single_word": false,
154
- "lstrip": false,
155
- "rstrip": false,
156
- "normalized": false,
157
- "special": false
158
- },
159
- "16200": {
160
- "content": "\\centering",
161
- "single_word": false,
162
- "lstrip": false,
163
- "rstrip": false,
164
- "normalized": false,
165
- "special": false
166
- },
167
- "16201": {
168
- "content": "\\caption",
169
- "single_word": false,
170
- "lstrip": false,
171
- "rstrip": false,
172
- "normalized": false,
173
- "special": false
174
- },
175
- "16202": {
176
- "content": "\\includegraphics",
177
- "single_word": false,
178
- "lstrip": false,
179
- "rstrip": false,
180
- "normalized": false,
181
- "special": false
182
- },
183
- "16203": {
184
- "content": "\\label",
185
- "single_word": false,
186
- "lstrip": false,
187
- "rstrip": false,
188
- "normalized": false,
189
- "special": false
190
- },
191
- "16204": {
192
- "content": "\\multicolumn",
193
- "single_word": false,
194
- "lstrip": false,
195
- "rstrip": false,
196
- "normalized": false,
197
- "special": false
198
- },
199
- "16205": {
200
- "content": "\\cline",
201
- "single_word": false,
202
- "lstrip": false,
203
- "rstrip": false,
204
- "normalized": false,
205
- "special": false
206
- },
207
- "16206": {
208
- "content": "\\hline",
209
- "single_word": false,
210
- "lstrip": false,
211
- "rstrip": false,
212
- "normalized": false,
213
- "special": false
214
- },
215
- "16207": {
216
- "content": "\\end",
217
- "single_word": false,
218
- "lstrip": false,
219
- "rstrip": false,
220
- "normalized": false,
221
- "special": false
222
- },
223
- "16208": {
224
- "content": "\\begin",
225
- "single_word": false,
226
- "lstrip": false,
227
- "rstrip": false,
228
- "normalized": false,
229
- "special": false
230
- },
231
- "16209": {
232
- "content": "\\tableofcontents",
233
- "single_word": false,
234
- "lstrip": false,
235
- "rstrip": false,
236
- "normalized": false,
237
- "special": false
238
- },
239
- "16210": {
240
- "content": "\\maketitle",
241
- "single_word": false,
242
- "lstrip": false,
243
- "rstrip": false,
244
- "normalized": false,
245
- "special": false
246
- },
247
- "16211": {
248
- "content": "\\date",
249
- "single_word": false,
250
- "lstrip": false,
251
- "rstrip": false,
252
- "normalized": false,
253
- "special": false
254
- },
255
- "16212": {
256
- "content": "\\author",
257
- "single_word": false,
258
- "lstrip": false,
259
- "rstrip": false,
260
- "normalized": false,
261
- "special": false
262
- },
263
- "16213": {
264
- "content": "\\title",
265
- "single_word": false,
266
- "lstrip": false,
267
- "rstrip": false,
268
- "normalized": false,
269
- "special": false
270
- },
271
- "16214": {
272
- "content": "\\chapter",
273
- "single_word": false,
274
- "lstrip": false,
275
- "rstrip": false,
276
- "normalized": false,
277
- "special": false
278
- },
279
- "16215": {
280
- "content": "\\subsubsection",
281
- "single_word": false,
282
- "lstrip": false,
283
- "rstrip": false,
284
- "normalized": false,
285
- "special": false
286
- },
287
- "16216": {
288
- "content": "\\subsection",
289
- "single_word": false,
290
- "lstrip": false,
291
- "rstrip": false,
292
- "normalized": false,
293
- "special": false
294
- },
295
- "16217": {
296
- "content": "\\section",
297
- "single_word": false,
298
- "lstrip": false,
299
- "rstrip": false,
300
- "normalized": false,
301
- "special": false
302
- },
303
- "16218": {
304
- "content": "\\noindent",
305
- "single_word": false,
306
- "lstrip": false,
307
- "rstrip": false,
308
- "normalized": false,
309
- "special": false
310
- },
311
- "16219": {
312
- "content": "\\newline",
313
- "single_word": false,
314
- "lstrip": false,
315
- "rstrip": false,
316
- "normalized": false,
317
- "special": false
318
- },
319
- "16220": {
320
- "content": "\\par",
321
- "single_word": false,
322
- "lstrip": false,
323
- "rstrip": false,
324
- "normalized": false,
325
- "special": false
326
- },
327
- "16221": {
328
- "content": "\\ddot",
329
- "single_word": false,
330
- "lstrip": false,
331
- "rstrip": false,
332
- "normalized": false,
333
- "special": false
334
- },
335
- "16222": {
336
- "content": "\\dot",
337
- "single_word": false,
338
- "lstrip": false,
339
- "rstrip": false,
340
- "normalized": false,
341
- "special": false
342
- },
343
- "16223": {
344
- "content": "\\bar",
345
- "single_word": false,
346
- "lstrip": false,
347
- "rstrip": false,
348
- "normalized": false,
349
- "special": false
350
- },
351
- "16224": {
352
- "content": "\\iff",
353
- "single_word": false,
354
- "lstrip": false,
355
- "rstrip": false,
356
- "normalized": false,
357
- "special": false
358
- },
359
- "16225": {
360
- "content": "\\implies",
361
- "single_word": false,
362
- "lstrip": false,
363
- "rstrip": false,
364
- "normalized": false,
365
- "special": false
366
- },
367
- "16226": {
368
- "content": "\\neg",
369
- "single_word": false,
370
- "lstrip": false,
371
- "rstrip": false,
372
- "normalized": false,
373
- "special": false
374
- },
375
- "16227": {
376
- "content": "\\lor",
377
- "single_word": false,
378
- "lstrip": false,
379
- "rstrip": false,
380
- "normalized": false,
381
- "special": false
382
- },
383
- "16228": {
384
- "content": "\\land",
385
- "single_word": false,
386
- "lstrip": false,
387
- "rstrip": false,
388
- "normalized": false,
389
- "special": false
390
- },
391
- "16229": {
392
- "content": "\\qquad",
393
- "single_word": false,
394
- "lstrip": false,
395
- "rstrip": false,
396
- "normalized": false,
397
- "special": false
398
- },
399
- "16230": {
400
- "content": "\\quad",
401
- "single_word": false,
402
- "lstrip": false,
403
- "rstrip": false,
404
- "normalized": false,
405
- "special": false
406
- },
407
- "16231": {
408
- "content": "\\arctan",
409
- "single_word": false,
410
- "lstrip": false,
411
- "rstrip": false,
412
- "normalized": false,
413
- "special": false
414
- },
415
- "16232": {
416
- "content": "\\arccos",
417
- "single_word": false,
418
- "lstrip": false,
419
- "rstrip": false,
420
- "normalized": false,
421
- "special": false
422
- },
423
- "16233": {
424
- "content": "\\arcsin",
425
- "single_word": false,
426
- "lstrip": false,
427
- "rstrip": false,
428
- "normalized": false,
429
- "special": false
430
- },
431
- "16234": {
432
- "content": "\\cot",
433
- "single_word": false,
434
- "lstrip": false,
435
- "rstrip": false,
436
- "normalized": false,
437
- "special": false
438
- },
439
- "16235": {
440
- "content": "\\sec",
441
- "single_word": false,
442
- "lstrip": false,
443
- "rstrip": false,
444
- "normalized": false,
445
- "special": false
446
- },
447
- "16236": {
448
- "content": "\\csc",
449
- "single_word": false,
450
- "lstrip": false,
451
- "rstrip": false,
452
- "normalized": false,
453
- "special": false
454
- },
455
- "16237": {
456
- "content": "\\tan",
457
- "single_word": false,
458
- "lstrip": false,
459
- "rstrip": false,
460
- "normalized": false,
461
- "special": false
462
- },
463
- "16238": {
464
- "content": "\\cos",
465
- "single_word": false,
466
- "lstrip": false,
467
- "rstrip": false,
468
- "normalized": false,
469
- "special": false
470
- },
471
- "16239": {
472
- "content": "\\sin",
473
- "single_word": false,
474
- "lstrip": false,
475
- "rstrip": false,
476
- "normalized": false,
477
- "special": false
478
- },
479
- "16240": {
480
- "content": "\\widetilde",
481
- "single_word": false,
482
- "lstrip": false,
483
- "rstrip": false,
484
- "normalized": false,
485
- "special": false
486
- },
487
- "16241": {
488
- "content": "\\widehat",
489
- "single_word": false,
490
- "lstrip": false,
491
- "rstrip": false,
492
- "normalized": false,
493
- "special": false
494
- },
495
- "16242": {
496
- "content": "\\complement",
497
- "single_word": false,
498
- "lstrip": false,
499
- "rstrip": false,
500
- "normalized": false,
501
- "special": false
502
- },
503
- "16243": {
504
- "content": "\\varnothing",
505
- "single_word": false,
506
- "lstrip": false,
507
- "rstrip": false,
508
- "normalized": false,
509
- "special": false
510
- },
511
- "16244": {
512
- "content": "\\tilde",
513
- "single_word": false,
514
- "lstrip": false,
515
- "rstrip": false,
516
- "normalized": false,
517
- "special": false
518
- },
519
- "16245": {
520
- "content": "\\hat",
521
- "single_word": false,
522
- "lstrip": false,
523
- "rstrip": false,
524
- "normalized": false,
525
- "special": false
526
- },
527
- "16246": {
528
- "content": "\\vec",
529
- "single_word": false,
530
- "lstrip": false,
531
- "rstrip": false,
532
- "normalized": false,
533
- "special": false
534
- },
535
- "16247": {
536
- "content": "\\mathfrak",
537
- "single_word": false,
538
- "lstrip": false,
539
- "rstrip": false,
540
- "normalized": false,
541
- "special": false
542
- },
543
- "16248": {
544
- "content": "\\mathcal",
545
- "single_word": false,
546
- "lstrip": false,
547
- "rstrip": false,
548
- "normalized": false,
549
- "special": false
550
- },
551
- "16249": {
552
- "content": "\\mathbb",
553
- "single_word": false,
554
- "lstrip": false,
555
- "rstrip": false,
556
- "normalized": false,
557
- "special": false
558
- },
559
- "16250": {
560
- "content": "\\emptyset",
561
- "single_word": false,
562
- "lstrip": false,
563
- "rstrip": false,
564
- "normalized": false,
565
- "special": false
566
- },
567
- "16251": {
568
- "content": "\\bot",
569
- "single_word": false,
570
- "lstrip": false,
571
- "rstrip": false,
572
- "normalized": false,
573
- "special": false
574
- },
575
- "16252": {
576
- "content": "\\aleph",
577
- "single_word": false,
578
- "lstrip": false,
579
- "rstrip": false,
580
- "normalized": false,
581
- "special": false
582
- },
583
- "16253": {
584
- "content": "\\Re",
585
- "single_word": false,
586
- "lstrip": false,
587
- "rstrip": false,
588
- "normalized": false,
589
- "special": false
590
- },
591
- "16254": {
592
- "content": "\\Im",
593
- "single_word": false,
594
- "lstrip": false,
595
- "rstrip": false,
596
- "normalized": false,
597
- "special": false
598
- },
599
- "16255": {
600
- "content": "\\ell",
601
- "single_word": false,
602
- "lstrip": false,
603
- "rstrip": false,
604
- "normalized": false,
605
- "special": false
606
- },
607
- "16256": {
608
- "content": "\\hbar",
609
- "single_word": false,
610
- "lstrip": false,
611
- "rstrip": false,
612
- "normalized": false,
613
- "special": false
614
- },
615
- "16257": {
616
- "content": "\\exists",
617
- "single_word": false,
618
- "lstrip": false,
619
- "rstrip": false,
620
- "normalized": false,
621
- "special": false
622
- },
623
- "16258": {
624
- "content": "\\forall",
625
- "single_word": false,
626
- "lstrip": false,
627
- "rstrip": false,
628
- "normalized": false,
629
- "special": false
630
- },
631
- "16259": {
632
- "content": "\\partial",
633
- "single_word": false,
634
- "lstrip": false,
635
- "rstrip": false,
636
- "normalized": false,
637
- "special": false
638
- },
639
- "16260": {
640
- "content": "\\nabla",
641
- "single_word": false,
642
- "lstrip": false,
643
- "rstrip": false,
644
- "normalized": false,
645
- "special": false
646
- },
647
- "16261": {
648
- "content": "\\infty",
649
- "single_word": false,
650
- "lstrip": false,
651
- "rstrip": false,
652
- "normalized": false,
653
- "special": false
654
- },
655
- "16262": {
656
- "content": "\\binom",
657
- "single_word": false,
658
- "lstrip": false,
659
- "rstrip": false,
660
- "normalized": false,
661
- "special": false
662
- },
663
- "16263": {
664
- "content": "\\overline",
665
- "single_word": false,
666
- "lstrip": false,
667
- "rstrip": false,
668
- "normalized": false,
669
- "special": false
670
- },
671
- "16264": {
672
- "content": "\\sqrt",
673
- "single_word": false,
674
- "lstrip": false,
675
- "rstrip": false,
676
- "normalized": false,
677
- "special": false
678
- },
679
- "16265": {
680
- "content": "\\tfrac",
681
- "single_word": false,
682
- "lstrip": false,
683
- "rstrip": false,
684
- "normalized": false,
685
- "special": false
686
- },
687
- "16266": {
688
- "content": "\\dfrac",
689
- "single_word": false,
690
- "lstrip": false,
691
- "rstrip": false,
692
- "normalized": false,
693
- "special": false
694
- },
695
- "16267": {
696
- "content": "\\frac",
697
- "single_word": false,
698
- "lstrip": false,
699
- "rstrip": false,
700
- "normalized": false,
701
- "special": false
702
- },
703
- "16268": {
704
- "content": "\\textsc",
705
- "single_word": false,
706
- "lstrip": false,
707
- "rstrip": false,
708
- "normalized": false,
709
- "special": false
710
- },
711
- "16269": {
712
- "content": "\\textsf",
713
- "single_word": false,
714
- "lstrip": false,
715
- "rstrip": false,
716
- "normalized": false,
717
- "special": false
718
- },
719
- "16270": {
720
- "content": "\\texttt",
721
- "single_word": false,
722
- "lstrip": false,
723
- "rstrip": false,
724
- "normalized": false,
725
- "special": false
726
- },
727
- "16271": {
728
- "content": "\\emph",
729
- "single_word": false,
730
- "lstrip": false,
731
- "rstrip": false,
732
- "normalized": false,
733
- "special": false
734
- },
735
- "16272": {
736
- "content": "\\underline",
737
- "single_word": false,
738
- "lstrip": false,
739
- "rstrip": false,
740
- "normalized": false,
741
- "special": false
742
- },
743
- "16273": {
744
- "content": "\\textit",
745
- "single_word": false,
746
- "lstrip": false,
747
- "rstrip": false,
748
- "normalized": false,
749
- "special": false
750
- },
751
- "16274": {
752
- "content": "\\textbf",
753
- "single_word": false,
754
- "lstrip": false,
755
- "rstrip": false,
756
- "normalized": false,
757
- "special": false
758
- },
759
- "16275": {
760
- "content": "\\bigoplus",
761
- "single_word": false,
762
- "lstrip": false,
763
- "rstrip": false,
764
- "normalized": false,
765
- "special": false
766
- },
767
- "16276": {
768
- "content": "\\bigcap",
769
- "single_word": false,
770
- "lstrip": false,
771
- "rstrip": false,
772
- "normalized": false,
773
- "special": false
774
- },
775
- "16277": {
776
- "content": "\\bigcup",
777
- "single_word": false,
778
- "lstrip": false,
779
- "rstrip": false,
780
- "normalized": false,
781
- "special": false
782
- },
783
- "16278": {
784
- "content": "\\prod",
785
- "single_word": false,
786
- "lstrip": false,
787
- "rstrip": false,
788
- "normalized": false,
789
- "special": false
790
- },
791
- "16279": {
792
- "content": "\\sum",
793
- "single_word": false,
794
- "lstrip": false,
795
- "rstrip": false,
796
- "normalized": false,
797
- "special": false
798
- },
799
- "16280": {
800
- "content": "\\oint",
801
- "single_word": false,
802
- "lstrip": false,
803
- "rstrip": false,
804
- "normalized": false,
805
- "special": false
806
- },
807
- "16281": {
808
- "content": "\\iiint",
809
- "single_word": false,
810
- "lstrip": false,
811
- "rstrip": false,
812
- "normalized": false,
813
- "special": false
814
- },
815
- "16282": {
816
- "content": "\\iint",
817
- "single_word": false,
818
- "lstrip": false,
819
- "rstrip": false,
820
- "normalized": false,
821
- "special": false
822
- },
823
- "16283": {
824
- "content": "\\int",
825
- "single_word": false,
826
- "lstrip": false,
827
- "rstrip": false,
828
- "normalized": false,
829
- "special": false
830
- },
831
- "16284": {
832
- "content": "\\right",
833
- "single_word": false,
834
- "lstrip": false,
835
- "rstrip": false,
836
- "normalized": false,
837
- "special": false
838
- },
839
- "16285": {
840
- "content": "\\left",
841
- "single_word": false,
842
- "lstrip": false,
843
- "rstrip": false,
844
- "normalized": false,
845
- "special": false
846
- },
847
- "16286": {
848
- "content": "\\Bigr",
849
- "single_word": false,
850
- "lstrip": false,
851
- "rstrip": false,
852
- "normalized": false,
853
- "special": false
854
- },
855
- "16287": {
856
- "content": "\\Bigl",
857
- "single_word": false,
858
- "lstrip": false,
859
- "rstrip": false,
860
- "normalized": false,
861
- "special": false
862
- },
863
- "16288": {
864
- "content": "\\bigr",
865
- "single_word": false,
866
- "lstrip": false,
867
- "rstrip": false,
868
- "normalized": false,
869
- "special": false
870
- },
871
- "16289": {
872
- "content": "\\bigl",
873
- "single_word": false,
874
- "lstrip": false,
875
- "rstrip": false,
876
- "normalized": false,
877
- "special": false
878
- },
879
- "16290": {
880
- "content": "\\rceil",
881
- "single_word": false,
882
- "lstrip": false,
883
- "rstrip": false,
884
- "normalized": false,
885
- "special": false
886
- },
887
- "16291": {
888
- "content": "\\lceil",
889
- "single_word": false,
890
- "lstrip": false,
891
- "rstrip": false,
892
- "normalized": false,
893
- "special": false
894
- },
895
- "16292": {
896
- "content": "\\rfloor",
897
- "single_word": false,
898
- "lstrip": false,
899
- "rstrip": false,
900
- "normalized": false,
901
- "special": false
902
- },
903
- "16293": {
904
- "content": "\\lfloor",
905
- "single_word": false,
906
- "lstrip": false,
907
- "rstrip": false,
908
- "normalized": false,
909
- "special": false
910
- },
911
- "16294": {
912
- "content": "\\rangle",
913
- "single_word": false,
914
- "lstrip": false,
915
- "rstrip": false,
916
- "normalized": false,
917
- "special": false
918
- },
919
- "16295": {
920
- "content": "\\langle",
921
- "single_word": false,
922
- "lstrip": false,
923
- "rstrip": false,
924
- "normalized": false,
925
- "special": false
926
- },
927
- "16296": {
928
- "content": "\\overleftarrow",
929
- "single_word": false,
930
- "lstrip": false,
931
- "rstrip": false,
932
- "normalized": false,
933
- "special": false
934
- },
935
- "16297": {
936
- "content": "\\overleftrightarrow",
937
- "single_word": false,
938
- "lstrip": false,
939
- "rstrip": false,
940
- "normalized": false,
941
- "special": false
942
- },
943
- "16298": {
944
- "content": "\\overrightarrow",
945
- "single_word": false,
946
- "lstrip": false,
947
- "rstrip": false,
948
- "normalized": false,
949
- "special": false
950
- },
951
- "16299": {
952
- "content": "\\Longleftrightarrow",
953
- "single_word": false,
954
- "lstrip": false,
955
- "rstrip": false,
956
- "normalized": false,
957
- "special": false
958
- },
959
- "16300": {
960
- "content": "\\longleftrightarrow",
961
- "single_word": false,
962
- "lstrip": false,
963
- "rstrip": false,
964
- "normalized": false,
965
- "special": false
966
- },
967
- "16301": {
968
- "content": "\\longrightarrow",
969
- "single_word": false,
970
- "lstrip": false,
971
- "rstrip": false,
972
- "normalized": false,
973
- "special": false
974
- },
975
- "16302": {
976
- "content": "\\longleftarrow",
977
- "single_word": false,
978
- "lstrip": false,
979
- "rstrip": false,
980
- "normalized": false,
981
- "special": false
982
- },
983
- "16303": {
984
- "content": "\\Longrightarrow",
985
- "single_word": false,
986
- "lstrip": false,
987
- "rstrip": false,
988
- "normalized": false,
989
- "special": false
990
- },
991
- "16304": {
992
- "content": "\\Longleftarrow",
993
- "single_word": false,
994
- "lstrip": false,
995
- "rstrip": false,
996
- "normalized": false,
997
- "special": false
998
- },
999
- "16305": {
1000
- "content": "\\gets",
1001
- "single_word": false,
1002
- "lstrip": false,
1003
- "rstrip": false,
1004
- "normalized": false,
1005
- "special": false
1006
- },
1007
- "16306": {
1008
- "content": "\\to",
1009
- "single_word": false,
1010
- "lstrip": false,
1011
- "rstrip": false,
1012
- "normalized": false,
1013
- "special": false
1014
- },
1015
- "16307": {
1016
- "content": "\\mapsto",
1017
- "single_word": false,
1018
- "lstrip": false,
1019
- "rstrip": false,
1020
- "normalized": false,
1021
- "special": false
1022
- },
1023
- "16308": {
1024
- "content": "\\Updownarrow",
1025
- "single_word": false,
1026
- "lstrip": false,
1027
- "rstrip": false,
1028
- "normalized": false,
1029
- "special": false
1030
- },
1031
- "16309": {
1032
- "content": "\\Downarrow",
1033
- "single_word": false,
1034
- "lstrip": false,
1035
- "rstrip": false,
1036
- "normalized": false,
1037
- "special": false
1038
- },
1039
- "16310": {
1040
- "content": "\\Uparrow",
1041
- "single_word": false,
1042
- "lstrip": false,
1043
- "rstrip": false,
1044
- "normalized": false,
1045
- "special": false
1046
- },
1047
- "16311": {
1048
- "content": "\\updownarrow",
1049
- "single_word": false,
1050
- "lstrip": false,
1051
- "rstrip": false,
1052
- "normalized": false,
1053
- "special": false
1054
- },
1055
- "16312": {
1056
- "content": "\\downarrow",
1057
- "single_word": false,
1058
- "lstrip": false,
1059
- "rstrip": false,
1060
- "normalized": false,
1061
- "special": false
1062
- },
1063
- "16313": {
1064
- "content": "\\uparrow",
1065
- "single_word": false,
1066
- "lstrip": false,
1067
- "rstrip": false,
1068
- "normalized": false,
1069
- "special": false
1070
- },
1071
- "16314": {
1072
- "content": "\\Leftrightarrow",
1073
- "single_word": false,
1074
- "lstrip": false,
1075
- "rstrip": false,
1076
- "normalized": false,
1077
- "special": false
1078
- },
1079
- "16315": {
1080
- "content": "\\Rightarrow",
1081
- "single_word": false,
1082
- "lstrip": false,
1083
- "rstrip": false,
1084
- "normalized": false,
1085
- "special": false
1086
- },
1087
- "16316": {
1088
- "content": "\\Leftarrow",
1089
- "single_word": false,
1090
- "lstrip": false,
1091
- "rstrip": false,
1092
- "normalized": false,
1093
- "special": false
1094
- },
1095
- "16317": {
1096
- "content": "\\leftrightarrow",
1097
- "single_word": false,
1098
- "lstrip": false,
1099
- "rstrip": false,
1100
- "normalized": false,
1101
- "special": false
1102
- },
1103
- "16318": {
1104
- "content": "\\rightarrow",
1105
- "single_word": false,
1106
- "lstrip": false,
1107
- "rstrip": false,
1108
- "normalized": false,
1109
- "special": false
1110
- },
1111
- "16319": {
1112
- "content": "\\leftarrow",
1113
- "single_word": false,
1114
- "lstrip": false,
1115
- "rstrip": false,
1116
- "normalized": false,
1117
- "special": false
1118
- },
1119
- "16320": {
1120
- "content": "\\perp",
1121
- "single_word": false,
1122
- "lstrip": false,
1123
- "rstrip": false,
1124
- "normalized": false,
1125
- "special": false
1126
- },
1127
- "16321": {
1128
- "content": "\\propto",
1129
- "single_word": false,
1130
- "lstrip": false,
1131
- "rstrip": false,
1132
- "normalized": false,
1133
- "special": false
1134
- },
1135
- "16322": {
1136
- "content": "\\ni",
1137
- "single_word": false,
1138
- "lstrip": false,
1139
- "rstrip": false,
1140
- "normalized": false,
1141
- "special": false
1142
- },
1143
- "16323": {
1144
- "content": "\\notin",
1145
- "single_word": false,
1146
- "lstrip": false,
1147
- "rstrip": false,
1148
- "normalized": false,
1149
- "special": false
1150
- },
1151
- "16324": {
1152
- "content": "\\in",
1153
- "single_word": false,
1154
- "lstrip": false,
1155
- "rstrip": false,
1156
- "normalized": false,
1157
- "special": false
1158
- },
1159
- "16325": {
1160
- "content": "\\supseteq",
1161
- "single_word": false,
1162
- "lstrip": false,
1163
- "rstrip": false,
1164
- "normalized": false,
1165
- "special": false
1166
- },
1167
- "16326": {
1168
- "content": "\\supset",
1169
- "single_word": false,
1170
- "lstrip": false,
1171
- "rstrip": false,
1172
- "normalized": false,
1173
- "special": false
1174
- },
1175
- "16327": {
1176
- "content": "\\sqsupseteq",
1177
- "single_word": false,
1178
- "lstrip": false,
1179
- "rstrip": false,
1180
- "normalized": false,
1181
- "special": false
1182
- },
1183
- "16328": {
1184
- "content": "\\sqsubseteq",
1185
- "single_word": false,
1186
- "lstrip": false,
1187
- "rstrip": false,
1188
- "normalized": false,
1189
- "special": false
1190
- },
1191
- "16329": {
1192
- "content": "\\subseteq",
1193
- "single_word": false,
1194
- "lstrip": false,
1195
- "rstrip": false,
1196
- "normalized": false,
1197
- "special": false
1198
- },
1199
- "16330": {
1200
- "content": "\\subset",
1201
- "single_word": false,
1202
- "lstrip": false,
1203
- "rstrip": false,
1204
- "normalized": false,
1205
- "special": false
1206
- },
1207
- "16331": {
1208
- "content": "\\cong",
1209
- "single_word": false,
1210
- "lstrip": false,
1211
- "rstrip": false,
1212
- "normalized": false,
1213
- "special": false
1214
- },
1215
- "16332": {
1216
- "content": "\\approx",
1217
- "single_word": false,
1218
- "lstrip": false,
1219
- "rstrip": false,
1220
- "normalized": false,
1221
- "special": false
1222
- },
1223
- "16333": {
1224
- "content": "\\simeq",
1225
- "single_word": false,
1226
- "lstrip": false,
1227
- "rstrip": false,
1228
- "normalized": false,
1229
- "special": false
1230
- },
1231
- "16334": {
1232
- "content": "\\sim",
1233
- "single_word": false,
1234
- "lstrip": false,
1235
- "rstrip": false,
1236
- "normalized": false,
1237
- "special": false
1238
- },
1239
- "16335": {
1240
- "content": "\\equiv",
1241
- "single_word": false,
1242
- "lstrip": false,
1243
- "rstrip": false,
1244
- "normalized": false,
1245
- "special": false
1246
- },
1247
- "16336": {
1248
- "content": "\\neq",
1249
- "single_word": false,
1250
- "lstrip": false,
1251
- "rstrip": false,
1252
- "normalized": false,
1253
- "special": false
1254
- },
1255
- "16337": {
1256
- "content": "\\geq",
1257
- "single_word": false,
1258
- "lstrip": false,
1259
- "rstrip": false,
1260
- "normalized": false,
1261
- "special": false
1262
- },
1263
- "16338": {
1264
- "content": "\\leq",
1265
- "single_word": false,
1266
- "lstrip": false,
1267
- "rstrip": false,
1268
- "normalized": false,
1269
- "special": false
1270
- },
1271
- "16339": {
1272
- "content": "\\oslash",
1273
- "single_word": false,
1274
- "lstrip": false,
1275
- "rstrip": false,
1276
- "normalized": false,
1277
- "special": false
1278
- },
1279
- "16340": {
1280
- "content": "\\otimes",
1281
- "single_word": false,
1282
- "lstrip": false,
1283
- "rstrip": false,
1284
- "normalized": false,
1285
- "special": false
1286
- },
1287
- "16341": {
1288
- "content": "\\ominus",
1289
- "single_word": false,
1290
- "lstrip": false,
1291
- "rstrip": false,
1292
- "normalized": false,
1293
- "special": false
1294
- },
1295
- "16342": {
1296
- "content": "\\oplus",
1297
- "single_word": false,
1298
- "lstrip": false,
1299
- "rstrip": false,
1300
- "normalized": false,
1301
- "special": false
1302
- },
1303
- "16343": {
1304
- "content": "\\wedge",
1305
- "single_word": false,
1306
- "lstrip": false,
1307
- "rstrip": false,
1308
- "normalized": false,
1309
- "special": false
1310
- },
1311
- "16344": {
1312
- "content": "\\vee",
1313
- "single_word": false,
1314
- "lstrip": false,
1315
- "rstrip": false,
1316
- "normalized": false,
1317
- "special": false
1318
- },
1319
- "16345": {
1320
- "content": "\\sqcup",
1321
- "single_word": false,
1322
- "lstrip": false,
1323
- "rstrip": false,
1324
- "normalized": false,
1325
- "special": false
1326
- },
1327
- "16346": {
1328
- "content": "\\sqcap",
1329
- "single_word": false,
1330
- "lstrip": false,
1331
- "rstrip": false,
1332
- "normalized": false,
1333
- "special": false
1334
- },
1335
- "16347": {
1336
- "content": "\\uplus",
1337
- "single_word": false,
1338
- "lstrip": false,
1339
- "rstrip": false,
1340
- "normalized": false,
1341
- "special": false
1342
- },
1343
- "16348": {
1344
- "content": "\\cup",
1345
- "single_word": false,
1346
- "lstrip": false,
1347
- "rstrip": false,
1348
- "normalized": false,
1349
- "special": false
1350
- },
1351
- "16349": {
1352
- "content": "\\cap",
1353
- "single_word": false,
1354
- "lstrip": false,
1355
- "rstrip": false,
1356
- "normalized": false,
1357
- "special": false
1358
- },
1359
- "16350": {
1360
- "content": "\\cdot",
1361
- "single_word": false,
1362
- "lstrip": false,
1363
- "rstrip": false,
1364
- "normalized": false,
1365
- "special": false
1366
- },
1367
- "16351": {
1368
- "content": "\\bullet",
1369
- "single_word": false,
1370
- "lstrip": false,
1371
- "rstrip": false,
1372
- "normalized": false,
1373
- "special": false
1374
- },
1375
- "16352": {
1376
- "content": "\\circ",
1377
- "single_word": false,
1378
- "lstrip": false,
1379
- "rstrip": false,
1380
- "normalized": false,
1381
- "special": false
1382
- },
1383
- "16353": {
1384
- "content": "\\star",
1385
- "single_word": false,
1386
- "lstrip": false,
1387
- "rstrip": false,
1388
- "normalized": false,
1389
- "special": false
1390
- },
1391
- "16354": {
1392
- "content": "\\ast",
1393
- "single_word": false,
1394
- "lstrip": false,
1395
- "rstrip": false,
1396
- "normalized": false,
1397
- "special": false
1398
- },
1399
- "16355": {
1400
- "content": "\\div",
1401
- "single_word": false,
1402
- "lstrip": false,
1403
- "rstrip": false,
1404
- "normalized": false,
1405
- "special": false
1406
- },
1407
- "16356": {
1408
- "content": "\\times",
1409
- "single_word": false,
1410
- "lstrip": false,
1411
- "rstrip": false,
1412
- "normalized": false,
1413
- "special": false
1414
- },
1415
- "16357": {
1416
- "content": "\\mp",
1417
- "single_word": false,
1418
- "lstrip": false,
1419
- "rstrip": false,
1420
- "normalized": false,
1421
- "special": false
1422
- },
1423
- "16358": {
1424
- "content": "\\pm",
1425
- "single_word": false,
1426
- "lstrip": false,
1427
- "rstrip": false,
1428
- "normalized": false,
1429
- "special": false
1430
- },
1431
- "16359": {
1432
- "content": "\\omega",
1433
- "single_word": false,
1434
- "lstrip": false,
1435
- "rstrip": false,
1436
- "normalized": false,
1437
- "special": false
1438
- },
1439
- "16360": {
1440
- "content": "\\psi",
1441
- "single_word": false,
1442
- "lstrip": false,
1443
- "rstrip": false,
1444
- "normalized": false,
1445
- "special": false
1446
- },
1447
- "16361": {
1448
- "content": "\\chi",
1449
- "single_word": false,
1450
- "lstrip": false,
1451
- "rstrip": false,
1452
- "normalized": false,
1453
- "special": false
1454
- },
1455
- "16362": {
1456
- "content": "\\varphi",
1457
- "single_word": false,
1458
- "lstrip": false,
1459
- "rstrip": false,
1460
- "normalized": false,
1461
- "special": false
1462
- },
1463
- "16363": {
1464
- "content": "\\varsigma",
1465
- "single_word": false,
1466
- "lstrip": false,
1467
- "rstrip": false,
1468
- "normalized": false,
1469
- "special": false
1470
- },
1471
- "16364": {
1472
- "content": "\\phi",
1473
- "single_word": false,
1474
- "lstrip": false,
1475
- "rstrip": false,
1476
- "normalized": false,
1477
- "special": false
1478
- },
1479
- "16365": {
1480
- "content": "\\upsilon",
1481
- "single_word": false,
1482
- "lstrip": false,
1483
- "rstrip": false,
1484
- "normalized": false,
1485
- "special": false
1486
- },
1487
- "16366": {
1488
- "content": "\\tau",
1489
- "single_word": false,
1490
- "lstrip": false,
1491
- "rstrip": false,
1492
- "normalized": false,
1493
- "special": false
1494
- },
1495
- "16367": {
1496
- "content": "\\sigma",
1497
- "single_word": false,
1498
- "lstrip": false,
1499
- "rstrip": false,
1500
- "normalized": false,
1501
- "special": false
1502
- },
1503
- "16368": {
1504
- "content": "\\rho",
1505
- "single_word": false,
1506
- "lstrip": false,
1507
- "rstrip": false,
1508
- "normalized": false,
1509
- "special": false
1510
- },
1511
- "16369": {
1512
- "content": "\\pi",
1513
- "single_word": false,
1514
- "lstrip": false,
1515
- "rstrip": false,
1516
- "normalized": false,
1517
- "special": false
1518
- },
1519
- "16370": {
1520
- "content": "\\xi",
1521
- "single_word": false,
1522
- "lstrip": false,
1523
- "rstrip": false,
1524
- "normalized": false,
1525
- "special": false
1526
- },
1527
- "16371": {
1528
- "content": "\\nu",
1529
- "single_word": false,
1530
- "lstrip": false,
1531
- "rstrip": false,
1532
- "normalized": false,
1533
- "special": false
1534
- },
1535
- "16372": {
1536
- "content": "\\mu",
1537
- "single_word": false,
1538
- "lstrip": false,
1539
- "rstrip": false,
1540
- "normalized": false,
1541
- "special": false
1542
- },
1543
- "16373": {
1544
- "content": "\\lambda",
1545
- "single_word": false,
1546
- "lstrip": false,
1547
- "rstrip": false,
1548
- "normalized": false,
1549
- "special": false
1550
- },
1551
- "16374": {
1552
- "content": "\\kappa",
1553
- "single_word": false,
1554
- "lstrip": false,
1555
- "rstrip": false,
1556
- "normalized": false,
1557
- "special": false
1558
- },
1559
- "16375": {
1560
- "content": "\\iota",
1561
- "single_word": false,
1562
- "lstrip": false,
1563
- "rstrip": false,
1564
- "normalized": false,
1565
- "special": false
1566
- },
1567
- "16376": {
1568
- "content": "\\theta",
1569
- "single_word": false,
1570
- "lstrip": false,
1571
- "rstrip": false,
1572
- "normalized": false,
1573
- "special": false
1574
- },
1575
- "16377": {
1576
- "content": "\\eta",
1577
- "single_word": false,
1578
- "lstrip": false,
1579
- "rstrip": false,
1580
- "normalized": false,
1581
- "special": false
1582
- },
1583
- "16378": {
1584
- "content": "\\zeta",
1585
- "single_word": false,
1586
- "lstrip": false,
1587
- "rstrip": false,
1588
- "normalized": false,
1589
- "special": false
1590
- },
1591
- "16379": {
1592
- "content": "\\epsilon",
1593
- "single_word": false,
1594
- "lstrip": false,
1595
- "rstrip": false,
1596
- "normalized": false,
1597
- "special": false
1598
- },
1599
- "16380": {
1600
- "content": "\\delta",
1601
- "single_word": false,
1602
- "lstrip": false,
1603
- "rstrip": false,
1604
- "normalized": false,
1605
- "special": false
1606
- },
1607
- "16381": {
1608
- "content": "\\gamma",
1609
- "single_word": false,
1610
- "lstrip": false,
1611
- "rstrip": false,
1612
- "normalized": false,
1613
- "special": false
1614
- },
1615
- "16382": {
1616
- "content": "\\beta",
1617
- "single_word": false,
1618
- "lstrip": false,
1619
- "rstrip": false,
1620
- "normalized": false,
1621
- "special": false
1622
- },
1623
- "16383": {
1624
- "content": "\\alpha",
1625
- "single_word": false,
1626
- "lstrip": false,
1627
- "rstrip": false,
1628
- "normalized": false,
1629
- "special": false
1630
- },
1631
- "10": {
1632
- "content": "<|im_start|>system",
1633
- "single_word": false,
1634
- "lstrip": false,
1635
- "rstrip": false,
1636
- "normalized": false,
1637
- "special": true,
1638
- "id": 16192
1639
- },
1640
- "11": {
1641
- "content": "<|im_start|>user",
1642
- "single_word": false,
1643
- "lstrip": false,
1644
- "rstrip": false,
1645
- "normalized": false,
1646
- "special": true,
1647
- "id": 16193
1648
- },
1649
- "12": {
1650
- "content": "<|im_start|>assistant",
1651
- "single_word": false,
1652
- "lstrip": false,
1653
- "rstrip": false,
1654
- "normalized": false,
1655
- "special": true,
1656
- "id": 16194
1657
- },
1658
- "13": {
1659
- "content": "<|im_end|>",
1660
- "single_word": false,
1661
- "lstrip": false,
1662
- "rstrip": false,
1663
- "normalized": false,
1664
- "special": true,
1665
- "id": 16195
1666
- }
1667
- },
1668
- "seed_tokenizer": "openai/gpt-oss-20b",
1669
- "latex_token_source": "tiiuae/Falcon-H1-Tiny-90M-Instruct",
1670
- "falcon_latex_tokens": [
1671
- "\\blindtext",
1672
- "\\newpage",
1673
- "\\boxed",
1674
- "\\framebox",
1675
- "\\fbox",
1676
- "\\tag",
1677
- "\\nonumber",
1678
- "\\item",
1679
- "\\centering",
1680
- "\\caption",
1681
- "\\includegraphics",
1682
- "\\label",
1683
- "\\multicolumn",
1684
- "\\cline",
1685
- "\\hline",
1686
- "\\end",
1687
- "\\begin",
1688
- "\\tableofcontents",
1689
- "\\maketitle",
1690
- "\\date",
1691
- "\\author",
1692
- "\\title",
1693
- "\\chapter",
1694
- "\\subsubsection",
1695
- "\\subsection",
1696
- "\\section",
1697
- "\\noindent",
1698
- "\\newline",
1699
- "\\par",
1700
- "\\ddot",
1701
- "\\dot",
1702
- "\\bar",
1703
- "\\iff",
1704
- "\\implies",
1705
- "\\neg",
1706
- "\\lor",
1707
- "\\land",
1708
- "\\qquad",
1709
- "\\quad",
1710
- "\\arctan",
1711
- "\\arccos",
1712
- "\\arcsin",
1713
- "\\cot",
1714
- "\\sec",
1715
- "\\csc",
1716
- "\\tan",
1717
- "\\cos",
1718
- "\\sin",
1719
- "\\widetilde",
1720
- "\\widehat",
1721
- "\\complement",
1722
- "\\varnothing",
1723
- "\\tilde",
1724
- "\\hat",
1725
- "\\vec",
1726
- "\\mathfrak",
1727
- "\\mathcal",
1728
- "\\mathbb",
1729
- "\\emptyset",
1730
- "\\bot",
1731
- "\\aleph",
1732
- "\\Re",
1733
- "\\Im",
1734
- "\\ell",
1735
- "\\hbar",
1736
- "\\exists",
1737
- "\\forall",
1738
- "\\partial",
1739
- "\\nabla",
1740
- "\\infty",
1741
- "\\binom",
1742
- "\\overline",
1743
- "\\sqrt",
1744
- "\\tfrac",
1745
- "\\dfrac",
1746
- "\\frac",
1747
- "\\textsc",
1748
- "\\textsf",
1749
- "\\texttt",
1750
- "\\emph",
1751
- "\\underline",
1752
- "\\textit",
1753
- "\\textbf",
1754
- "\\bigoplus",
1755
- "\\bigcap",
1756
- "\\bigcup",
1757
- "\\prod",
1758
- "\\sum",
1759
- "\\oint",
1760
- "\\iiint",
1761
- "\\iint",
1762
- "\\int",
1763
- "\\right",
1764
- "\\left",
1765
- "\\Bigr",
1766
- "\\Bigl",
1767
- "\\bigr",
1768
- "\\bigl",
1769
- "\\rceil",
1770
- "\\lceil",
1771
- "\\rfloor",
1772
- "\\lfloor",
1773
- "\\rangle",
1774
- "\\langle",
1775
- "\\overleftarrow",
1776
- "\\overleftrightarrow",
1777
- "\\overrightarrow",
1778
- "\\Longleftrightarrow",
1779
- "\\longleftrightarrow",
1780
- "\\longrightarrow",
1781
- "\\longleftarrow",
1782
- "\\Longrightarrow",
1783
- "\\Longleftarrow",
1784
- "\\gets",
1785
- "\\to",
1786
- "\\mapsto",
1787
- "\\Updownarrow",
1788
- "\\Downarrow",
1789
- "\\Uparrow",
1790
- "\\updownarrow",
1791
- "\\downarrow",
1792
- "\\uparrow",
1793
- "\\Leftrightarrow",
1794
- "\\Rightarrow",
1795
- "\\Leftarrow",
1796
- "\\leftrightarrow",
1797
- "\\rightarrow",
1798
- "\\leftarrow",
1799
- "\\perp",
1800
- "\\propto",
1801
- "\\ni",
1802
- "\\notin",
1803
- "\\in",
1804
- "\\supseteq",
1805
- "\\supset",
1806
- "\\sqsupseteq",
1807
- "\\sqsubseteq",
1808
- "\\subseteq",
1809
- "\\subset",
1810
- "\\cong",
1811
- "\\approx",
1812
- "\\simeq",
1813
- "\\sim",
1814
- "\\equiv",
1815
- "\\neq",
1816
- "\\geq",
1817
- "\\leq",
1818
- "\\oslash",
1819
- "\\otimes",
1820
- "\\ominus",
1821
- "\\oplus",
1822
- "\\wedge",
1823
- "\\vee",
1824
- "\\sqcup",
1825
- "\\sqcap",
1826
- "\\uplus",
1827
- "\\cup",
1828
- "\\cap",
1829
- "\\cdot",
1830
- "\\bullet",
1831
- "\\circ",
1832
- "\\star",
1833
- "\\ast",
1834
- "\\div",
1835
- "\\times",
1836
- "\\mp",
1837
- "\\pm",
1838
- "\\omega",
1839
- "\\psi",
1840
- "\\chi",
1841
- "\\varphi",
1842
- "\\varsigma",
1843
- "\\phi",
1844
- "\\upsilon",
1845
- "\\tau",
1846
- "\\sigma",
1847
- "\\rho",
1848
- "\\pi",
1849
- "\\xi",
1850
- "\\nu",
1851
- "\\mu",
1852
- "\\lambda",
1853
- "\\kappa",
1854
- "\\iota",
1855
- "\\theta",
1856
- "\\eta",
1857
- "\\zeta",
1858
- "\\epsilon",
1859
- "\\delta",
1860
- "\\gamma",
1861
- "\\beta",
1862
- "\\alpha"
1863
- ],
1864
- "chat_template": "{% for message in messages %}{{ '<|im_start|>' + message['role'] + '\\n' + message['content'] + '<|im_end|>\\n' }}{% endfor %}{% if add_generation_prompt %}{{ '<|im_start|>assistant\\n' }}{% endif %}"
1865
- }
 
1
+ {
2
+ "added_tokens_decoder": {
3
+ "0": {
4
+ "content": "<|startoftext|>",
5
+ "lstrip": false,
6
+ "normalized": false,
7
+ "rstrip": false,
8
+ "single_word": false,
9
+ "special": true
10
+ },
11
+ "1": {
12
+ "content": "<|endoftext|>",
13
+ "lstrip": false,
14
+ "normalized": false,
15
+ "rstrip": false,
16
+ "single_word": false,
17
+ "special": true
18
+ },
19
+ "2": {
20
+ "content": "<|return|>",
21
+ "lstrip": false,
22
+ "normalized": false,
23
+ "rstrip": false,
24
+ "single_word": false,
25
+ "special": true
26
+ },
27
+ "3": {
28
+ "content": "<|constrain|>",
29
+ "lstrip": false,
30
+ "normalized": false,
31
+ "rstrip": false,
32
+ "single_word": false,
33
+ "special": true
34
+ },
35
+ "4": {
36
+ "content": "<|channel|>",
37
+ "lstrip": false,
38
+ "normalized": false,
39
+ "rstrip": false,
40
+ "single_word": false,
41
+ "special": true
42
+ },
43
+ "5": {
44
+ "content": "<|start|>",
45
+ "lstrip": false,
46
+ "normalized": false,
47
+ "rstrip": false,
48
+ "single_word": false,
49
+ "special": true
50
+ },
51
+ "6": {
52
+ "content": "<|end|>",
53
+ "lstrip": false,
54
+ "normalized": false,
55
+ "rstrip": false,
56
+ "single_word": false,
57
+ "special": true
58
+ },
59
+ "7": {
60
+ "content": "<|message|>",
61
+ "lstrip": false,
62
+ "normalized": false,
63
+ "rstrip": false,
64
+ "single_word": false,
65
+ "special": true
66
+ },
67
+ "8": {
68
+ "content": "<|call|>",
69
+ "lstrip": false,
70
+ "normalized": false,
71
+ "rstrip": false,
72
+ "single_word": false,
73
+ "special": true
74
+ },
75
+ "9": {
76
+ "content": "<|endofprompt|>",
77
+ "lstrip": false,
78
+ "normalized": false,
79
+ "rstrip": false,
80
+ "single_word": false,
81
+ "special": true
82
+ },
83
+ "16192": {
84
+ "content": "\\blindtext",
85
+ "lstrip": false,
86
+ "normalized": false,
87
+ "rstrip": false,
88
+ "single_word": false,
89
+ "special": false
90
+ },
91
+ "16193": {
92
+ "content": "\\newpage",
93
+ "lstrip": false,
94
+ "normalized": false,
95
+ "rstrip": false,
96
+ "single_word": false,
97
+ "special": false
98
+ },
99
+ "16194": {
100
+ "content": "\\boxed",
101
+ "lstrip": false,
102
+ "normalized": false,
103
+ "rstrip": false,
104
+ "single_word": false,
105
+ "special": false
106
+ },
107
+ "16195": {
108
+ "content": "\\framebox",
109
+ "lstrip": false,
110
+ "normalized": false,
111
+ "rstrip": false,
112
+ "single_word": false,
113
+ "special": false
114
+ },
115
+ "16196": {
116
+ "content": "\\fbox",
117
+ "lstrip": false,
118
+ "normalized": false,
119
+ "rstrip": false,
120
+ "single_word": false,
121
+ "special": false
122
+ },
123
+ "16197": {
124
+ "content": "\\tag",
125
+ "lstrip": false,
126
+ "normalized": false,
127
+ "rstrip": false,
128
+ "single_word": false,
129
+ "special": false
130
+ },
131
+ "16198": {
132
+ "content": "\\nonumber",
133
+ "lstrip": false,
134
+ "normalized": false,
135
+ "rstrip": false,
136
+ "single_word": false,
137
+ "special": false
138
+ },
139
+ "16199": {
140
+ "content": "\\item",
141
+ "lstrip": false,
142
+ "normalized": false,
143
+ "rstrip": false,
144
+ "single_word": false,
145
+ "special": false
146
+ },
147
+ "16200": {
148
+ "content": "\\centering",
149
+ "lstrip": false,
150
+ "normalized": false,
151
+ "rstrip": false,
152
+ "single_word": false,
153
+ "special": false
154
+ },
155
+ "16201": {
156
+ "content": "\\caption",
157
+ "lstrip": false,
158
+ "normalized": false,
159
+ "rstrip": false,
160
+ "single_word": false,
161
+ "special": false
162
+ },
163
+ "16202": {
164
+ "content": "\\includegraphics",
165
+ "lstrip": false,
166
+ "normalized": false,
167
+ "rstrip": false,
168
+ "single_word": false,
169
+ "special": false
170
+ },
171
+ "16203": {
172
+ "content": "\\label",
173
+ "lstrip": false,
174
+ "normalized": false,
175
+ "rstrip": false,
176
+ "single_word": false,
177
+ "special": false
178
+ },
179
+ "16204": {
180
+ "content": "\\multicolumn",
181
+ "lstrip": false,
182
+ "normalized": false,
183
+ "rstrip": false,
184
+ "single_word": false,
185
+ "special": false
186
+ },
187
+ "16205": {
188
+ "content": "\\cline",
189
+ "lstrip": false,
190
+ "normalized": false,
191
+ "rstrip": false,
192
+ "single_word": false,
193
+ "special": false
194
+ },
195
+ "16206": {
196
+ "content": "\\hline",
197
+ "lstrip": false,
198
+ "normalized": false,
199
+ "rstrip": false,
200
+ "single_word": false,
201
+ "special": false
202
+ },
203
+ "16207": {
204
+ "content": "\\end",
205
+ "lstrip": false,
206
+ "normalized": false,
207
+ "rstrip": false,
208
+ "single_word": false,
209
+ "special": false
210
+ },
211
+ "16208": {
212
+ "content": "\\begin",
213
+ "lstrip": false,
214
+ "normalized": false,
215
+ "rstrip": false,
216
+ "single_word": false,
217
+ "special": false
218
+ },
219
+ "16209": {
220
+ "content": "\\tableofcontents",
221
+ "lstrip": false,
222
+ "normalized": false,
223
+ "rstrip": false,
224
+ "single_word": false,
225
+ "special": false
226
+ },
227
+ "16210": {
228
+ "content": "\\maketitle",
229
+ "lstrip": false,
230
+ "normalized": false,
231
+ "rstrip": false,
232
+ "single_word": false,
233
+ "special": false
234
+ },
235
+ "16211": {
236
+ "content": "\\date",
237
+ "lstrip": false,
238
+ "normalized": false,
239
+ "rstrip": false,
240
+ "single_word": false,
241
+ "special": false
242
+ },
243
+ "16212": {
244
+ "content": "\\author",
245
+ "lstrip": false,
246
+ "normalized": false,
247
+ "rstrip": false,
248
+ "single_word": false,
249
+ "special": false
250
+ },
251
+ "16213": {
252
+ "content": "\\title",
253
+ "lstrip": false,
254
+ "normalized": false,
255
+ "rstrip": false,
256
+ "single_word": false,
257
+ "special": false
258
+ },
259
+ "16214": {
260
+ "content": "\\chapter",
261
+ "lstrip": false,
262
+ "normalized": false,
263
+ "rstrip": false,
264
+ "single_word": false,
265
+ "special": false
266
+ },
267
+ "16215": {
268
+ "content": "\\subsubsection",
269
+ "lstrip": false,
270
+ "normalized": false,
271
+ "rstrip": false,
272
+ "single_word": false,
273
+ "special": false
274
+ },
275
+ "16216": {
276
+ "content": "\\subsection",
277
+ "lstrip": false,
278
+ "normalized": false,
279
+ "rstrip": false,
280
+ "single_word": false,
281
+ "special": false
282
+ },
283
+ "16217": {
284
+ "content": "\\section",
285
+ "lstrip": false,
286
+ "normalized": false,
287
+ "rstrip": false,
288
+ "single_word": false,
289
+ "special": false
290
+ },
291
+ "16218": {
292
+ "content": "\\noindent",
293
+ "lstrip": false,
294
+ "normalized": false,
295
+ "rstrip": false,
296
+ "single_word": false,
297
+ "special": false
298
+ },
299
+ "16219": {
300
+ "content": "\\newline",
301
+ "lstrip": false,
302
+ "normalized": false,
303
+ "rstrip": false,
304
+ "single_word": false,
305
+ "special": false
306
+ },
307
+ "16220": {
308
+ "content": "\\par",
309
+ "lstrip": false,
310
+ "normalized": false,
311
+ "rstrip": false,
312
+ "single_word": false,
313
+ "special": false
314
+ },
315
+ "16221": {
316
+ "content": "\\ddot",
317
+ "lstrip": false,
318
+ "normalized": false,
319
+ "rstrip": false,
320
+ "single_word": false,
321
+ "special": false
322
+ },
323
+ "16222": {
324
+ "content": "\\dot",
325
+ "lstrip": false,
326
+ "normalized": false,
327
+ "rstrip": false,
328
+ "single_word": false,
329
+ "special": false
330
+ },
331
+ "16223": {
332
+ "content": "\\bar",
333
+ "lstrip": false,
334
+ "normalized": false,
335
+ "rstrip": false,
336
+ "single_word": false,
337
+ "special": false
338
+ },
339
+ "16224": {
340
+ "content": "\\iff",
341
+ "lstrip": false,
342
+ "normalized": false,
343
+ "rstrip": false,
344
+ "single_word": false,
345
+ "special": false
346
+ },
347
+ "16225": {
348
+ "content": "\\implies",
349
+ "lstrip": false,
350
+ "normalized": false,
351
+ "rstrip": false,
352
+ "single_word": false,
353
+ "special": false
354
+ },
355
+ "16226": {
356
+ "content": "\\neg",
357
+ "lstrip": false,
358
+ "normalized": false,
359
+ "rstrip": false,
360
+ "single_word": false,
361
+ "special": false
362
+ },
363
+ "16227": {
364
+ "content": "\\lor",
365
+ "lstrip": false,
366
+ "normalized": false,
367
+ "rstrip": false,
368
+ "single_word": false,
369
+ "special": false
370
+ },
371
+ "16228": {
372
+ "content": "\\land",
373
+ "lstrip": false,
374
+ "normalized": false,
375
+ "rstrip": false,
376
+ "single_word": false,
377
+ "special": false
378
+ },
379
+ "16229": {
380
+ "content": "\\qquad",
381
+ "lstrip": false,
382
+ "normalized": false,
383
+ "rstrip": false,
384
+ "single_word": false,
385
+ "special": false
386
+ },
387
+ "16230": {
388
+ "content": "\\quad",
389
+ "lstrip": false,
390
+ "normalized": false,
391
+ "rstrip": false,
392
+ "single_word": false,
393
+ "special": false
394
+ },
395
+ "16231": {
396
+ "content": "\\arctan",
397
+ "lstrip": false,
398
+ "normalized": false,
399
+ "rstrip": false,
400
+ "single_word": false,
401
+ "special": false
402
+ },
403
+ "16232": {
404
+ "content": "\\arccos",
405
+ "lstrip": false,
406
+ "normalized": false,
407
+ "rstrip": false,
408
+ "single_word": false,
409
+ "special": false
410
+ },
411
+ "16233": {
412
+ "content": "\\arcsin",
413
+ "lstrip": false,
414
+ "normalized": false,
415
+ "rstrip": false,
416
+ "single_word": false,
417
+ "special": false
418
+ },
419
+ "16234": {
420
+ "content": "\\cot",
421
+ "lstrip": false,
422
+ "normalized": false,
423
+ "rstrip": false,
424
+ "single_word": false,
425
+ "special": false
426
+ },
427
+ "16235": {
428
+ "content": "\\sec",
429
+ "lstrip": false,
430
+ "normalized": false,
431
+ "rstrip": false,
432
+ "single_word": false,
433
+ "special": false
434
+ },
435
+ "16236": {
436
+ "content": "\\csc",
437
+ "lstrip": false,
438
+ "normalized": false,
439
+ "rstrip": false,
440
+ "single_word": false,
441
+ "special": false
442
+ },
443
+ "16237": {
444
+ "content": "\\tan",
445
+ "lstrip": false,
446
+ "normalized": false,
447
+ "rstrip": false,
448
+ "single_word": false,
449
+ "special": false
450
+ },
451
+ "16238": {
452
+ "content": "\\cos",
453
+ "lstrip": false,
454
+ "normalized": false,
455
+ "rstrip": false,
456
+ "single_word": false,
457
+ "special": false
458
+ },
459
+ "16239": {
460
+ "content": "\\sin",
461
+ "lstrip": false,
462
+ "normalized": false,
463
+ "rstrip": false,
464
+ "single_word": false,
465
+ "special": false
466
+ },
467
+ "16240": {
468
+ "content": "\\widetilde",
469
+ "lstrip": false,
470
+ "normalized": false,
471
+ "rstrip": false,
472
+ "single_word": false,
473
+ "special": false
474
+ },
475
+ "16241": {
476
+ "content": "\\widehat",
477
+ "lstrip": false,
478
+ "normalized": false,
479
+ "rstrip": false,
480
+ "single_word": false,
481
+ "special": false
482
+ },
483
+ "16242": {
484
+ "content": "\\complement",
485
+ "lstrip": false,
486
+ "normalized": false,
487
+ "rstrip": false,
488
+ "single_word": false,
489
+ "special": false
490
+ },
491
+ "16243": {
492
+ "content": "\\varnothing",
493
+ "lstrip": false,
494
+ "normalized": false,
495
+ "rstrip": false,
496
+ "single_word": false,
497
+ "special": false
498
+ },
499
+ "16244": {
500
+ "content": "\\tilde",
501
+ "lstrip": false,
502
+ "normalized": false,
503
+ "rstrip": false,
504
+ "single_word": false,
505
+ "special": false
506
+ },
507
+ "16245": {
508
+ "content": "\\hat",
509
+ "lstrip": false,
510
+ "normalized": false,
511
+ "rstrip": false,
512
+ "single_word": false,
513
+ "special": false
514
+ },
515
+ "16246": {
516
+ "content": "\\vec",
517
+ "lstrip": false,
518
+ "normalized": false,
519
+ "rstrip": false,
520
+ "single_word": false,
521
+ "special": false
522
+ },
523
+ "16247": {
524
+ "content": "\\mathfrak",
525
+ "lstrip": false,
526
+ "normalized": false,
527
+ "rstrip": false,
528
+ "single_word": false,
529
+ "special": false
530
+ },
531
+ "16248": {
532
+ "content": "\\mathcal",
533
+ "lstrip": false,
534
+ "normalized": false,
535
+ "rstrip": false,
536
+ "single_word": false,
537
+ "special": false
538
+ },
539
+ "16249": {
540
+ "content": "\\mathbb",
541
+ "lstrip": false,
542
+ "normalized": false,
543
+ "rstrip": false,
544
+ "single_word": false,
545
+ "special": false
546
+ },
547
+ "16250": {
548
+ "content": "\\emptyset",
549
+ "lstrip": false,
550
+ "normalized": false,
551
+ "rstrip": false,
552
+ "single_word": false,
553
+ "special": false
554
+ },
555
+ "16251": {
556
+ "content": "\\bot",
557
+ "lstrip": false,
558
+ "normalized": false,
559
+ "rstrip": false,
560
+ "single_word": false,
561
+ "special": false
562
+ },
563
+ "16252": {
564
+ "content": "\\aleph",
565
+ "lstrip": false,
566
+ "normalized": false,
567
+ "rstrip": false,
568
+ "single_word": false,
569
+ "special": false
570
+ },
571
+ "16253": {
572
+ "content": "\\Re",
573
+ "lstrip": false,
574
+ "normalized": false,
575
+ "rstrip": false,
576
+ "single_word": false,
577
+ "special": false
578
+ },
579
+ "16254": {
580
+ "content": "\\Im",
581
+ "lstrip": false,
582
+ "normalized": false,
583
+ "rstrip": false,
584
+ "single_word": false,
585
+ "special": false
586
+ },
587
+ "16255": {
588
+ "content": "\\ell",
589
+ "lstrip": false,
590
+ "normalized": false,
591
+ "rstrip": false,
592
+ "single_word": false,
593
+ "special": false
594
+ },
595
+ "16256": {
596
+ "content": "\\hbar",
597
+ "lstrip": false,
598
+ "normalized": false,
599
+ "rstrip": false,
600
+ "single_word": false,
601
+ "special": false
602
+ },
603
+ "16257": {
604
+ "content": "\\exists",
605
+ "lstrip": false,
606
+ "normalized": false,
607
+ "rstrip": false,
608
+ "single_word": false,
609
+ "special": false
610
+ },
611
+ "16258": {
612
+ "content": "\\forall",
613
+ "lstrip": false,
614
+ "normalized": false,
615
+ "rstrip": false,
616
+ "single_word": false,
617
+ "special": false
618
+ },
619
+ "16259": {
620
+ "content": "\\partial",
621
+ "lstrip": false,
622
+ "normalized": false,
623
+ "rstrip": false,
624
+ "single_word": false,
625
+ "special": false
626
+ },
627
+ "16260": {
628
+ "content": "\\nabla",
629
+ "lstrip": false,
630
+ "normalized": false,
631
+ "rstrip": false,
632
+ "single_word": false,
633
+ "special": false
634
+ },
635
+ "16261": {
636
+ "content": "\\infty",
637
+ "lstrip": false,
638
+ "normalized": false,
639
+ "rstrip": false,
640
+ "single_word": false,
641
+ "special": false
642
+ },
643
+ "16262": {
644
+ "content": "\\binom",
645
+ "lstrip": false,
646
+ "normalized": false,
647
+ "rstrip": false,
648
+ "single_word": false,
649
+ "special": false
650
+ },
651
+ "16263": {
652
+ "content": "\\overline",
653
+ "lstrip": false,
654
+ "normalized": false,
655
+ "rstrip": false,
656
+ "single_word": false,
657
+ "special": false
658
+ },
659
+ "16264": {
660
+ "content": "\\sqrt",
661
+ "lstrip": false,
662
+ "normalized": false,
663
+ "rstrip": false,
664
+ "single_word": false,
665
+ "special": false
666
+ },
667
+ "16265": {
668
+ "content": "\\tfrac",
669
+ "lstrip": false,
670
+ "normalized": false,
671
+ "rstrip": false,
672
+ "single_word": false,
673
+ "special": false
674
+ },
675
+ "16266": {
676
+ "content": "\\dfrac",
677
+ "lstrip": false,
678
+ "normalized": false,
679
+ "rstrip": false,
680
+ "single_word": false,
681
+ "special": false
682
+ },
683
+ "16267": {
684
+ "content": "\\frac",
685
+ "lstrip": false,
686
+ "normalized": false,
687
+ "rstrip": false,
688
+ "single_word": false,
689
+ "special": false
690
+ },
691
+ "16268": {
692
+ "content": "\\textsc",
693
+ "lstrip": false,
694
+ "normalized": false,
695
+ "rstrip": false,
696
+ "single_word": false,
697
+ "special": false
698
+ },
699
+ "16269": {
700
+ "content": "\\textsf",
701
+ "lstrip": false,
702
+ "normalized": false,
703
+ "rstrip": false,
704
+ "single_word": false,
705
+ "special": false
706
+ },
707
+ "16270": {
708
+ "content": "\\texttt",
709
+ "lstrip": false,
710
+ "normalized": false,
711
+ "rstrip": false,
712
+ "single_word": false,
713
+ "special": false
714
+ },
715
+ "16271": {
716
+ "content": "\\emph",
717
+ "lstrip": false,
718
+ "normalized": false,
719
+ "rstrip": false,
720
+ "single_word": false,
721
+ "special": false
722
+ },
723
+ "16272": {
724
+ "content": "\\underline",
725
+ "lstrip": false,
726
+ "normalized": false,
727
+ "rstrip": false,
728
+ "single_word": false,
729
+ "special": false
730
+ },
731
+ "16273": {
732
+ "content": "\\textit",
733
+ "lstrip": false,
734
+ "normalized": false,
735
+ "rstrip": false,
736
+ "single_word": false,
737
+ "special": false
738
+ },
739
+ "16274": {
740
+ "content": "\\textbf",
741
+ "lstrip": false,
742
+ "normalized": false,
743
+ "rstrip": false,
744
+ "single_word": false,
745
+ "special": false
746
+ },
747
+ "16275": {
748
+ "content": "\\bigoplus",
749
+ "lstrip": false,
750
+ "normalized": false,
751
+ "rstrip": false,
752
+ "single_word": false,
753
+ "special": false
754
+ },
755
+ "16276": {
756
+ "content": "\\bigcap",
757
+ "lstrip": false,
758
+ "normalized": false,
759
+ "rstrip": false,
760
+ "single_word": false,
761
+ "special": false
762
+ },
763
+ "16277": {
764
+ "content": "\\bigcup",
765
+ "lstrip": false,
766
+ "normalized": false,
767
+ "rstrip": false,
768
+ "single_word": false,
769
+ "special": false
770
+ },
771
+ "16278": {
772
+ "content": "\\prod",
773
+ "lstrip": false,
774
+ "normalized": false,
775
+ "rstrip": false,
776
+ "single_word": false,
777
+ "special": false
778
+ },
779
+ "16279": {
780
+ "content": "\\sum",
781
+ "lstrip": false,
782
+ "normalized": false,
783
+ "rstrip": false,
784
+ "single_word": false,
785
+ "special": false
786
+ },
787
+ "16280": {
788
+ "content": "\\oint",
789
+ "lstrip": false,
790
+ "normalized": false,
791
+ "rstrip": false,
792
+ "single_word": false,
793
+ "special": false
794
+ },
795
+ "16281": {
796
+ "content": "\\iiint",
797
+ "lstrip": false,
798
+ "normalized": false,
799
+ "rstrip": false,
800
+ "single_word": false,
801
+ "special": false
802
+ },
803
+ "16282": {
804
+ "content": "\\iint",
805
+ "lstrip": false,
806
+ "normalized": false,
807
+ "rstrip": false,
808
+ "single_word": false,
809
+ "special": false
810
+ },
811
+ "16283": {
812
+ "content": "\\int",
813
+ "lstrip": false,
814
+ "normalized": false,
815
+ "rstrip": false,
816
+ "single_word": false,
817
+ "special": false
818
+ },
819
+ "16284": {
820
+ "content": "\\right",
821
+ "lstrip": false,
822
+ "normalized": false,
823
+ "rstrip": false,
824
+ "single_word": false,
825
+ "special": false
826
+ },
827
+ "16285": {
828
+ "content": "\\left",
829
+ "lstrip": false,
830
+ "normalized": false,
831
+ "rstrip": false,
832
+ "single_word": false,
833
+ "special": false
834
+ },
835
+ "16286": {
836
+ "content": "\\Bigr",
837
+ "lstrip": false,
838
+ "normalized": false,
839
+ "rstrip": false,
840
+ "single_word": false,
841
+ "special": false
842
+ },
843
+ "16287": {
844
+ "content": "\\Bigl",
845
+ "lstrip": false,
846
+ "normalized": false,
847
+ "rstrip": false,
848
+ "single_word": false,
849
+ "special": false
850
+ },
851
+ "16288": {
852
+ "content": "\\bigr",
853
+ "lstrip": false,
854
+ "normalized": false,
855
+ "rstrip": false,
856
+ "single_word": false,
857
+ "special": false
858
+ },
859
+ "16289": {
860
+ "content": "\\bigl",
861
+ "lstrip": false,
862
+ "normalized": false,
863
+ "rstrip": false,
864
+ "single_word": false,
865
+ "special": false
866
+ },
867
+ "16290": {
868
+ "content": "\\rceil",
869
+ "lstrip": false,
870
+ "normalized": false,
871
+ "rstrip": false,
872
+ "single_word": false,
873
+ "special": false
874
+ },
875
+ "16291": {
876
+ "content": "\\lceil",
877
+ "lstrip": false,
878
+ "normalized": false,
879
+ "rstrip": false,
880
+ "single_word": false,
881
+ "special": false
882
+ },
883
+ "16292": {
884
+ "content": "\\rfloor",
885
+ "lstrip": false,
886
+ "normalized": false,
887
+ "rstrip": false,
888
+ "single_word": false,
889
+ "special": false
890
+ },
891
+ "16293": {
892
+ "content": "\\lfloor",
893
+ "lstrip": false,
894
+ "normalized": false,
895
+ "rstrip": false,
896
+ "single_word": false,
897
+ "special": false
898
+ },
899
+ "16294": {
900
+ "content": "\\rangle",
901
+ "lstrip": false,
902
+ "normalized": false,
903
+ "rstrip": false,
904
+ "single_word": false,
905
+ "special": false
906
+ },
907
+ "16295": {
908
+ "content": "\\langle",
909
+ "lstrip": false,
910
+ "normalized": false,
911
+ "rstrip": false,
912
+ "single_word": false,
913
+ "special": false
914
+ },
915
+ "16296": {
916
+ "content": "\\overleftarrow",
917
+ "lstrip": false,
918
+ "normalized": false,
919
+ "rstrip": false,
920
+ "single_word": false,
921
+ "special": false
922
+ },
923
+ "16297": {
924
+ "content": "\\overleftrightarrow",
925
+ "lstrip": false,
926
+ "normalized": false,
927
+ "rstrip": false,
928
+ "single_word": false,
929
+ "special": false
930
+ },
931
+ "16298": {
932
+ "content": "\\overrightarrow",
933
+ "lstrip": false,
934
+ "normalized": false,
935
+ "rstrip": false,
936
+ "single_word": false,
937
+ "special": false
938
+ },
939
+ "16299": {
940
+ "content": "\\Longleftrightarrow",
941
+ "lstrip": false,
942
+ "normalized": false,
943
+ "rstrip": false,
944
+ "single_word": false,
945
+ "special": false
946
+ },
947
+ "16300": {
948
+ "content": "\\longleftrightarrow",
949
+ "lstrip": false,
950
+ "normalized": false,
951
+ "rstrip": false,
952
+ "single_word": false,
953
+ "special": false
954
+ },
955
+ "16301": {
956
+ "content": "\\longrightarrow",
957
+ "lstrip": false,
958
+ "normalized": false,
959
+ "rstrip": false,
960
+ "single_word": false,
961
+ "special": false
962
+ },
963
+ "16302": {
964
+ "content": "\\longleftarrow",
965
+ "lstrip": false,
966
+ "normalized": false,
967
+ "rstrip": false,
968
+ "single_word": false,
969
+ "special": false
970
+ },
971
+ "16303": {
972
+ "content": "\\Longrightarrow",
973
+ "lstrip": false,
974
+ "normalized": false,
975
+ "rstrip": false,
976
+ "single_word": false,
977
+ "special": false
978
+ },
979
+ "16304": {
980
+ "content": "\\Longleftarrow",
981
+ "lstrip": false,
982
+ "normalized": false,
983
+ "rstrip": false,
984
+ "single_word": false,
985
+ "special": false
986
+ },
987
+ "16305": {
988
+ "content": "\\gets",
989
+ "lstrip": false,
990
+ "normalized": false,
991
+ "rstrip": false,
992
+ "single_word": false,
993
+ "special": false
994
+ },
995
+ "16306": {
996
+ "content": "\\to",
997
+ "lstrip": false,
998
+ "normalized": false,
999
+ "rstrip": false,
1000
+ "single_word": false,
1001
+ "special": false
1002
+ },
1003
+ "16307": {
1004
+ "content": "\\mapsto",
1005
+ "lstrip": false,
1006
+ "normalized": false,
1007
+ "rstrip": false,
1008
+ "single_word": false,
1009
+ "special": false
1010
+ },
1011
+ "16308": {
1012
+ "content": "\\Updownarrow",
1013
+ "lstrip": false,
1014
+ "normalized": false,
1015
+ "rstrip": false,
1016
+ "single_word": false,
1017
+ "special": false
1018
+ },
1019
+ "16309": {
1020
+ "content": "\\Downarrow",
1021
+ "lstrip": false,
1022
+ "normalized": false,
1023
+ "rstrip": false,
1024
+ "single_word": false,
1025
+ "special": false
1026
+ },
1027
+ "16310": {
1028
+ "content": "\\Uparrow",
1029
+ "lstrip": false,
1030
+ "normalized": false,
1031
+ "rstrip": false,
1032
+ "single_word": false,
1033
+ "special": false
1034
+ },
1035
+ "16311": {
1036
+ "content": "\\updownarrow",
1037
+ "lstrip": false,
1038
+ "normalized": false,
1039
+ "rstrip": false,
1040
+ "single_word": false,
1041
+ "special": false
1042
+ },
1043
+ "16312": {
1044
+ "content": "\\downarrow",
1045
+ "lstrip": false,
1046
+ "normalized": false,
1047
+ "rstrip": false,
1048
+ "single_word": false,
1049
+ "special": false
1050
+ },
1051
+ "16313": {
1052
+ "content": "\\uparrow",
1053
+ "lstrip": false,
1054
+ "normalized": false,
1055
+ "rstrip": false,
1056
+ "single_word": false,
1057
+ "special": false
1058
+ },
1059
+ "16314": {
1060
+ "content": "\\Leftrightarrow",
1061
+ "lstrip": false,
1062
+ "normalized": false,
1063
+ "rstrip": false,
1064
+ "single_word": false,
1065
+ "special": false
1066
+ },
1067
+ "16315": {
1068
+ "content": "\\Rightarrow",
1069
+ "lstrip": false,
1070
+ "normalized": false,
1071
+ "rstrip": false,
1072
+ "single_word": false,
1073
+ "special": false
1074
+ },
1075
+ "16316": {
1076
+ "content": "\\Leftarrow",
1077
+ "lstrip": false,
1078
+ "normalized": false,
1079
+ "rstrip": false,
1080
+ "single_word": false,
1081
+ "special": false
1082
+ },
1083
+ "16317": {
1084
+ "content": "\\leftrightarrow",
1085
+ "lstrip": false,
1086
+ "normalized": false,
1087
+ "rstrip": false,
1088
+ "single_word": false,
1089
+ "special": false
1090
+ },
1091
+ "16318": {
1092
+ "content": "\\rightarrow",
1093
+ "lstrip": false,
1094
+ "normalized": false,
1095
+ "rstrip": false,
1096
+ "single_word": false,
1097
+ "special": false
1098
+ },
1099
+ "16319": {
1100
+ "content": "\\leftarrow",
1101
+ "lstrip": false,
1102
+ "normalized": false,
1103
+ "rstrip": false,
1104
+ "single_word": false,
1105
+ "special": false
1106
+ },
1107
+ "16320": {
1108
+ "content": "\\perp",
1109
+ "lstrip": false,
1110
+ "normalized": false,
1111
+ "rstrip": false,
1112
+ "single_word": false,
1113
+ "special": false
1114
+ },
1115
+ "16321": {
1116
+ "content": "\\propto",
1117
+ "lstrip": false,
1118
+ "normalized": false,
1119
+ "rstrip": false,
1120
+ "single_word": false,
1121
+ "special": false
1122
+ },
1123
+ "16322": {
1124
+ "content": "\\ni",
1125
+ "lstrip": false,
1126
+ "normalized": false,
1127
+ "rstrip": false,
1128
+ "single_word": false,
1129
+ "special": false
1130
+ },
1131
+ "16323": {
1132
+ "content": "\\notin",
1133
+ "lstrip": false,
1134
+ "normalized": false,
1135
+ "rstrip": false,
1136
+ "single_word": false,
1137
+ "special": false
1138
+ },
1139
+ "16324": {
1140
+ "content": "\\in",
1141
+ "lstrip": false,
1142
+ "normalized": false,
1143
+ "rstrip": false,
1144
+ "single_word": false,
1145
+ "special": false
1146
+ },
1147
+ "16325": {
1148
+ "content": "\\supseteq",
1149
+ "lstrip": false,
1150
+ "normalized": false,
1151
+ "rstrip": false,
1152
+ "single_word": false,
1153
+ "special": false
1154
+ },
1155
+ "16326": {
1156
+ "content": "\\supset",
1157
+ "lstrip": false,
1158
+ "normalized": false,
1159
+ "rstrip": false,
1160
+ "single_word": false,
1161
+ "special": false
1162
+ },
1163
+ "16327": {
1164
+ "content": "\\sqsupseteq",
1165
+ "lstrip": false,
1166
+ "normalized": false,
1167
+ "rstrip": false,
1168
+ "single_word": false,
1169
+ "special": false
1170
+ },
1171
+ "16328": {
1172
+ "content": "\\sqsubseteq",
1173
+ "lstrip": false,
1174
+ "normalized": false,
1175
+ "rstrip": false,
1176
+ "single_word": false,
1177
+ "special": false
1178
+ },
1179
+ "16329": {
1180
+ "content": "\\subseteq",
1181
+ "lstrip": false,
1182
+ "normalized": false,
1183
+ "rstrip": false,
1184
+ "single_word": false,
1185
+ "special": false
1186
+ },
1187
+ "16330": {
1188
+ "content": "\\subset",
1189
+ "lstrip": false,
1190
+ "normalized": false,
1191
+ "rstrip": false,
1192
+ "single_word": false,
1193
+ "special": false
1194
+ },
1195
+ "16331": {
1196
+ "content": "\\cong",
1197
+ "lstrip": false,
1198
+ "normalized": false,
1199
+ "rstrip": false,
1200
+ "single_word": false,
1201
+ "special": false
1202
+ },
1203
+ "16332": {
1204
+ "content": "\\approx",
1205
+ "lstrip": false,
1206
+ "normalized": false,
1207
+ "rstrip": false,
1208
+ "single_word": false,
1209
+ "special": false
1210
+ },
1211
+ "16333": {
1212
+ "content": "\\simeq",
1213
+ "lstrip": false,
1214
+ "normalized": false,
1215
+ "rstrip": false,
1216
+ "single_word": false,
1217
+ "special": false
1218
+ },
1219
+ "16334": {
1220
+ "content": "\\sim",
1221
+ "lstrip": false,
1222
+ "normalized": false,
1223
+ "rstrip": false,
1224
+ "single_word": false,
1225
+ "special": false
1226
+ },
1227
+ "16335": {
1228
+ "content": "\\equiv",
1229
+ "lstrip": false,
1230
+ "normalized": false,
1231
+ "rstrip": false,
1232
+ "single_word": false,
1233
+ "special": false
1234
+ },
1235
+ "16336": {
1236
+ "content": "\\neq",
1237
+ "lstrip": false,
1238
+ "normalized": false,
1239
+ "rstrip": false,
1240
+ "single_word": false,
1241
+ "special": false
1242
+ },
1243
+ "16337": {
1244
+ "content": "\\geq",
1245
+ "lstrip": false,
1246
+ "normalized": false,
1247
+ "rstrip": false,
1248
+ "single_word": false,
1249
+ "special": false
1250
+ },
1251
+ "16338": {
1252
+ "content": "\\leq",
1253
+ "lstrip": false,
1254
+ "normalized": false,
1255
+ "rstrip": false,
1256
+ "single_word": false,
1257
+ "special": false
1258
+ },
1259
+ "16339": {
1260
+ "content": "\\oslash",
1261
+ "lstrip": false,
1262
+ "normalized": false,
1263
+ "rstrip": false,
1264
+ "single_word": false,
1265
+ "special": false
1266
+ },
1267
+ "16340": {
1268
+ "content": "\\otimes",
1269
+ "lstrip": false,
1270
+ "normalized": false,
1271
+ "rstrip": false,
1272
+ "single_word": false,
1273
+ "special": false
1274
+ },
1275
+ "16341": {
1276
+ "content": "\\ominus",
1277
+ "lstrip": false,
1278
+ "normalized": false,
1279
+ "rstrip": false,
1280
+ "single_word": false,
1281
+ "special": false
1282
+ },
1283
+ "16342": {
1284
+ "content": "\\oplus",
1285
+ "lstrip": false,
1286
+ "normalized": false,
1287
+ "rstrip": false,
1288
+ "single_word": false,
1289
+ "special": false
1290
+ },
1291
+ "16343": {
1292
+ "content": "\\wedge",
1293
+ "lstrip": false,
1294
+ "normalized": false,
1295
+ "rstrip": false,
1296
+ "single_word": false,
1297
+ "special": false
1298
+ },
1299
+ "16344": {
1300
+ "content": "\\vee",
1301
+ "lstrip": false,
1302
+ "normalized": false,
1303
+ "rstrip": false,
1304
+ "single_word": false,
1305
+ "special": false
1306
+ },
1307
+ "16345": {
1308
+ "content": "\\sqcup",
1309
+ "lstrip": false,
1310
+ "normalized": false,
1311
+ "rstrip": false,
1312
+ "single_word": false,
1313
+ "special": false
1314
+ },
1315
+ "16346": {
1316
+ "content": "\\sqcap",
1317
+ "lstrip": false,
1318
+ "normalized": false,
1319
+ "rstrip": false,
1320
+ "single_word": false,
1321
+ "special": false
1322
+ },
1323
+ "16347": {
1324
+ "content": "\\uplus",
1325
+ "lstrip": false,
1326
+ "normalized": false,
1327
+ "rstrip": false,
1328
+ "single_word": false,
1329
+ "special": false
1330
+ },
1331
+ "16348": {
1332
+ "content": "\\cup",
1333
+ "lstrip": false,
1334
+ "normalized": false,
1335
+ "rstrip": false,
1336
+ "single_word": false,
1337
+ "special": false
1338
+ },
1339
+ "16349": {
1340
+ "content": "\\cap",
1341
+ "lstrip": false,
1342
+ "normalized": false,
1343
+ "rstrip": false,
1344
+ "single_word": false,
1345
+ "special": false
1346
+ },
1347
+ "16350": {
1348
+ "content": "\\cdot",
1349
+ "lstrip": false,
1350
+ "normalized": false,
1351
+ "rstrip": false,
1352
+ "single_word": false,
1353
+ "special": false
1354
+ },
1355
+ "16351": {
1356
+ "content": "\\bullet",
1357
+ "lstrip": false,
1358
+ "normalized": false,
1359
+ "rstrip": false,
1360
+ "single_word": false,
1361
+ "special": false
1362
+ },
1363
+ "16352": {
1364
+ "content": "\\circ",
1365
+ "lstrip": false,
1366
+ "normalized": false,
1367
+ "rstrip": false,
1368
+ "single_word": false,
1369
+ "special": false
1370
+ },
1371
+ "16353": {
1372
+ "content": "\\star",
1373
+ "lstrip": false,
1374
+ "normalized": false,
1375
+ "rstrip": false,
1376
+ "single_word": false,
1377
+ "special": false
1378
+ },
1379
+ "16354": {
1380
+ "content": "\\ast",
1381
+ "lstrip": false,
1382
+ "normalized": false,
1383
+ "rstrip": false,
1384
+ "single_word": false,
1385
+ "special": false
1386
+ },
1387
+ "16355": {
1388
+ "content": "\\div",
1389
+ "lstrip": false,
1390
+ "normalized": false,
1391
+ "rstrip": false,
1392
+ "single_word": false,
1393
+ "special": false
1394
+ },
1395
+ "16356": {
1396
+ "content": "\\times",
1397
+ "lstrip": false,
1398
+ "normalized": false,
1399
+ "rstrip": false,
1400
+ "single_word": false,
1401
+ "special": false
1402
+ },
1403
+ "16357": {
1404
+ "content": "\\mp",
1405
+ "lstrip": false,
1406
+ "normalized": false,
1407
+ "rstrip": false,
1408
+ "single_word": false,
1409
+ "special": false
1410
+ },
1411
+ "16358": {
1412
+ "content": "\\pm",
1413
+ "lstrip": false,
1414
+ "normalized": false,
1415
+ "rstrip": false,
1416
+ "single_word": false,
1417
+ "special": false
1418
+ },
1419
+ "16359": {
1420
+ "content": "\\omega",
1421
+ "lstrip": false,
1422
+ "normalized": false,
1423
+ "rstrip": false,
1424
+ "single_word": false,
1425
+ "special": false
1426
+ },
1427
+ "16360": {
1428
+ "content": "\\psi",
1429
+ "lstrip": false,
1430
+ "normalized": false,
1431
+ "rstrip": false,
1432
+ "single_word": false,
1433
+ "special": false
1434
+ },
1435
+ "16361": {
1436
+ "content": "\\chi",
1437
+ "lstrip": false,
1438
+ "normalized": false,
1439
+ "rstrip": false,
1440
+ "single_word": false,
1441
+ "special": false
1442
+ },
1443
+ "16362": {
1444
+ "content": "\\varphi",
1445
+ "lstrip": false,
1446
+ "normalized": false,
1447
+ "rstrip": false,
1448
+ "single_word": false,
1449
+ "special": false
1450
+ },
1451
+ "16363": {
1452
+ "content": "\\varsigma",
1453
+ "lstrip": false,
1454
+ "normalized": false,
1455
+ "rstrip": false,
1456
+ "single_word": false,
1457
+ "special": false
1458
+ },
1459
+ "16364": {
1460
+ "content": "\\phi",
1461
+ "lstrip": false,
1462
+ "normalized": false,
1463
+ "rstrip": false,
1464
+ "single_word": false,
1465
+ "special": false
1466
+ },
1467
+ "16365": {
1468
+ "content": "\\upsilon",
1469
+ "lstrip": false,
1470
+ "normalized": false,
1471
+ "rstrip": false,
1472
+ "single_word": false,
1473
+ "special": false
1474
+ },
1475
+ "16366": {
1476
+ "content": "\\tau",
1477
+ "lstrip": false,
1478
+ "normalized": false,
1479
+ "rstrip": false,
1480
+ "single_word": false,
1481
+ "special": false
1482
+ },
1483
+ "16367": {
1484
+ "content": "\\sigma",
1485
+ "lstrip": false,
1486
+ "normalized": false,
1487
+ "rstrip": false,
1488
+ "single_word": false,
1489
+ "special": false
1490
+ },
1491
+ "16368": {
1492
+ "content": "\\rho",
1493
+ "lstrip": false,
1494
+ "normalized": false,
1495
+ "rstrip": false,
1496
+ "single_word": false,
1497
+ "special": false
1498
+ },
1499
+ "16369": {
1500
+ "content": "\\pi",
1501
+ "lstrip": false,
1502
+ "normalized": false,
1503
+ "rstrip": false,
1504
+ "single_word": false,
1505
+ "special": false
1506
+ },
1507
+ "16370": {
1508
+ "content": "\\xi",
1509
+ "lstrip": false,
1510
+ "normalized": false,
1511
+ "rstrip": false,
1512
+ "single_word": false,
1513
+ "special": false
1514
+ },
1515
+ "16371": {
1516
+ "content": "\\nu",
1517
+ "lstrip": false,
1518
+ "normalized": false,
1519
+ "rstrip": false,
1520
+ "single_word": false,
1521
+ "special": false
1522
+ },
1523
+ "16372": {
1524
+ "content": "\\mu",
1525
+ "lstrip": false,
1526
+ "normalized": false,
1527
+ "rstrip": false,
1528
+ "single_word": false,
1529
+ "special": false
1530
+ },
1531
+ "16373": {
1532
+ "content": "\\lambda",
1533
+ "lstrip": false,
1534
+ "normalized": false,
1535
+ "rstrip": false,
1536
+ "single_word": false,
1537
+ "special": false
1538
+ },
1539
+ "16374": {
1540
+ "content": "\\kappa",
1541
+ "lstrip": false,
1542
+ "normalized": false,
1543
+ "rstrip": false,
1544
+ "single_word": false,
1545
+ "special": false
1546
+ },
1547
+ "16375": {
1548
+ "content": "\\iota",
1549
+ "lstrip": false,
1550
+ "normalized": false,
1551
+ "rstrip": false,
1552
+ "single_word": false,
1553
+ "special": false
1554
+ },
1555
+ "16376": {
1556
+ "content": "\\theta",
1557
+ "lstrip": false,
1558
+ "normalized": false,
1559
+ "rstrip": false,
1560
+ "single_word": false,
1561
+ "special": false
1562
+ },
1563
+ "16377": {
1564
+ "content": "\\eta",
1565
+ "lstrip": false,
1566
+ "normalized": false,
1567
+ "rstrip": false,
1568
+ "single_word": false,
1569
+ "special": false
1570
+ },
1571
+ "16378": {
1572
+ "content": "\\zeta",
1573
+ "lstrip": false,
1574
+ "normalized": false,
1575
+ "rstrip": false,
1576
+ "single_word": false,
1577
+ "special": false
1578
+ },
1579
+ "16379": {
1580
+ "content": "\\epsilon",
1581
+ "lstrip": false,
1582
+ "normalized": false,
1583
+ "rstrip": false,
1584
+ "single_word": false,
1585
+ "special": false
1586
+ },
1587
+ "16380": {
1588
+ "content": "\\delta",
1589
+ "lstrip": false,
1590
+ "normalized": false,
1591
+ "rstrip": false,
1592
+ "single_word": false,
1593
+ "special": false
1594
+ },
1595
+ "16381": {
1596
+ "content": "\\gamma",
1597
+ "lstrip": false,
1598
+ "normalized": false,
1599
+ "rstrip": false,
1600
+ "single_word": false,
1601
+ "special": false
1602
+ },
1603
+ "16382": {
1604
+ "content": "\\beta",
1605
+ "lstrip": false,
1606
+ "normalized": false,
1607
+ "rstrip": false,
1608
+ "single_word": false,
1609
+ "special": false
1610
+ },
1611
+ "16383": {
1612
+ "content": "\\alpha",
1613
+ "lstrip": false,
1614
+ "normalized": false,
1615
+ "rstrip": false,
1616
+ "single_word": false,
1617
+ "special": false
1618
+ }
1619
+ },
1620
+ "backend": "tokenizers",
1621
+ "bos_token": "<|startoftext|>",
1622
+ "clean_up_tokenization_spaces": false,
1623
+ "eos_token": "<|return|>",
1624
+ "extra_special_tokens": {},
1625
+ "falcon_latex_tokens": [
1626
+ "\\blindtext",
1627
+ "\\newpage",
1628
+ "\\boxed",
1629
+ "\\framebox",
1630
+ "\\fbox",
1631
+ "\\tag",
1632
+ "\\nonumber",
1633
+ "\\item",
1634
+ "\\centering",
1635
+ "\\caption",
1636
+ "\\includegraphics",
1637
+ "\\label",
1638
+ "\\multicolumn",
1639
+ "\\cline",
1640
+ "\\hline",
1641
+ "\\end",
1642
+ "\\begin",
1643
+ "\\tableofcontents",
1644
+ "\\maketitle",
1645
+ "\\date",
1646
+ "\\author",
1647
+ "\\title",
1648
+ "\\chapter",
1649
+ "\\subsubsection",
1650
+ "\\subsection",
1651
+ "\\section",
1652
+ "\\noindent",
1653
+ "\\newline",
1654
+ "\\par",
1655
+ "\\ddot",
1656
+ "\\dot",
1657
+ "\\bar",
1658
+ "\\iff",
1659
+ "\\implies",
1660
+ "\\neg",
1661
+ "\\lor",
1662
+ "\\land",
1663
+ "\\qquad",
1664
+ "\\quad",
1665
+ "\\arctan",
1666
+ "\\arccos",
1667
+ "\\arcsin",
1668
+ "\\cot",
1669
+ "\\sec",
1670
+ "\\csc",
1671
+ "\\tan",
1672
+ "\\cos",
1673
+ "\\sin",
1674
+ "\\widetilde",
1675
+ "\\widehat",
1676
+ "\\complement",
1677
+ "\\varnothing",
1678
+ "\\tilde",
1679
+ "\\hat",
1680
+ "\\vec",
1681
+ "\\mathfrak",
1682
+ "\\mathcal",
1683
+ "\\mathbb",
1684
+ "\\emptyset",
1685
+ "\\bot",
1686
+ "\\aleph",
1687
+ "\\Re",
1688
+ "\\Im",
1689
+ "\\ell",
1690
+ "\\hbar",
1691
+ "\\exists",
1692
+ "\\forall",
1693
+ "\\partial",
1694
+ "\\nabla",
1695
+ "\\infty",
1696
+ "\\binom",
1697
+ "\\overline",
1698
+ "\\sqrt",
1699
+ "\\tfrac",
1700
+ "\\dfrac",
1701
+ "\\frac",
1702
+ "\\textsc",
1703
+ "\\textsf",
1704
+ "\\texttt",
1705
+ "\\emph",
1706
+ "\\underline",
1707
+ "\\textit",
1708
+ "\\textbf",
1709
+ "\\bigoplus",
1710
+ "\\bigcap",
1711
+ "\\bigcup",
1712
+ "\\prod",
1713
+ "\\sum",
1714
+ "\\oint",
1715
+ "\\iiint",
1716
+ "\\iint",
1717
+ "\\int",
1718
+ "\\right",
1719
+ "\\left",
1720
+ "\\Bigr",
1721
+ "\\Bigl",
1722
+ "\\bigr",
1723
+ "\\bigl",
1724
+ "\\rceil",
1725
+ "\\lceil",
1726
+ "\\rfloor",
1727
+ "\\lfloor",
1728
+ "\\rangle",
1729
+ "\\langle",
1730
+ "\\overleftarrow",
1731
+ "\\overleftrightarrow",
1732
+ "\\overrightarrow",
1733
+ "\\Longleftrightarrow",
1734
+ "\\longleftrightarrow",
1735
+ "\\longrightarrow",
1736
+ "\\longleftarrow",
1737
+ "\\Longrightarrow",
1738
+ "\\Longleftarrow",
1739
+ "\\gets",
1740
+ "\\to",
1741
+ "\\mapsto",
1742
+ "\\Updownarrow",
1743
+ "\\Downarrow",
1744
+ "\\Uparrow",
1745
+ "\\updownarrow",
1746
+ "\\downarrow",
1747
+ "\\uparrow",
1748
+ "\\Leftrightarrow",
1749
+ "\\Rightarrow",
1750
+ "\\Leftarrow",
1751
+ "\\leftrightarrow",
1752
+ "\\rightarrow",
1753
+ "\\leftarrow",
1754
+ "\\perp",
1755
+ "\\propto",
1756
+ "\\ni",
1757
+ "\\notin",
1758
+ "\\in",
1759
+ "\\supseteq",
1760
+ "\\supset",
1761
+ "\\sqsupseteq",
1762
+ "\\sqsubseteq",
1763
+ "\\subseteq",
1764
+ "\\subset",
1765
+ "\\cong",
1766
+ "\\approx",
1767
+ "\\simeq",
1768
+ "\\sim",
1769
+ "\\equiv",
1770
+ "\\neq",
1771
+ "\\geq",
1772
+ "\\leq",
1773
+ "\\oslash",
1774
+ "\\otimes",
1775
+ "\\ominus",
1776
+ "\\oplus",
1777
+ "\\wedge",
1778
+ "\\vee",
1779
+ "\\sqcup",
1780
+ "\\sqcap",
1781
+ "\\uplus",
1782
+ "\\cup",
1783
+ "\\cap",
1784
+ "\\cdot",
1785
+ "\\bullet",
1786
+ "\\circ",
1787
+ "\\star",
1788
+ "\\ast",
1789
+ "\\div",
1790
+ "\\times",
1791
+ "\\mp",
1792
+ "\\pm",
1793
+ "\\omega",
1794
+ "\\psi",
1795
+ "\\chi",
1796
+ "\\varphi",
1797
+ "\\varsigma",
1798
+ "\\phi",
1799
+ "\\upsilon",
1800
+ "\\tau",
1801
+ "\\sigma",
1802
+ "\\rho",
1803
+ "\\pi",
1804
+ "\\xi",
1805
+ "\\nu",
1806
+ "\\mu",
1807
+ "\\lambda",
1808
+ "\\kappa",
1809
+ "\\iota",
1810
+ "\\theta",
1811
+ "\\eta",
1812
+ "\\zeta",
1813
+ "\\epsilon",
1814
+ "\\delta",
1815
+ "\\gamma",
1816
+ "\\beta",
1817
+ "\\alpha"
1818
+ ],
1819
+ "model_input_names": [
1820
+ "input_ids",
1821
+ "attention_mask"
1822
+ ],
1823
+ "model_max_length": 1000000000000000019884624838656,
1824
+ "pad_token": "<|endoftext|>",
1825
+ "tokenizer_class": "PreTrainedTokenizerFast"
1826
+ }