added_tokens.json

{
  "[DEC]": 31090
}