{
  "additional_special_tokens": [
    "\\frac",
    "\\text",
    "\\boxed",
    "\\begin{align*}",
    "\\end{align*}",
    "\\[",
    "\\]",
    "\\cdot"
  ],
  "eos_token": "<|endoftext|>",
  "pad_token": {
    "content": "<|endoftext|>",
    "lstrip": false,
    "normalized": false,
    "rstrip": false,
    "single_word": false
  }
}