added_tokens.json

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