added_tokens.json

{
  "</a1>": 28898,
  "</a2>": 28900,
  "</e>": 28896,
  "<a1>": 28897,
  "<a2>": 28899,
  "<cr>": 28901,
  "<e>": 28895,
  "<neg>": 28902
}