added_tokens.json

{
  "<NbChars_0.15>": 32100,
  "<NbChars_0.25>": 32101,
  "<NbChars_0.2>": 32102,
  "<NbChars_0.35>": 32103,
  "<NbChars_0.3>": 32104,
  "<NbChars_0.45>": 32105,
  "<NbChars_0.4>": 32106,
  "<NbChars_0.55>": 32107,
  "<NbChars_0.5>": 32108,
  "<NbChars_0.65>": 32109,
  "<NbChars_0.6>": 32110,
  "<NbChars_0.75>": 32111,
  "<NbChars_0.7>": 32112,
  "<NbChars_0.85>": 32113,
  "<NbChars_0.8>": 32114,
  "<NbChars_0.95>": 32115,
  "<NbChars_0.9>": 32116,
  "<NbChars_1.05>": 32117,
  "<NbChars_1.0>": 32118,
  "<NbChars_1.15>": 32119,
  "<NbChars_1.1>": 32120,
  "<NbChars_1.25>": 32121,
  "<NbChars_1.2>": 32122,
  "<NbChars_1.35>": 32123,
  "<NbChars_1.3>": 32124,
  "<NbChars_1.45>": 32125,
  "<NbChars_1.4>": 32126,
  "<NbChars_1.55>": 32127,
  "<NbChars_1.5>": 32128,
  "<NbChars_1.65>": 32129,
  "<NbChars_1.6>": 32130,
  "<NbChars_1.75>": 32131,
  "<NbChars_1.7>": 32132,
  "<NbChars_1.85>": 32133,
  "<NbChars_1.8>": 32134,
  "<NbChars_1.95>": 32135,
  "<NbChars_1.9>": 32136,
  "<NbChars_2.0>": 32137
}