added_tokens.json

{
  "</a1>": 30525,
  "</a2>": 30527,
  "</e>": 30523,
  "<a1>": 30524,
  "<a2>": 30526,
  "<cr>": 30528,
  "<e>": 30522,
  "<neg>": 30529
}