{
  "<|next_end|>": 64001,
  "<|next_start|>": 64000,
  "<|search_and_replace|>": 64005,
  "<|target_end|>": 64003,
  "<|target_start|>": 64002,
  "<|target|>": 64004
}