{
  "[/INST]": 32001,
  "[INST]": 32000
}