{
  "version": "1.0",
  "truncation": null,
  "padding": null,
  "added_tokens": [
    {
      "id": 0,
      "content": "[EOS]",
      "single_word": false,
      "lstrip": false,
      "rstrip": false,
      "normalized": false,
      "special": true
    },
    {
      "id": 1,
      "content": "[UNK]",
      "single_word": false,
      "lstrip": false,
      "rstrip": false,
      "normalized": false,
      "special": true
    },
    {
      "id": 2,
      "content": "[CLS]",
      "single_word": false,
      "lstrip": false,
      "rstrip": false,
      "normalized": false,
      "special": true
    },
    {
      "id": 3,
      "content": "[PAD]",
      "single_word": false,
      "lstrip": false,
      "rstrip": false,
      "normalized": false,
      "special": true
    }
  ],
  "normalizer": null,
  "pre_tokenizer": {
    "type": "Whitespace"
  },
  "post_processor": {
    "type": "TemplateProcessing",
    "single": [
      {
        "Sequence": {
          "id": "A",
          "type_id": 0
        }
      },
      {
        "SpecialToken": {
          "id": "[EOS]",
          "type_id": 0
        }
      }
    ],
    "pair": [
      {
        "Sequence": {
          "id": "A",
          "type_id": 0
        }
      },
      {
        "Sequence": {
          "id": "B",
          "type_id": 1
        }
      }
    ],
    "special_tokens": {
      "[EOS]": {
        "id": "[EOS]",
        "ids": [
          0
        ],
        "tokens": [
          "[EOS]"
        ]
      }
    }
  },
  "decoder": null,
  "model": {
    "type": "BPE",
    "dropout": null,
    "unk_token": "[UNK]",
    "continuing_subword_prefix": null,
    "end_of_word_suffix": null,
    "fuse_unk": false,
    "byte_fallback": false,
    "vocab": {
      "[EOS]": 0,
      "[UNK]": 1,
      "[CLS]": 2,
      "[PAD]": 3,
      "+": 4,
      "-": 5,
      "0": 6,
      "1": 7,
      "2": 8,
      "3": 9,
      "4": 10,
      "5": 11,
      "6": 12,
      "7": 13,
      "8": 14,
      "9": 15,
      "=": 16,
      "57": 17,
      "28": 18,
      "12": 19,
      "20": 20,
      "25": 21,
      "35": 22,
      "51": 23,
      "86": 24,
      "22": 25,
      "44": 26,
      "85": 27,
      "36": 28,
      "56": 29,
      "93": 30,
      "26": 31,
      "24": 32,
      "10": 33,
      "60": 34,
      "14": 35,
      "32": 36,
      "68": 37,
      "21": 38,
      "94": 39,
      "38": 40,
      "54": 41,
      "17": 42,
      "58": 43,
      "92": 44,
      "70": 45,
      "52": 46,
      "47": 47,
      "31": 48,
      "87": 49,
      "81": 50,
      "97": 51,
      "11": 52,
      "29": 53,
      "78": 54,
      "61": 55,
      "64": 56,
      "53": 57,
      "50": 58,
      "73": 59,
      "18": 60,
      "46": 61,
      "80": 62,
      "65": 63,
      "84": 64,
      "72": 65,
      "96": 66,
      "48": 67,
      "76": 68,
      "95": 69,
      "37": 70,
      "83": 71,
      "16": 72,
      "23": 73,
      "89": 74,
      "42": 75,
      "30": 76,
      "99": 77,
      "79": 78,
      "77": 79,
      "15": 80,
      "71": 81,
      "66": 82,
      "91": 83,
      "40": 84,
      "62": 85,
      "19": 86,
      "41": 87,
      "59": 88,
      "43": 89,
      "27": 90,
      "13": 91,
      "49": 92,
      "33": 93,
      "67": 94,
      "55": 95,
      "75": 96,
      "39": 97,
      "74": 98,
      "82": 99,
      "34": 100,
      "90": 101,
      "45": 102,
      "88": 103,
      "63": 104,
      "98": 105,
      "69": 106
    },
    "merges": [
      "5 7",
      "2 8",
      "1 2",
      "2 0",
      "2 5",
      "3 5",
      "5 1",
      "8 6",
      "2 2",
      "4 4",
      "8 5",
      "3 6",
      "5 6",
      "9 3",
      "2 6",
      "2 4",
      "1 0",
      "6 0",
      "1 4",
      "3 2",
      "6 8",
      "2 1",
      "9 4",
      "3 8",
      "5 4",
      "1 7",
      "5 8",
      "9 2",
      "7 0",
      "5 2",
      "4 7",
      "3 1",
      "8 7",
      "8 1",
      "9 7",
      "1 1",
      "2 9",
      "7 8",
      "6 1",
      "6 4",
      "5 3",
      "5 0",
      "7 3",
      "1 8",
      "4 6",
      "8 0",
      "6 5",
      "8 4",
      "7 2",
      "9 6",
      "4 8",
      "7 6",
      "9 5",
      "3 7",
      "8 3",
      "1 6",
      "2 3",
      "8 9",
      "4 2",
      "3 0",
      "9 9",
      "7 9",
      "7 7",
      "1 5",
      "7 1",
      "6 6",
      "9 1",
      "4 0",
      "6 2",
      "1 9",
      "4 1",
      "5 9",
      "4 3",
      "2 7",
      "1 3",
      "4 9",
      "3 3",
      "6 7",
      "5 5",
      "7 5",
      "3 9",
      "7 4",
      "8 2",
      "3 4",
      "9 0",
      "4 5",
      "8 8",
      "6 3",
      "9 8",
      "6 9"
    ]
  }
}