added_tokens.json

{
  "<def>": 49156,
  "<|padtext|>": 49157,
  "<|unktext|>": 49158,
  "[/CTX]": 49153,
  "[/DEF]": 49155,
  "[CTX]": 49152,
  "[DEF]": 49154
}