added_tokens.json

{
  "</a1>": 50268,
  "</a2>": 50270,
  "</e>": 50266,
  "<a1>": 50267,
  "<a2>": 50269,
  "<cr>": 50271,
  "<e>": 50265,
  "<neg>": 50272
}