added_tokens.json

{
  "<|def_end|>": 49153,
  "<|def_start|>": 49152
}