added_tokens.json

{
  "<s10>": 32009,
  "<s11>": 32012,
  "<s12>": 32001,
  "<s13>": 32010,
  "<s14>": 32003,
  "<s15>": 32006,
  "<s16>": 32015,
  "<s1>": 32008,
  "<s2>": 32011,
  "<s3>": 32004,
  "<s4>": 32013,
  "<s5>": 32007,
  "<s6>": 32005,
  "<s7>": 32002,
  "<s8>": 32014,
  "<s9>": 32000
}