added_tokens.json

{
  "<hl>": 5002
}