added_tokens.json

{
  "<thinking1>": 256000,
  "<thinking2>": 256001,
  "<thinking3>": 256002,
  "<thinking4>": 256003
}