added_tokens.json

{
  "[DEC]": 30522,
  "[ENC]": 30523
}