added_tokens.json

{
  "[DEC]": 21128,
  "[ENC]": 21129
}