{
  "add_bos_token": true,
  "add_prefix_space": false,
  "added_tokens_decoder": {
    "0": {
      "content": "<|BOS|>",
      "lstrip": false,
      "normalized": true,
      "rstrip": false,
      "single_word": false,
      "special": true
    },
    "1": {
      "content": "<|PAD|>",
      "lstrip": false,
      "normalized": true,
      "rstrip": false,
      "single_word": false,
      "special": true
    },
    "2": {
      "content": "<|EOS|>",
      "lstrip": false,
      "normalized": true,
      "rstrip": false,
      "single_word": false,
      "special": true
    },
    "3": {
      "content": "<|UNK|>",
      "lstrip": false,
      "normalized": true,
      "rstrip": false,
      "single_word": false,
      "special": true
    }
  },
  "bos_token": "<|BOS|>",
  "clean_up_tokenization_spaces": true,
  "eos_token": "<|EOS|>",
  "errors": "replace",
  "model_max_length": 1000000000000000019884624838656,
  "pad_token": "<|PAD|>",
  "tokenizer_class": "SymbolicGPTTokenizer",
  "unk_token": "<|UNK|>"
}