added_tokens.json

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