checkpoint-4/added_tokens.json

{
  "[MASK]": 128000
}