added_tokens.json

{
  "<pad>": 32000,
  "[/INST]": 32001,
  "[INST]": 32002
}