checkpoint-10000/added_tokens.json

{
  "<mask>": 64000
}