checkpoint-10000/added_tokens.json

{
  "<bos>": 40478,
  "<eos>": 40479,
  "<pad>": 40480
}