{
  "version": "1.0",
  "truncation": {
    "direction": "Right",
    "max_length": 1000,
    "strategy": "LongestFirst",
    "stride": 0
  },
  "padding": {
    "strategy": "BatchLongest",
    "direction": "Right",
    "pad_to_multiple_of": null,
    "pad_id": 185,
    "pad_type_id": 0,
    "pad_token": "<pad>"
  },
  "added_tokens": [
    {
      "id": 5,
      "content": "<|endoftext|>",
      "single_word": false,
      "lstrip": false,
      "rstrip": false,
      "normalized": false,
      "special": true
    },
    {
      "id": 184,
      "content": "<unk>",
      "single_word": false,
      "lstrip": false,
      "rstrip": false,
      "normalized": false,
      "special": true
    },
    {
      "id": 185,
      "content": "<pad>",
      "single_word": false,
      "lstrip": false,
      "rstrip": false,
      "normalized": false,
      "special": true
    }
  ],
  "normalizer": null,
  "pre_tokenizer": {
    "type": "Whitespace"
  },
  "post_processor": null,
  "decoder": null,
  "model": {
    "type": "WordLevel",
    "vocab": {
      ",": 0,
      "-1": 1,
      "1linebegin": 2,
      "1lineend": 3,
      "1linemake": 4,
      "<|endoftext|>": 5,
      "=": 6,
      "Coxeterreducedexpressionbegin": 7,
      "Coxeterreducedexpressionend": 8,
      "Coxeterreducedexpressionmake": 9,
      "False": 10,
      "Inversionvectorbegin": 11,
      "Inversionvectorend": 12,
      "Inversionvectormake": 13,
      "Lehmercodebegin": 14,
      "Lehmercodeend": 15,
      "Lehmercodemake": 16,
      "RSKtableauxbegin": 17,
      "RSKtableauxend": 18,
      "RSKtableauxmake": 19,
      "True": 20,
      "[": 21,
      "]": 22,
      "avoidsbegin": 23,
      "avoidsend": 24,
      "avoidsmake": 25,
      "commutatormake": 26,
      "complementmake": 27,
      "conjugatemake": 28,
      "cyclenotationbegin": 29,
      "cyclenotationend": 30,
      "cyclenotationmake": 31,
      "cycletypebegin": 32,
      "cycletypeend": 33,
      "cycletypemake": 34,
      "descentsbegin": 35,
      "descentsend": 36,
      "descentsmake": 37,
      "descenttestbegin": 38,
      "descenttestend": 39,
      "exponentbegin": 40,
      "exponentend": 41,
      "fixedpointsbegin": 42,
      "fixedpointsend": 43,
      "fixedpointsmake": 44,
      "in": 45,
      "indexbegin": 46,
      "indexend": 47,
      "inversemake": 48,
      "isderangementbegin": 49,
      "isderangementend": 50,
      "isderangementmake": 51,
      "isevenbegin": 52,
      "isevenend": 53,
      "isevenmake": 54,
      "isgrassmannianbegin": 55,
      "isgrassmannianend": 56,
      "isgrassmannianmake": 57,
      "isinvolutionbegin": 58,
      "isinvolutionend": 59,
      "isinvolutionmake": 60,
      "ldslengthbegin": 61,
      "ldslengthend": 62,
      "ldslengthmake": 63,
      "leftBruhatbegin": 64,
      "leftBruhatend": 65,
      "leftBruhatmake": 66,
      "leftdescenttestmake": 67,
      "lengthbegin": 68,
      "lengthend": 69,
      "lengthmake": 70,
      "lislengthbegin": 71,
      "lislengthend": 72,
      "lislengthmake": 73,
      "longestincreasingsubsequencebegin": 74,
      "longestincreasingsubsequenceend": 75,
      "longestincreasingsubsequencemake": 76,
      "majorindexbegin": 77,
      "majorindexend": 78,
      "majorindexmake": 79,
      "multiplyleftsimake": 80,
      "multiplyrightsimake": 81,
      "n10": 82,
      "n11": 83,
      "n3": 84,
      "n4": 85,
      "n5": 86,
      "n6": 87,
      "n7": 88,
      "n8": 89,
      "n9": 90,
      "nochain": 91,
      "nopattern": 92,
      "numcyclesbegin": 93,
      "numcyclesend": 94,
      "numcyclesmake": 95,
      "numdescentsbegin": 96,
      "numdescentsend": 97,
      "numdescentsmake": 98,
      "numexcedancesbegin": 99,
      "numexcedancesend": 100,
      "numexcedancesmake": 101,
      "numfixedpointsbegin": 102,
      "numfixedpointsend": 103,
      "numfixedpointsmake": 104,
      "numinversionsbegin": 105,
      "numinversionsend": 106,
      "numinversionsmake": 107,
      "orderbegin": 108,
      "orderend": 109,
      "ordermake": 110,
      "peaksbegin": 111,
      "peaksend": 112,
      "peaksmake": 113,
      "powermake": 114,
      "property": 115,
      "recoilsbegin": 116,
      "recoilsend": 117,
      "recoilsmake": 118,
      "relativeleftmake": 119,
      "relativerightmake": 120,
      "reversemake": 121,
      "rightdescenttestmake": 122,
      "rskshapebegin": 123,
      "rskshapeend": 124,
      "rskshapemake": 125,
      "signbegin": 126,
      "signend": 127,
      "signmake": 128,
      "timesmake": 129,
      "witnessbegin": 130,
      "witnessend": 131,
      "0": 132,
      "1": 133,
      "10": 134,
      "11": 135,
      "12": 136,
      "13": 137,
      "14": 138,
      "15": 139,
      "16": 140,
      "17": 141,
      "18": 142,
      "19": 143,
      "2": 144,
      "20": 145,
      "21": 146,
      "22": 147,
      "23": 148,
      "24": 149,
      "25": 150,
      "26": 151,
      "27": 152,
      "28": 153,
      "29": 154,
      "3": 155,
      "30": 156,
      "31": 157,
      "32": 158,
      "33": 159,
      "34": 160,
      "35": 161,
      "36": 162,
      "37": 163,
      "38": 164,
      "39": 165,
      "4": 166,
      "40": 167,
      "41": 168,
      "42": 169,
      "43": 170,
      "44": 171,
      "45": 172,
      "46": 173,
      "47": 174,
      "48": 175,
      "49": 176,
      "5": 177,
      "50": 178,
      "51": 179,
      "6": 180,
      "7": 181,
      "8": 182,
      "9": 183,
      "<unk>": 184,
      "<pad>": 185
    },
    "unk_token": "<unk>"
  }
}