added_tokens.json

{
  "[CDEC]": 32102,
  "[ENC]": 32100,
  "[TDEC]": 32101
}