added_tokens.json

{
  "</intro>": 50258,
  "<intro>": 50257
}