added_tokens.json

{
  "<doc>": 64001,
  "<mask>": 64000
}