added_tokens.json

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