added_tokens.json

{
  "<hl>": 32101,
  "<sep>": 32100
}