{
  "<|code|>": 50258,
  "<|end|>": 50259,
  "<|pseudo|>": 50257
}