added_tokens.json

{
  "<unused60>": 256000,
  "<unused61>": 256001,
  "<unused62>": 256002,
  "<unused63>": 256003
}