added_tokens.json

{"<sep>": 30000, "<hl>": 30001}