added_tokens.json

{
  "[DEC]": 30522
}