added_tokens.json

{
  "</headline>": 32008,
  "</scratchpad>": 32006,
  "<</SYS>>": 32004,
  "<<SYS>>": 32003,
  "<headline>": 32007,
  "<pad>": 32000,
  "<scratchpad>": 32005,
  "[/INST]": 32002,
  "[INST]": 32001
}