added_tokens.json

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