added_tokens.json

{
  "<thinking1>": 32100,
  "<thinking2>": 32101,
  "<thinking3>": 32102,
  "<thinking4>": 32103
}