added_tokens.json

{
  "[ATT]": 50265,
  "[MS]": 50267,
  "[VAL]": 50266
}