added_tokens.json

{
  "<hl>": 250101,
  "<sep>": 250100
}