added_tokens.json

{
  "<tdec>": 32103,
  "[CDEC]": 32102,
  "[ENC]": 32100,
  "[TDEC]": 32101
}