{
  " [/INST]": 32001,
  " [/SQL]": 32003,
  "[INST]": 32000,
  "[SQL]": 32002
}