Upload 21 files

.gitattributes

@@ -1,35 +1,2 @@
-*.7z filter=lfs diff=lfs merge=lfs -text
-*.arrow filter=lfs diff=lfs merge=lfs -text
-*.bin filter=lfs diff=lfs merge=lfs -text
-*.bz2 filter=lfs diff=lfs merge=lfs -text
-*.ckpt filter=lfs diff=lfs merge=lfs -text
-*.ftz filter=lfs diff=lfs merge=lfs -text
-*.gz filter=lfs diff=lfs merge=lfs -text
-*.h5 filter=lfs diff=lfs merge=lfs -text
-*.joblib filter=lfs diff=lfs merge=lfs -text
-*.lfs.* filter=lfs diff=lfs merge=lfs -text
-*.mlmodel filter=lfs diff=lfs merge=lfs -text
-*.model filter=lfs diff=lfs merge=lfs -text
-*.msgpack filter=lfs diff=lfs merge=lfs -text
-*.npy filter=lfs diff=lfs merge=lfs -text
-*.npz filter=lfs diff=lfs merge=lfs -text
-*.onnx filter=lfs diff=lfs merge=lfs -text
-*.ot filter=lfs diff=lfs merge=lfs -text
-*.parquet filter=lfs diff=lfs merge=lfs -text
-*.pb filter=lfs diff=lfs merge=lfs -text
-*.pickle filter=lfs diff=lfs merge=lfs -text
-*.pkl filter=lfs diff=lfs merge=lfs -text
-*.pt filter=lfs diff=lfs merge=lfs -text
-*.pth filter=lfs diff=lfs merge=lfs -text
-*.rar filter=lfs diff=lfs merge=lfs -text
-*.safetensors filter=lfs diff=lfs merge=lfs -text
-saved_model/**/* filter=lfs diff=lfs merge=lfs -text
-*.tar.* filter=lfs diff=lfs merge=lfs -text
-*.tar filter=lfs diff=lfs merge=lfs -text
-*.tflite filter=lfs diff=lfs merge=lfs -text
-*.tgz filter=lfs diff=lfs merge=lfs -text
-*.wasm filter=lfs diff=lfs merge=lfs -text
-*.xz filter=lfs diff=lfs merge=lfs -text
-*.zip filter=lfs diff=lfs merge=lfs -text
-*.zst filter=lfs diff=lfs merge=lfs -text
-*tfevents* filter=lfs diff=lfs merge=lfs -text
+*.safetensors filter=lfs diff=lfs merge=lfs -text
+*.onnx filter=lfs diff=lfs merge=lfs -text

INFERENCE.md

@@ -0,0 +1,55 @@
+# Inference contract
+
+The models recognize one tightly cropped printed formula and return the content
+of a Typst math expression. Add `$` delimiters in the consuming application.
+No LaTeX conversion is needed. This package contains weights and metadata only;
+the consuming application supplies preprocessing, generation, and its runtime.
+
+## Images
+
+Composite transparency onto white, convert to RGB, and resize the complete image
+to 384 by 384 using Pillow-compatible bicubic interpolation. Do not center-crop,
+change aspect handling, invert polarity, or use the old Phase10 preprocessing.
+Rescale each channel to float32 with `(pixel / 255 - 0.5) / 0.5`. The encoder
+expects float32 `pixel_values` of shape `[1, 3, 384, 384]` in channel-first order.
+
+## Cached ONNX graphs
+
+Each ONNX variant contains an encoder and decoder; keep the two from the same
+variant together. These are custom cached exports, not the upstream Pix2Text
+filenames or a generic Optimum export layout.
+
+The encoder outputs float32 `cross_keys` and `cross_values`, each shaped
+`[6, 1, 8, 578, 32]`. Initialize `self_keys` and `self_values` as empty float32
+tensors shaped `[6, 1, 8, 0, 32]`.
+
+At each decoder step supply int64 `token_ids` of shape `[1, 1]`, the previous
+`self_keys` and `self_values`, and the encoder's `cross_keys` and `cross_values`.
+Outputs are `logits`, `self_keys_out`, and `self_values_out`. Select the first
+maximum over the 1,199 vocabulary scores, pass that token into the next step,
+and reuse the new self caches. The first input token is BOS=1. EOS=2 ends decoding.
+Allow at most 1,023 generated tokens after BOS, including EOS. Do not fabricate
+EOS at the limit or return a truncated formula as complete.
+
+For each content token, append the bytes at that index in `token-bytes.json`,
+then decode the full byte sequence as strict UTF-8. Reject generated reserved
+IDs 0, 1, 3 or 4 and invalid UTF-8. Preserve the resulting Typst literally;
+do not apply the original model's syntax repair or LaTeX conversion.
+
+The compact model quantizes constant MatMul/Gemm weights dynamically with
+per-channel signed INT8. Input, activations and caches remain floating-point.
+Both exports were run with the WASM provider in desktop Chromium. Four threads
+need cross-origin isolation headers. WebGPU and mobile behavior are not claimed.
+
+## Safetensors
+
+The Hugging Face pack additionally contains the optimizer-free FP32 parameters
+as `model.safetensors`, with standard DeiT/TrOCR VisionEncoderDecoderModel keys.
+The recorded architecture uses a DeiT encoder **without its unused pooling
+layer**, a TrOCR causal decoder, and eager attention. Transformers 4.52.3 was
+used for the recorded results. The tokenizer has 1,199 entries and is distinct
+from the upstream LaTeX tokenizer. Use the supplied tokenizer metadata.
+
+The packaged generation_config.json sets max_new_tokens to 1,023 to match the
+reviewed browser budget. This adjusts metadata only; the learned parameters and
+ONNX graph bytes are unchanged. No new benchmark was run for packaging.

NOTICE.md

@@ -0,0 +1,49 @@
+# License and attribution
+
+## Released weights and metadata
+
+TypLens-V1 is a fine-tuned derivative of Pix2Text-MFR-1.5, not the original
+random-initialized IBEM-im2typst Phase10 model. The FP32 and INT8 exports are
+variants of the same fine-tuned checkpoint. Copyright (c) 2026 dbcccc.
+
+The project contributions to these weights and metadata are licensed under the
+MIT License, to the extent the contributors hold applicable licensable rights.
+Upstream rights and notices are retained. Keep LICENSE, this notice, and the
+licenses directory with redistributed model files. The MIT grant does not
+require publication of training code. No training source is included.
+
+## Pretrained parameters
+
+- Pix2Text-MFR-1.5 by BreezeDeus: [model card](https://huggingface.co/breezedeus/pix2text-mfr-1.5),
+  [pinned source revision](https://huggingface.co/breezedeus/pix2text-mfr-1.5/tree/1cef9f0bdcd6a4c63df7de1311fb0894593340cc).
+  The pinned model metadata declares MIT. The associated project's notice is
+  Copyright (c) 2022 BreezeDeus; retained in licenses/PIX2TEXT-MIT.txt.
+  [Upstream license](https://github.com/breezedeus/Pix2Text/blob/main/LICENSE).
+- The upstream model card attributes its initialization and architecture to
+  Microsoft's TrOCR. The corresponding Microsoft MIT notice is retained in
+  licenses/TROCR-MIT.txt.
+  [TrOCR project](https://github.com/microsoft/unilm/tree/master/trocr),
+  [license](https://github.com/microsoft/unilm/blob/master/LICENSE).
+
+Changes include native Typst output targets and vocabulary, fine-tuning, screenshot
+augmentation, a cached ONNX decoder export, and an optional INT8 weight export.
+
+## Training-data attribution (datasets are not redistributed)
+
+- **IBEM**, Dan Anitei, Joan Andreu Sanchez, and Jose Miguel Benedi:
+  [Zenodo record 7963703](https://zenodo.org/records/7963703),
+  [CC BY 4.0](https://creativecommons.org/licenses/by/4.0/).
+  Formula crops and annotations were used to derive native Typst supervision.
+- **UniMER Dataset**, Bin Wang, Zhuangcheng Gu, Chao Xu, Bo Zhang, Botian Shi,
+  and Conghui He: [dataset card](https://huggingface.co/datasets/wanderkid/UniMER_Dataset),
+  source revision 2343ddd963290469da36ca83e3a56c66e068add9.
+  The dataset card declares Apache-2.0 and identifies component sources including
+  Pix2tex, arXiv, CROHME and HME100K. It also gives a separate copyright-related
+  download instruction for HME100K. The selected training images were not all
+  traced to component-level rights. This release does not represent that every
+  component image has a uniform license or provide a separate commercial-rights
+  clearance for those source materials.
+
+No dataset images, original annotations, or source PDFs are included. The model
+license does not relicense those materials. Runtime libraries, Typst, MiTeX, and
+ONNX Runtime binaries are also not included and retain their own licenses.

README.md

@@ -1,3 +1,89 @@
----
-license: mit
----
+---
+license: mit
+library_name: transformers
+pipeline_tag: image-to-text
+base_model: breezedeus/pix2text-mfr-1.5
+base_model_relation: finetune
+tags:
+- typst
+- math-ocr
+- formula-recognition
+- onnx
+- vision-encoder-decoder
+- browser
+---
+
+# TypLens-V1
+
+**A small image-to-Typst model for printed formula screenshots.** It generates
+native Typst formula text directly and can run entirely in a browser.
+
+This is a separate model release from [IBEM-im2typst](https://huggingface.co/dbcccc/IBEM-im2typst).
+It uses the best current native SX checkpoint, not the latest experimental run.
+This is an **experimental weights-only release**; training code is not included.
+
+| Format | Location | Model file size |
+| --- | --- | ---: |
+| Full precision, FP32 | model.safetensors | 117.7 MB |
+| Full precision, cached ONNX | onnx/fp32/ | 118.0 MB |
+| Compact, INT8 weight quantization | onnx/int8/ | 33.9 MB |
+
+Sizes use decimal MB and exclude configuration and the consuming application's
+runtime. The compact variant is 71.3% smaller than the full ONNX variant.
+All variants share the same 29,403,264-parameter source checkpoint.
+
+## Intended use
+
+Input: a single tightly cropped, dark-on-light printed mathematical formula,
+such as a PDF or paper screenshot. Output: native Typst math content. This is
+formula recognition, not document conversion, page layout detection or general OCR.
+The tokenizer, byte mapping and preprocessing configuration are required assets.
+
+Use the full ONNX variant for best reviewed quality or the INT8 variant for a
+smaller download. See [INFERENCE.md](INFERENCE.md) for the input, cache and decoding
+contract. The graphs run in ONNX Runtime; the package does not bundle runtime
+libraries or executable inference/training source.
+
+## Existing development results
+
+| Measure | Full precision | Compact |
+| --- | ---: | ---: |
+| Paper screenshots correct in content and symbol style | 38/47 (80.9%) | 38/47 (80.9%) |
+| Other validation formulas correct in content and symbol style | 128/135 (94.8%) | 127/135 (94.1%) |
+| Generation ended normally | 182/182 | 181/182 |
+| Desktop browser median inference | 399 ms | 332 ms |
+| Desktop browser P95 inference | 662 ms | 602 ms |
+
+The results above come from the existing September 16, 2026 browser experiment,
+using Chromium 152 on Windows with four WASM threads. Time excludes preprocessing,
+model initialization and network download. It is not a promise for other devices.
+The same development examples were used repeatedly, and content/style judgments
+were made by one Codex reviewer, without an independent second reviewer. These
+are **not independent test accuracy** and are not comparable to the old release's
+92.63% strict text score on its different IBEM validation set.
+
+The compact model failed to terminate on one validation example. Both variants
+can produce mathematically wrong formulas, even when their Typst compiles.
+Long expressions, subscripts, symbols and style distinctions remain error sources.
+The checkpoint has not passed the project's existing release-quality gate;
+publishing it as experimental does not change that result. Review outputs.
+
+## Model and data provenance
+
+Base: Pix2Text-MFR-1.5, revision
+`1cef9f0bdcd6a4c63df7de1311fb0894593340cc`, adapted to native Typst targets.
+The screenshot-adaptation stage used 268,346 training pairs drawn from UniMER
+and IBEM. Source LaTeX annotations were used in data preparation; the released
+model generates Typst directly and has no inference-time conversion bridge.
+
+Source checkpoint SHA-256:
+`900938e6cca81d62448fa8693a78a42d91aeea328b998887da7f1d65d7b11258`.
+Version: **v1**. This release renames and packages the existing weights;
+it does not retrain, merge, or otherwise change them.
+
+## License
+
+MIT for the released project contributions, with the upstream MIT notices
+retained. See [LICENSE](LICENSE), [NOTICE.md](NOTICE.md), and `licenses/`.
+Training datasets retain their own terms and are not included. The model license
+does not provide rights to third-party images or annotations.

SHA256SUMS

@@ -0,0 +1,21 @@
+3e0a0e80aef30b7a43ce36d57fbf3c0e6a6fa57ae7d81158deaf2ca43c9ae994  .gitattributes
+03467520bcfd371b00d47e485b505fee14e5d665e8bbdbaa313b60be89f0479e  INFERENCE.md
+41dd5f2e77464ea269e95e5c2f1e4614c516879b011ff65ff79f79dd42e96691  LICENSE
+13da1f2d9f0831c36dc6c3cfe512b6c6333cdad93209a8061bba825c66dfb956  NOTICE.md
+70545b2ae4674d8ac86caf3914d2e2a4a783820bceacc623d1de2f96c2c276db  README.md
+2e7708da4ed42f164dfdd245f48203508187e86b2797c36c9a639ce359db05b9  config.json
+160611a8925b82bffd45ba85d20f75fab027a1835c162850866f0a748a2b2156  generation_config.json
+9e720848c32ddbfbc7e797f32c4501f72cb1d27af67074e9277499dc7a067e08  licenses/PIX2TEXT-MIT.txt
+c250d6278f0b47a6439fb7592b08b58a55eb9f535aa49a1db63211c3f982b674  licenses/TROCR-MIT.txt
+900938e6cca81d62448fa8693a78a42d91aeea328b998887da7f1d65d7b11258  model.safetensors
+0d90037c76ca433dcd02d3fb0898568421b84910381697410158442a9acd1e51  native-output.json
+59a8dd86000058ad5f2b76951afd1219fcff4226ceb3fb33e6f1eb604d3c928d  onnx/fp32/decoder.onnx
+161ffc099440106b8b731c4929bc80ccf72b638a7cbdd53ffdc5f936105581c2  onnx/fp32/encoder.onnx
+6271b3a3f49b56293430473db956692f136c8384036bcef334815fe9edf949b2  onnx/int8/decoder.onnx
+5f306ecf3e2a2cc79cae5b73adfe6bd1c681fd39782365820a16d9949b12ffb9  onnx/int8/encoder.onnx
+36a945a7cc645688b9ef64dabae16979cf5f7c1c448569cc306694edc0598b9b  preprocessor_config.json
+00efdc1263e5d7fffd221fc5e89326d71233910805b6881ab39f78cf71951eec  release-manifest.json
+8c785abebea9ae3257b61681b4e6fd8365ceafde980c21970d001e834cf10835  special_tokens_map.json
+56dda3b8c135390aef1c8e6ca86f5f3598576c4f4bc61184639a1abfb22c5a9d  token-bytes.json
+5af9f7879cf2b6ce9b0c5951cd0a5221abce412b2f5cb377e56d678b8fe459e0  tokenizer.json
+f5cc321e8545940295fba11e9a59f4f2a208a23af3d63cc8c355c78593645b99  tokenizer_config.json

config.json

@@ -0,0 +1,60 @@
+{
+  "architectures": [
+    "VisionEncoderDecoderModel"
+  ],
+  "decoder": {
+    "activation_dropout": 0.0,
+    "activation_function": "relu",
+    "add_cross_attention": true,
+    "attention_dropout": 0.0,
+    "classifier_dropout": 0.0,
+    "cross_attention_hidden_size": 384,
+    "d_model": 256,
+    "decoder_attention_heads": 8,
+    "decoder_ffn_dim": 1024,
+    "decoder_layerdrop": 0.0,
+    "decoder_layers": 6,
+    "dropout": 0.1,
+    "init_std": 0.02,
+    "is_decoder": true,
+    "layernorm_embedding": true,
+    "max_position_embeddings": 1024,
+    "model_type": "trocr",
+    "scale_embedding": true,
+    "tie_word_embeddings": false,
+    "torch_dtype": "float32",
+    "use_cache": false,
+    "use_learned_position_embeddings": true,
+    "vocab_size": 1199
+  },
+  "decoder_start_token_id": 1,
+  "encoder": {
+    "attention_probs_dropout_prob": 0.0,
+    "encoder_stride": 16,
+    "hidden_act": "gelu",
+    "hidden_dropout_prob": 0.0,
+    "hidden_size": 384,
+    "image_size": 384,
+    "initializer_range": 0.02,
+    "intermediate_size": 1536,
+    "layer_norm_eps": 1e-12,
+    "model_type": "deit",
+    "num_attention_heads": 6,
+    "num_channels": 3,
+    "num_hidden_layers": 12,
+    "patch_size": 16,
+    "pooler_act": "tanh",
+    "pooler_output_size": 384,
+    "qkv_bias": true,
+    "torch_dtype": "float32"
+  },
+  "eos_token_id": 2,
+  "is_encoder_decoder": true,
+  "model_type": "vision-encoder-decoder",
+  "pad_token_id": 0,
+  "tie_word_embeddings": false,
+  "torch_dtype": "float32",
+  "transformers_version": "4.52.3",
+  "use_cache": false,
+  "vocab_size": 1199
+}

generation_config.json

@@ -0,0 +1,10 @@
+{
+  "_from_model_config": true,
+  "bos_token_id": 1,
+  "decoder_start_token_id": 1,
+  "eos_token_id": 2,
+  "max_new_tokens": 1023,
+  "pad_token_id": 0,
+  "transformers_version": "4.52.3",
+  "use_cache": false
+}

licenses/PIX2TEXT-MIT.txt

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2022 BreezeDeus
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

licenses/TROCR-MIT.txt

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) Microsoft Corporation
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

model.safetensors

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:900938e6cca81d62448fa8693a78a42d91aeea328b998887da7f1d65d7b11258
+size 117656432

native-output.json

@@ -0,0 +1,5 @@
+{
+  "output_language": "typst",
+  "inference_conversion": "none",
+  "plan_sha256": "2029f380508774c53f343ca3e8929a04cd822aa09644c6ef74eca0f24a02c2ac"
+}

onnx/fp32/decoder.onnx

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:59a8dd86000058ad5f2b76951afd1219fcff4226ceb3fb33e6f1eb604d3c928d
+size 25839275

onnx/fp32/encoder.onnx

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:161ffc099440106b8b731c4929bc80ccf72b638a7cbdd53ffdc5f936105581c2
+size 92124508

onnx/int8/decoder.onnx

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:6271b3a3f49b56293430473db956692f136c8384036bcef334815fe9edf949b2
+size 8638761

onnx/int8/encoder.onnx

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:5f306ecf3e2a2cc79cae5b73adfe6bd1c681fd39782365820a16d9949b12ffb9
+size 25268437

preprocessor_config.json

@@ -0,0 +1,28 @@
+{
+  "crop_size": {
+    "height": 224,
+    "width": 224
+  },
+  "do_center_crop": false,
+  "do_normalize": true,
+  "do_rescale": true,
+  "do_resize": true,
+  "image_mean": [
+    0.5,
+    0.5,
+    0.5
+  ],
+  "image_processor_type": "DeiTImageProcessor",
+  "image_std": [
+    0.5,
+    0.5,
+    0.5
+  ],
+  "processor_class": "TrOCRProcessor",
+  "resample": 3,
+  "rescale_factor": 0.00392156862745098,
+  "size": {
+    "height": 384,
+    "width": 384
+  }
+}

release-manifest.json

@@ -0,0 +1,86 @@
+{
+  "repository_name": "TypLens",
+  "model_name": "TypLens-V1",
+  "version": "v1",
+  "license": "MIT",
+  "parameters": 29403264,
+  "output_language": "typst",
+  "inference_conversion": "none",
+  "source_model_sha256": "900938e6cca81d62448fa8693a78a42d91aeea328b998887da7f1d65d7b11258",
+  "base_model": "breezedeus/pix2text-mfr-1.5",
+  "base_model_revision": "1cef9f0bdcd6a4c63df7de1311fb0894593340cc",
+  "training_code_included": false,
+  "training_data_included": false,
+  "optimizer_state_included": false,
+  "release_qualified": false,
+  "independent_accuracy": false,
+  "variants": {
+    "fp32": {
+      "bytes": 117963783,
+      "files": {
+        "encoder.onnx": {
+          "bytes": 92124508,
+          "sha256": "161ffc099440106b8b731c4929bc80ccf72b638a7cbdd53ffdc5f936105581c2"
+        },
+        "decoder.onnx": {
+          "bytes": 25839275,
+          "sha256": "59a8dd86000058ad5f2b76951afd1219fcff4226ceb3fb33e6f1eb604d3c928d"
+        }
+      },
+      "previous_browser_development_results": {
+        "paper47": {
+          "count": 47,
+          "correct": 38,
+          "wrong": 8,
+          "uncertain": 1,
+          "compile_success": 47,
+          "natural_eos": 47,
+          "reserved_outputs": 0
+        },
+        "validation135": {
+          "count": 135,
+          "correct": 128,
+          "wrong": 7,
+          "uncertain": 0,
+          "compile_success": 134,
+          "natural_eos": 135,
+          "reserved_outputs": 0
+        }
+      }
+    },
+    "int8": {
+      "bytes": 33907198,
+      "files": {
+        "encoder.onnx": {
+          "bytes": 25268437,
+          "sha256": "5f306ecf3e2a2cc79cae5b73adfe6bd1c681fd39782365820a16d9949b12ffb9"
+        },
+        "decoder.onnx": {
+          "bytes": 8638761,
+          "sha256": "6271b3a3f49b56293430473db956692f136c8384036bcef334815fe9edf949b2"
+        }
+      },
+      "previous_browser_development_results": {
+        "paper47": {
+          "count": 47,
+          "correct": 38,
+          "wrong": 8,
+          "uncertain": 1,
+          "compile_success": 47,
+          "natural_eos": 47,
+          "reserved_outputs": 0
+        },
+        "validation135": {
+          "count": 135,
+          "correct": 127,
+          "wrong": 8,
+          "uncertain": 0,
+          "compile_success": 133,
+          "natural_eos": 134,
+          "reserved_outputs": 0
+        }
+      }
+    }
+  },
+  "metadata_adjustment": "generation_config.max_new_tokens=1023; weights unchanged"
+}

special_tokens_map.json

@@ -0,0 +1,51 @@
+{
+  "bos_token": {
+    "content": "<s>",
+    "lstrip": false,
+    "normalized": false,
+    "rstrip": false,
+    "single_word": false
+  },
+  "cls_token": {
+    "content": "<s>",
+    "lstrip": false,
+    "normalized": false,
+    "rstrip": false,
+    "single_word": false
+  },
+  "eos_token": {
+    "content": "</s>",
+    "lstrip": false,
+    "normalized": false,
+    "rstrip": false,
+    "single_word": false
+  },
+  "mask_token": {
+    "content": "<mask>",
+    "lstrip": true,
+    "normalized": false,
+    "rstrip": false,
+    "single_word": false
+  },
+  "pad_token": {
+    "content": "<pad>",
+    "lstrip": false,
+    "normalized": false,
+    "rstrip": false,
+    "single_word": false
+  },
+  "sep_token": {
+    "content": "</s>",
+    "lstrip": false,
+    "normalized": false,
+    "rstrip": false,
+    "single_word": false
+  },
+  "unk_token": {
+    "content": "<unk>",
+    "lstrip": false,
+    "normalized": false,
+    "rstrip": false,
+    "single_word": false
+  }
+}

token-bytes.json

@@ -0,0 +1,6379 @@
+[
+  null,
+  null,
+  null,
+  null,
+  null,
+  [
+    33
+  ],
+  [
+    34
+  ],
+  [
+    35
+  ],
+  [
+    36
+  ],
+  [
+    37
+  ],
+  [
+    38
+  ],
+  [
+    39
+  ],
+  [
+    40
+  ],
+  [
+    41
+  ],
+  [
+    42
+  ],
+  [
+    43
+  ],
+  [
+    44
+  ],
+  [
+    45
+  ],
+  [
+    46
+  ],
+  [
+    47
+  ],
+  [
+    48
+  ],
+  [
+    49
+  ],
+  [
+    50
+  ],
+  [
+    51
+  ],
+  [
+    52
+  ],
+  [
+    53
+  ],
+  [
+    54
+  ],
+  [
+    55
+  ],
+  [
+    56
+  ],
+  [
+    57
+  ],
+  [
+    58
+  ],
+  [
+    59
+  ],
+  [
+    60
+  ],
+  [
+    61
+  ],
+  [
+    62
+  ],
+  [
+    63
+  ],
+  [
+    64
+  ],
+  [
+    65
+  ],
+  [
+    66
+  ],
+  [
+    67
+  ],
+  [
+    68
+  ],
+  [
+    69
+  ],
+  [
+    70
+  ],
+  [
+    71
+  ],
+  [
+    72
+  ],
+  [
+    73
+  ],
+  [
+    74
+  ],
+  [
+    75
+  ],
+  [
+    76
+  ],
+  [
+    77
+  ],
+  [
+    78
+  ],
+  [
+    79
+  ],
+  [
+    80
+  ],
+  [
+    81
+  ],
+  [
+    82
+  ],
+  [
+    83
+  ],
+  [
+    84
+  ],
+  [
+    85
+  ],
+  [
+    86
+  ],
+  [
+    87
+  ],
+  [
+    88
+  ],
+  [
+    89
+  ],
+  [
+    90
+  ],
+  [
+    91
+  ],
+  [
+    92
+  ],
+  [
+    93
+  ],
+  [
+    94
+  ],
+  [
+    95
+  ],
+  [
+    96
+  ],
+  [
+    97
+  ],
+  [
+    98
+  ],
+  [
+    99
+  ],
+  [
+    100
+  ],
+  [
+    101
+  ],
+  [
+    102
+  ],
+  [
+    103
+  ],
+  [
+    104
+  ],
+  [
+    105
+  ],
+  [
+    106
+  ],
+  [
+    107
+  ],
+  [
+    108
+  ],
+  [
+    109
+  ],
+  [
+    110
+  ],
+  [
+    111
+  ],
+  [
+    112
+  ],
+  [
+    113
+  ],
+  [
+    114
+  ],
+  [
+    115
+  ],
+  [
+    116
+  ],
+  [
+    117
+  ],
+  [
+    118
+  ],
+  [
+    119
+  ],
+  [
+    120
+  ],
+  [
+    121
+  ],
+  [
+    122
+  ],
+  [
+    123
+  ],
+  [
+    124
+  ],
+  [
+    125
+  ],
+  [
+    126
+  ],
+  [
+    161
+  ],
+  [
+    162
+  ],
+  [
+    163
+  ],
+  [
+    164
+  ],
+  [
+    165
+  ],
+  [
+    166
+  ],
+  [
+    167
+  ],
+  [
+    168
+  ],
+  [
+    169
+  ],
+  [
+    170
+  ],
+  [
+    171
+  ],
+  [
+    172
+  ],
+  [
+    174
+  ],
+  [
+    175
+  ],
+  [
+    176
+  ],
+  [
+    177
+  ],
+  [
+    178
+  ],
+  [
+    179
+  ],
+  [
+    180
+  ],
+  [
+    181
+  ],
+  [
+    182
+  ],
+  [
+    183
+  ],
+  [
+    184
+  ],
+  [
+    185
+  ],
+  [
+    186
+  ],
+  [
+    187
+  ],
+  [
+    188
+  ],
+  [
+    189
+  ],
+  [
+    190
+  ],
+  [
+    191
+  ],
+  [
+    192
+  ],
+  [
+    193
+  ],
+  [
+    194
+  ],
+  [
+    195
+  ],
+  [
+    196
+  ],
+  [
+    197
+  ],
+  [
+    198
+  ],
+  [
+    199
+  ],
+  [
+    200
+  ],
+  [
+    201
+  ],
+  [
+    202
+  ],
+  [
+    203
+  ],
+  [
+    204
+  ],
+  [
+    205
+  ],
+  [
+    206
+  ],
+  [
+    207
+  ],
+  [
+    208
+  ],
+  [
+    209
+  ],
+  [
+    210
+  ],
+  [
+    211
+  ],
+  [
+    212
+  ],
+  [
+    213
+  ],
+  [
+    214
+  ],
+  [
+    215
+  ],
+  [
+    216
+  ],
+  [
+    217
+  ],
+  [
+    218
+  ],
+  [
+    219
+  ],
+  [
+    220
+  ],
+  [
+    221
+  ],
+  [
+    222
+  ],
+  [
+    223
+  ],
+  [
+    224
+  ],
+  [
+    225
+  ],
+  [
+    226
+  ],
+  [
+    227
+  ],
+  [
+    228
+  ],
+  [
+    229
+  ],
+  [
+    230
+  ],
+  [
+    231
+  ],
+  [
+    232
+  ],
+  [
+    233
+  ],
+  [
+    234
+  ],
+  [
+    235
+  ],
+  [
+    236
+  ],
+  [
+    237
+  ],
+  [
+    238
+  ],
+  [
+    239
+  ],
+  [
+    240
+  ],
+  [
+    241
+  ],
+  [
+    242
+  ],
+  [
+    243
+  ],
+  [
+    244
+  ],
+  [
+    245
+  ],
+  [
+    246
+  ],
+  [
+    247
+  ],
+  [
+    248
+  ],
+  [
+    249
+  ],
+  [
+    250
+  ],
+  [
+    251
+  ],
+  [
+    252
+  ],
+  [
+    253
+  ],
+  [
+    254
+  ],
+  [
+    255
+  ],
+  [
+    0
+  ],
+  [
+    1
+  ],
+  [
+    2
+  ],
+  [
+    3
+  ],
+  [
+    4
+  ],
+  [
+    5
+  ],
+  [
+    6
+  ],
+  [
+    7
+  ],
+  [
+    8
+  ],
+  [
+    9
+  ],
+  [
+    10
+  ],
+  [
+    11
+  ],
+  [
+    12
+  ],
+  [
+    13
+  ],
+  [
+    14
+  ],
+  [
+    15
+  ],
+  [
+    16
+  ],
+  [
+    17
+  ],
+  [
+    18
+  ],
+  [
+    19
+  ],
+  [
+    20
+  ],
+  [
+    21
+  ],
+  [
+    22
+  ],
+  [
+    23
+  ],
+  [
+    24
+  ],
+  [
+    25
+  ],
+  [
+    26
+  ],
+  [
+    27
+  ],
+  [
+    28
+  ],
+  [
+    29
+  ],
+  [
+    30
+  ],
+  [
+    31
+  ],
+  [
+    32
+  ],
+  [
+    127
+  ],
+  [
+    128
+  ],
+  [
+    129
+  ],
+  [
+    130
+  ],
+  [
+    131
+  ],
+  [
+    132
+  ],
+  [
+    133
+  ],
+  [
+    134
+  ],
+  [
+    135
+  ],
+  [
+    136
+  ],
+  [
+    137
+  ],
+  [
+    138
+  ],
+  [
+    139
+  ],
+  [
+    140
+  ],
+  [
+    141
+  ],
+  [
+    142
+  ],
+  [
+    143
+  ],
+  [
+    144
+  ],
+  [
+    145
+  ],
+  [
+    146
+  ],
+  [
+    147
+  ],
+  [
+    148
+  ],
+  [
+    149
+  ],
+  [
+    150
+  ],
+  [
+    151
+  ],
+  [
+    152
+  ],
+  [
+    153
+  ],
+  [
+    154
+  ],
+  [
+    155
+  ],
+  [
+    156
+  ],
+  [
+    157
+  ],
+  [
+    158
+  ],
+  [
+    159
+  ],
+  [
+    160
+  ],
+  [
+    173
+  ],
+  [
+    32,
+    41
+  ],
+  [
+    32,
+    40
+  ],
+  [
+    32,
+    92
+  ],
+  [
+    32,
+    95
+  ],
+  [
+    32,
+    94
+  ],
+  [
+    32,
+    92,
+    41
+  ],
+  [
+    32,
+    92,
+    40
+  ],
+  [
+    32,
+    50
+  ],
+  [
+    97,
+    99
+  ],
+  [
+    32,
+    49
+  ],
+  [
+    32,
+    44
+  ],
+  [
+    32,
+    61
+  ],
+  [
+    32,
+    112
+  ],
+  [
+    105,
+    103
+  ],
+  [
+    32,
+    115
+  ],
+  [
+    32,
+    92,
+    44
+  ],
+  [
+    97,
+    108
+  ],
+  [
+    32,
+    45
+  ],
+  [
+    32,
+    116
+  ],
+  [
+    32,
+    117
+  ],
+  [
+    32,
+    102
+  ],
+  [
+    104,
+    116
+  ],
+  [
+    114,
+    105,
+    103
+  ],
+  [
+    114,
+    105,
+    103,
+    104,
+    116
+  ],
+  [
+    32,
+    48
+  ],
+  [
+    32,
+    100
+  ],
+  [
+    112,
+    114,
+    105,
+    103,
+    104,
+    116
+  ],
+  [
+    32,
+    105
+  ],
+  [
+    32,
+    117,
+    112,
+    114,
+    105,
+    103,
+    104,
+    116
+  ],
+  [
+    114,
+    97,
+    99
+  ],
+  [
+    32,
+    43
+  ],
+  [
+    32,
+    102,
+    114,
+    97,
+    99
+  ],
+  [
+    32,
+    98
+  ],
+  [
+    32,
+    108
+  ],
+  [
+    32,
+    109
+  ],
+  [
+    116,
+    97
+  ],
+  [
+    32,
+    110
+  ],
+  [
+    110,
+    111
+  ],
+  [
+    32,
+    99
+  ],
+  [
+    32,
+    120
+  ],
+  [
+    108,
+    100
+  ],
+  [
+    32,
+    122
+  ],
+  [
+    32,
+    101
+  ],
+  [
+    97,
+    107
+  ],
+  [
+    114,
+    101
+  ],
+  [
+    32,
+    97
+  ],
+  [
+    98,
+    114,
+    101
+  ],
+  [
+    112,
+    97,
+    99
+  ],
+  [
+    110,
+    111,
+    98,
+    114,
+    101
+  ],
+  [
+    112,
+    97,
+    99,
+    101
+  ],
+  [
+    110,
+    111,
+    98,
+    114,
+    101,
+    97,
+    107
+  ],
+  [
+    32,
+    115,
+    112,
+    97,
+    99,
+    101
+  ],
+  [
+    109,
+    101
+  ],
+  [
+    32,
+    46
+  ],
+  [
+    111,
+    108,
+    100
+  ],
+  [
+    32,
+    107
+  ],
+  [
+    32,
+    114
+  ],
+  [
+    114,
+    111
+  ],
+  [
+    32,
+    108,
+    114
+  ],
+  [
+    109,
+    97
+  ],
+  [
+    104,
+    97
+  ],
+  [
+    32,
+    98,
+    111,
+    108,
+    100
+  ],
+  [
+    119,
+    115
+  ],
+  [
+    101,
+    108
+  ],
+  [
+    32,
+    122,
+    119,
+    115
+  ],
+  [
+    114,
+    116
+  ],
+  [
+    32,
+    97,
+    108
+  ],
+  [
+    104,
+    105
+  ],
+  [
+    32,
+    111
+  ],
+  [
+    97,
+    109
+  ],
+  [
+    101,
+    116,
+    97
+  ],
+  [
+    32,
+    51
+  ],
+  [
+    32,
+    124
+  ],
+  [
+    32,
+    106
+  ],
+  [
+    32,
+    35
+  ],
+  [
+    105,
+    109,
+    101
+  ],
+  [
+    114,
+    111,
+    110
+  ],
+  [
+    32,
+    103
+  ],
+  [
+    32,
+    100,
+    101,
+    108
+  ],
+  [
+    32,
+    92,
+    47
+  ],
+  [
+    115,
+    105
+  ],
+  [
+    97,
+    114,
+    116
+  ],
+  [
+    105,
+    97,
+    108
+  ],
+  [
+    97,
+    114,
+    116,
+    105,
+    97,
+    108
+  ],
+  [
+    32,
+    112,
+    97,
+    114,
+    116,
+    105,
+    97,
+    108
+  ],
+  [
+    32,
+    52
+  ],
+  [
+    111,
+    116
+  ],
+  [
+    32,
+    109,
+    117
+  ],
+  [
+    112,
+    104,
+    97
+  ],
+  [
+    97,
+    108,
+    116
+  ],
+  [
+    103,
+    97
+  ],
+  [
+    109,
+    101,
+    103,
+    97
+  ],
+  [
+    32,
+    97,
+    108,
+    112,
+    104,
+    97
+  ],
+  [
+    32,
+    92,
+    93
+  ],
+  [
+    32,
+    100,
+    111,
+    116
+  ],
+  [
+    32,
+    68
+  ],
+  [
+    32,
+    65
+  ],
+  [
+    32,
+    113
+  ],
+  [
+    32,
+    84
+  ],
+  [
+    32,
+    80
+  ],
+  [
+    110,
+    101
+  ],
+  [
+    32,
+    92,
+    91
+  ],
+  [
+    114,
+    105,
+    109,
+    101
+  ],
+  [
+    32,
+    112,
+    114,
+    105,
+    109,
+    101
+  ],
+  [
+    32,
+    121
+  ],
+  [
+    32,
+    78
+  ],
+  [
+    32,
+    82
+  ],
+  [
+    32,
+    76
+  ],
+  [
+    97,
+    109,
+    109,
+    97
+  ],
+  [
+    104,
+    97,
+    116
+  ],
+  [
+    105,
+    108,
+    100
+  ],
+  [
+    105,
+    108,
+    100,
+    101
+  ],
+  [
+    104,
+    101
+  ],
+  [
+    118,
+    114,
+    111,
+    110
+  ],
+  [
+    104,
+    101,
+    118,
+    114,
+    111,
+    110
+  ],
+  [
+    104,
+    101,
+    116,
+    97
+  ],
+  [
+    32,
+    112,
+    104,
+    105
+  ],
+  [
+    100,
+    97
+  ],
+  [
+    98,
+    100,
+    97
+  ],
+  [
+    97,
+    109,
+    98,
+    100,
+    97
+  ],
+  [
+    32,
+    83
+  ],
+  [
+    32,
+    66
+  ],
+  [
+    105,
+    103,
+    109,
+    97
+  ],
+  [
+    32,
+    104,
+    97,
+    116
+  ],
+  [
+    32,
+    112,
+    105
+  ],
+  [
+    32,
+    99,
+    104,
+    101,
+    118,
+    114,
+    111,
+    110
+  ],
+  [
+    32,
+    118
+  ],
+  [
+    105,
+    109
+  ],
+  [
+    117,
+    109
+  ],
+  [
+    105,
+    103,
+    110
+  ],
+  [
+    110,
+    111,
+    110,
+    101
+  ],
+  [
+    32,
+    97,
+    108,
+    105,
+    103,
+    110
+  ],
+  [
+    32,
+    100,
+    101,
+    108,
+    105,
+    109
+  ],
+  [
+    32,
+    105,
+    110
+  ],
+  [
+    32,
+    111,
+    109,
+    101,
+    103,
+    97
+  ],
+  [
+    32,
+    116,
+    104,
+    101,
+    116,
+    97
+  ],
+  [
+    32,
+    116,
+    105,
+    108,
+    100,
+    101
+  ],
+  [
+    111,
+    110
+  ],
+  [
+    112,
+    115,
+    105
+  ],
+  [
+    32,
+    71
+  ],
+  [
+    32,
+    69
+  ],
+  [
+    32,
+    99,
+    97,
+    108
+  ],
+  [
+    32,
+    115,
+    117,
+    109
+  ],
+  [
+    101,
+    114
+  ],
+  [
+    32,
+    110,
+    117
+  ],
+  [
+    108,
+    111,
+    110
+  ],
+  [
+    104,
+    111
+  ],
+  [
+    32,
+    59
+  ],
+  [
+    32,
+    53
+  ],
+  [
+    112,
+    115,
+    105,
+    108,
+    111,
+    110
+  ],
+  [
+    113,
+    114,
+    116
+  ],
+  [
+    117,
+    115
+  ],
+  [
+    32,
+    67
+  ],
+  [
+    32,
+    77
+  ],
+  [
+    32,
+    115,
+    105,
+    103,
+    109,
+    97
+  ],
+  [
+    32,
+    98,
+    101,
+    116,
+    97
+  ],
+  [
+    101,
+    108,
+    116,
+    97
+  ],
+  [
+    32,
+    104
+  ],
+  [
+    32,
+    108,
+    97,
+    109,
+    98,
+    100,
+    97
+  ],
+  [
+    32,
+    115,
+    113,
+    114,
+    116
+  ],
+  [
+    105,
+    110
+  ],
+  [
+    32,
+    70
+  ],
+  [
+    32,
+    72
+  ],
+  [
+    32,
+    114,
+    104,
+    111
+  ],
+  [
+    32,
+    101,
+    112,
+    115,
+    105,
+    108,
+    111,
+    110
+  ],
+  [
+    32,
+    100,
+    101,
+    108,
+    116,
+    97
+  ],
+  [
+    114,
+    97,
+    108
+  ],
+  [
+    32,
+    103,
+    97,
+    109,
+    109,
+    97
+  ],
+  [
+    32,
+    116,
+    97
+  ],
+  [
+    97,
+    99,
+    114,
+    111,
+    110
+  ],
+  [
+    32,
+    86
+  ],
+  [
+    32,
+    116,
+    97,
+    117
+  ],
+  [
+    32,
+    119
+  ],
+  [
+    101,
+    103
+  ],
+  [
+    116,
+    101,
+    103
+  ],
+  [
+    116,
+    101,
+    103,
+    114,
+    97,
+    108
+  ],
+  [
+    32,
+    73
+  ],
+  [
+    32,
+    88
+  ],
+  [
+    32,
+    116,
+    104,
+    105
+  ],
+  [
+    32,
+    54
+  ],
+  [
+    32,
+    109,
+    97,
+    99,
+    114,
+    111,
+    110
+  ],
+  [
+    32,
+    79
+  ],
+  [
+    32,
+    105,
+    110,
+    116,
+    101,
+    103,
+    114,
+    97,
+    108
+  ],
+  [
+    114,
+    114,
+    111
+  ],
+  [
+    114,
+    114,
+    111,
+    119
+  ],
+  [
+    105,
+    109,
+    101,
+    115
+  ],
+  [
+    32,
+    116,
+    105,
+    109,
+    101,
+    115
+  ],
+  [
+    32,
+    60
+  ],
+  [
+    32,
+    112,
+    108
+  ],
+  [
+    112,
+    112
+  ],
+  [
+    32,
+    97,
+    114,
+    114,
+    111,
+    119
+  ],
+  [
+    32,
+    112,
+    115,
+    105
+  ],
+  [
+    32,
+    68,
+    101,
+    108,
+    116,
+    97
+  ],
+  [
+    108,
+    101
+  ],
+  [
+    32,
+    100,
+    111,
+    116,
+    115
+  ],
+  [
+    109,
+    97,
+    116
+  ],
+  [
+    32,
+    56
+  ],
+  [
+    97,
+    116
+  ],
+  [
+    32,
+    109,
+    97,
+    116
+  ],
+  [
+    32,
+    101,
+    116,
+    97
+  ],
+  [
+    32,
+    81
+  ],
+  [
+    32,
+    85
+  ],
+  [
+    32,
+    120,
+    105
+  ],
+  [
+    32,
+    75
+  ],
+  [
+    32,
+    92,
+    125
+  ],
+  [
+    32,
+    92,
+    123
+  ],
+  [
+    102,
+    114,
+    97,
+    99
+  ],
+  [
+    111,
+    115
+  ],
+  [
+    99,
+    107
+  ],
+  [
+    105,
+    110,
+    117,
+    115
+  ],
+  [
+    32,
+    74
+  ],
+  [
+    32,
+    112,
+    108,
+    117,
+    115
+  ],
+  [
+    32,
+    111,
+    111
+  ],
+  [
+    32,
+    55
+  ],
+  [
+    105,
+    110,
+    101
+  ],
+  [
+    108,
+    105,
+    110,
+    101
+  ],
+  [
+    101,
+    114,
+    108,
+    105,
+    110,
+    101
+  ],
+  [
+    32,
+    116,
+    104,
+    105,
+    110
+  ],
+  [
+    109,
+    105,
+    110,
+    117,
+    115
+  ],
+  [
+    102,
+    116
+  ],
+  [
+    108,
+    101,
+    102,
+    116
+  ],
+  [
+    32,
+    71,
+    97,
+    109,
+    109,
+    97
+  ],
+  [
+    108,
+    97
+  ],
+  [
+    32,
+    62
+  ],
+  [
+    117,
+    97
+  ],
+  [
+    117,
+    97,
+    100
+  ],
+  [
+    32,
+    113,
+    117,
+    97,
+    100
+  ],
+  [
+    32,
+    57
+  ],
+  [
+    97,
+    112,
+    112
+  ],
+  [
+    98,
+    111,
+    108,
+    100
+  ],
+  [
+    97,
+    112,
+    112,
+    97
+  ],
+  [
+    32,
+    87
+  ],
+  [
+    32,
+    79,
+    109,
+    101,
+    103,
+    97
+  ],
+  [
+    97,
+    98
+  ],
+  [
+    97,
+    98,
+    108,
+    97
+  ],
+  [
+    92,
+    40
+  ],
+  [
+    118,
+    101,
+    114,
+    108,
+    105,
+    110,
+    101
+  ],
+  [
+    32,
+    99,
+    111,
+    115
+  ],
+  [
+    32,
+    107,
+    97,
+    112,
+    112,
+    97
+  ],
+  [
+    32,
+    115,
+    105,
+    110
+  ],
+  [
+    32,
+    45,
+    62
+  ],
+  [
+    32,
+    90
+  ],
+  [
+    32,
+    92,
+    59
+  ],
+  [
+    105,
+    118
+  ],
+  [
+    32,
+    110,
+    97,
+    98,
+    108,
+    97
+  ],
+  [
+    99,
+    97,
+    108
+  ],
+  [
+    32,
+    111,
+    118,
+    101,
+    114,
+    108,
+    105,
+    110,
+    101
+  ],
+  [
+    32,
+    98,
+    98
+  ],
+  [
+    97,
+    110
+  ],
+  [
+    108,
+    114
+  ],
+  [
+    108,
+    108
+  ],
+  [
+    32,
+    101,
+    108,
+    108
+  ],
+  [
+    32,
+    60,
+    61
+  ],
+  [
+    100,
+    101
+  ],
+  [
+    103,
+    103
+  ],
+  [
+    103,
+    103,
+    101,
+    114
+  ],
+  [
+    105,
+    100,
+    101
+  ],
+  [
+    32,
+    80,
+    104,
+    105
+  ],
+  [
+    32,
+    100,
+    97
+  ],
+  [
+    32,
+    100,
+    97,
+    103,
+    103,
+    101,
+    114
+  ],
+  [
+    32,
+    116,
+    104,
+    105,
+    99,
+    107
+  ],
+  [
+    32,
+    99,
+    104,
+    105
+  ],
+  [
+    32,
+    89
+  ],
+  [
+    113,
+    117
+  ],
+  [
+    113,
+    117,
+    105,
+    118
+  ],
+  [
+    32,
+    58
+  ],
+  [
+    114,
+    111,
+    120
+  ],
+  [
+    32,
+    101,
+    113,
+    117,
+    105,
+    118
+  ],
+  [
+    116,
+    105,
+    108,
+    100,
+    101
+  ],
+  [
+    32,
+    124,
+    124
+  ],
+  [
+    32,
+    97,
+    112,
+    112
+  ],
+  [
+    32,
+    97,
+    112,
+    112,
+    114,
+    111,
+    120
+  ],
+  [
+    117,
+    112,
+    114,
+    105,
+    103,
+    104,
+    116
+  ],
+  [
+    32,
+    76,
+    97,
+    109,
+    98,
+    100,
+    97
+  ],
+  [
+    120,
+    112
+  ],
+  [
+    32,
+    122,
+    101,
+    116,
+    97
+  ],
+  [
+    32,
+    33
+  ],
+  [
+    32,
+    80,
+    115,
+    105
+  ],
+  [
+    32,
+    101,
+    120,
+    112
+  ],
+  [
+    32,
+    119,
+    105,
+    100,
+    101
+  ],
+  [
+    68,
+    101,
+    108,
+    116,
+    97
+  ],
+  [
+    116,
+    101,
+    114
+  ],
+  [
+    32,
+    112,
+    108,
+    97,
+    110
+  ],
+  [
+    32,
+    112,
+    108,
+    97,
+    110,
+    99,
+    107
+  ],
+  [
+    32,
+    108,
+    110
+  ],
+  [
+    110,
+    100
+  ],
+  [
+    99,
+    101
+  ],
+  [
+    110,
+    116,
+    101,
+    114
+  ],
+  [
+    99,
+    101,
+    110,
+    116,
+    101,
+    114
+  ],
+  [
+    117,
+    98
+  ],
+  [
+    32,
+    112,
+    114,
+    111
+  ],
+  [
+    100,
+    111
+  ],
+  [
+    100,
+    101,
+    108,
+    116,
+    97
+  ],
+  [
+    99,
+    104,
+    101,
+    118,
+    114,
+    111,
+    110
+  ],
+  [
+    32,
+    62,
+    61
+  ],
+  [
+    111,
+    103
+  ],
+  [
+    32,
+    83,
+    105,
+    103,
+    109,
+    97
+  ],
+  [
+    32,
+    108,
+    111,
+    103
+  ],
+  [
+    115,
+    116
+  ],
+  [
+    112,
+    104,
+    105
+  ],
+  [
+    101,
+    114,
+    112
+  ],
+  [
+    32,
+    112,
+    101,
+    114,
+    112
+  ],
+  [
+    92,
+    91
+  ],
+  [
+    117,
+    98,
+    108,
+    101
+  ],
+  [
+    100,
+    111,
+    117,
+    98,
+    108,
+    101
+  ],
+  [
+    101,
+    113
+  ],
+  [
+    32,
+    111,
+    112
+  ],
+  [
+    115,
+    105,
+    103,
+    109,
+    97
+  ],
+  [
+    117,
+    99
+  ],
+  [
+    100,
+    117,
+    99
+  ],
+  [
+    100,
+    117,
+    99,
+    116
+  ],
+  [
+    97,
+    108,
+    112,
+    104,
+    97
+  ],
+  [
+    114,
+    104,
+    111
+  ],
+  [
+    114,
+    97,
+    108,
+    108
+  ],
+  [
+    32,
+    97,
+    110,
+    100
+  ],
+  [
+    32,
+    99,
+    111
+  ],
+  [
+    92,
+    123
+  ],
+  [
+    32,
+    97,
+    115,
+    116
+  ],
+  [
+    115,
+    117,
+    109
+  ],
+  [
+    111,
+    109,
+    101,
+    103,
+    97
+  ],
+  [
+    109,
+    112
+  ],
+  [
+    101,
+    112,
+    115,
+    105,
+    108,
+    111,
+    110
+  ],
+  [
+    32,
+    112,
+    114,
+    111,
+    100,
+    117,
+    99,
+    116
+  ],
+  [
+    111,
+    115,
+    101
+  ],
+  [
+    32,
+    99,
+    111,
+    109,
+    112
+  ],
+  [
+    32,
+    99,
+    111,
+    109,
+    112,
+    111,
+    115,
+    101
+  ],
+  [
+    108,
+    97,
+    109,
+    98,
+    100,
+    97
+  ],
+  [
+    32,
+    80,
+    105
+  ],
+  [
+    32,
+    100,
+    105,
+    118
+  ],
+  [
+    32,
+    34
+  ],
+  [
+    105,
+    110,
+    116,
+    101,
+    103,
+    114,
+    97,
+    108
+  ],
+  [
+    114,
+    97,
+    107
+  ],
+  [
+    32,
+    84,
+    104,
+    101,
+    116,
+    97
+  ],
+  [
+    112,
+    97,
+    114,
+    116,
+    105,
+    97,
+    108
+  ],
+  [
+    116,
+    97,
+    114
+  ],
+  [
+    109,
+    97,
+    99,
+    114,
+    111,
+    110
+  ],
+  [
+    32,
+    33,
+    61
+  ],
+  [
+    32,
+    115,
+    116,
+    97,
+    114
+  ],
+  [
+    103,
+    97,
+    109,
+    109,
+    97
+  ],
+  [
+    105,
+    100,
+    101,
+    115
+  ],
+  [
+    32,
+    95,
+    40
+  ],
+  [
+    32,
+    100,
+    105,
+    118,
+    105,
+    100,
+    101,
+    115
+  ],
+  [
+    32,
+    108,
+    116
+  ],
+  [
+    100,
+    111,
+    116
+  ],
+  [
+    116,
+    97,
+    117
+  ],
+  [
+    109,
+    117
+  ],
+  [
+    32,
+    102,
+    114,
+    97,
+    107
+  ],
+  [
+    32,
+    92,
+    42
+  ],
+  [
+    111,
+    112
+  ],
+  [
+    71,
+    97,
+    109,
+    109,
+    97
+  ],
+  [
+    97,
+    114,
+    97,
+    108,
+    108
+  ],
+  [
+    97,
+    114,
+    97,
+    108,
+    108,
+    101,
+    108
+  ],
+  [
+    32,
+    112,
+    97,
+    114,
+    97,
+    108,
+    108,
+    101,
+    108
+  ],
+  [
+    122,
+    119,
+    115
+  ],
+  [
+    98,
+    101,
+    116,
+    97
+  ],
+  [
+    110,
+    100,
+    101,
+    114,
+    108,
+    105,
+    110,
+    101
+  ],
+  [
+    97,
+    110,
+    115
+  ],
+  [
+    32,
+    115,
+    97,
+    110,
+    115
+  ],
+  [
+    45,
+    62
+  ],
+  [
+    116,
+    104,
+    101,
+    116,
+    97
+  ],
+  [
+    97,
+    114,
+    114,
+    111,
+    119
+  ],
+  [
+    32,
+    112,
+    114,
+    111,
+    112
+  ],
+  [
+    32,
+    39
+  ],
+  [
+    79,
+    109,
+    101,
+    103,
+    97
+  ],
+  [
+    32,
+    226
+  ],
+  [
+    32,
+    117,
+    110,
+    100,
+    101,
+    114,
+    108,
+    105,
+    110,
+    101
+  ],
+  [
+    101,
+    116
+  ],
+  [
+    115,
+    113,
+    114,
+    116
+  ],
+  [
+    111,
+    118,
+    101,
+    114,
+    108,
+    105,
+    110,
+    101
+  ],
+  [
+    99,
+    104,
+    105
+  ],
+  [
+    108,
+    117,
+    115
+  ],
+  [
+    112,
+    108,
+    117,
+    115
+  ],
+  [
+    80,
+    104,
+    105
+  ],
+  [
+    32,
+    94,
+    40
+  ],
+  [
+    120,
+    105
+  ],
+  [
+    110,
+    97,
+    98,
+    108,
+    97
+  ],
+  [
+    115,
+    101,
+    116
+  ],
+  [
+    32,
+    115,
+    105,
+    110,
+    104
+  ],
+  [
+    98,
+    98
+  ],
+  [
+    32,
+    226,
+    140
+  ],
+  [
+    32,
+    109,
+    105,
+    110,
+    117,
+    115
+  ],
+  [
+    32,
+    103,
+    116
+  ],
+  [
+    32,
+    116,
+    97,
+    110
+  ],
+  [
+    107,
+    97,
+    112,
+    112,
+    97
+  ],
+  [
+    110,
+    117
+  ],
+  [
+    32,
+    99,
+    111,
+    115,
+    104
+  ],
+  [
+    117,
+    98,
+    115,
+    101,
+    116
+  ],
+  [
+    105,
+    111,
+    110
+  ],
+  [
+    32,
+    115,
+    117,
+    98,
+    115,
+    101,
+    116
+  ],
+  [
+    101,
+    100
+  ],
+  [
+    110,
+    105,
+    111,
+    110
+  ],
+  [
+    80,
+    115,
+    105
+  ],
+  [
+    32,
+    117,
+    110,
+    105,
+    111,
+    110
+  ],
+  [
+    105,
+    110,
+    111
+  ],
+  [
+    105,
+    110,
+    111,
+    109
+  ],
+  [
+    111,
+    114,
+    97,
+    108,
+    108
+  ],
+  [
+    112,
+    105
+  ],
+  [
+    32,
+    60,
+    45
+  ],
+  [
+    32,
+    105,
+    110,
+    116,
+    101,
+    114
+  ],
+  [
+    105,
+    116
+  ],
+  [
+    105,
+    102
+  ],
+  [
+    97,
+    114,
+    111,
+    110
+  ],
+  [
+    32,
+    124,
+    45,
+    62
+  ],
+  [
+    122,
+    101,
+    116,
+    97
+  ],
+  [
+    32,
+    98,
+    105,
+    110,
+    111,
+    109
+  ],
+  [
+    119,
+    110
+  ],
+  [
+    32,
+    116,
+    111,
+    112
+  ],
+  [
+    100,
+    111,
+    119,
+    110
+  ],
+  [
+    97,
+    110,
+    100
+  ],
+  [
+    105,
+    99
+  ],
+  [
+    97,
+    108,
+    105,
+    99
+  ],
+  [
+    32,
+    41,
+    124
+  ],
+  [
+    76,
+    97,
+    109,
+    98,
+    100,
+    97
+  ],
+  [
+    115,
+    108,
+    97
+  ],
+  [
+    107,
+    101,
+    100
+  ],
+  [
+    116,
+    97,
+    110
+  ],
+  [
+    114,
+    111,
+    107,
+    101,
+    100
+  ],
+  [
+    115,
+    116,
+    114,
+    111,
+    107,
+    101,
+    100
+  ],
+  [
+    114,
+    105
+  ],
+  [
+    99,
+    111,
+    110
+  ],
+  [
+    99,
+    111,
+    110,
+    116
+  ],
+  [
+    103,
+    108,
+    101
+  ],
+  [
+    32,
+    109,
+    111
+  ],
+  [
+    115,
+    105,
+    110
+  ],
+  [
+    32,
+    99,
+    97,
+    114,
+    111,
+    110
+  ],
+  [
+    32,
+    102,
+    111,
+    114,
+    97,
+    108,
+    108
+  ],
+  [
+    32,
+    88,
+    105
+  ],
+  [
+    111,
+    116,
+    97
+  ],
+  [
+    32,
+    97,
+    114
+  ],
+  [
+    98,
+    105,
+    103
+  ],
+  [
+    111,
+    114
+  ],
+  [
+    116,
+    97,
+    108,
+    105,
+    99
+  ],
+  [
+    32,
+    105,
+    116,
+    97,
+    108,
+    105,
+    99
+  ],
+  [
+    32,
+    41,
+    92
+  ],
+  [
+    32,
+    37
+  ],
+  [
+    83,
+    105,
+    103,
+    109,
+    97
+  ],
+  [
+    97,
+    110,
+    103,
+    108,
+    101
+  ],
+  [
+    80,
+    105
+  ],
+  [
+    32,
+    41,
+    41
+  ],
+  [
+    114,
+    105,
+    97,
+    110,
+    103,
+    108,
+    101
+  ],
+  [
+    101,
+    108,
+    108
+  ],
+  [
+    32,
+    105,
+    111,
+    116,
+    97
+  ],
+  [
+    101,
+    113,
+    117,
+    105,
+    118
+  ],
+  [
+    32,
+    99,
+    111,
+    116
+  ],
+  [
+    115,
+    115
+  ],
+  [
+    108,
+    101,
+    115,
+    115
+  ],
+  [
+    32,
+    98,
+    111,
+    116
+  ],
+  [
+    32,
+    100,
+    111,
+    116,
+    108,
+    101,
+    115,
+    115
+  ],
+  [
+    124,
+    124
+  ],
+  [
+    117,
+    116
+  ],
+  [
+    32,
+    111,
+    114
+  ],
+  [
+    32,
+    60,
+    45,
+    62
+  ],
+  [
+    32,
+    97,
+    114,
+    99
+  ],
+  [
+    94,
+    40
+  ],
+  [
+    102,
+    111,
+    114
+  ],
+  [
+    110,
+    116
+  ],
+  [
+    32,
+    45,
+    45,
+    62
+  ],
+  [
+    32,
+    116,
+    114,
+    105,
+    97,
+    110,
+    103,
+    108,
+    101
+  ],
+  [
+    99,
+    111,
+    115
+  ],
+  [
+    32,
+    110,
+    111,
+    116
+  ],
+  [
+    115,
+    104
+  ],
+  [
+    32,
+    109,
+    111,
+    110,
+    111
+  ],
+  [
+    115,
+    108,
+    97,
+    110,
+    116
+  ],
+  [
+    104,
+    111,
+    117,
+    116
+  ],
+  [
+    105,
+    116,
+    104,
+    111,
+    117,
+    116
+  ],
+  [
+    32,
+    119,
+    105,
+    116,
+    104,
+    111,
+    117,
+    116
+  ],
+  [
+    108,
+    108,
+    101
+  ],
+  [
+    102,
+    114,
+    97,
+    107
+  ],
+  [
+    84,
+    104,
+    101,
+    116,
+    97
+  ],
+  [
+    117,
+    108,
+    108,
+    101
+  ],
+  [
+    117,
+    108,
+    108,
+    101,
+    116
+  ],
+  [
+    32,
+    98,
+    117,
+    108,
+    108,
+    101,
+    116
+  ],
+  [
+    32,
+    108,
+    105,
+    109
+  ],
+  [
+    97,
+    99,
+    107
+  ],
+  [
+    32,
+    97,
+    114,
+    99,
+    116,
+    97,
+    110
+  ],
+  [
+    112,
+    114,
+    111
+  ],
+  [
+    101,
+    120,
+    112
+  ],
+  [
+    114,
+    101,
+    118
+  ],
+  [
+    32,
+    61,
+    62
+  ],
+  [
+    108,
+    110
+  ],
+  [
+    32,
+    226,
+    140,
+    139
+  ],
+  [
+    32,
+    41,
+    92,
+    41
+  ],
+  [
+    32,
+    109,
+    101,
+    100
+  ],
+  [
+    32,
+    41,
+    92,
+    40
+  ],
+  [
+    32,
+    226,
+    140,
+    138
+  ],
+  [
+    97,
+    112,
+    112,
+    114,
+    111,
+    120
+  ],
+  [
+    32,
+    41,
+    94,
+    40
+  ],
+  [
+    112,
+    114,
+    111,
+    100,
+    117,
+    99,
+    116
+  ],
+  [
+    108,
+    111,
+    103
+  ],
+  [
+    61,
+    62
+  ],
+  [
+    95,
+    40
+  ],
+  [
+    32,
+    85,
+    112,
+    115,
+    105,
+    108,
+    111,
+    110
+  ],
+  [
+    105,
+    116,
+    115
+  ],
+  [
+    115,
+    108,
+    97,
+    115,
+    104
+  ],
+  [
+    97,
+    99,
+    107,
+    115,
+    108,
+    97,
+    115,
+    104
+  ],
+  [
+    32,
+    98,
+    97,
+    99,
+    107,
+    115,
+    108,
+    97,
+    115,
+    104
+  ],
+  [
+    32,
+    82,
+    101
+  ],
+  [
+    107,
+    101,
+    116
+  ],
+  [
+    114,
+    97,
+    99,
+    107,
+    101,
+    116
+  ],
+  [
+    32,
+    226,
+    140,
+    137
+  ],
+  [
+    110,
+    111,
+    116
+  ],
+  [
+    32,
+    98,
+    114,
+    101,
+    118
+  ],
+  [
+    32,
+    98,
+    114,
+    101,
+    118,
+    101
+  ],
+  [
+    32,
+    100,
+    101,
+    116
+  ],
+  [
+    32,
+    92,
+    34
+  ],
+  [
+    32,
+    99,
+    111,
+    108,
+    111,
+    110
+  ],
+  [
+    102,
+    111,
+    114,
+    97,
+    108,
+    108
+  ],
+  [
+    112,
+    108,
+    97
+  ],
+  [
+    116,
+    105,
+    109,
+    101,
+    115
+  ],
+  [
+    32,
+    41,
+    92,
+    44
+  ],
+  [
+    32,
+    108,
+    105,
+    109,
+    105,
+    116,
+    115
+  ],
+  [
+    110,
+    103
+  ],
+  [
+    32,
+    41,
+    95,
+    40
+  ],
+  [
+    104,
+    105,
+    110,
+    103
+  ],
+  [
+    32,
+    92,
+    95
+  ],
+  [
+    101,
+    99
+  ],
+  [
+    111,
+    111,
+    116
+  ],
+  [
+    32,
+    114,
+    111,
+    111,
+    116
+  ],
+  [
+    32,
+    226,
+    140,
+    136
+  ],
+  [
+    105,
+    115
+  ],
+  [
+    32,
+    110,
+    111,
+    116,
+    104,
+    105,
+    110,
+    103
+  ],
+  [
+    32,
+    117,
+    112,
+    115,
+    105,
+    108,
+    111,
+    110
+  ],
+  [
+    32,
+    104,
+    97
+  ],
+  [
+    32,
+    109,
+    111,
+    100
+  ],
+  [
+    110,
+    99,
+    107
+  ],
+  [
+    32,
+    41,
+    61
+  ],
+  [
+    32,
+    98,
+    114,
+    97,
+    99,
+    107,
+    101,
+    116
+  ],
+  [
+    112,
+    108,
+    97,
+    110,
+    99,
+    107
+  ],
+  [
+    32,
+    61,
+    61,
+    62
+  ],
+  [
+    115,
+    116,
+    115
+  ],
+  [
+    32,
+    226,
+    138
+  ],
+  [
+    32,
+    226,
+    153
+  ],
+  [
+    120,
+    105,
+    115,
+    116,
+    115
+  ],
+  [
+    109,
+    97,
+    108
+  ],
+  [
+    115,
+    109,
+    97,
+    108
+  ],
+  [
+    115,
+    109,
+    97,
+    108,
+    108
+  ],
+  [
+    117,
+    110,
+    100,
+    101,
+    114,
+    108,
+    105,
+    110,
+    101
+  ],
+  [
+    32,
+    115,
+    101,
+    99
+  ],
+  [
+    92,
+    44
+  ],
+  [
+    100,
+    111,
+    116,
+    115
+  ],
+  [
+    114,
+    119
+  ],
+  [
+    104,
+    101,
+    114,
+    119
+  ],
+  [
+    108,
+    111,
+    110,
+    103
+  ],
+  [
+    105,
+    115,
+    101
+  ],
+  [
+    104,
+    101,
+    114,
+    119,
+    105,
+    115,
+    101
+  ],
+  [
+    111,
+    116,
+    104,
+    101,
+    114,
+    119,
+    105,
+    115,
+    101
+  ],
+  [
+    32,
+    99,
+    111,
+    116,
+    104
+  ],
+  [
+    117,
+    112
+  ],
+  [
+    97,
+    114
+  ],
+  [
+    132,
+    152
+  ],
+  [
+    32,
+    104,
+    97,
+    115,
+    104
+  ],
+  [
+    117,
+    112,
+    115,
+    101,
+    116
+  ],
+  [
+    119,
+    104,
+    101
+  ],
+  [
+    32,
+    101,
+    113
+  ],
+  [
+    32,
+    226,
+    138,
+    186
+  ],
+  [
+    115,
+    99
+  ],
+  [
+    32,
+    41,
+    44
+  ],
+  [
+    32,
+    73,
+    109
+  ],
+  [
+    98,
+    105,
+    110,
+    111,
+    109
+  ],
+  [
+    32,
+    92,
+    41,
+    124
+  ],
+  [
+    32,
+    115,
+    117,
+    112,
+    115,
+    101,
+    116
+  ],
+  [
+    32,
+    97,
+    114,
+    103
+  ],
+  [
+    99,
+    97,
+    114,
+    111,
+    110
+  ],
+  [
+    119,
+    104,
+    101,
+    114,
+    101
+  ],
+  [
+    92,
+    41
+  ],
+  [
+    32,
+    60,
+    61,
+    62
+  ],
+  [
+    32,
+    226,
+    132,
+    152
+  ],
+  [
+    32,
+    41,
+    45
+  ],
+  [
+    114,
+    105,
+    112
+  ],
+  [
+    32,
+    226,
+    153,
+    175
+  ],
+  [
+    32,
+    41,
+    43
+  ],
+  [
+    32,
+    92,
+    41,
+    41
+  ],
+  [
+    32,
+    116,
+    97,
+    99,
+    107
+  ],
+  [
+    105,
+    116,
+    97,
+    108,
+    105,
+    99
+  ],
+  [
+    108,
+    105,
+    109
+  ],
+  [
+    32,
+    101,
+    120,
+    105,
+    115,
+    116,
+    115
+  ],
+  [
+    88,
+    105
+  ],
+  [
+    115,
+    113
+  ],
+  [
+    32,
+    97,
+    114,
+    99,
+    115,
+    105,
+    110
+  ],
+  [
+    99,
+    111,
+    116
+  ],
+  [
+    103,
+    116
+  ],
+  [
+    100,
+    105,
+    118
+  ],
+  [
+    101,
+    112
+  ],
+  [
+    32,
+    105,
+    110,
+    108,
+    105,
+    110,
+    101
+  ],
+  [
+    101,
+    112,
+    104
+  ],
+  [
+    116,
+    114,
+    105,
+    97,
+    110,
+    103,
+    108,
+    101
+  ],
+  [
+    32,
+    100,
+    105,
+    109
+  ],
+  [
+    100,
+    105,
+    118,
+    105,
+    100,
+    101,
+    115
+  ],
+  [
+    60,
+    61
+  ],
+  [
+    108,
+    116
+  ],
+  [
+    110,
+    103,
+    108,
+    101
+  ],
+  [
+    32,
+    41,
+    46
+  ],
+  [
+    32,
+    99,
+    115,
+    99
+  ],
+  [
+    32,
+    97,
+    110,
+    103,
+    108,
+    101
+  ],
+  [
+    32,
+    226,
+    137
+  ],
+  [
+    32,
+    92,
+    41,
+    61
+  ],
+  [
+    112,
+    114,
+    111,
+    112
+  ],
+  [
+    98,
+    97,
+    114
+  ],
+  [
+    105,
+    111,
+    116,
+    97
+  ],
+  [
+    114,
+    101,
+    99
+  ],
+  [
+    32,
+    94,
+    40,
+    45
+  ],
+  [
+    32,
+    226,
+    137,
+    144
+  ],
+  [
+    117,
+    97,
+    114,
+    101
+  ],
+  [
+    101,
+    120,
+    105,
+    115,
+    116,
+    115
+  ],
+  [
+    105,
+    97,
+    109
+  ],
+  [
+    226,
+    140
+  ],
+  [
+    32,
+    97,
+    108,
+    101,
+    112,
+    104
+  ],
+  [
+    111,
+    110,
+    100
+  ],
+  [
+    105,
+    97,
+    109,
+    111,
+    110,
+    100
+  ],
+  [
+    116,
+    114,
+    105,
+    112
+  ],
+  [
+    116,
+    114,
+    105,
+    112,
+    108,
+    101
+  ],
+  [
+    85,
+    112,
+    115,
+    105,
+    108,
+    111,
+    110
+  ],
+  [
+    111,
+    107
+  ],
+  [
+    118,
+    101
+  ],
+  [
+    32,
+    112,
+    114,
+    101,
+    99
+  ],
+  [
+    32,
+    100,
+    105,
+    97,
+    109,
+    111,
+    110,
+    100
+  ],
+  [
+    104,
+    111,
+    111,
+    107
+  ],
+  [
+    32,
+    60,
+    61,
+    61,
+    62
+  ],
+  [
+    82,
+    101
+  ],
+  [
+    112,
+    111
+  ],
+  [
+    97,
+    99,
+    117,
+    116
+  ],
+  [
+    32,
+    94,
+    40,
+    92,
+    40
+  ],
+  [
+    97,
+    114,
+    99
+  ],
+  [
+    115,
+    113,
+    117,
+    97,
+    114,
+    101
+  ],
+  [
+    97,
+    99,
+    117,
+    116,
+    101
+  ],
+  [
+    114,
+    112,
+    111
+  ],
+  [
+    100,
+    97,
+    103,
+    103,
+    101,
+    114
+  ],
+  [
+    32,
+    41,
+    41,
+    124
+  ],
+  [
+    32,
+    226,
+    153,
+    173
+  ],
+  [
+    114,
+    112,
+    111,
+    111,
+    110
+  ],
+  [
+    32,
+    92,
+    64
+  ],
+  [
+    32,
+    60,
+    45,
+    45,
+    62
+  ],
+  [
+    98,
+    114,
+    97,
+    99,
+    107,
+    101,
+    116
+  ],
+  [
+    100,
+    105,
+    109
+  ],
+  [
+    32,
+    97,
+    99,
+    117,
+    116,
+    101
+  ],
+  [
+    111,
+    111
+  ],
+  [
+    32,
+    92,
+    41,
+    94,
+    40
+  ],
+  [
+    32,
+    107,
+    101,
+    114
+  ],
+  [
+    117,
+    99,
+    99
+  ],
+  [
+    32,
+    41,
+    41,
+    92,
+    44
+  ],
+  [
+    32,
+    41,
+    92,
+    41,
+    94,
+    40
+  ],
+  [
+    73,
+    109
+  ],
+  [
+    100,
+    101,
+    116
+  ],
+  [
+    32,
+    95,
+    40,
+    45
+  ],
+  [
+    32,
+    41,
+    92,
+    44,
+    124
+  ],
+  [
+    114,
+    105,
+    112,
+    116
+  ],
+  [
+    97,
+    114,
+    99,
+    116,
+    97,
+    110
+  ],
+  [
+    109,
+    111
+  ],
+  [
+    112,
+    114,
+    105,
+    109,
+    101
+  ],
+  [
+    115,
+    101,
+    99
+  ],
+  [
+    116,
+    105,
+    111,
+    110
+  ],
+  [
+    32,
+    100,
+    101,
+    103
+  ],
+  [
+    110,
+    101,
+    113
+  ],
+  [
+    92,
+    42
+  ],
+  [
+    92,
+    47
+  ],
+  [
+    108,
+    98
+  ],
+  [
+    32,
+    97,
+    109,
+    112
+  ],
+  [
+    32,
+    41,
+    92,
+    41,
+    41
+  ],
+  [
+    32,
+    41,
+    92,
+    41,
+    124
+  ],
+  [
+    32,
+    104,
+    97,
+    114,
+    112,
+    111,
+    111,
+    110
+  ],
+  [
+    99,
+    111
+  ],
+  [
+    32,
+    100,
+    105,
+    115
+  ],
+  [
+    114,
+    116,
+    108,
+    98
+  ],
+  [
+    114,
+    114,
+    111,
+    119,
+    115
+  ],
+  [
+    32,
+    39,
+    94,
+    40
+  ],
+  [
+    32,
+    94,
+    40,
+    39
+  ],
+  [
+    112,
+    108,
+    97,
+    121
+  ],
+  [
+    109,
+    111,
+    110,
+    111
+  ],
+  [
+    32,
+    100,
+    105,
+    115,
+    112,
+    108,
+    97,
+    121
+  ],
+  [
+    113,
+    117,
+    97,
+    100
+  ],
+  [
+    115,
+    116,
+    97,
+    114
+  ],
+  [
+    117,
+    110,
+    105,
+    111,
+    110
+  ],
+  [
+    115,
+    105,
+    110,
+    104
+  ],
+  [
+    32,
+    41,
+    41,
+    41
+  ],
+  [
+    99,
+    111,
+    115,
+    104
+  ],
+  [
+    226,
+    140,
+    136
+  ],
+  [
+    92,
+    42,
+    41
+  ],
+  [
+    32,
+    104,
+    97,
+    114,
+    112,
+    111,
+    111,
+    110,
+    115
+  ],
+  [
+    39,
+    41
+  ],
+  [
+    62,
+    61
+  ],
+  [
+    114,
+    108
+  ],
+  [
+    117,
+    112,
+    115,
+    105,
+    108,
+    111,
+    110
+  ],
+  [
+    32,
+    115,
+    117,
+    99,
+    99
+  ],
+  [
+    98,
+    114,
+    101,
+    118,
+    101
+  ],
+  [
+    104,
+    97,
+    115,
+    104
+  ],
+  [
+    101,
+    108,
+    115
+  ],
+  [
+    32,
+    41,
+    41,
+    39
+  ],
+  [
+    32,
+    115,
+    101,
+    99,
+    116,
+    105,
+    111,
+    110
+  ],
+  [
+    40,
+    92,
+    40
+  ],
+  [
+    99,
+    114,
+    111
+  ],
+  [
+    108,
+    99,
+    114,
+    111
+  ],
+  [
+    32,
+    115,
+    115,
+    99
+  ],
+  [
+    114,
+    111,
+    111,
+    116
+  ],
+  [
+    105,
+    110,
+    116,
+    101,
+    114
+  ],
+  [
+    32,
+    94,
+    40,
+    39,
+    39,
+    41
+  ],
+  [
+    108,
+    99,
+    114,
+    111,
+    119
+  ],
+  [
+    32,
+    115,
+    115,
+    99,
+    114,
+    105,
+    112,
+    116
+  ],
+  [
+    99,
+    115,
+    99
+  ],
+  [
+    115,
+    112,
+    97,
+    99,
+    101
+  ],
+  [
+    32,
+    92,
+    41,
+    43
+  ],
+  [
+    32,
+    97,
+    114,
+    114,
+    111,
+    119,
+    115
+  ],
+  [
+    32,
+    112,
+    105,
+    108,
+    99,
+    114,
+    111,
+    119
+  ],
+  [
+    100,
+    111,
+    116,
+    108,
+    101,
+    115,
+    115
+  ],
+  [
+    32,
+    39,
+    92,
+    44
+  ],
+  [
+    32,
+    41,
+    41,
+    46
+  ],
+  [
+    32,
+    226,
+    138,
+    169
+  ],
+  [
+    100,
+    101,
+    103
+  ],
+  [
+    226,
+    132,
+    152
+  ],
+  [
+    32,
+    92,
+    41,
+    45
+  ],
+  [
+    32,
+    92,
+    41,
+    92,
+    41
+  ],
+  [
+    105,
+    110,
+    108,
+    105,
+    110,
+    101
+  ],
+  [
+    32,
+    39,
+    92,
+    41
+  ],
+  [
+    32,
+    41,
+    41,
+    61
+  ],
+  [
+    32,
+    41,
+    92,
+    41,
+    46
+  ],
+  [
+    32,
+    41,
+    92,
+    41,
+    61
+  ],
+  [
+    32,
+    109,
+    111,
+    100,
+    101,
+    108,
+    115
+  ],
+  [
+    32,
+    41,
+    44,
+    124
+  ],
+  [
+    108,
+    105,
+    109,
+    105,
+    116,
+    115
+  ],
+  [
+    226,
+    140,
+    138
+  ],
+  [
+    226,
+    137
+  ],
+  [
+    32,
+    41,
+    39
+  ],
+  [
+    32,
+    41,
+    62
+  ],
+  [
+    32,
+    41,
+    92,
+    91
+  ],
+  [
+    97,
+    108,
+    101,
+    112,
+    104
+  ],
+  [
+    32,
+    39,
+    39
+  ],
+  [
+    32,
+    60,
+    45,
+    45
+  ],
+  [
+    32,
+    41,
+    41,
+    95,
+    40
+  ],
+  [
+    110,
+    111,
+    116,
+    104,
+    105,
+    110,
+    103
+  ],
+  [
+    32,
+    41,
+    41,
+    39,
+    92,
+    44
+  ],
+  [
+    73,
+    70
+  ],
+  [
+    107,
+    101,
+    114
+  ],
+  [
+    108,
+    118,
+    101
+  ],
+  [
+    111,
+    108,
+    118,
+    101
+  ],
+  [
+    115,
+    117,
+    98,
+    115,
+    101,
+    116
+  ],
+  [
+    118,
+    111,
+    108,
+    118,
+    101
+  ],
+  [
+    226,
+    136
+  ],
+  [
+    226,
+    138
+  ],
+  [
+    32,
+    92,
+    44,
+    124
+  ],
+  [
+    109,
+    101,
+    110,
+    116
+  ],
+  [
+    108,
+    101,
+    109,
+    101,
+    110,
+    116
+  ],
+  [
+    32,
+    94,
+    40,
+    92,
+    42,
+    41
+  ],
+  [
+    32,
+    41,
+    41,
+    92,
+    41
+  ],
+  [
+    119,
+    104,
+    101,
+    110
+  ],
+  [
+    99,
+    111,
+    109,
+    112
+  ],
+  [
+    226,
+    136,
+    154
+  ],
+  [
+    40,
+    124
+  ],
+  [
+    92,
+    59
+  ],
+  [
+    92,
+    93
+  ],
+  [
+    97,
+    115,
+    116
+  ],
+  [
+    99,
+    114,
+    105,
+    112,
+    116
+  ],
+  [
+    112,
+    114,
+    101,
+    99
+  ],
+  [
+    113,
+    117,
+    97,
+    114,
+    101
+  ],
+  [
+    115,
+    97,
+    110,
+    115
+  ],
+  [
+    115,
+    117,
+    112,
+    115,
+    101,
+    116
+  ],
+  [
+    115,
+    117,
+    99,
+    99
+  ],
+  [
+    119,
+    105,
+    100,
+    101
+  ],
+  [
+    32,
+    92,
+    226,
+    136,
+    154
+  ],
+  [
+    32,
+    92,
+    41,
+    44
+  ],
+  [
+    32,
+    115,
+    99,
+    114,
+    105,
+    112,
+    116
+  ],
+  [
+    32,
+    115,
+    113,
+    117,
+    97,
+    114,
+    101
+  ],
+  [
+    32,
+    109,
+    105,
+    110
+  ],
+  [
+    32,
+    99,
+    111,
+    110
+  ],
+  [
+    104,
+    97,
+    114,
+    112,
+    111,
+    111,
+    110
+  ],
+  [
+    92,
+    40,
+    60
+  ],
+  [
+    32,
+    95,
+    40,
+    43
+  ],
+  [
+    32,
+    41,
+    92,
+    93
+  ],
+  [
+    32,
+    41,
+    94,
+    40,
+    92,
+    40
+  ],
+  [
+    32,
+    92,
+    41,
+    41,
+    61
+  ],
+  [
+    32,
+    92,
+    41,
+    41,
+    124
+  ],
+  [
+    32,
+    92,
+    41,
+    41,
+    92,
+    40
+  ],
+  [
+    32,
+    41,
+    41,
+    41,
+    92,
+    40,
+    60
+  ],
+  [
+    32,
+    41,
+    41,
+    95,
+    40,
+    45
+  ],
+  [
+    32,
+    99,
+    111,
+    110,
+    118,
+    111,
+    108,
+    118,
+    101
+  ],
+  [
+    97,
+    100
+  ],
+  [
+    102,
+    105
+  ],
+  [
+    105,
+    108
+  ],
+  [
+    111,
+    104,
+    101
+  ],
+  [
+    114,
+    107
+  ],
+  [
+    116,
+    119
+  ],
+  [
+    116,
+    97,
+    99,
+    107
+  ],
+  [
+    170,
+    133
+  ],
+  [
+    32,
+    92,
+    41,
+    46
+  ],
+  [
+    116,
+    97,
+    105,
+    108
+  ],
+  [
+    109,
+    97,
+    114,
+    107
+  ],
+  [
+    104,
+    101,
+    99,
+    107
+  ],
+  [
+    101,
+    116,
+    104
+  ],
+  [
+    32,
+    94,
+    40,
+    43
+  ],
+  [
+    32,
+    41,
+    124,
+    124
+  ],
+  [
+    108,
+    108,
+    101,
+    100
+  ],
+  [
+    32,
+    41,
+    94,
+    40,
+    45
+  ],
+  [
+    32,
+    41,
+    44,
+    92,
+    40
+  ],
+  [
+    97,
+    114,
+    99,
+    115,
+    105,
+    110
+  ],
+  [
+    102,
+    105,
+    108,
+    108,
+    101,
+    100
+  ],
+  [
+    111,
+    104,
+    101,
+    97,
+    100
+  ],
+  [
+    116,
+    119,
+    111,
+    104,
+    101,
+    97,
+    100
+  ],
+  [
+    104,
+    101,
+    99,
+    107,
+    109,
+    97,
+    114,
+    107
+  ],
+  [
+    40,
+    45
+  ],
+  [
+    97,
+    118,
+    101
+  ],
+  [
+    97,
+    114,
+    114,
+    111,
+    119,
+    115
+  ],
+  [
+    100,
+    105,
+    97,
+    109,
+    111,
+    110,
+    100
+  ],
+  [
+    112,
+    97,
+    114,
+    97,
+    108,
+    108,
+    101,
+    108
+  ],
+  [
+    116,
+    114,
+    105
+  ],
+  [
+    226,
+    170
+  ],
+  [
+    226,
+    132
+  ],
+  [
+    32,
+    63
+  ],
+  [
+    139,
+    136
+  ],
+  [
+    32,
+    92,
+    41,
+    92,
+    40
+  ],
+  [
+    32,
+    92,
+    41,
+    92,
+    44
+  ],
+  [
+    32,
+    92,
+    41,
+    92,
+    93
+  ],
+  [
+    32,
+    92,
+    44,
+    45
+  ],
+  [
+    32,
+    99,
+    104,
+    101,
+    99,
+    107,
+    109,
+    97,
+    114,
+    107
+  ],
+  [
+    32,
+    67,
+    104,
+    105
+  ],
+  [
+    32,
+    99,
+    111,
+    109,
+    112,
+    108,
+    101,
+    109,
+    101,
+    110,
+    116
+  ],
+  [
+    32,
+    39,
+    124
+  ],
+  [
+    32,
+    39,
+    92,
+    59
+  ],
+  [
+    32,
+    226,
+    170,
+    133
+  ],
+  [
+    32,
+    41,
+    41,
+    92,
+    40
+  ],
+  [
+    32,
+    41,
+    41,
+    94,
+    40
+  ],
+  [
+    32,
+    41,
+    94,
+    40,
+    92,
+    42,
+    41
+  ],
+  [
+    32,
+    226,
+    153,
+    174
+  ],
+  [
+    97,
+    114,
+    103
+  ],
+  [
+    99,
+    111,
+    116,
+    104
+  ],
+  [
+    115,
+    101,
+    99,
+    116,
+    105,
+    111,
+    110
+  ],
+  [
+    32,
+    41,
+    92,
+    41,
+    41,
+    92,
+    44
+  ],
+  [
+    32,
+    94,
+    40,
+    39,
+    39,
+    41,
+    43
+  ],
+  [
+    32,
+    39,
+    92,
+    41,
+    61
+  ],
+  [
+    32,
+    39,
+    92,
+    41,
+    94,
+    40
+  ],
+  [
+    99,
+    111,
+    109,
+    112,
+    111,
+    115,
+    101
+  ],
+  [
+    33,
+    61
+  ],
+  [
+    41,
+    92,
+    40
+  ],
+  [
+    60,
+    61,
+    62
+  ],
+  [
+    98,
+    114
+  ],
+  [
+    98,
+    117,
+    108,
+    108,
+    101,
+    116
+  ],
+  [
+    99,
+    119
+  ],
+  [
+    99,
+    108,
+    101
+  ],
+  [
+    102,
+    111
+  ],
+  [
+    104,
+    97,
+    108
+  ],
+  [
+    105,
+    114
+  ],
+  [
+    114,
+    97,
+    118,
+    101
+  ],
+  [
+    116,
+    114
+  ],
+  [
+    117,
+    105,
+    116
+  ],
+  [
+    226,
+    153
+  ],
+  [
+    32,
+    44,
+    124
+  ],
+  [
+    32,
+    44,
+    92,
+    40
+  ],
+  [
+    32,
+    98,
+    101,
+    116,
+    104
+  ],
+  [
+    32,
+    108,
+    103
+  ],
+  [
+    114,
+    101,
+    97,
+    116
+  ],
+  [
+    114,
+    101,
+    102,
+    111
+  ],
+  [
+    32,
+    103,
+    114,
+    97,
+    118,
+    101
+  ],
+  [
+    32,
+    92,
+    93,
+    95,
+    40
+  ],
+  [
+    104,
+    101,
+    114,
+    101,
+    102,
+    111
+  ],
+  [
+    32,
+    39,
+    92,
+    40
+  ],
+  [
+    32,
+    226,
+    139,
+    136
+  ],
+  [
+    32,
+    226,
+    140,
+    163
+  ],
+  [
+    32,
+    41,
+    92,
+    125
+  ],
+  [
+    32,
+    41,
+    41,
+    45
+  ],
+  [
+    32,
+    41,
+    92,
+    41,
+    45
+  ],
+  [
+    32,
+    41,
+    92,
+    41,
+    92,
+    40
+  ],
+  [
+    32,
+    41,
+    92,
+    41,
+    92,
+    44
+  ],
+  [
+    92,
+    41,
+    124
+  ],
+  [
+    32,
+    92,
+    41,
+    41,
+    92,
+    44
+  ],
+  [
+    32,
+    92,
+    41,
+    92,
+    41,
+    94,
+    40
+  ],
+  [
+    99,
+    111,
+    109,
+    112,
+    108,
+    101,
+    109,
+    101,
+    110,
+    116
+  ],
+  [
+    226,
+    132,
+    184
+  ],
+  [
+    32,
+    41,
+    94,
+    40,
+    92,
+    42,
+    41,
+    92,
+    41
+  ],
+  [
+    104,
+    97,
+    108,
+    102
+  ],
+  [
+    105,
+    114,
+    99,
+    108,
+    101
+  ],
+  [
+    114,
+    101,
+    97,
+    116,
+    104
+  ],
+  [
+    104,
+    101,
+    114,
+    101,
+    102,
+    111,
+    114,
+    101
+  ],
+  [
+    41,
+    46
+  ],
+  [
+    44,
+    124
+  ],
+  [
+    60,
+    45
+  ],
+  [
+    61,
+    61,
+    62
+  ],
+  [
+    78,
+    117
+  ],
+  [
+    92,
+    95
+  ],
+  [
+    97,
+    120
+  ],
+  [
+    97,
+    100,
+    101
+  ],
+  [
+    98,
+    108
+  ],
+  [
+    98,
+    101,
+    116,
+    104
+  ],
+  [
+    99,
+    117
+  ],
+  [
+    99,
+    105,
+    114,
+    99,
+    108,
+    101
+  ],
+  [
+    103,
+    108
+  ],
+  [
+    104,
+    114,
+    101
+  ],
+  [
+    108,
+    111
+  ],
+  [
+    110,
+    116,
+    105,
+    108,
+    100,
+    101
+  ],
+  [
+    110,
+    97,
+    112,
+    112,
+    114,
+    111,
+    120
+  ],
+  [
+    112,
+    97,
+    100,
+    101
+  ],
+  [
+    115,
+    113,
+    117
+  ],
+  [
+    115,
+    117,
+    105,
+    116
+  ],
+  [
+    115,
+    112,
+    97,
+    100,
+    101
+  ],
+  [
+    116,
+    108
+  ],
+  [
+    116,
+    104,
+    114,
+    101
+  ],
+  [
+    117,
+    110,
+    100
+  ],
+  [
+    121,
+    114,
+    105,
+    103,
+    104,
+    116
+  ],
+  [
+    169,
+    158
+  ],
+  [
+    171,
+    133
+  ],
+  [
+    195,
+    134
+  ],
+  [
+    226,
+    134
+  ],
+  [
+    32,
+    195,
+    134
+  ],
+  [
+    149,
+    178
+  ],
+  [
+    105,
+    103,
+    103,
+    108
+  ],
+  [
+    32,
+    116,
+    104,
+    101,
+    114,
+    101,
+    102,
+    111,
+    114,
+    101
+  ],
+  [
+    32,
+    109,
+    97,
+    120
+  ],
+  [
+    32,
+    92,
+    93,
+    124
+  ],
+  [
+    110,
+    101,
+    113,
+    117,
+    105,
+    118
+  ],
+  [
+    104,
+    111,
+    109
+  ],
+  [
+    105,
+    110,
+    118
+  ],
+  [
+    32,
+    119,
+    114,
+    101,
+    97,
+    116,
+    104
+  ],
+  [
+    32,
+    100,
+    97,
+    115,
+    104
+  ],
+  [
+    32,
+    92,
+    42,
+    92,
+    44
+  ],
+  [
+    32,
+    226,
+    149,
+    178
+  ],
+  [
+    32,
+    41,
+    92,
+    47
+  ],
+  [
+    32,
+    226,
+    138,
+    152
+  ],
+  [
+    32,
+    41,
+    44,
+    124,
+    124
+  ],
+  [
+    32,
+    92,
+    41,
+    41,
+    92,
+    41,
+    124
+  ],
+  [
+    32,
+    226,
+    137,
+    141
+  ],
+  [
+    32,
+    94,
+    40,
+    92,
+    40,
+    45
+  ],
+  [
+    32,
+    41,
+    92,
+    41,
+    94,
+    40,
+    45
+  ],
+  [
+    109,
+    111,
+    100
+  ],
+  [
+    32,
+    41,
+    92,
+    41,
+    41,
+    92,
+    40
+  ],
+  [
+    32,
+    41,
+    41,
+    41,
+    124
+  ],
+  [
+    114,
+    108,
+    121
+  ],
+  [
+    101,
+    108,
+    115,
+    101
+  ],
+  [
+    32,
+    94,
+    40,
+    39,
+    39,
+    41,
+    92,
+    40
+  ],
+  [
+    32,
+    92,
+    41,
+    45,
+    45,
+    62
+  ],
+  [
+    32,
+    92,
+    41,
+    92,
+    41,
+    61
+  ],
+  [
+    32,
+    41,
+    39,
+    45
+  ],
+  [
+    32,
+    39,
+    39,
+    61
+  ],
+  [
+    32,
+    39,
+    39,
+    92,
+    40
+  ],
+  [
+    32,
+    39,
+    39,
+    92,
+    91
+  ],
+  [
+    32,
+    41,
+    41,
+    92,
+    41,
+    124
+  ],
+  [
+    104,
+    97,
+    114,
+    112,
+    111,
+    111,
+    110,
+    115
+  ],
+  [
+    32,
+    92,
+    41,
+    92,
+    41,
+    94,
+    40,
+    92,
+    91
+  ],
+  [
+    99,
+    117,
+    114,
+    108,
+    121
+  ],
+  [
+    108,
+    111,
+    111,
+    112
+  ],
+  [
+    115,
+    113,
+    117,
+    105,
+    103,
+    103,
+    108
+  ],
+  [
+    116,
+    104,
+    114,
+    101,
+    101
+  ],
+  [
+    115,
+    113,
+    117,
+    105,
+    103,
+    103,
+    108,
+    121
+  ]
+]

tokenizer.json

@@ -0,0 +1,5031 @@
+{
+  "version": "1.0",
+  "truncation": null,
+  "padding": null,
+  "added_tokens": [
+    {
+      "id": 0,
+      "content": "<pad>",
+      "single_word": false,
+      "lstrip": false,
+      "rstrip": false,
+      "normalized": false,
+      "special": true
+    },
+    {
+      "id": 1,
+      "content": "<s>",
+      "single_word": false,
+      "lstrip": false,
+      "rstrip": false,
+      "normalized": false,
+      "special": true
+    },
+    {
+      "id": 2,
+      "content": "</s>",
+      "single_word": false,
+      "lstrip": false,
+      "rstrip": false,
+      "normalized": false,
+      "special": true
+    },
+    {
+      "id": 3,
+      "content": "<unk>",
+      "single_word": false,
+      "lstrip": false,
+      "rstrip": false,
+      "normalized": false,
+      "special": true
+    },
+    {
+      "id": 4,
+      "content": "<mask>",
+      "single_word": false,
+      "lstrip": true,
+      "rstrip": false,
+      "normalized": false,
+      "special": true
+    }
+  ],
+  "normalizer": null,
+  "pre_tokenizer": {
+    "type": "ByteLevel",
+    "add_prefix_space": false,
+    "trim_offsets": true,
+    "use_regex": true
+  },
+  "post_processor": null,
+  "decoder": {
+    "type": "ByteLevel",
+    "add_prefix_space": true,
+    "trim_offsets": true,
+    "use_regex": true
+  },
+  "model": {
+    "type": "BPE",
+    "dropout": null,
+    "unk_token": null,
+    "continuing_subword_prefix": null,
+    "end_of_word_suffix": null,
+    "fuse_unk": false,
+    "byte_fallback": false,
+    "ignore_merges": false,
+    "vocab": {
+      "<pad>": 0,
+      "<s>": 1,
+      "</s>": 2,
+      "<unk>": 3,
+      "<mask>": 4,
+      "!": 5,
+      "\"": 6,
+      "#": 7,
+      "$": 8,
+      "%": 9,
+      "&": 10,
+      "'": 11,
+      "(": 12,
+      ")": 13,
+      "*": 14,
+      "+": 15,
+      ",": 16,
+      "-": 17,
+      ".": 18,
+      "/": 19,
+      "0": 20,
+      "1": 21,
+      "2": 22,
+      "3": 23,
+      "4": 24,
+      "5": 25,
+      "6": 26,
+      "7": 27,
+      "8": 28,
+      "9": 29,
+      ":": 30,
+      ";": 31,
+      "<": 32,
+      "=": 33,
+      ">": 34,
+      "?": 35,
+      "@": 36,
+      "A": 37,
+      "B": 38,
+      "C": 39,
+      "D": 40,
+      "E": 41,
+      "F": 42,
+      "G": 43,
+      "H": 44,
+      "I": 45,
+      "J": 46,
+      "K": 47,
+      "L": 48,
+      "M": 49,
+      "N": 50,
+      "O": 51,
+      "P": 52,
+      "Q": 53,
+      "R": 54,
+      "S": 55,
+      "T": 56,
+      "U": 57,
+      "V": 58,
+      "W": 59,
+      "X": 60,
+      "Y": 61,
+      "Z": 62,
+      "[": 63,
+      "\\": 64,
+      "]": 65,
+      "^": 66,
+      "_": 67,
+      "`": 68,
+      "a": 69,
+      "b": 70,
+      "c": 71,
+      "d": 72,
+      "e": 73,
+      "f": 74,
+      "g": 75,
+      "h": 76,
+      "i": 77,
+      "j": 78,
+      "k": 79,
+      "l": 80,
+      "m": 81,
+      "n": 82,
+      "o": 83,
+      "p": 84,
+      "q": 85,
+      "r": 86,
+      "s": 87,
+      "t": 88,
+      "u": 89,
+      "v": 90,
+      "w": 91,
+      "x": 92,
+      "y": 93,
+      "z": 94,
+      "{": 95,
+      "|": 96,
+      "}": 97,
+      "~": 98,
+      "¡": 99,
+      "¢": 100,
+      "£": 101,
+      "¤": 102,
+      "¥": 103,
+      "¦": 104,
+      "§": 105,
+      "¨": 106,
+      "©": 107,
+      "ª": 108,
+      "«": 109,
+      "¬": 110,
+      "®": 111,
+      "¯": 112,
+      "°": 113,
+      "±": 114,
+      "²": 115,
+      "³": 116,
+      "´": 117,
+      "µ": 118,
+      "¶": 119,
+      "·": 120,
+      "¸": 121,
+      "¹": 122,
+      "º": 123,
+      "»": 124,
+      "¼": 125,
+      "½": 126,
+      "¾": 127,
+      "¿": 128,
+      "À": 129,
+      "Á": 130,
+      "Â": 131,
+      "Ã": 132,
+      "Ä": 133,
+      "Å": 134,
+      "Æ": 135,
+      "Ç": 136,
+      "È": 137,
+      "É": 138,
+      "Ê": 139,
+      "Ë": 140,
+      "Ì": 141,
+      "Í": 142,
+      "Î": 143,
+      "Ï": 144,
+      "Ð": 145,
+      "Ñ": 146,
+      "Ò": 147,
+      "Ó": 148,
+      "Ô": 149,
+      "Õ": 150,
+      "Ö": 151,
+      "×": 152,
+      "Ø": 153,
+      "Ù": 154,
+      "Ú": 155,
+      "Û": 156,
+      "Ü": 157,
+      "Ý": 158,
+      "Þ": 159,
+      "ß": 160,
+      "à": 161,
+      "á": 162,
+      "â": 163,
+      "ã": 164,
+      "ä": 165,
+      "å": 166,
+      "æ": 167,
+      "ç": 168,
+      "è": 169,
+      "é": 170,
+      "ê": 171,
+      "ë": 172,
+      "ì": 173,
+      "í": 174,
+      "î": 175,
+      "ï": 176,
+      "ð": 177,
+      "ñ": 178,
+      "ò": 179,
+      "ó": 180,
+      "ô": 181,
+      "õ": 182,
+      "ö": 183,
+      "÷": 184,
+      "ø": 185,
+      "ù": 186,
+      "ú": 187,
+      "û": 188,
+      "ü": 189,
+      "ý": 190,
+      "þ": 191,
+      "ÿ": 192,
+      "Ā": 193,
+      "ā": 194,
+      "Ă": 195,
+      "ă": 196,
+      "Ą": 197,
+      "ą": 198,
+      "Ć": 199,
+      "ć": 200,
+      "Ĉ": 201,
+      "ĉ": 202,
+      "Ċ": 203,
+      "ċ": 204,
+      "Č": 205,
+      "č": 206,
+      "Ď": 207,
+      "ď": 208,
+      "Đ": 209,
+      "đ": 210,
+      "Ē": 211,
+      "ē": 212,
+      "Ĕ": 213,
+      "ĕ": 214,
+      "Ė": 215,
+      "ė": 216,
+      "Ę": 217,
+      "ę": 218,
+      "Ě": 219,
+      "ě": 220,
+      "Ĝ": 221,
+      "ĝ": 222,
+      "Ğ": 223,
+      "ğ": 224,
+      "Ġ": 225,
+      "ġ": 226,
+      "Ģ": 227,
+      "ģ": 228,
+      "Ĥ": 229,
+      "ĥ": 230,
+      "Ħ": 231,
+      "ħ": 232,
+      "Ĩ": 233,
+      "ĩ": 234,
+      "Ī": 235,
+      "ī": 236,
+      "Ĭ": 237,
+      "ĭ": 238,
+      "Į": 239,
+      "į": 240,
+      "İ": 241,
+      "ı": 242,
+      "IJ": 243,
+      "ij": 244,
+      "Ĵ": 245,
+      "ĵ": 246,
+      "Ķ": 247,
+      "ķ": 248,
+      "ĸ": 249,
+      "Ĺ": 250,
+      "ĺ": 251,
+      "Ļ": 252,
+      "ļ": 253,
+      "Ľ": 254,
+      "ľ": 255,
+      "Ŀ": 256,
+      "ŀ": 257,
+      "Ł": 258,
+      "ł": 259,
+      "Ń": 260,
+      "Ġ)": 261,
+      "Ġ(": 262,
+      "Ġ\\": 263,
+      "Ġ_": 264,
+      "Ġ^": 265,
+      "Ġ\\)": 266,
+      "Ġ\\(": 267,
+      "Ġ2": 268,
+      "ac": 269,
+      "Ġ1": 270,
+      "Ġ,": 271,
+      "Ġ=": 272,
+      "Ġp": 273,
+      "ig": 274,
+      "Ġs": 275,
+      "Ġ\\,": 276,
+      "al": 277,
+      "Ġ-": 278,
+      "Ġt": 279,
+      "Ġu": 280,
+      "Ġf": 281,
+      "ht": 282,
+      "rig": 283,
+      "right": 284,
+      "Ġ0": 285,
+      "Ġd": 286,
+      "pright": 287,
+      "Ġi": 288,
+      "Ġupright": 289,
+      "rac": 290,
+      "Ġ+": 291,
+      "Ġfrac": 292,
+      "Ġb": 293,
+      "Ġl": 294,
+      "Ġm": 295,
+      "ta": 296,
+      "Ġn": 297,
+      "no": 298,
+      "Ġc": 299,
+      "Ġx": 300,
+      "ld": 301,
+      "Ġz": 302,
+      "Ġe": 303,
+      "ak": 304,
+      "re": 305,
+      "Ġa": 306,
+      "bre": 307,
+      "pac": 308,
+      "nobre": 309,
+      "pace": 310,
+      "nobreak": 311,
+      "Ġspace": 312,
+      "me": 313,
+      "Ġ.": 314,
+      "old": 315,
+      "Ġk": 316,
+      "Ġr": 317,
+      "ro": 318,
+      "Ġlr": 319,
+      "ma": 320,
+      "ha": 321,
+      "Ġbold": 322,
+      "ws": 323,
+      "el": 324,
+      "Ġzws": 325,
+      "rt": 326,
+      "Ġal": 327,
+      "hi": 328,
+      "Ġo": 329,
+      "am": 330,
+      "eta": 331,
+      "Ġ3": 332,
+      "Ġ|": 333,
+      "Ġj": 334,
+      "Ġ#": 335,
+      "ime": 336,
+      "ron": 337,
+      "Ġg": 338,
+      "Ġdel": 339,
+      "Ġ\\/": 340,
+      "si": 341,
+      "art": 342,
+      "ial": 343,
+      "artial": 344,
+      "Ġpartial": 345,
+      "Ġ4": 346,
+      "ot": 347,
+      "Ġmu": 348,
+      "pha": 349,
+      "alt": 350,
+      "ga": 351,
+      "mega": 352,
+      "Ġalpha": 353,
+      "Ġ\\]": 354,
+      "Ġdot": 355,
+      "ĠD": 356,
+      "ĠA": 357,
+      "Ġq": 358,
+      "ĠT": 359,
+      "ĠP": 360,
+      "ne": 361,
+      "Ġ\\[": 362,
+      "rime": 363,
+      "Ġprime": 364,
+      "Ġy": 365,
+      "ĠN": 366,
+      "ĠR": 367,
+      "ĠL": 368,
+      "amma": 369,
+      "hat": 370,
+      "ild": 371,
+      "ilde": 372,
+      "he": 373,
+      "vron": 374,
+      "hevron": 375,
+      "heta": 376,
+      "Ġphi": 377,
+      "da": 378,
+      "bda": 379,
+      "ambda": 380,
+      "ĠS": 381,
+      "ĠB": 382,
+      "igma": 383,
+      "Ġhat": 384,
+      "Ġpi": 385,
+      "Ġchevron": 386,
+      "Ġv": 387,
+      "im": 388,
+      "um": 389,
+      "ign": 390,
+      "none": 391,
+      "Ġalign": 392,
+      "Ġdelim": 393,
+      "Ġin": 394,
+      "Ġomega": 395,
+      "Ġtheta": 396,
+      "Ġtilde": 397,
+      "on": 398,
+      "psi": 399,
+      "ĠG": 400,
+      "ĠE": 401,
+      "Ġcal": 402,
+      "Ġsum": 403,
+      "er": 404,
+      "Ġnu": 405,
+      "lon": 406,
+      "ho": 407,
+      "Ġ;": 408,
+      "Ġ5": 409,
+      "psilon": 410,
+      "qrt": 411,
+      "us": 412,
+      "ĠC": 413,
+      "ĠM": 414,
+      "Ġsigma": 415,
+      "Ġbeta": 416,
+      "elta": 417,
+      "Ġh": 418,
+      "Ġlambda": 419,
+      "Ġsqrt": 420,
+      "in": 421,
+      "ĠF": 422,
+      "ĠH": 423,
+      "Ġrho": 424,
+      "Ġepsilon": 425,
+      "Ġdelta": 426,
+      "ral": 427,
+      "Ġgamma": 428,
+      "Ġta": 429,
+      "acron": 430,
+      "ĠV": 431,
+      "Ġtau": 432,
+      "Ġw": 433,
+      "eg": 434,
+      "teg": 435,
+      "tegral": 436,
+      "ĠI": 437,
+      "ĠX": 438,
+      "Ġthi": 439,
+      "Ġ6": 440,
+      "Ġmacron": 441,
+      "ĠO": 442,
+      "Ġintegral": 443,
+      "rro": 444,
+      "rrow": 445,
+      "imes": 446,
+      "Ġtimes": 447,
+      "Ġ<": 448,
+      "Ġpl": 449,
+      "pp": 450,
+      "Ġarrow": 451,
+      "Ġpsi": 452,
+      "ĠDelta": 453,
+      "le": 454,
+      "Ġdots": 455,
+      "mat": 456,
+      "Ġ8": 457,
+      "at": 458,
+      "Ġmat": 459,
+      "Ġeta": 460,
+      "ĠQ": 461,
+      "ĠU": 462,
+      "Ġxi": 463,
+      "ĠK": 464,
+      "Ġ\\}": 465,
+      "Ġ\\{": 466,
+      "frac": 467,
+      "os": 468,
+      "ck": 469,
+      "inus": 470,
+      "ĠJ": 471,
+      "Ġplus": 472,
+      "Ġoo": 473,
+      "Ġ7": 474,
+      "ine": 475,
+      "line": 476,
+      "erline": 477,
+      "Ġthin": 478,
+      "minus": 479,
+      "ft": 480,
+      "left": 481,
+      "ĠGamma": 482,
+      "la": 483,
+      "Ġ>": 484,
+      "ua": 485,
+      "uad": 486,
+      "Ġquad": 487,
+      "Ġ9": 488,
+      "app": 489,
+      "bold": 490,
+      "appa": 491,
+      "ĠW": 492,
+      "ĠOmega": 493,
+      "ab": 494,
+      "abla": 495,
+      "\\(": 496,
+      "verline": 497,
+      "Ġcos": 498,
+      "Ġkappa": 499,
+      "Ġsin": 500,
+      "Ġ->": 501,
+      "ĠZ": 502,
+      "Ġ\\;": 503,
+      "iv": 504,
+      "Ġnabla": 505,
+      "cal": 506,
+      "Ġoverline": 507,
+      "Ġbb": 508,
+      "an": 509,
+      "lr": 510,
+      "ll": 511,
+      "Ġell": 512,
+      "Ġ<=": 513,
+      "de": 514,
+      "gg": 515,
+      "gger": 516,
+      "ide": 517,
+      "ĠPhi": 518,
+      "Ġda": 519,
+      "Ġdagger": 520,
+      "Ġthick": 521,
+      "Ġchi": 522,
+      "ĠY": 523,
+      "qu": 524,
+      "quiv": 525,
+      "Ġ:": 526,
+      "rox": 527,
+      "Ġequiv": 528,
+      "tilde": 529,
+      "Ġ||": 530,
+      "Ġapp": 531,
+      "Ġapprox": 532,
+      "upright": 533,
+      "ĠLambda": 534,
+      "xp": 535,
+      "Ġzeta": 536,
+      "Ġ!": 537,
+      "ĠPsi": 538,
+      "Ġexp": 539,
+      "Ġwide": 540,
+      "Delta": 541,
+      "ter": 542,
+      "Ġplan": 543,
+      "Ġplanck": 544,
+      "Ġln": 545,
+      "nd": 546,
+      "ce": 547,
+      "nter": 548,
+      "center": 549,
+      "ub": 550,
+      "Ġpro": 551,
+      "do": 552,
+      "delta": 553,
+      "chevron": 554,
+      "Ġ>=": 555,
+      "og": 556,
+      "ĠSigma": 557,
+      "Ġlog": 558,
+      "st": 559,
+      "phi": 560,
+      "erp": 561,
+      "Ġperp": 562,
+      "\\[": 563,
+      "uble": 564,
+      "double": 565,
+      "eq": 566,
+      "Ġop": 567,
+      "sigma": 568,
+      "uc": 569,
+      "duc": 570,
+      "duct": 571,
+      "alpha": 572,
+      "rho": 573,
+      "rall": 574,
+      "Ġand": 575,
+      "Ġco": 576,
+      "\\{": 577,
+      "Ġast": 578,
+      "sum": 579,
+      "omega": 580,
+      "mp": 581,
+      "epsilon": 582,
+      "Ġproduct": 583,
+      "ose": 584,
+      "Ġcomp": 585,
+      "Ġcompose": 586,
+      "lambda": 587,
+      "ĠPi": 588,
+      "Ġdiv": 589,
+      "Ġ\"": 590,
+      "integral": 591,
+      "rak": 592,
+      "ĠTheta": 593,
+      "partial": 594,
+      "tar": 595,
+      "macron": 596,
+      "Ġ!=": 597,
+      "Ġstar": 598,
+      "gamma": 599,
+      "ides": 600,
+      "Ġ_(": 601,
+      "Ġdivides": 602,
+      "Ġlt": 603,
+      "dot": 604,
+      "tau": 605,
+      "mu": 606,
+      "Ġfrak": 607,
+      "Ġ\\*": 608,
+      "op": 609,
+      "Gamma": 610,
+      "arall": 611,
+      "arallel": 612,
+      "Ġparallel": 613,
+      "zws": 614,
+      "beta": 615,
+      "nderline": 616,
+      "ans": 617,
+      "Ġsans": 618,
+      "->": 619,
+      "theta": 620,
+      "arrow": 621,
+      "Ġprop": 622,
+      "Ġ'": 623,
+      "Omega": 624,
+      "Ġâ": 625,
+      "Ġunderline": 626,
+      "et": 627,
+      "sqrt": 628,
+      "overline": 629,
+      "chi": 630,
+      "lus": 631,
+      "plus": 632,
+      "Phi": 633,
+      "Ġ^(": 634,
+      "xi": 635,
+      "nabla": 636,
+      "set": 637,
+      "Ġsinh": 638,
+      "bb": 639,
+      "ĠâĮ": 640,
+      "Ġminus": 641,
+      "Ġgt": 642,
+      "Ġtan": 643,
+      "kappa": 644,
+      "nu": 645,
+      "Ġcosh": 646,
+      "ubset": 647,
+      "ion": 648,
+      "Ġsubset": 649,
+      "ed": 650,
+      "nion": 651,
+      "Psi": 652,
+      "Ġunion": 653,
+      "ino": 654,
+      "inom": 655,
+      "orall": 656,
+      "pi": 657,
+      "Ġ<-": 658,
+      "Ġinter": 659,
+      "it": 660,
+      "if": 661,
+      "aron": 662,
+      "Ġ|->": 663,
+      "zeta": 664,
+      "Ġbinom": 665,
+      "wn": 666,
+      "Ġtop": 667,
+      "down": 668,
+      "and": 669,
+      "ic": 670,
+      "alic": 671,
+      "Ġ)|": 672,
+      "Lambda": 673,
+      "sla": 674,
+      "ked": 675,
+      "tan": 676,
+      "roked": 677,
+      "stroked": 678,
+      "ri": 679,
+      "con": 680,
+      "cont": 681,
+      "gle": 682,
+      "Ġmo": 683,
+      "sin": 684,
+      "Ġcaron": 685,
+      "Ġforall": 686,
+      "ĠXi": 687,
+      "ota": 688,
+      "Ġar": 689,
+      "big": 690,
+      "or": 691,
+      "talic": 692,
+      "Ġitalic": 693,
+      "Ġ)\\": 694,
+      "Ġ%": 695,
+      "Sigma": 696,
+      "angle": 697,
+      "Pi": 698,
+      "Ġ))": 699,
+      "riangle": 700,
+      "ell": 701,
+      "Ġiota": 702,
+      "equiv": 703,
+      "Ġcot": 704,
+      "ss": 705,
+      "less": 706,
+      "Ġbot": 707,
+      "Ġdotless": 708,
+      "||": 709,
+      "ut": 710,
+      "Ġor": 711,
+      "Ġ<->": 712,
+      "Ġarc": 713,
+      "^(": 714,
+      "for": 715,
+      "nt": 716,
+      "Ġ-->": 717,
+      "Ġtriangle": 718,
+      "cos": 719,
+      "Ġnot": 720,
+      "sh": 721,
+      "Ġmono": 722,
+      "slant": 723,
+      "hout": 724,
+      "ithout": 725,
+      "Ġwithout": 726,
+      "lle": 727,
+      "frak": 728,
+      "Theta": 729,
+      "ulle": 730,
+      "ullet": 731,
+      "Ġbullet": 732,
+      "Ġlim": 733,
+      "ack": 734,
+      "Ġarctan": 735,
+      "pro": 736,
+      "exp": 737,
+      "rev": 738,
+      "Ġ=>": 739,
+      "ln": 740,
+      "ĠâĮĭ": 741,
+      "Ġ)\\)": 742,
+      "Ġmed": 743,
+      "Ġ)\\(": 744,
+      "ĠâĮĬ": 745,
+      "approx": 746,
+      "Ġ)^(": 747,
+      "product": 748,
+      "log": 749,
+      "=>": 750,
+      "_(": 751,
+      "ĠUpsilon": 752,
+      "its": 753,
+      "slash": 754,
+      "ackslash": 755,
+      "Ġbackslash": 756,
+      "ĠRe": 757,
+      "ket": 758,
+      "racket": 759,
+      "ĠâĮī": 760,
+      "not": 761,
+      "Ġbrev": 762,
+      "Ġbreve": 763,
+      "Ġdet": 764,
+      "Ġ\\\"": 765,
+      "Ġcolon": 766,
+      "forall": 767,
+      "pla": 768,
+      "times": 769,
+      "Ġ)\\,": 770,
+      "Ġlimits": 771,
+      "ng": 772,
+      "Ġ)_(": 773,
+      "hing": 774,
+      "Ġ\\_": 775,
+      "ec": 776,
+      "oot": 777,
+      "Ġroot": 778,
+      "ĠâĮĪ": 779,
+      "is": 780,
+      "Ġnothing": 781,
+      "Ġupsilon": 782,
+      "Ġha": 783,
+      "Ġmod": 784,
+      "nck": 785,
+      "Ġ)=": 786,
+      "Ġbracket": 787,
+      "planck": 788,
+      "Ġ==>": 789,
+      "sts": 790,
+      "ĠâĬ": 791,
+      "ĠâĻ": 792,
+      "xists": 793,
+      "mal": 794,
+      "smal": 795,
+      "small": 796,
+      "underline": 797,
+      "Ġsec": 798,
+      "\\,": 799,
+      "dots": 800,
+      "rw": 801,
+      "herw": 802,
+      "long": 803,
+      "ise": 804,
+      "herwise": 805,
+      "otherwise": 806,
+      "Ġcoth": 807,
+      "up": 808,
+      "ar": 809,
+      "Ħĺ": 810,
+      "Ġhash": 811,
+      "upset": 812,
+      "whe": 813,
+      "Ġeq": 814,
+      "ĠâĬº": 815,
+      "sc": 816,
+      "Ġ),": 817,
+      "ĠIm": 818,
+      "binom": 819,
+      "Ġ\\)|": 820,
+      "Ġsupset": 821,
+      "Ġarg": 822,
+      "caron": 823,
+      "where": 824,
+      "\\)": 825,
+      "Ġ<=>": 826,
+      "ĠâĦĺ": 827,
+      "Ġ)-": 828,
+      "rip": 829,
+      "ĠâĻ¯": 830,
+      "Ġ)+": 831,
+      "Ġ\\))": 832,
+      "Ġtack": 833,
+      "italic": 834,
+      "lim": 835,
+      "Ġexists": 836,
+      "Xi": 837,
+      "sq": 838,
+      "Ġarcsin": 839,
+      "cot": 840,
+      "gt": 841,
+      "div": 842,
+      "ep": 843,
+      "Ġinline": 844,
+      "eph": 845,
+      "triangle": 846,
+      "Ġdim": 847,
+      "divides": 848,
+      "<=": 849,
+      "lt": 850,
+      "ngle": 851,
+      "Ġ).": 852,
+      "Ġcsc": 853,
+      "Ġangle": 854,
+      "Ġâī": 855,
+      "Ġ\\)=": 856,
+      "prop": 857,
+      "bar": 858,
+      "iota": 859,
+      "rec": 860,
+      "Ġ^(-": 861,
+      "ĠâīIJ": 862,
+      "uare": 863,
+      "exists": 864,
+      "iam": 865,
+      "âĮ": 866,
+      "Ġaleph": 867,
+      "ond": 868,
+      "iamond": 869,
+      "trip": 870,
+      "triple": 871,
+      "Upsilon": 872,
+      "ok": 873,
+      "ve": 874,
+      "Ġprec": 875,
+      "Ġdiamond": 876,
+      "hook": 877,
+      "Ġ<==>": 878,
+      "Re": 879,
+      "po": 880,
+      "acut": 881,
+      "Ġ^(\\(": 882,
+      "arc": 883,
+      "square": 884,
+      "acute": 885,
+      "rpo": 886,
+      "dagger": 887,
+      "Ġ))|": 888,
+      "ĠâĻŃ": 889,
+      "rpoon": 890,
+      "Ġ\\@": 891,
+      "Ġ<-->": 892,
+      "bracket": 893,
+      "dim": 894,
+      "Ġacute": 895,
+      "oo": 896,
+      "Ġ\\)^(": 897,
+      "Ġker": 898,
+      "ucc": 899,
+      "Ġ))\\,": 900,
+      "Ġ)\\)^(": 901,
+      "Im": 902,
+      "det": 903,
+      "Ġ_(-": 904,
+      "Ġ)\\,|": 905,
+      "ript": 906,
+      "arctan": 907,
+      "mo": 908,
+      "prime": 909,
+      "sec": 910,
+      "tion": 911,
+      "Ġdeg": 912,
+      "neq": 913,
+      "\\*": 914,
+      "\\/": 915,
+      "lb": 916,
+      "Ġamp": 917,
+      "Ġ)\\))": 918,
+      "Ġ)\\)|": 919,
+      "Ġharpoon": 920,
+      "co": 921,
+      "Ġdis": 922,
+      "rtlb": 923,
+      "rrows": 924,
+      "Ġ'^(": 925,
+      "Ġ^('": 926,
+      "play": 927,
+      "mono": 928,
+      "Ġdisplay": 929,
+      "quad": 930,
+      "star": 931,
+      "union": 932,
+      "sinh": 933,
+      "Ġ)))": 934,
+      "cosh": 935,
+      "âĮĪ": 936,
+      "\\*)": 937,
+      "Ġharpoons": 938,
+      "')": 939,
+      ">=": 940,
+      "rl": 941,
+      "upsilon": 942,
+      "Ġsucc": 943,
+      "breve": 944,
+      "hash": 945,
+      "els": 946,
+      "Ġ))'": 947,
+      "Ġsection": 948,
+      "(\\(": 949,
+      "cro": 950,
+      "lcro": 951,
+      "Ġssc": 952,
+      "root": 953,
+      "inter": 954,
+      "Ġ^('')": 955,
+      "lcrow": 956,
+      "Ġsscript": 957,
+      "csc": 958,
+      "space": 959,
+      "Ġ\\)+": 960,
+      "Ġarrows": 961,
+      "Ġpilcrow": 962,
+      "dotless": 963,
+      "Ġ'\\,": 964,
+      "Ġ)).": 965,
+      "ĠâĬ©": 966,
+      "deg": 967,
+      "âĦĺ": 968,
+      "Ġ\\)-": 969,
+      "Ġ\\)\\)": 970,
+      "inline": 971,
+      "Ġ'\\)": 972,
+      "Ġ))=": 973,
+      "Ġ)\\).": 974,
+      "Ġ)\\)=": 975,
+      "Ġmodels": 976,
+      "Ġ),|": 977,
+      "limits": 978,
+      "âĮĬ": 979,
+      "âī": 980,
+      "Ġ)'": 981,
+      "Ġ)>": 982,
+      "Ġ)\\[": 983,
+      "aleph": 984,
+      "Ġ''": 985,
+      "Ġ<--": 986,
+      "Ġ))_(": 987,
+      "nothing": 988,
+      "Ġ))'\\,": 989,
+      "IF": 990,
+      "ker": 991,
+      "lve": 992,
+      "olve": 993,
+      "subset": 994,
+      "volve": 995,
+      "âĪ": 996,
+      "âĬ": 997,
+      "Ġ\\,|": 998,
+      "ment": 999,
+      "lement": 1000,
+      "Ġ^(\\*)": 1001,
+      "Ġ))\\)": 1002,
+      "when": 1003,
+      "comp": 1004,
+      "âĪļ": 1005,
+      "(|": 1006,
+      "\\;": 1007,
+      "\\]": 1008,
+      "ast": 1009,
+      "cript": 1010,
+      "prec": 1011,
+      "quare": 1012,
+      "sans": 1013,
+      "supset": 1014,
+      "succ": 1015,
+      "wide": 1016,
+      "Ġ\\âĪļ": 1017,
+      "Ġ\\),": 1018,
+      "Ġscript": 1019,
+      "Ġsquare": 1020,
+      "Ġmin": 1021,
+      "Ġcon": 1022,
+      "harpoon": 1023,
+      "\\(<": 1024,
+      "Ġ_(+": 1025,
+      "Ġ)\\]": 1026,
+      "Ġ)^(\\(": 1027,
+      "Ġ\\))=": 1028,
+      "Ġ\\))|": 1029,
+      "Ġ\\))\\(": 1030,
+      "Ġ)))\\(<": 1031,
+      "Ġ))_(-": 1032,
+      "Ġconvolve": 1033,
+      "ad": 1034,
+      "fi": 1035,
+      "il": 1036,
+      "ohe": 1037,
+      "rk": 1038,
+      "tw": 1039,
+      "tack": 1040,
+      "ªħ": 1041,
+      "Ġ\\).": 1042,
+      "tail": 1043,
+      "mark": 1044,
+      "heck": 1045,
+      "eth": 1046,
+      "Ġ^(+": 1047,
+      "Ġ)||": 1048,
+      "lled": 1049,
+      "Ġ)^(-": 1050,
+      "Ġ),\\(": 1051,
+      "arcsin": 1052,
+      "filled": 1053,
+      "ohead": 1054,
+      "twohead": 1055,
+      "heckmark": 1056,
+      "(-": 1057,
+      "ave": 1058,
+      "arrows": 1059,
+      "diamond": 1060,
+      "parallel": 1061,
+      "tri": 1062,
+      "âª": 1063,
+      "âĦ": 1064,
+      "Ġ?": 1065,
+      "ĭĪ": 1066,
+      "Ġ\\)\\(": 1067,
+      "Ġ\\)\\,": 1068,
+      "Ġ\\)\\]": 1069,
+      "Ġ\\,-": 1070,
+      "Ġcheckmark": 1071,
+      "ĠChi": 1072,
+      "Ġcomplement": 1073,
+      "Ġ'|": 1074,
+      "Ġ'\\;": 1075,
+      "Ġâªħ": 1076,
+      "Ġ))\\(": 1077,
+      "Ġ))^(": 1078,
+      "Ġ)^(\\*)": 1079,
+      "ĠâĻ®": 1080,
+      "arg": 1081,
+      "coth": 1082,
+      "section": 1083,
+      "Ġ)\\))\\,": 1084,
+      "Ġ^('')+": 1085,
+      "Ġ'\\)=": 1086,
+      "Ġ'\\)^(": 1087,
+      "compose": 1088,
+      "!=": 1089,
+      ")\\(": 1090,
+      "<=>": 1091,
+      "br": 1092,
+      "bullet": 1093,
+      "cw": 1094,
+      "cle": 1095,
+      "fo": 1096,
+      "hal": 1097,
+      "ir": 1098,
+      "rave": 1099,
+      "tr": 1100,
+      "uit": 1101,
+      "âĻ": 1102,
+      "Ġ,|": 1103,
+      "Ġ,\\(": 1104,
+      "Ġbeth": 1105,
+      "Ġlg": 1106,
+      "reat": 1107,
+      "refo": 1108,
+      "Ġgrave": 1109,
+      "Ġ\\]_(": 1110,
+      "herefo": 1111,
+      "Ġ'\\(": 1112,
+      "ĠâĭĪ": 1113,
+      "ĠâĮ£": 1114,
+      "Ġ)\\}": 1115,
+      "Ġ))-": 1116,
+      "Ġ)\\)-": 1117,
+      "Ġ)\\)\\(": 1118,
+      "Ġ)\\)\\,": 1119,
+      "\\)|": 1120,
+      "Ġ\\))\\,": 1121,
+      "Ġ\\)\\)^(": 1122,
+      "complement": 1123,
+      "âĦ¸": 1124,
+      "Ġ)^(\\*)\\)": 1125,
+      "half": 1126,
+      "ircle": 1127,
+      "reath": 1128,
+      "herefore": 1129,
+      ").": 1130,
+      ",|": 1131,
+      "<-": 1132,
+      "==>": 1133,
+      "Nu": 1134,
+      "\\_": 1135,
+      "ax": 1136,
+      "ade": 1137,
+      "bl": 1138,
+      "beth": 1139,
+      "cu": 1140,
+      "circle": 1141,
+      "gl": 1142,
+      "hre": 1143,
+      "lo": 1144,
+      "ntilde": 1145,
+      "napprox": 1146,
+      "pade": 1147,
+      "squ": 1148,
+      "suit": 1149,
+      "spade": 1150,
+      "tl": 1151,
+      "thre": 1152,
+      "und": 1153,
+      "yright": 1154,
+      "©ŀ": 1155,
+      "«ħ": 1156,
+      "ÃĨ": 1157,
+      "âĨ": 1158,
+      "ĠÃĨ": 1159,
+      "ķ²": 1160,
+      "iggl": 1161,
+      "Ġtherefore": 1162,
+      "Ġmax": 1163,
+      "Ġ\\]|": 1164,
+      "nequiv": 1165,
+      "hom": 1166,
+      "inv": 1167,
+      "Ġwreath": 1168,
+      "Ġdash": 1169,
+      "Ġ\\*\\,": 1170,
+      "Ġâķ²": 1171,
+      "Ġ)\\/": 1172,
+      "ĠâĬĺ": 1173,
+      "Ġ),||": 1174,
+      "Ġ\\))\\)|": 1175,
+      "Ġâīį": 1176,
+      "Ġ^(\\(-": 1177,
+      "Ġ)\\)^(-": 1178,
+      "mod": 1179,
+      "Ġ)\\))\\(": 1180,
+      "Ġ)))|": 1181,
+      "rly": 1182,
+      "else": 1183,
+      "Ġ^('')\\(": 1184,
+      "Ġ\\)-->": 1185,
+      "Ġ\\)\\)=": 1186,
+      "Ġ)'-": 1187,
+      "Ġ''=": 1188,
+      "Ġ''\\(": 1189,
+      "Ġ''\\[": 1190,
+      "Ġ))\\)|": 1191,
+      "harpoons": 1192,
+      "Ġ\\)\\)^(\\[": 1193,
+      "curly": 1194,
+      "loop": 1195,
+      "squiggl": 1196,
+      "three": 1197,
+      "squiggly": 1198
+    },
+    "merges": [
+      [
+        "Ġ",
+        ")"
+      ],
+      [
+        "Ġ",
+        "("
+      ],
+      [
+        "Ġ",
+        "\\"
+      ],
+      [
+        "Ġ",
+        "_"
+      ],
+      [
+        "Ġ",
+        "^"
+      ],
+      [
+        "Ġ\\",
+        ")"
+      ],
+      [
+        "Ġ\\",
+        "("
+      ],
+      [
+        "Ġ",
+        "2"
+      ],
+      [
+        "a",
+        "c"
+      ],
+      [
+        "Ġ",
+        "1"
+      ],
+      [
+        "Ġ",
+        ","
+      ],
+      [
+        "Ġ",
+        "="
+      ],
+      [
+        "Ġ",
+        "p"
+      ],
+      [
+        "i",
+        "g"
+      ],
+      [
+        "Ġ",
+        "s"
+      ],
+      [
+        "Ġ\\",
+        ","
+      ],
+      [
+        "a",
+        "l"
+      ],
+      [
+        "Ġ",
+        "-"
+      ],
+      [
+        "Ġ",
+        "t"
+      ],
+      [
+        "Ġ",
+        "u"
+      ],
+      [
+        "Ġ",
+        "f"
+      ],
+      [
+        "h",
+        "t"
+      ],
+      [
+        "r",
+        "ig"
+      ],
+      [
+        "rig",
+        "ht"
+      ],
+      [
+        "Ġ",
+        "0"
+      ],
+      [
+        "Ġ",
+        "d"
+      ],
+      [
+        "p",
+        "right"
+      ],
+      [
+        "Ġ",
+        "i"
+      ],
+      [
+        "Ġu",
+        "pright"
+      ],
+      [
+        "r",
+        "ac"
+      ],
+      [
+        "Ġ",
+        "+"
+      ],
+      [
+        "Ġf",
+        "rac"
+      ],
+      [
+        "Ġ",
+        "b"
+      ],
+      [
+        "Ġ",
+        "l"
+      ],
+      [
+        "Ġ",
+        "m"
+      ],
+      [
+        "t",
+        "a"
+      ],
+      [
+        "Ġ",
+        "n"
+      ],
+      [
+        "n",
+        "o"
+      ],
+      [
+        "Ġ",
+        "c"
+      ],
+      [
+        "Ġ",
+        "x"
+      ],
+      [
+        "l",
+        "d"
+      ],
+      [
+        "Ġ",
+        "z"
+      ],
+      [
+        "Ġ",
+        "e"
+      ],
+      [
+        "a",
+        "k"
+      ],
+      [
+        "r",
+        "e"
+      ],
+      [
+        "Ġ",
+        "a"
+      ],
+      [
+        "b",
+        "re"
+      ],
+      [
+        "p",
+        "ac"
+      ],
+      [
+        "no",
+        "bre"
+      ],
+      [
+        "pac",
+        "e"
+      ],
+      [
+        "nobre",
+        "ak"
+      ],
+      [
+        "Ġs",
+        "pace"
+      ],
+      [
+        "m",
+        "e"
+      ],
+      [
+        "Ġ",
+        "."
+      ],
+      [
+        "o",
+        "ld"
+      ],
+      [
+        "Ġ",
+        "k"
+      ],
+      [
+        "Ġ",
+        "r"
+      ],
+      [
+        "r",
+        "o"
+      ],
+      [
+        "Ġl",
+        "r"
+      ],
+      [
+        "m",
+        "a"
+      ],
+      [
+        "h",
+        "a"
+      ],
+      [
+        "Ġb",
+        "old"
+      ],
+      [
+        "w",
+        "s"
+      ],
+      [
+        "e",
+        "l"
+      ],
+      [
+        "Ġz",
+        "ws"
+      ],
+      [
+        "r",
+        "t"
+      ],
+      [
+        "Ġ",
+        "al"
+      ],
+      [
+        "h",
+        "i"
+      ],
+      [
+        "Ġ",
+        "o"
+      ],
+      [
+        "a",
+        "m"
+      ],
+      [
+        "e",
+        "ta"
+      ],
+      [
+        "Ġ",
+        "3"
+      ],
+      [
+        "Ġ",
+        "|"
+      ],
+      [
+        "Ġ",
+        "j"
+      ],
+      [
+        "Ġ",
+        "#"
+      ],
+      [
+        "i",
+        "me"
+      ],
+      [
+        "ro",
+        "n"
+      ],
+      [
+        "Ġ",
+        "g"
+      ],
+      [
+        "Ġd",
+        "el"
+      ],
+      [
+        "Ġ\\",
+        "/"
+      ],
+      [
+        "s",
+        "i"
+      ],
+      [
+        "a",
+        "rt"
+      ],
+      [
+        "i",
+        "al"
+      ],
+      [
+        "art",
+        "ial"
+      ],
+      [
+        "Ġp",
+        "artial"
+      ],
+      [
+        "Ġ",
+        "4"
+      ],
+      [
+        "o",
+        "t"
+      ],
+      [
+        "Ġm",
+        "u"
+      ],
+      [
+        "p",
+        "ha"
+      ],
+      [
+        "al",
+        "t"
+      ],
+      [
+        "g",
+        "a"
+      ],
+      [
+        "me",
+        "ga"
+      ],
+      [
+        "Ġal",
+        "pha"
+      ],
+      [
+        "Ġ\\",
+        "]"
+      ],
+      [
+        "Ġd",
+        "ot"
+      ],
+      [
+        "Ġ",
+        "D"
+      ],
+      [
+        "Ġ",
+        "A"
+      ],
+      [
+        "Ġ",
+        "q"
+      ],
+      [
+        "Ġ",
+        "T"
+      ],
+      [
+        "Ġ",
+        "P"
+      ],
+      [
+        "n",
+        "e"
+      ],
+      [
+        "Ġ\\",
+        "["
+      ],
+      [
+        "r",
+        "ime"
+      ],
+      [
+        "Ġp",
+        "rime"
+      ],
+      [
+        "Ġ",
+        "y"
+      ],
+      [
+        "Ġ",
+        "N"
+      ],
+      [
+        "Ġ",
+        "R"
+      ],
+      [
+        "Ġ",
+        "L"
+      ],
+      [
+        "am",
+        "ma"
+      ],
+      [
+        "ha",
+        "t"
+      ],
+      [
+        "i",
+        "ld"
+      ],
+      [
+        "ild",
+        "e"
+      ],
+      [
+        "h",
+        "e"
+      ],
+      [
+        "v",
+        "ron"
+      ],
+      [
+        "he",
+        "vron"
+      ],
+      [
+        "h",
+        "eta"
+      ],
+      [
+        "Ġp",
+        "hi"
+      ],
+      [
+        "d",
+        "a"
+      ],
+      [
+        "b",
+        "da"
+      ],
+      [
+        "am",
+        "bda"
+      ],
+      [
+        "Ġ",
+        "S"
+      ],
+      [
+        "Ġ",
+        "B"
+      ],
+      [
+        "ig",
+        "ma"
+      ],
+      [
+        "Ġ",
+        "hat"
+      ],
+      [
+        "Ġp",
+        "i"
+      ],
+      [
+        "Ġc",
+        "hevron"
+      ],
+      [
+        "Ġ",
+        "v"
+      ],
+      [
+        "i",
+        "m"
+      ],
+      [
+        "u",
+        "m"
+      ],
+      [
+        "ig",
+        "n"
+      ],
+      [
+        "no",
+        "ne"
+      ],
+      [
+        "Ġal",
+        "ign"
+      ],
+      [
+        "Ġdel",
+        "im"
+      ],
+      [
+        "Ġi",
+        "n"
+      ],
+      [
+        "Ġo",
+        "mega"
+      ],
+      [
+        "Ġt",
+        "heta"
+      ],
+      [
+        "Ġt",
+        "ilde"
+      ],
+      [
+        "o",
+        "n"
+      ],
+      [
+        "p",
+        "si"
+      ],
+      [
+        "Ġ",
+        "G"
+      ],
+      [
+        "Ġ",
+        "E"
+      ],
+      [
+        "Ġc",
+        "al"
+      ],
+      [
+        "Ġs",
+        "um"
+      ],
+      [
+        "e",
+        "r"
+      ],
+      [
+        "Ġn",
+        "u"
+      ],
+      [
+        "l",
+        "on"
+      ],
+      [
+        "h",
+        "o"
+      ],
+      [
+        "Ġ",
+        ";"
+      ],
+      [
+        "Ġ",
+        "5"
+      ],
+      [
+        "psi",
+        "lon"
+      ],
+      [
+        "q",
+        "rt"
+      ],
+      [
+        "u",
+        "s"
+      ],
+      [
+        "Ġ",
+        "C"
+      ],
+      [
+        "Ġ",
+        "M"
+      ],
+      [
+        "Ġs",
+        "igma"
+      ],
+      [
+        "Ġb",
+        "eta"
+      ],
+      [
+        "el",
+        "ta"
+      ],
+      [
+        "Ġ",
+        "h"
+      ],
+      [
+        "Ġl",
+        "ambda"
+      ],
+      [
+        "Ġs",
+        "qrt"
+      ],
+      [
+        "i",
+        "n"
+      ],
+      [
+        "Ġ",
+        "F"
+      ],
+      [
+        "Ġ",
+        "H"
+      ],
+      [
+        "Ġr",
+        "ho"
+      ],
+      [
+        "Ġe",
+        "psilon"
+      ],
+      [
+        "Ġdel",
+        "ta"
+      ],
+      [
+        "r",
+        "al"
+      ],
+      [
+        "Ġg",
+        "amma"
+      ],
+      [
+        "Ġt",
+        "a"
+      ],
+      [
+        "ac",
+        "ron"
+      ],
+      [
+        "Ġ",
+        "V"
+      ],
+      [
+        "Ġta",
+        "u"
+      ],
+      [
+        "Ġ",
+        "w"
+      ],
+      [
+        "e",
+        "g"
+      ],
+      [
+        "t",
+        "eg"
+      ],
+      [
+        "teg",
+        "ral"
+      ],
+      [
+        "Ġ",
+        "I"
+      ],
+      [
+        "Ġ",
+        "X"
+      ],
+      [
+        "Ġt",
+        "hi"
+      ],
+      [
+        "Ġ",
+        "6"
+      ],
+      [
+        "Ġm",
+        "acron"
+      ],
+      [
+        "Ġ",
+        "O"
+      ],
+      [
+        "Ġin",
+        "tegral"
+      ],
+      [
+        "r",
+        "ro"
+      ],
+      [
+        "rro",
+        "w"
+      ],
+      [
+        "ime",
+        "s"
+      ],
+      [
+        "Ġt",
+        "imes"
+      ],
+      [
+        "Ġ",
+        "<"
+      ],
+      [
+        "Ġp",
+        "l"
+      ],
+      [
+        "p",
+        "p"
+      ],
+      [
+        "Ġa",
+        "rrow"
+      ],
+      [
+        "Ġp",
+        "si"
+      ],
+      [
+        "ĠD",
+        "elta"
+      ],
+      [
+        "l",
+        "e"
+      ],
+      [
+        "Ġdot",
+        "s"
+      ],
+      [
+        "ma",
+        "t"
+      ],
+      [
+        "Ġ",
+        "8"
+      ],
+      [
+        "a",
+        "t"
+      ],
+      [
+        "Ġm",
+        "at"
+      ],
+      [
+        "Ġe",
+        "ta"
+      ],
+      [
+        "Ġ",
+        "Q"
+      ],
+      [
+        "Ġ",
+        "U"
+      ],
+      [
+        "Ġx",
+        "i"
+      ],
+      [
+        "Ġ",
+        "K"
+      ],
+      [
+        "Ġ\\",
+        "}"
+      ],
+      [
+        "Ġ\\",
+        "{"
+      ],
+      [
+        "f",
+        "rac"
+      ],
+      [
+        "o",
+        "s"
+      ],
+      [
+        "c",
+        "k"
+      ],
+      [
+        "in",
+        "us"
+      ],
+      [
+        "Ġ",
+        "J"
+      ],
+      [
+        "��pl",
+        "us"
+      ],
+      [
+        "Ġo",
+        "o"
+      ],
+      [
+        "Ġ",
+        "7"
+      ],
+      [
+        "i",
+        "ne"
+      ],
+      [
+        "l",
+        "ine"
+      ],
+      [
+        "er",
+        "line"
+      ],
+      [
+        "Ġthi",
+        "n"
+      ],
+      [
+        "m",
+        "inus"
+      ],
+      [
+        "f",
+        "t"
+      ],
+      [
+        "le",
+        "ft"
+      ],
+      [
+        "ĠG",
+        "amma"
+      ],
+      [
+        "l",
+        "a"
+      ],
+      [
+        "Ġ",
+        ">"
+      ],
+      [
+        "u",
+        "a"
+      ],
+      [
+        "ua",
+        "d"
+      ],
+      [
+        "Ġq",
+        "uad"
+      ],
+      [
+        "Ġ",
+        "9"
+      ],
+      [
+        "a",
+        "pp"
+      ],
+      [
+        "b",
+        "old"
+      ],
+      [
+        "app",
+        "a"
+      ],
+      [
+        "Ġ",
+        "W"
+      ],
+      [
+        "ĠO",
+        "mega"
+      ],
+      [
+        "a",
+        "b"
+      ],
+      [
+        "ab",
+        "la"
+      ],
+      [
+        "\\",
+        "("
+      ],
+      [
+        "v",
+        "erline"
+      ],
+      [
+        "Ġc",
+        "os"
+      ],
+      [
+        "Ġk",
+        "appa"
+      ],
+      [
+        "Ġs",
+        "in"
+      ],
+      [
+        "Ġ-",
+        ">"
+      ],
+      [
+        "Ġ",
+        "Z"
+      ],
+      [
+        "Ġ\\",
+        ";"
+      ],
+      [
+        "i",
+        "v"
+      ],
+      [
+        "Ġn",
+        "abla"
+      ],
+      [
+        "c",
+        "al"
+      ],
+      [
+        "Ġo",
+        "verline"
+      ],
+      [
+        "Ġb",
+        "b"
+      ],
+      [
+        "a",
+        "n"
+      ],
+      [
+        "l",
+        "r"
+      ],
+      [
+        "l",
+        "l"
+      ],
+      [
+        "Ġe",
+        "ll"
+      ],
+      [
+        "Ġ<",
+        "="
+      ],
+      [
+        "d",
+        "e"
+      ],
+      [
+        "g",
+        "g"
+      ],
+      [
+        "gg",
+        "er"
+      ],
+      [
+        "i",
+        "de"
+      ],
+      [
+        "ĠP",
+        "hi"
+      ],
+      [
+        "Ġd",
+        "a"
+      ],
+      [
+        "Ġda",
+        "gger"
+      ],
+      [
+        "Ġthi",
+        "ck"
+      ],
+      [
+        "Ġc",
+        "hi"
+      ],
+      [
+        "Ġ",
+        "Y"
+      ],
+      [
+        "q",
+        "u"
+      ],
+      [
+        "qu",
+        "iv"
+      ],
+      [
+        "Ġ",
+        ":"
+      ],
+      [
+        "ro",
+        "x"
+      ],
+      [
+        "Ġe",
+        "quiv"
+      ],
+      [
+        "t",
+        "ilde"
+      ],
+      [
+        "Ġ|",
+        "|"
+      ],
+      [
+        "Ġa",
+        "pp"
+      ],
+      [
+        "Ġapp",
+        "rox"
+      ],
+      [
+        "u",
+        "pright"
+      ],
+      [
+        "ĠL",
+        "ambda"
+      ],
+      [
+        "x",
+        "p"
+      ],
+      [
+        "Ġz",
+        "eta"
+      ],
+      [
+        "Ġ",
+        "!"
+      ],
+      [
+        "ĠP",
+        "si"
+      ],
+      [
+        "Ġe",
+        "xp"
+      ],
+      [
+        "Ġw",
+        "ide"
+      ],
+      [
+        "D",
+        "elta"
+      ],
+      [
+        "t",
+        "er"
+      ],
+      [
+        "Ġpl",
+        "an"
+      ],
+      [
+        "Ġplan",
+        "ck"
+      ],
+      [
+        "Ġl",
+        "n"
+      ],
+      [
+        "n",
+        "d"
+      ],
+      [
+        "c",
+        "e"
+      ],
+      [
+        "n",
+        "ter"
+      ],
+      [
+        "ce",
+        "nter"
+      ],
+      [
+        "u",
+        "b"
+      ],
+      [
+        "Ġp",
+        "ro"
+      ],
+      [
+        "d",
+        "o"
+      ],
+      [
+        "d",
+        "elta"
+      ],
+      [
+        "c",
+        "hevron"
+      ],
+      [
+        "Ġ>",
+        "="
+      ],
+      [
+        "o",
+        "g"
+      ],
+      [
+        "ĠS",
+        "igma"
+      ],
+      [
+        "Ġl",
+        "og"
+      ],
+      [
+        "s",
+        "t"
+      ],
+      [
+        "p",
+        "hi"
+      ],
+      [
+        "er",
+        "p"
+      ],
+      [
+        "Ġp",
+        "erp"
+      ],
+      [
+        "\\",
+        "["
+      ],
+      [
+        "ub",
+        "le"
+      ],
+      [
+        "do",
+        "uble"
+      ],
+      [
+        "e",
+        "q"
+      ],
+      [
+        "Ġo",
+        "p"
+      ],
+      [
+        "s",
+        "igma"
+      ],
+      [
+        "u",
+        "c"
+      ],
+      [
+        "d",
+        "uc"
+      ],
+      [
+        "duc",
+        "t"
+      ],
+      [
+        "al",
+        "pha"
+      ],
+      [
+        "r",
+        "ho"
+      ],
+      [
+        "ral",
+        "l"
+      ],
+      [
+        "Ġa",
+        "nd"
+      ],
+      [
+        "Ġc",
+        "o"
+      ],
+      [
+        "\\",
+        "{"
+      ],
+      [
+        "Ġa",
+        "st"
+      ],
+      [
+        "s",
+        "um"
+      ],
+      [
+        "o",
+        "mega"
+      ],
+      [
+        "m",
+        "p"
+      ],
+      [
+        "e",
+        "psilon"
+      ],
+      [
+        "Ġpro",
+        "duct"
+      ],
+      [
+        "os",
+        "e"
+      ],
+      [
+        "Ġco",
+        "mp"
+      ],
+      [
+        "Ġcomp",
+        "ose"
+      ],
+      [
+        "l",
+        "ambda"
+      ],
+      [
+        "ĠP",
+        "i"
+      ],
+      [
+        "Ġd",
+        "iv"
+      ],
+      [
+        "Ġ",
+        "\""
+      ],
+      [
+        "in",
+        "tegral"
+      ],
+      [
+        "r",
+        "ak"
+      ],
+      [
+        "ĠT",
+        "heta"
+      ],
+      [
+        "p",
+        "artial"
+      ],
+      [
+        "ta",
+        "r"
+      ],
+      [
+        "m",
+        "acron"
+      ],
+      [
+        "Ġ!",
+        "="
+      ],
+      [
+        "Ġs",
+        "tar"
+      ],
+      [
+        "g",
+        "amma"
+      ],
+      [
+        "ide",
+        "s"
+      ],
+      [
+        "Ġ_",
+        "("
+      ],
+      [
+        "Ġdiv",
+        "ides"
+      ],
+      [
+        "Ġl",
+        "t"
+      ],
+      [
+        "d",
+        "ot"
+      ],
+      [
+        "ta",
+        "u"
+      ],
+      [
+        "m",
+        "u"
+      ],
+      [
+        "Ġf",
+        "rak"
+      ],
+      [
+        "Ġ\\",
+        "*"
+      ],
+      [
+        "o",
+        "p"
+      ],
+      [
+        "G",
+        "amma"
+      ],
+      [
+        "a",
+        "rall"
+      ],
+      [
+        "arall",
+        "el"
+      ],
+      [
+        "Ġp",
+        "arallel"
+      ],
+      [
+        "z",
+        "ws"
+      ],
+      [
+        "b",
+        "eta"
+      ],
+      [
+        "nd",
+        "erline"
+      ],
+      [
+        "an",
+        "s"
+      ],
+      [
+        "Ġs",
+        "ans"
+      ],
+      [
+        "-",
+        ">"
+      ],
+      [
+        "t",
+        "heta"
+      ],
+      [
+        "a",
+        "rrow"
+      ],
+      [
+        "Ġpro",
+        "p"
+      ],
+      [
+        "Ġ",
+        "'"
+      ],
+      [
+        "O",
+        "mega"
+      ],
+      [
+        "Ġ",
+        "â"
+      ],
+      [
+        "Ġu",
+        "nderline"
+      ],
+      [
+        "e",
+        "t"
+      ],
+      [
+        "s",
+        "qrt"
+      ],
+      [
+        "o",
+        "verline"
+      ],
+      [
+        "c",
+        "hi"
+      ],
+      [
+        "l",
+        "us"
+      ],
+      [
+        "p",
+        "lus"
+      ],
+      [
+        "P",
+        "hi"
+      ],
+      [
+        "Ġ^",
+        "("
+      ],
+      [
+        "x",
+        "i"
+      ],
+      [
+        "n",
+        "abla"
+      ],
+      [
+        "s",
+        "et"
+      ],
+      [
+        "Ġsin",
+        "h"
+      ],
+      [
+        "b",
+        "b"
+      ],
+      [
+        "Ġâ",
+        "Į"
+      ],
+      [
+        "Ġm",
+        "inus"
+      ],
+      [
+        "Ġg",
+        "t"
+      ],
+      [
+        "Ġta",
+        "n"
+      ],
+      [
+        "k",
+        "appa"
+      ],
+      [
+        "n",
+        "u"
+      ],
+      [
+        "Ġcos",
+        "h"
+      ],
+      [
+        "ub",
+        "set"
+      ],
+      [
+        "i",
+        "on"
+      ],
+      [
+        "Ġs",
+        "ubset"
+      ],
+      [
+        "e",
+        "d"
+      ],
+      [
+        "n",
+        "ion"
+      ],
+      [
+        "P",
+        "si"
+      ],
+      [
+        "Ġu",
+        "nion"
+      ],
+      [
+        "i",
+        "no"
+      ],
+      [
+        "ino",
+        "m"
+      ],
+      [
+        "o",
+        "rall"
+      ],
+      [
+        "p",
+        "i"
+      ],
+      [
+        "Ġ<",
+        "-"
+      ],
+      [
+        "Ġin",
+        "ter"
+      ],
+      [
+        "i",
+        "t"
+      ],
+      [
+        "i",
+        "f"
+      ],
+      [
+        "a",
+        "ron"
+      ],
+      [
+        "Ġ|",
+        "->"
+      ],
+      [
+        "z",
+        "eta"
+      ],
+      [
+        "Ġb",
+        "inom"
+      ],
+      [
+        "w",
+        "n"
+      ],
+      [
+        "Ġt",
+        "op"
+      ],
+      [
+        "do",
+        "wn"
+      ],
+      [
+        "an",
+        "d"
+      ],
+      [
+        "i",
+        "c"
+      ],
+      [
+        "al",
+        "ic"
+      ],
+      [
+        "Ġ)",
+        "|"
+      ],
+      [
+        "L",
+        "ambda"
+      ],
+      [
+        "s",
+        "la"
+      ],
+      [
+        "k",
+        "ed"
+      ],
+      [
+        "ta",
+        "n"
+      ],
+      [
+        "ro",
+        "ked"
+      ],
+      [
+        "st",
+        "roked"
+      ],
+      [
+        "r",
+        "i"
+      ],
+      [
+        "c",
+        "on"
+      ],
+      [
+        "con",
+        "t"
+      ],
+      [
+        "g",
+        "le"
+      ],
+      [
+        "Ġm",
+        "o"
+      ],
+      [
+        "si",
+        "n"
+      ],
+      [
+        "Ġc",
+        "aron"
+      ],
+      [
+        "Ġf",
+        "orall"
+      ],
+      [
+        "ĠX",
+        "i"
+      ],
+      [
+        "o",
+        "ta"
+      ],
+      [
+        "Ġa",
+        "r"
+      ],
+      [
+        "b",
+        "ig"
+      ],
+      [
+        "o",
+        "r"
+      ],
+      [
+        "t",
+        "alic"
+      ],
+      [
+        "Ġi",
+        "talic"
+      ],
+      [
+        "Ġ)",
+        "\\"
+      ],
+      [
+        "Ġ",
+        "%"
+      ],
+      [
+        "S",
+        "igma"
+      ],
+      [
+        "an",
+        "gle"
+      ],
+      [
+        "P",
+        "i"
+      ],
+      [
+        "Ġ)",
+        ")"
+      ],
+      [
+        "ri",
+        "angle"
+      ],
+      [
+        "el",
+        "l"
+      ],
+      [
+        "Ġi",
+        "ota"
+      ],
+      [
+        "e",
+        "quiv"
+      ],
+      [
+        "Ġc",
+        "ot"
+      ],
+      [
+        "s",
+        "s"
+      ],
+      [
+        "le",
+        "ss"
+      ],
+      [
+        "Ġb",
+        "ot"
+      ],
+      [
+        "Ġdot",
+        "less"
+      ],
+      [
+        "|",
+        "|"
+      ],
+      [
+        "u",
+        "t"
+      ],
+      [
+        "Ġo",
+        "r"
+      ],
+      [
+        "Ġ<",
+        "->"
+      ],
+      [
+        "Ġar",
+        "c"
+      ],
+      [
+        "^",
+        "("
+      ],
+      [
+        "f",
+        "or"
+      ],
+      [
+        "n",
+        "t"
+      ],
+      [
+        "Ġ-",
+        "->"
+      ],
+      [
+        "Ġt",
+        "riangle"
+      ],
+      [
+        "c",
+        "os"
+      ],
+      [
+        "Ġn",
+        "ot"
+      ],
+      [
+        "s",
+        "h"
+      ],
+      [
+        "Ġmo",
+        "no"
+      ],
+      [
+        "sla",
+        "nt"
+      ],
+      [
+        "ho",
+        "ut"
+      ],
+      [
+        "it",
+        "hout"
+      ],
+      [
+        "Ġw",
+        "ithout"
+      ],
+      [
+        "l",
+        "le"
+      ],
+      [
+        "f",
+        "rak"
+      ],
+      [
+        "T",
+        "heta"
+      ],
+      [
+        "u",
+        "lle"
+      ],
+      [
+        "ulle",
+        "t"
+      ],
+      [
+        "Ġb",
+        "ullet"
+      ],
+      [
+        "Ġl",
+        "im"
+      ],
+      [
+        "ac",
+        "k"
+      ],
+      [
+        "Ġarc",
+        "tan"
+      ],
+      [
+        "p",
+        "ro"
+      ],
+      [
+        "e",
+        "xp"
+      ],
+      [
+        "re",
+        "v"
+      ],
+      [
+        "Ġ=",
+        ">"
+      ],
+      [
+        "l",
+        "n"
+      ],
+      [
+        "ĠâĮ",
+        "ĭ"
+      ],
+      [
+        "Ġ)\\",
+        ")"
+      ],
+      [
+        "Ġm",
+        "ed"
+      ],
+      [
+        "Ġ)",
+        "\\("
+      ],
+      [
+        "ĠâĮ",
+        "Ĭ"
+      ],
+      [
+        "app",
+        "rox"
+      ],
+      [
+        "Ġ)",
+        "^("
+      ],
+      [
+        "pro",
+        "duct"
+      ],
+      [
+        "l",
+        "og"
+      ],
+      [
+        "=",
+        ">"
+      ],
+      [
+        "_",
+        "("
+      ],
+      [
+        "ĠU",
+        "psilon"
+      ],
+      [
+        "it",
+        "s"
+      ],
+      [
+        "sla",
+        "sh"
+      ],
+      [
+        "ack",
+        "slash"
+      ],
+      [
+        "Ġb",
+        "ackslash"
+      ],
+      [
+        "ĠR",
+        "e"
+      ],
+      [
+        "k",
+        "et"
+      ],
+      [
+        "rac",
+        "ket"
+      ],
+      [
+        "ĠâĮ",
+        "ī"
+      ],
+      [
+        "no",
+        "t"
+      ],
+      [
+        "Ġb",
+        "rev"
+      ],
+      [
+        "Ġbrev",
+        "e"
+      ],
+      [
+        "Ġd",
+        "et"
+      ],
+      [
+        "Ġ\\",
+        "\""
+      ],
+      [
+        "Ġco",
+        "lon"
+      ],
+      [
+        "f",
+        "orall"
+      ],
+      [
+        "p",
+        "la"
+      ],
+      [
+        "t",
+        "imes"
+      ],
+      [
+        "Ġ)\\",
+        ","
+      ],
+      [
+        "Ġlim",
+        "its"
+      ],
+      [
+        "n",
+        "g"
+      ],
+      [
+        "Ġ)",
+        "_("
+      ],
+      [
+        "hi",
+        "ng"
+      ],
+      [
+        "Ġ\\",
+        "_"
+      ],
+      [
+        "e",
+        "c"
+      ],
+      [
+        "o",
+        "ot"
+      ],
+      [
+        "Ġr",
+        "oot"
+      ],
+      [
+        "ĠâĮ",
+        "Ī"
+      ],
+      [
+        "i",
+        "s"
+      ],
+      [
+        "Ġnot",
+        "hing"
+      ],
+      [
+        "Ġu",
+        "psilon"
+      ],
+      [
+        "Ġ",
+        "ha"
+      ],
+      [
+        "Ġmo",
+        "d"
+      ],
+      [
+        "n",
+        "ck"
+      ],
+      [
+        "Ġ)",
+        "="
+      ],
+      [
+        "Ġb",
+        "racket"
+      ],
+      [
+        "pla",
+        "nck"
+      ],
+      [
+        "Ġ=",
+        "=>"
+      ],
+      [
+        "st",
+        "s"
+      ],
+      [
+        "Ġâ",
+        "Ĭ"
+      ],
+      [
+        "Ġâ",
+        "Ļ"
+      ],
+      [
+        "xi",
+        "sts"
+      ],
+      [
+        "m",
+        "al"
+      ],
+      [
+        "s",
+        "mal"
+      ],
+      [
+        "smal",
+        "l"
+      ],
+      [
+        "u",
+        "nderline"
+      ],
+      [
+        "Ġs",
+        "ec"
+      ],
+      [
+        "\\",
+        ","
+      ],
+      [
+        "dot",
+        "s"
+      ],
+      [
+        "r",
+        "w"
+      ],
+      [
+        "he",
+        "rw"
+      ],
+      [
+        "lon",
+        "g"
+      ],
+      [
+        "is",
+        "e"
+      ],
+      [
+        "herw",
+        "ise"
+      ],
+      [
+        "ot",
+        "herwise"
+      ],
+      [
+        "Ġcot",
+        "h"
+      ],
+      [
+        "u",
+        "p"
+      ],
+      [
+        "a",
+        "r"
+      ],
+      [
+        "Ħ",
+        "ĺ"
+      ],
+      [
+        "Ġha",
+        "sh"
+      ],
+      [
+        "up",
+        "set"
+      ],
+      [
+        "w",
+        "he"
+      ],
+      [
+        "Ġe",
+        "q"
+      ],
+      [
+        "ĠâĬ",
+        "º"
+      ],
+      [
+        "s",
+        "c"
+      ],
+      [
+        "Ġ)",
+        ","
+      ],
+      [
+        "ĠI",
+        "m"
+      ],
+      [
+        "b",
+        "inom"
+      ],
+      [
+        "Ġ\\)",
+        "|"
+      ],
+      [
+        "Ġs",
+        "upset"
+      ],
+      [
+        "Ġar",
+        "g"
+      ],
+      [
+        "c",
+        "aron"
+      ],
+      [
+        "whe",
+        "re"
+      ],
+      [
+        "\\",
+        ")"
+      ],
+      [
+        "Ġ<=",
+        ">"
+      ],
+      [
+        "Ġâ",
+        "Ħĺ"
+      ],
+      [
+        "Ġ)",
+        "-"
+      ],
+      [
+        "ri",
+        "p"
+      ],
+      [
+        "ĠâĻ",
+        "¯"
+      ],
+      [
+        "Ġ)",
+        "+"
+      ],
+      [
+        "Ġ\\)",
+        ")"
+      ],
+      [
+        "Ġt",
+        "ack"
+      ],
+      [
+        "it",
+        "alic"
+      ],
+      [
+        "l",
+        "im"
+      ],
+      [
+        "Ġe",
+        "xists"
+      ],
+      [
+        "X",
+        "i"
+      ],
+      [
+        "s",
+        "q"
+      ],
+      [
+        "Ġarc",
+        "sin"
+      ],
+      [
+        "c",
+        "ot"
+      ],
+      [
+        "g",
+        "t"
+      ],
+      [
+        "d",
+        "iv"
+      ],
+      [
+        "e",
+        "p"
+      ],
+      [
+        "Ġin",
+        "line"
+      ],
+      [
+        "ep",
+        "h"
+      ],
+      [
+        "t",
+        "riangle"
+      ],
+      [
+        "Ġd",
+        "im"
+      ],
+      [
+        "div",
+        "ides"
+      ],
+      [
+        "<",
+        "="
+      ],
+      [
+        "l",
+        "t"
+      ],
+      [
+        "n",
+        "gle"
+      ],
+      [
+        "Ġ)",
+        "."
+      ],
+      [
+        "Ġc",
+        "sc"
+      ],
+      [
+        "Ġa",
+        "ngle"
+      ],
+      [
+        "Ġâ",
+        "ī"
+      ],
+      [
+        "Ġ\\)",
+        "="
+      ],
+      [
+        "pro",
+        "p"
+      ],
+      [
+        "b",
+        "ar"
+      ],
+      [
+        "i",
+        "ota"
+      ],
+      [
+        "re",
+        "c"
+      ],
+      [
+        "Ġ^(",
+        "-"
+      ],
+      [
+        "Ġâī",
+        "IJ"
+      ],
+      [
+        "ua",
+        "re"
+      ],
+      [
+        "e",
+        "xists"
+      ],
+      [
+        "i",
+        "am"
+      ],
+      [
+        "â",
+        "Į"
+      ],
+      [
+        "Ġal",
+        "eph"
+      ],
+      [
+        "on",
+        "d"
+      ],
+      [
+        "iam",
+        "ond"
+      ],
+      [
+        "t",
+        "rip"
+      ],
+      [
+        "trip",
+        "le"
+      ],
+      [
+        "U",
+        "psilon"
+      ],
+      [
+        "o",
+        "k"
+      ],
+      [
+        "v",
+        "e"
+      ],
+      [
+        "Ġp",
+        "rec"
+      ],
+      [
+        "Ġd",
+        "iamond"
+      ],
+      [
+        "ho",
+        "ok"
+      ],
+      [
+        "Ġ<=",
+        "=>"
+      ],
+      [
+        "R",
+        "e"
+      ],
+      [
+        "p",
+        "o"
+      ],
+      [
+        "ac",
+        "ut"
+      ],
+      [
+        "Ġ^(",
+        "\\("
+      ],
+      [
+        "ar",
+        "c"
+      ],
+      [
+        "sq",
+        "uare"
+      ],
+      [
+        "acut",
+        "e"
+      ],
+      [
+        "r",
+        "po"
+      ],
+      [
+        "da",
+        "gger"
+      ],
+      [
+        "Ġ))",
+        "|"
+      ],
+      [
+        "ĠâĻ",
+        "Ń"
+      ],
+      [
+        "rpo",
+        "on"
+      ],
+      [
+        "Ġ\\",
+        "@"
+      ],
+      [
+        "Ġ<-",
+        "->"
+      ],
+      [
+        "b",
+        "racket"
+      ],
+      [
+        "d",
+        "im"
+      ],
+      [
+        "Ġ",
+        "acute"
+      ],
+      [
+        "o",
+        "o"
+      ],
+      [
+        "Ġ\\)",
+        "^("
+      ],
+      [
+        "Ġk",
+        "er"
+      ],
+      [
+        "uc",
+        "c"
+      ],
+      [
+        "Ġ))",
+        "\\,"
+      ],
+      [
+        "Ġ)\\)",
+        "^("
+      ],
+      [
+        "I",
+        "m"
+      ],
+      [
+        "de",
+        "t"
+      ],
+      [
+        "Ġ_(",
+        "-"
+      ],
+      [
+        "Ġ)\\,",
+        "|"
+      ],
+      [
+        "rip",
+        "t"
+      ],
+      [
+        "arc",
+        "tan"
+      ],
+      [
+        "m",
+        "o"
+      ],
+      [
+        "p",
+        "rime"
+      ],
+      [
+        "s",
+        "ec"
+      ],
+      [
+        "t",
+        "ion"
+      ],
+      [
+        "Ġd",
+        "eg"
+      ],
+      [
+        "ne",
+        "q"
+      ],
+      [
+        "\\",
+        "*"
+      ],
+      [
+        "\\",
+        "/"
+      ],
+      [
+        "l",
+        "b"
+      ],
+      [
+        "Ġa",
+        "mp"
+      ],
+      [
+        "Ġ)\\)",
+        ")"
+      ],
+      [
+        "Ġ)\\)",
+        "|"
+      ],
+      [
+        "Ġha",
+        "rpoon"
+      ],
+      [
+        "c",
+        "o"
+      ],
+      [
+        "Ġd",
+        "is"
+      ],
+      [
+        "rt",
+        "lb"
+      ],
+      [
+        "rro",
+        "ws"
+      ],
+      [
+        "Ġ'",
+        "^("
+      ],
+      [
+        "Ġ^(",
+        "'"
+      ],
+      [
+        "pla",
+        "y"
+      ],
+      [
+        "mo",
+        "no"
+      ],
+      [
+        "Ġdis",
+        "play"
+      ],
+      [
+        "q",
+        "uad"
+      ],
+      [
+        "s",
+        "tar"
+      ],
+      [
+        "u",
+        "nion"
+      ],
+      [
+        "sin",
+        "h"
+      ],
+      [
+        "Ġ))",
+        ")"
+      ],
+      [
+        "cos",
+        "h"
+      ],
+      [
+        "âĮ",
+        "Ī"
+      ],
+      [
+        "\\*",
+        ")"
+      ],
+      [
+        "Ġharpoon",
+        "s"
+      ],
+      [
+        "'",
+        ")"
+      ],
+      [
+        ">",
+        "="
+      ],
+      [
+        "r",
+        "l"
+      ],
+      [
+        "u",
+        "psilon"
+      ],
+      [
+        "Ġs",
+        "ucc"
+      ],
+      [
+        "bre",
+        "ve"
+      ],
+      [
+        "ha",
+        "sh"
+      ],
+      [
+        "el",
+        "s"
+      ],
+      [
+        "Ġ))",
+        "'"
+      ],
+      [
+        "Ġsec",
+        "tion"
+      ],
+      [
+        "(",
+        "\\("
+      ],
+      [
+        "c",
+        "ro"
+      ],
+      [
+        "l",
+        "cro"
+      ],
+      [
+        "Ġs",
+        "sc"
+      ],
+      [
+        "ro",
+        "ot"
+      ],
+      [
+        "in",
+        "ter"
+      ],
+      [
+        "Ġ^('",
+        "')"
+      ],
+      [
+        "lcro",
+        "w"
+      ],
+      [
+        "Ġssc",
+        "ript"
+      ],
+      [
+        "c",
+        "sc"
+      ],
+      [
+        "s",
+        "pace"
+      ],
+      [
+        "Ġ\\)",
+        "+"
+      ],
+      [
+        "Ġa",
+        "rrows"
+      ],
+      [
+        "Ġpi",
+        "lcrow"
+      ],
+      [
+        "dot",
+        "less"
+      ],
+      [
+        "Ġ'",
+        "\\,"
+      ],
+      [
+        "Ġ))",
+        "."
+      ],
+      [
+        "ĠâĬ",
+        "©"
+      ],
+      [
+        "d",
+        "eg"
+      ],
+      [
+        "â",
+        "Ħĺ"
+      ],
+      [
+        "Ġ\\)",
+        "-"
+      ],
+      [
+        "Ġ\\)",
+        "\\)"
+      ],
+      [
+        "in",
+        "line"
+      ],
+      [
+        "Ġ'",
+        "\\)"
+      ],
+      [
+        "Ġ))",
+        "="
+      ],
+      [
+        "Ġ)\\)",
+        "."
+      ],
+      [
+        "Ġ)\\)",
+        "="
+      ],
+      [
+        "Ġmod",
+        "els"
+      ],
+      [
+        "Ġ),",
+        "|"
+      ],
+      [
+        "lim",
+        "its"
+      ],
+      [
+        "âĮ",
+        "Ĭ"
+      ],
+      [
+        "â",
+        "ī"
+      ],
+      [
+        "Ġ)",
+        "'"
+      ],
+      [
+        "Ġ)",
+        ">"
+      ],
+      [
+        "Ġ)",
+        "\\["
+      ],
+      [
+        "al",
+        "eph"
+      ],
+      [
+        "Ġ'",
+        "'"
+      ],
+      [
+        "Ġ<-",
+        "-"
+      ],
+      [
+        "Ġ))",
+        "_("
+      ],
+      [
+        "not",
+        "hing"
+      ],
+      [
+        "Ġ))'",
+        "\\,"
+      ],
+      [
+        "I",
+        "F"
+      ],
+      [
+        "k",
+        "er"
+      ],
+      [
+        "l",
+        "ve"
+      ],
+      [
+        "o",
+        "lve"
+      ],
+      [
+        "s",
+        "ubset"
+      ],
+      [
+        "v",
+        "olve"
+      ],
+      [
+        "â",
+        "Ī"
+      ],
+      [
+        "â",
+        "Ĭ"
+      ],
+      [
+        "Ġ\\,",
+        "|"
+      ],
+      [
+        "me",
+        "nt"
+      ],
+      [
+        "le",
+        "ment"
+      ],
+      [
+        "Ġ^(",
+        "\\*)"
+      ],
+      [
+        "Ġ))",
+        "\\)"
+      ],
+      [
+        "whe",
+        "n"
+      ],
+      [
+        "co",
+        "mp"
+      ],
+      [
+        "âĪ",
+        "ļ"
+      ],
+      [
+        "(",
+        "|"
+      ],
+      [
+        "\\",
+        ";"
+      ],
+      [
+        "\\",
+        "]"
+      ],
+      [
+        "a",
+        "st"
+      ],
+      [
+        "c",
+        "ript"
+      ],
+      [
+        "p",
+        "rec"
+      ],
+      [
+        "q",
+        "uare"
+      ],
+      [
+        "s",
+        "ans"
+      ],
+      [
+        "s",
+        "upset"
+      ],
+      [
+        "s",
+        "ucc"
+      ],
+      [
+        "w",
+        "ide"
+      ],
+      [
+        "Ġ\\",
+        "âĪļ"
+      ],
+      [
+        "Ġ\\)",
+        ","
+      ],
+      [
+        "Ġs",
+        "cript"
+      ],
+      [
+        "Ġs",
+        "quare"
+      ],
+      [
+        "Ġm",
+        "in"
+      ],
+      [
+        "Ġc",
+        "on"
+      ],
+      [
+        "ha",
+        "rpoon"
+      ],
+      [
+        "\\(",
+        "<"
+      ],
+      [
+        "Ġ_(",
+        "+"
+      ],
+      [
+        "Ġ)\\",
+        "]"
+      ],
+      [
+        "Ġ)^(",
+        "\\("
+      ],
+      [
+        "Ġ\\))",
+        "="
+      ],
+      [
+        "Ġ\\))",
+        "|"
+      ],
+      [
+        "Ġ\\))",
+        "\\("
+      ],
+      [
+        "Ġ)))",
+        "\\(<"
+      ],
+      [
+        "Ġ))_(",
+        "-"
+      ],
+      [
+        "Ġcon",
+        "volve"
+      ],
+      [
+        "a",
+        "d"
+      ],
+      [
+        "f",
+        "i"
+      ],
+      [
+        "i",
+        "l"
+      ],
+      [
+        "o",
+        "he"
+      ],
+      [
+        "r",
+        "k"
+      ],
+      [
+        "t",
+        "w"
+      ],
+      [
+        "t",
+        "ack"
+      ],
+      [
+        "ª",
+        "ħ"
+      ],
+      [
+        "Ġ\\)",
+        "."
+      ],
+      [
+        "ta",
+        "il"
+      ],
+      [
+        "ma",
+        "rk"
+      ],
+      [
+        "he",
+        "ck"
+      ],
+      [
+        "et",
+        "h"
+      ],
+      [
+        "Ġ^(",
+        "+"
+      ],
+      [
+        "Ġ)|",
+        "|"
+      ],
+      [
+        "lle",
+        "d"
+      ],
+      [
+        "Ġ)^(",
+        "-"
+      ],
+      [
+        "Ġ),",
+        "\\("
+      ],
+      [
+        "arc",
+        "sin"
+      ],
+      [
+        "fi",
+        "lled"
+      ],
+      [
+        "ohe",
+        "ad"
+      ],
+      [
+        "tw",
+        "ohead"
+      ],
+      [
+        "heck",
+        "mark"
+      ],
+      [
+        "(",
+        "-"
+      ],
+      [
+        "a",
+        "ve"
+      ],
+      [
+        "a",
+        "rrows"
+      ],
+      [
+        "d",
+        "iamond"
+      ],
+      [
+        "p",
+        "arallel"
+      ],
+      [
+        "t",
+        "ri"
+      ],
+      [
+        "â",
+        "ª"
+      ],
+      [
+        "â",
+        "Ħ"
+      ],
+      [
+        "Ġ",
+        "?"
+      ],
+      [
+        "ĭ",
+        "Ī"
+      ],
+      [
+        "Ġ\\)",
+        "\\("
+      ],
+      [
+        "Ġ\\)",
+        "\\,"
+      ],
+      [
+        "Ġ\\)",
+        "\\]"
+      ],
+      [
+        "Ġ\\,",
+        "-"
+      ],
+      [
+        "Ġc",
+        "heckmark"
+      ],
+      [
+        "ĠC",
+        "hi"
+      ],
+      [
+        "Ġcomp",
+        "lement"
+      ],
+      [
+        "Ġ'",
+        "|"
+      ],
+      [
+        "Ġ'",
+        "\\;"
+      ],
+      [
+        "Ġâ",
+        "ªħ"
+      ],
+      [
+        "Ġ))",
+        "\\("
+      ],
+      [
+        "Ġ))",
+        "^("
+      ],
+      [
+        "Ġ)^(",
+        "\\*)"
+      ],
+      [
+        "ĠâĻ",
+        "®"
+      ],
+      [
+        "ar",
+        "g"
+      ],
+      [
+        "cot",
+        "h"
+      ],
+      [
+        "sec",
+        "tion"
+      ],
+      [
+        "Ġ)\\))",
+        "\\,"
+      ],
+      [
+        "Ġ^('')",
+        "+"
+      ],
+      [
+        "Ġ'\\)",
+        "="
+      ],
+      [
+        "Ġ'\\)",
+        "^("
+      ],
+      [
+        "comp",
+        "ose"
+      ],
+      [
+        "!",
+        "="
+      ],
+      [
+        ")",
+        "\\("
+      ],
+      [
+        "<",
+        "=>"
+      ],
+      [
+        "b",
+        "r"
+      ],
+      [
+        "b",
+        "ullet"
+      ],
+      [
+        "c",
+        "w"
+      ],
+      [
+        "c",
+        "le"
+      ],
+      [
+        "f",
+        "o"
+      ],
+      [
+        "h",
+        "al"
+      ],
+      [
+        "i",
+        "r"
+      ],
+      [
+        "r",
+        "ave"
+      ],
+      [
+        "t",
+        "r"
+      ],
+      [
+        "u",
+        "it"
+      ],
+      [
+        "â",
+        "Ļ"
+      ],
+      [
+        "Ġ,",
+        "|"
+      ],
+      [
+        "Ġ,",
+        "\\("
+      ],
+      [
+        "Ġb",
+        "eth"
+      ],
+      [
+        "Ġl",
+        "g"
+      ],
+      [
+        "re",
+        "at"
+      ],
+      [
+        "re",
+        "fo"
+      ],
+      [
+        "Ġg",
+        "rave"
+      ],
+      [
+        "Ġ\\]",
+        "_("
+      ],
+      [
+        "he",
+        "refo"
+      ],
+      [
+        "Ġ'",
+        "\\("
+      ],
+      [
+        "Ġâ",
+        "ĭĪ"
+      ],
+      [
+        "ĠâĮ",
+        "£"
+      ],
+      [
+        "Ġ)\\",
+        "}"
+      ],
+      [
+        "Ġ))",
+        "-"
+      ],
+      [
+        "Ġ)\\)",
+        "-"
+      ],
+      [
+        "Ġ)\\)",
+        "\\("
+      ],
+      [
+        "Ġ)\\)",
+        "\\,"
+      ],
+      [
+        "\\)",
+        "|"
+      ],
+      [
+        "Ġ\\))",
+        "\\,"
+      ],
+      [
+        "Ġ\\)\\)",
+        "^("
+      ],
+      [
+        "comp",
+        "lement"
+      ],
+      [
+        "âĦ",
+        "¸"
+      ],
+      [
+        "Ġ)^(\\*)",
+        "\\)"
+      ],
+      [
+        "hal",
+        "f"
+      ],
+      [
+        "ir",
+        "cle"
+      ],
+      [
+        "reat",
+        "h"
+      ],
+      [
+        "herefo",
+        "re"
+      ],
+      [
+        ")",
+        "."
+      ],
+      [
+        ",",
+        "|"
+      ],
+      [
+        "<",
+        "-"
+      ],
+      [
+        "=",
+        "=>"
+      ],
+      [
+        "N",
+        "u"
+      ],
+      [
+        "\\",
+        "_"
+      ],
+      [
+        "a",
+        "x"
+      ],
+      [
+        "a",
+        "de"
+      ],
+      [
+        "b",
+        "l"
+      ],
+      [
+        "b",
+        "eth"
+      ],
+      [
+        "c",
+        "u"
+      ],
+      [
+        "c",
+        "ircle"
+      ],
+      [
+        "g",
+        "l"
+      ],
+      [
+        "h",
+        "re"
+      ],
+      [
+        "l",
+        "o"
+      ],
+      [
+        "n",
+        "tilde"
+      ],
+      [
+        "n",
+        "approx"
+      ],
+      [
+        "p",
+        "ade"
+      ],
+      [
+        "s",
+        "qu"
+      ],
+      [
+        "s",
+        "uit"
+      ],
+      [
+        "s",
+        "pade"
+      ],
+      [
+        "t",
+        "l"
+      ],
+      [
+        "t",
+        "hre"
+      ],
+      [
+        "u",
+        "nd"
+      ],
+      [
+        "y",
+        "right"
+      ],
+      [
+        "©",
+        "ŀ"
+      ],
+      [
+        "«",
+        "ħ"
+      ],
+      [
+        "Ã",
+        "Ĩ"
+      ],
+      [
+        "â",
+        "Ĩ"
+      ],
+      [
+        "Ġ",
+        "ÃĨ"
+      ],
+      [
+        "ķ",
+        "²"
+      ],
+      [
+        "ig",
+        "gl"
+      ],
+      [
+        "Ġt",
+        "herefore"
+      ],
+      [
+        "Ġm",
+        "ax"
+      ],
+      [
+        "Ġ\\]",
+        "|"
+      ],
+      [
+        "ne",
+        "quiv"
+      ],
+      [
+        "ho",
+        "m"
+      ],
+      [
+        "in",
+        "v"
+      ],
+      [
+        "Ġw",
+        "reath"
+      ],
+      [
+        "Ġda",
+        "sh"
+      ],
+      [
+        "Ġ\\*",
+        "\\,"
+      ],
+      [
+        "Ġâ",
+        "ķ²"
+      ],
+      [
+        "Ġ)\\",
+        "/"
+      ],
+      [
+        "ĠâĬ",
+        "ĺ"
+      ],
+      [
+        "Ġ),",
+        "||"
+      ],
+      [
+        "Ġ\\))",
+        "\\)|"
+      ],
+      [
+        "Ġâī",
+        "į"
+      ],
+      [
+        "Ġ^(\\(",
+        "-"
+      ],
+      [
+        "Ġ)\\)^(",
+        "-"
+      ],
+      [
+        "mo",
+        "d"
+      ],
+      [
+        "Ġ)\\))",
+        "\\("
+      ],
+      [
+        "Ġ)))",
+        "|"
+      ],
+      [
+        "rl",
+        "y"
+      ],
+      [
+        "els",
+        "e"
+      ],
+      [
+        "Ġ^('')",
+        "\\("
+      ],
+      [
+        "Ġ\\)-",
+        "->"
+      ],
+      [
+        "Ġ\\)\\)",
+        "="
+      ],
+      [
+        "Ġ)'",
+        "-"
+      ],
+      [
+        "Ġ''",
+        "="
+      ],
+      [
+        "Ġ''",
+        "\\("
+      ],
+      [
+        "Ġ''",
+        "\\["
+      ],
+      [
+        "Ġ))\\)",
+        "|"
+      ],
+      [
+        "harpoon",
+        "s"
+      ],
+      [
+        "Ġ\\)\\)^(",
+        "\\["
+      ],
+      [
+        "cu",
+        "rly"
+      ],
+      [
+        "lo",
+        "op"
+      ],
+      [
+        "squ",
+        "iggl"
+      ],
+      [
+        "thre",
+        "e"
+      ],
+      [
+        "squiggl",
+        "y"
+      ]
+    ]
+  }
+}

tokenizer_config.json

@@ -0,0 +1,56 @@
+{
+  "added_tokens_decoder": {
+    "0": {
+      "content": "<pad>",
+      "lstrip": false,
+      "normalized": false,
+      "rstrip": false,
+      "single_word": false,
+      "special": true
+    },
+    "1": {
+      "content": "<s>",
+      "lstrip": false,
+      "normalized": false,
+      "rstrip": false,
+      "single_word": false,
+      "special": true
+    },
+    "2": {
+      "content": "</s>",
+      "lstrip": false,
+      "normalized": false,
+      "rstrip": false,
+      "single_word": false,
+      "special": true
+    },
+    "3": {
+      "content": "<unk>",
+      "lstrip": false,
+      "normalized": false,
+      "rstrip": false,
+      "single_word": false,
+      "special": true
+    },
+    "4": {
+      "content": "<mask>",
+      "lstrip": true,
+      "normalized": false,
+      "rstrip": false,
+      "single_word": false,
+      "special": true
+    }
+  },
+  "bos_token": "<s>",
+  "clean_up_tokenization_spaces": false,
+  "cls_token": "<s>",
+  "eos_token": "</s>",
+  "extra_special_tokens": {},
+  "mask_token": "<mask>",
+  "model_max_length": 1000000000000000019884624838656,
+  "pad_token": "<pad>",
+  "processor_class": "TrOCRProcessor",
+  "sep_token": "</s>",
+  "tokenizer_class": "XLMRobertaTokenizerFast",
+  "unk_token": "<unk>"
+}