{
  "<|begin_of_code|>": 32100,
  "<|begin_of_summary|>": 32102,
  "<|end_of_code|>": 32101,
  "<|end_of_summary|>": 32103
}