{
  "[/INST]": 64002,
  "[END]": 64003,
  "[INST]": 64001,
  "[PAD]": 64000
}